A novel simulation strategy for equation-based models of cyber-physical systems

  • Chen Chang
  • Su Shaohui
  • Peng Zhangming
  • Chen Guojin
  • Liu Haiqiang
  • Gong Youping


Cyber-physical systems (CPS) is a complex intelligent system consists of discrete asynchronous information and continuous synchronous physical systems that are different in structure and mathematics basis. In this article, a new simulation strategy for CPS model is explored based on the equation-based modeling language Modelica. Firstly, some new semantics, such as Clock, Sampling and Holding, are proposed to model information systems based on Modelica. Secondly, the serialization method is proposed to separate the information equation systems from CPS model and sequence the information and physical equation systems respectively. Thirdly, the unified simulation method, which consists of information system simulation strategy and unified simulation strategy, is present to solve the CPS model in a unified form. An inverted pendulum system is taken to demonstrate the above methods. Differently from the common modeling methods and simulation strategy, where the information system and physical system are modeled and simulated separately in different tools and then linked with interfaces between these tools. The major novelty of proposed strategy is that the CPS model could be built and simulated in a unified framework and the information system and physical system could be linked automatically in a natural way.


Cyber-physical systems Unified modeling Simulation strategy Modelica Human–computer interaction 



The study is supported by the National Natural Science Foundation of China (Grant Nos. 51405117, 51675148, 51475129, 51541507) and Natural Science Foundation of Zhejiang Province, China (Grant No. LY15E050023).


  1. 1.
    Lee, E. A.: CPS foundations. In: Proceedings of the 47th Design Automation Conference (DAC’10), Anaheim, CA, United states, pp. 37–742. (2010)Google Scholar
  2. 2.
    Justin, M.B., Ella, M.A.: Optimization and control of cyber-physical vehicle systems. Sensors 15, 23020–23049 (2015)CrossRefGoogle Scholar
  3. 3.
    Lee, E. A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object, Component, Service-Oriented Real-Time Distributed Computing Orlando, FL, United states, pp. 363–369 (2008)Google Scholar
  4. 4.
    Dylan, P., Jonathan, V., Andreas, G.: SimConnect and SimTalk for distributed cyber-physical system simulation. Simulation 89(10), 1254–1271 (2013)CrossRefGoogle Scholar
  5. 5.
    Zhang, Zhenkai, Eyisi, Emeka, Koutsoukos, Xenofon, Porter, Joseph, Karsai, Gabor, Sztipanovits, Janos: A co-simulation framework for design of time-triggered automotive cyber physical systems. Simul. Model. Pract. Theory 43, 16–33 (2014)CrossRefGoogle Scholar
  6. 6.
    Beghi, A., Marcuzzi, F., Rampazzo, M., Virgulin, M.: Enhancing the simulation-centric design of cyber-physical and multi-physics systems through co-simulation. In: 17th Euromicro Conference on Digital System Design, pp. 687–690 (2014)Google Scholar
  7. 7.
    Huang, J., Bastani, F., Yen, I. L., Dong, J., Zhang, W., Wang, F. J., Hsu, H. J.: Extending service model to build an effective service composition framework for cyber-physical systems. In: IEEE International Conference on Service-Oriented Computing and Applications (SOCA’09), Taipei, Taiwan, pp. 130–137 (2009)Google Scholar
  8. 8.
    Heechul, Y., Wu, P., Maryam, R., Kim, C., Lui, S.: A reduced complexity design pattern for distributed hierarchical command and control system. In: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS’10), Stockholm, Sweden, pp. 42–49 (2010)Google Scholar
  9. 9.
    Bujorianu, M. C., Bujorianu, M. L., Barringer, H.: A unifying specification logic for cyber-physical systems. In: 17th Mediterranean Conference on Control and Automation, Thessaloniki, Greece, pp. 1166–1171 (2009)Google Scholar
  10. 10.
    Huang, J., Bastani, F., Yen, I.L., Jeng, J.: Toward a smart cyber-physical space: a context-sensitive resource-explicit service model. In: 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC’2009), Seattle, WA, United states, pp. 122–127 (2009)Google Scholar
  11. 11.
    Tan, Y., Vuran, M.C., Steve, G., Yu, Y., Song, M., Ren, S.: A concept lattice-based event model for cyber-physical systems. In: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS’10), Stockholm, Sweden, pp. 50–60 (2010)Google Scholar
  12. 12.
    Zerioul, L., Ariaudo, M., Bourdel, E.: RF transceiver and transmission line behavioral modeling in VHDL-AMS for wired RFNoC. Analog Integr. Circuits Signal Process. 92(1), 103–114 (2017)CrossRefGoogle Scholar
  13. 13.
    Mijlad, N., Elwarraki, E., Elbacha, A.: SIMSCAPE electro-thermal modelling of the PIN diode for power circuits simulation. IET Power Electron. 9(7), 1521–1526 (2016)CrossRefGoogle Scholar
  14. 14.
    Tiller, M.: Introduction to Physical Modeling with Modelica. Kluwer Adademic Publishers, Massachhusetts (2001)CrossRefGoogle Scholar
  15. 15.
    Modelica Association. \(\text{Modelica}{\textregistered }\) - A unified object-oriented language for systems modeling language specification (Version 3.3 Revision 1), (2014)
  16. 16.
    Chang, C., Jianwan, D., Liping, C.: Object-oriented modular nodelica library for distillation. Chin. J. Chem. Eng. 21(6), 600–610 (2013)CrossRefGoogle Scholar
  17. 17.
    Johan, A.: The vehicle dynamics library: new concepts and new fields of application. In: Proceedings of the 8th International Modelica Conference, pp. 414–420. Linköping University Electronic Press, Linköping, Sweden (2011)Google Scholar
  18. 18.
    Andreas, D., Johannes, G., Harald, W.: Multi-domain vehicle dynamics simulation in Dymola. In: Proceedings of the 8th International Modelica Conference, pp. 13–17. Linköping University Electronic Press, Linköping, Sweden (2011)Google Scholar
  19. 19.
    Marcus, B., Martin, O., Bernhard, T.: Modelica libraries for linear control systems. In: Proceedings of the 7th International Modelica Conference, pp. 593–602. Linköping University Electronic Press, Linköping, Sweden (2009)Google Scholar
  20. 20.
    Francesco, C., Michael, S., Luca, S.: Steady-state initialization of object-oriented thermo-fluid models by homotopy methods. In: Proceedings of the 8th International Modelica Conference, pp. 86–96. Linköping University Electronic Press, Linköping, Sweden (2011)Google Scholar
  21. 21.
    Antoine, V.: Strong coupling of modelica system-level models with detailed CFD models for transient simulation of hydraulic components in their surrounding environment. In: Proceedings of the 8th International Modelica Conference, pp. 256–265. Linköping University Electronic Press, Linköping, Sweden (2011)Google Scholar
  22. 22.
    Chang, C., Shaohui, S., guojin, C.: Modular model library for energy system in lunar vehicle. CMES Comput. Model. Eng. Sci. 108(1), 1–20 (2015)Google Scholar
  23. 23.
    Henriksson, D., Elmqvist, H.: Cyber-physical systems modeling and simulation with modelica. In: 8th International Modelica Conference, pp. 502–519 (2011)Google Scholar
  24. 24.
    Otter, M.: The LinearSystems library for continuous and discrete control systems. In: Proceedings of the 5th International Modelica Conference, pp. 529–538 (2006)Google Scholar
  25. 25.
    Wagner, F., Liu, L.: Simulation of distributed automation systems in modelica. In: Proceedings of the 6th International Modelica Conference, pp. 113–122 (2008)Google Scholar
  26. 26.
    Fimqvist, D., Emar, K., et al.: Hybrid modeling of communication networks using Modelica. In: Proceedings of the 2nd International Modelica Conference, pp. 209–213 (2002)Google Scholar
  27. 27.
    Cao, B., Wang, J. X., Fan, J., et al.: Mapping elements with the Hungarian algorithm: an efficient method for querying business process models. In: 2015 IEEE International Conference on Web Services (ICWS), pp. 129–136 (2015)Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2017

Authors and Affiliations

  • Chen Chang
    • 1
  • Su Shaohui
    • 1
  • Peng Zhangming
    • 1
  • Chen Guojin
    • 1
  • Liu Haiqiang
    • 1
  • Gong Youping
    • 1
  1. 1.School of Mechanical EngineeringHangzhou Dianzi UniversityHangzhouChina

Personalised recommendations