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

来源：计算机工程与应用杂志2018年第14期北京时间：

作者：张 晶，王 亮，范洪博

单位：昆明理工大学 信息工程与自动化学院，昆明 650504

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

关键词：信息物理系统（CPS）,空间,时空事件,时间,Petri网,模型