The MODRIO M&S-based engineering approach applied to a Backup Power Supply (BPS)

This paper illustrates the modelling and simulation (M&S) based engineering approach developed in the framework of ITEA2 project MODRIO to the case of a Backup Power Supply. This system integrates physical and human aspects with computer-based controls, and is therefore a so-called socio-cyber-physical systems (SCPS). This system is relatively simple in terms of physics but is a realistic example of a reactive hybrid system, illustrating the modelling of control logic and timing issues, and the use of discrete time domains. The MODRIO approach is presented in more details in [8].

[1]  Lena Buffoni,et al.  On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution , 2016, 2016 IEEE International Symposium on Systems Engineering (ISSE).

[2]  Thuy Nguyen A modelling & simulation based engineering approach for socio-cyber-physical systems , 2017, 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC).