| 发明名称 | 一种基于可能性时空混成自动机的CPS建模与属性验证方法 | ||
| 摘要 | 本发明提供一种基于可能性时空混成自动机的CPS建模与属性验证方法，验证方法包括下述步骤：1：确定可能性时空混成自动机与信息物理融合系统CPS；2：可能性时空信息物理融合系统CPS属性验证。本发明提供的基于可能性时空混成自动机模型用于CPS系统的建模，给出可能性时空CPS的描述语言用于系统响应性和正则安全性等属性验证度量方法，从理论上和实例两方面验证在不确定环境下CPS系统建模和属性验证度量方法的有效性，为复杂CPS系统的智能控制与优化提供理论依据。 | ||
| 申请公布号 | CN106528970A | 申请公布日期 | 2017.03.22 |
| 申请号 | CN201610929420.7 | 申请日期 | 2016.10.31 |
| 申请人 | 耿生玲 | 发明人 | 耿生玲 |
| 分类号 | G06F17/50(2006.01)I | 主分类号 | G06F17/50(2006.01)I |
| 代理机构 | 北京细软智谷知识产权代理有限责任公司 11471 | 代理人 | 付登云 |
| 主权项 | 一种基于可能性时空混成自动机的CPS建模与属性验证方法，其特征在于，所述验证方法包括下述步骤：步骤1：确定可能性时空混成自动机与信息物理融合系统CPS；步骤2：可能性时空信息物理融合系统CPS属性验证。 | ||
| 地址 | 810000 青海省西宁市城西区西川南路8号5栋132室 | ||