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