关键词: 信息物理融合系统, 建模与仿真, 时空特性, 面向对象, Petri网

Abstract:

Cyber-Physical System （CPS） is a distributed real-time feedback system that integrates computing， control， communication and physical elements， but the traditional modeling methods cannot meet the high requirements of CPS for spatiotemporal performance. To address this problem， a modeling method for Duration-Space Object Petri Net （DS-OPN） was proposed. Firstly， the object-oriented encapsulation technology and spatiotemporal elements were integrated into the Petri net， and the spatial and temporal description rules were designed to encapsulate scenario elements under the same object into the same object subnet system model. Secondly， the aggregation rules were defined to aggregate various subnet models to enable these models to describe the object change process in the CPS physical topology environment. Finally， taking the traffic CPS as an example， the dynamic behavior of the autonomous control overtaking system was modeled and simulated； at the same time， the coverability tree and the incidence matrix of the model were established to verify the model’s reachability and safety. Experimental results show that the model modeled by the proposed method has a clear representation of the logical structure of the system flow as well as accurate calculation of spatiotemporal factors， and meets the requirements of CPS in terms of real-time performance and security， which verifies the effectiveness and security of the modeling method.

Key words: Cyber-Physical System (CPS), modeling and simulation, spatiotemporal characteristic, object-oriented, Petri net