Skip to Main content Skip to Navigation

Etude des systèmes dynamiques hybrides par représentation d'état discrète et automate hybride

Abstract : This thesis presents a control synthesis approach for hybrid systems. This approach proposes a methodology for computing the set of all control laws, which guarantees that the considered system respects the imposed specifications. In our approach, the discrete-time representation is used to model the continuous dynamics of the system and finite state machine models the discrete evolutions. These two models combined give the hybrid automaton on which the reachability techniques are applied. These techniques let us to obtain the reachable automaton, which contains only the possible trajectories of the system for a given initialization. We have here a generalization of the clock translation method. The use of the discrete-time representation for the continuous dynamics let to obtain a finite state machine, modeling the hybrid system. This model is obtained by the timed unfolding of the continuous dynamics in each location of the hybrid automaton. The unfolding procedure is similar with the technique developed by Brandin and Wonham for the timed discrete event systems. The unfolded model represents explicitly the complete evolution of the hybrid system. The proposed control synthesis approach is based on the extension of the supervisory control theory developed for the discrete event systems. The obtained control model is given as a timed automaton. This model state the dates at which the controllable events of the system must occur in order to assure the respect of the specifications. We note that, at the control level, the hybrid aspects of the system evolution disappear. The synthesis results are optimal. The results presented in this thesis can be applied for the control of manufacturing systems but also for the flow control in the batch processes.
Document type :
Complete list of metadatas

Cited literature [65 references]  Display  Hide  Download
Contributor : Patricia Reynier <>
Submitted on : Monday, December 17, 2007 - 10:17:19 AM
Last modification on : Friday, November 6, 2020 - 4:06:33 AM
Long-term archiving on: : Monday, April 12, 2010 - 8:07:23 AM


  • HAL Id : tel-00198326, version 1



Monika Kurovszky. Etude des systèmes dynamiques hybrides par représentation d'état discrète et automate hybride. Automatique / Robotique. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨tel-00198326⟩



Record views


Files downloads