微分代数程序相关硕士博士期刊学术论文 - 搜论网

微分代数程序相关论文

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

随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用，安全性已成为目前CPS理论和应用研究的核心问题．提出了一种基于微分代数动......

期刊

信息物理融合系统微分代数动态逻辑 HybridUML 微分代数程序验证 cyber-physical systems differential-algebr

看过本文同时还关注