Computer Engineering and Applications ›› 2018, Vol. 54 ›› Issue (14): 41-44.DOI: 10.3778/j.issn.1002-8331.1705-0099

Previous Articles     Next Articles

Modeling and analysis of CPS physical entity spatio-temporal state

ZHANG Jing, WANG Liang, FAN Hongbo   

  1. School of Information Engineering & Automation, Kunming University of Science & Technology, Kunming 650504, China
  • Online:2018-07-15 Published:2018-08-06


张  晶,王  亮,范洪博   

  1. 昆明理工大学 信息工程与自动化学院,昆明 650504

Abstract: CPS is a collection of computing systems and physical systems and the integration of the hybrid system. This paper pays attention to the consistency of behavior between calculation process and physical process. Traditional modeling methods for physics process and calculation process of single model, it is difficult to meet the requirements of the CPS physical entity state transition space and time consistency, based on this, it advances a new method of modeling. CPS space-time fusion state is transited into a state transfer real-time event of time and space, and based on time Petri net it is introduced into space. Space and time Petri net model is established. The use of space and time Petri net to the physical entity state transfer process is analyzed. Finally, the validity of the spatiotemporal model is analyzed by the example of the train control system, which proves the feasibility of the method.

Key words: Cyber-Physical System(CPS), space, time and space event, time, Petri net, model

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

关键词: 信息物理系统(CPS), 空间, 时空事件, 时间, Petri网, 模型