高等教育領域數字化綜合服務平臺
東南大學
教育部
- 184 高校采購信息
- 1294 科技成果項目
- 6 創新創業項目
- 0 高校項目需求
基于HybridUML和定理證明的CPS自適應性驗證方法
所屬領域:
項目成果/簡介:
本發明提出一種基于HybridUML和定理證明的CPS自適應性驗證方法，本發明步驟包括：首先利用HybridUML視圖對CPS建模；然后將HybridUML規約轉換為定理證明器KeYmaera的輸入-量化混合程序QHP；結合生成的QHP，以量化微分動態邏輯QdL公式的形式對待驗證的屬性進行規約，然后利用KeYmaera進行自動驗證。
項目階段:
掃碼關注，查看更多科技成果
取消
確定