|
论文《基于微分动态逻辑的CPS建模与验证》发表于2011全国软件与应用学术会议(NASAC2011)，主要探讨了如何利用微分动态逻辑对信息物理系统进行建模与验证。该方法结合了微分方程与动态逻辑，为复杂系统的安全性与正确性分析提供了理论支持。研究提出了形式化验证框架，有效提升了CPS在实际应用中的可靠性。 文档为pdf格式，0.53MB，总共6页。
- 文件大小:
- 542.72 KB
- 下载次数:
- 60
- 基于微分动态逻辑的CPS建模与验证 - 2011全国软件与应用学术会议(NASAC2011).pdf
-
高速下载
| 
