[发明专利]一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法有效
| 申请号： | 202110607529.X | 申请日： | 2021-06-01 |
| 公开（公告）号： | CN113434116B | 公开（公告）日： | 2022-09-20 |
| 发明（设计）人： | 赵涌鑫;胡指铭;蒲戈光;刘虹 | 申请（专利权）人： | 华东师范大学;上海工业控制安全创新科技有限公司 |
| 主分类号： | G06F8/10 | 分类号： | G06F8/10;G06F8/35;G06F11/36 |
| 代理公司： | 上海德禾翰通律师事务所 31319 | 代理人： | 夏思秋 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种面向周期控制器的以模式为基础的信物融合系统建模及验证方法，所述方法包括：利用信物融合系统建模语言，分别构建抽象层面上的离散模式和连续模式，及具体层面上的离散控制流和连续控制流；结合上述获得的抽象层面和具体层面的建模模型，获得完整的信物融合系统模型，并以图形化方式表示；将上述获得的完整的信物融合系统模型中的变量、离散模式、连续模式、离散模式控制流、连续模式控制流按照翻译规则转换成混合自动机，进行形式化验证和性质分析。本发明方法能以图形化展示界面，方便用户的理解和建立模型，也为模型和高置信的形式化性质验证工具间建立有效的桥梁，节约信物融合系统模型的开发和高置信性质验证的时间和成本。 | ||
| 搜索关键词： | 一种 面向 周期 控制器 模式 基础 信物 融合 系统 建模 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海工业控制安全创新科技有限公司，未经华东师范大学;上海工业控制安全创新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110607529.X/，转载请声明来源钻瓜专利网。
- 上一篇：一种高压节流管汇全自动控制系统
- 下一篇：一种具有保护功能的面条包装袋
