Modeling and analysis of discrete-time hybrid systems

"The behavior of hybrid systems is described by interacting discrete and continuous variables. In this paper, we suggest a modeling and analysis approach based on the discrete-time representation of the continuous dynamics of hybrid systems. Initially, the hybrid system is modeled using a discrete-time hybrid automaton. Starting from this model, by the analysis approach an equivalent timed automaton model is obtained. The approach that we propose here is a generalization of the “Clock Translation” method developed by Henzinger for a particular class of hybrid systems. This model, representing the result of our analysis approach, is built in the aim of a further supervisory control synthesis .