一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法专利查询专利号|摘要-满商公司网

一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法

基本信息

申请号	CN202110607529.X	申请日	-
公开（公告）号	CN113434116A	公开（公告）日	2021-09-24
申请公布号	CN113434116A	申请公布日	2021-09-24
分类号	G06F8/10（2018.01）I;G06F8/35（2018.01）I;G06F11/36（2006.01）I	分类	计算；推算；计数;
发明人	赵涌鑫;胡指铭;蒲戈光;刘虹	申请（专利权）人	上海工业控制安全创新科技有限公司
代理机构	上海德禾翰通律师事务所	代理人	夏思秋
地址	200241上海市闵行区东川路500号
法律状态	-

摘要

本发明公开了一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法，所述方法包括：利用信物融合系统建模语言，分别构建抽象层面上的离散模式和连续模式，及具体层面上的离散控制流和连续控制流；结合上述获得的抽象层面和具体层面的建模模型，获得完整的信物融合系统模型，并以图形化方式表示；将上述获得的完整的信物融合系统模型中的变量、离散模式、连续模式、离散模式控制流、连续模式控制流按照翻译规则转换成混合自动机，进行形式化验证和性质分析。本发明方法能以图形化展示界面，方便用户的理解和建立模型，也为模型和高置信的形式化性质验证工具间建立有效的桥梁，节约信物融合系统模型的开发和高置信性质验证的时间和成本。