Skip to Main content Skip to Navigation

Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires

Abstract : In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis power. We propose a method for the control synthesis of HDS modeled with RHA. This method consists on the application of a downstream/upstream offline control procedure that determines in a maximal permissive way the new automaton transition guards respecting the desired control specifications. All computations are based on the determination of the duration of stay, a value constrained by the reachable space of the corresponding location. Since the guard refers to both continuous state and discrete event, the control is made by the latter because it is the controllable element. Then we are interested in the construction of the timed controller authorizing the system controllable event occurrence in a clock interval defined in a maximal permissive way.
Document type :
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Thursday, January 23, 2014 - 11:32:07 AM
Last modification on : Thursday, November 19, 2020 - 12:59:58 PM
Long-term archiving on: : Thursday, April 24, 2014 - 1:35:10 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00935226, version 1



Sonia Batis. Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires. Autre. Université de Grenoble, 2013. Français. ⟨NNT : 2013GRENT025⟩. ⟨tel-00935226⟩



Record views


Files downloads