An Event Bridge Framework for Modeling and Simulating Networked Hybrid Dynamic Behaviors

Abstract:

Typical CPS system composes of large scale of smart physical nodes communicated by kinds of network, while each node shows certain hybrid dynamic behavior. Their dynamic behavior features with networked mix of discrete time-driven cyber behavior and continuous time-driven physical behavior, complicating the modeling and simulating of the entire CPS behavior during the design and analysis. In this paper, an event bridge framework is proposed, extending the composition semantics of the hybrid automata, to capture the communication relationship among CPS nodes as well as the transmission delay properties. First, the event bridge model is given and a rail control system is taken as an example to explain its conciseness; second, a modeling and simulating framework is designed and implemented according to the event bridge model, where the dynamic behavior of each node is required to be modeled as an event-driven state chart; finally, the framework is applied in the rail control system and the lunar rover system, and the results show that it is effective both in networked hybrid physical behaviors and in networked cyber physical behaviors.

• Periodical: Applied Mechanics and Materials (Volumes 651-653)
• Pages: 1798-1805
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.651-653.1798
• Online since: September 2014
• Authors: Cui Ye Song*, Cheng Lie Du, Gang Li
• Keywords: Bridge Model, CPS, Event, Hybrid Behavior, Modeling, Simulating

References

[1] Jifeng He: Communications of the CCF Vol. 6 No. 1(2010), pp: 25-29. In Chinese.

[2] Edward A. Lee. CPS foundations. In Proc. of Design Automation Conference(2010), pp: 737-742.

[3] Dan Henriksson and Hilding Elmqvist. Cyber-Physical Systems Modeling and Simulation with Modelica. In: Proc. of 8th Modelica Conference (2011), pp.502-509.

DOI: 10.3384/ecp11063502

[4] Henzinger, T.A. The Theory of Hybrid Automata. In Proc. of the Eleventh Annual IEEE Symposium on Logic in Computer Science (1996), pp: 278-292.

[5] Nancy Lynch, Roberto Segala and Frits Vaandrager: Information and Computation, Vol. 185 No. 1 (2003), pp: 103-157.

[6] Arjan J. van der Schaft, Hans Schumacher: An Introduction to Hybrid Dynamical Systems (Springer 2000).

[7] Information on http: /www. ibm. com/developerworks/cn/rational/products/rhapsody.

[8] Jie Liu, Gongyu Weng: Model Based Design-MCU (Beijing University Press 2011). In Chinese.