一种基于模型转换的CPS建模与验证方法

2021-04-10 00:00:00

云上高博会 https://heec.cahe.edu.cn

关键词： CPS建模模型转换

点击收藏

所属领域:

电子信息

项目成果/简介:

本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。

项目阶段:

未应用

会员登录可查看合作方式、专利情况及联系方式

扫码关注，查看更多科技成果

取消

确定