Modeling And Analysis Of Discrete-Time Hybrid Systems
- Authors
-
-
Monika Kurovszky
Laboratoire d'Automatique de Grenoble
-
Hassane Alla
Laboratoire d'Automatique de Grenoble
-
- 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.
- References
- Downloads
- Published
- 2002-12-31
- Issue
- Vol. 4 No. 4 (2002)
- Section
- Articles