Advantages of the usage of the Infinity Computer for reducing the Zeno behavior in hybrid system models

Abstract

To capture the dynamics of modern Cyber-Physical Systems, hybrid system models are introduced to combine their continuous dynamics with the discrete ones. Unfortunately, one important negative issue can affect hybrid system models: the so-called Zeno phenomenon, which results in an infinite number of discrete transitions in a finite amount of time occurring during the model’s simulation that leads to inconsistent results. In this context, the paper investigates the use of a recently proposed numerical algorithm, based on the Infinity Computer methodology, to handle the Zeno phenomenon and evaluate it with respect to standard numerical methods by considering the hybrid system models of two exemplary Cyber-Physical Systems: the Water tanks and the Thermostat.