Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00935226
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

File

37122_BATIS_2013_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00935226, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

620

Files downloads

2353