Improving the Analysis of Hybrid Systems Through the Infinity Computer

Modeling and Simulation of Cyber-Physical Systems require to deal with new challenges arising from the growing heterogeneity of the involved components and related interactions, which often exhibit both continuous and discrete behaviors. To formalize the entire system’s dynamics and take into consideration the interactions between the physical and cyber worlds, Hybrid Systems are widely adopted. Hybrid System models extend the traditional finite state machine by combining differential equations to model the continuous behavior of the system with a finite control graph, which formalizes discrete behaviors. The correct design and implementation of such Hybrid Systems play an essential role in the simulation of real-world Cyber-Physical Systems, especially for the ones involved in critical industrial plants such as nuclear, chemical, and aerospace. Traditional numerical methods engage a lot of computational resources to simulate a Hybrid System, as a consequence, slow down the simulation significantly. To overcome these computational issues, the paper investigates the use of a recently proposed numerical method, based on the Infinity Computer methodology, to design and simulate Hybrid Systems. The proposed method allows to reduce computational resources by generating observations more densely where it is necessary. To show the validity of the proposed method, an important real-life Hybrid System has been studied and the simulation results have been compared with the standard method.