一种基于微分代数动态逻辑的CPS建模与验证方法

摘要：

随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑对系统安全性进行规约,最后依据微分代数动态逻辑推理规则对CPS进行安全性验证.通过对飞机空中避撞系统的实例研究,表明该方法能够有效地验证避撞策略的正确性,从而保证避撞系统的安全性.

关键词：信息物理融合系统、微分代数动态逻辑、HybridUML、微分代数程序、验证

所属期刊栏目：50

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目60973149;高等学校博士学科点专项科研基金项目20100092110022;江苏省高校科研成果产业化推进项目JHB2011-3

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

页数：共11页

页码：700-710