Skip to main content
SpringerLink
Log in

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

  • Published:
Cluster Computing Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  1. Lee, E. A.: CPS foundations. In: Proceedings of the 47th Design Automation Conference (DAC’10), Anaheim, CA, United states, pp. 37–742. (2010)

  2. Justin, M.B., Ella, M.A.: Optimization and control of cyber-physical vehicle systems. Sensors 15, 23020–23049 (2015)

    Article  Google Scholar 

  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)

  4. Dylan, P., Jonathan, V., Andreas, G.: SimConnect and SimTalk for distributed cyber-physical system simulation. Simulation 89(10), 1254–1271 (2013)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

  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)

  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)

  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)

  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)

  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)

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  14. Tiller, M.: Introduction to Physical Modeling with Modelica. Kluwer Adademic Publishers, Massachhusetts (2001)

    Book  Google Scholar 

  15. Modelica Association. \(\text{Modelica}{\textregistered }\) - A unified object-oriented language for systems modeling language specification (Version 3.3 Revision 1), https://modelica.org/documents/ModelicaSpec33Revision1.pdf (2014)

  16. Chang, C., Jianwan, D., Liping, C.: Object-oriented modular nodelica library for distillation. Chin. J. Chem. Eng. 21(6), 600–610 (2013)

    Article  Google Scholar 

  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)

  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)

  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)

  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)

  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)

  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. Henriksson, D., Elmqvist, H.: Cyber-physical systems modeling and simulation with modelica. In: 8th International Modelica Conference, pp. 502–519 (2011)

  24. Otter, M.: The LinearSystems library for continuous and discrete control systems. In: Proceedings of the 5th International Modelica Conference, pp. 529–538 (2006)

  25. Wagner, F., Liu, L.: Simulation of distributed automation systems in modelica. In: Proceedings of the 6th International Modelica Conference, pp. 113–122 (2008)

  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)

  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)

Download references

Acknowledgements

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).

Author information

Authors and Affiliations

  1. School of Mechanical Engineering, Hangzhou Dianzi University, Hangzhou, 310018, China

    Chen Chang, Su Shaohui, Peng Zhangming, Chen Guojin, Liu Haiqiang & Gong Youping

Authors
  1. Chen Chang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Su Shaohui
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Peng Zhangming
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Chen Guojin
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Liu Haiqiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Gong Youping
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Peng Zhangming.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Chang, C., Shaohui, S., Zhangming, P. et al. A novel simulation strategy for equation-based models of cyber-physical systems. Cluster Comput 22 (Suppl 3), 5245–5255 (2019). https://doi.org/10.1007/s10586-017-1204-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10586-017-1204-x

Keywords

Search

Navigation