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