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

Keywords: [信息物理融合系统, 微分代数动态逻辑, HybridUML, 微分代数程序, 验证, cyber-physical systems, differential-algebraic dynamic logic, HybridUML, differential-algebraic program, verification]

Full-Text   Cite this paper   Add to My Lib

Abstract:

随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用，安..

Full-Text