基于可能性时空混成自动机的CPS软件建模

• 作者: 宫海彦 彭姣 童英华 耿生玲
• 来源期刊: 现代电子技术
• 关键词: CPS 不确定性 可能性时空混成自动机 控制系统 建模 属性验证
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 测控与自动化技术
• 页码范围: 173-177
• 页数: 5页
• 分类号: TN876-34|TP391
• 语种: 中文
• DOI: 10.16652/j.issn.1004-373x.2018.05.039

摘要

信息物理融合系统(CPS)对复杂系统的建模与验证是当前控制研究领域的一个热点问题.考虑不确定环境因素对CPS系统的影响,结合可能性测度与时空模型,给出一种可能性时空混成自动机的信息物理融合系统的建模方法.以时空混成自动机为建模工具,通过分析CPS的体系结构,讨论衡量不确定性的可能性对CPS软件运行时的时空动态影响,给出一个可能性时空CPS系统架构.通过理论证明和实例分析在不确定环境下可能性时空混成自动机为CPS软件系统建模的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	童英华	青海师范大学计算机学院	27	103	6.0	9.0
5	耿生玲	青海师范大学计算机学院	39	138	6.0	11.0
9	宫海彦	青海师范大学计算机学院	3	1	1.0	1.0
10	彭姣	青海师范大学计算机学院	3	3	1.0	1.0