CPS系统物理实体时空一致性建模与分析

• 作者: 张晶 王亮 范洪博
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 信息物理系统(CPS) 空间 时空事件 时间 Petri网 模型
• 年，卷（期）: 2018,（14）
• 所属期刊栏目: 理论与研发
• 页码范围: 41-44
• 页数: 4页
• 分类号: TP301
• 字数: 5020字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1705-0099

摘要

CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画.传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理实体状态转移时空一致性的要求,在此基础上提出一种新的建模方法.将CPS时空状态转移融合成一个状态转移实时时空事件,并在时间Petri网基础上引入空间标签,建立时空Petri网模型,利用时空Petri网对物理实体状态转移过程进行分析.最后通过列车控制系统实例进一步分析了时空模型的有效性,从而例证了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晶	昆明理工大学信息工程与自动化学院	60	174	8.0	9.0
2	范洪博	昆明理工大学信息工程与自动化学院	27	75	5.0	6.0
3	王亮	昆明理工大学信息工程与自动化学院	4	8	2.0	2.0