文件名称:First-order-Predicate-Ambient-Logic
介绍说明--下载内容均来自于网络,请自行研究使用
基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.-Based on μ-calculus, the predicate variable is used to construct the fixed point formula, which is convenient to describe the properties of the closed-loop system and the semantics of the formula is concise.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
基于偏序规律的_演算一阶谓词界程逻辑模型检测_江华.pdf