基于可能性混成自动机的CPS属性验证

• 作者: 李永明 耿生玲 薄玮 陈娜
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 可能性混成自动机 可能性CPS 动态验证
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 26-32
• 页数: 7页
• 分类号: TP391
• 字数: 5742字
• 语种: 中文
• DOI: 10.15983/j.cnki.jsnu.2016.05.155

摘要

针对环境中存在的不确定性因素对信息物理融合系统(CPS)的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验证方法.通过验证其可达性和安全性,理论证明和实例分析表明该方法是有效的,可描述不确定环境因素下的CPS系统的验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	耿生玲	青海师范大学计算机学院	39	138	6.0	11.0
3	薄玮	陕西师范大学计算机科学学院	5	17	2.0	4.0
5	陈娜	青海师范大学计算机学院	10	13	2.0	3.0