采用经典一阶逻辑的混合系统仿真逻辑验证法

摘要：

针对混合系统难以分析和验证的问题，提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法。首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义，然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则。最后通过煮鸡蛋的例子验证了混合系统的活性。

关键词：混合程序、仿真逻辑公式、仿真语义、形式推演规则

分类号：TP0141

资助基金：国家自然科学基金资助项目61201447；河南省教育厅科学技术研究重点项目12A520048

在线出版日期：2015-04-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：84-89