Symbolic observer-based controller for uncertain nonlinear systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Control Systems Letters Année : 2021

Symbolic observer-based controller for uncertain nonlinear systems

Résumé

Symbolic control is an approach to the control of continuous or hybrid systems with specifications expressed in a logic form. This approach is based on the use of symbolic models describing the dynamical system behavior with a finite description of the transition relation between its states. In the literature, many results using this approach assume the availability of full and exact information about the system states to compute the control actions. In this paper, we consider a more realistic scenario where only partial information about the plant states is available. This paper proposes an abstraction that makes it possible to synthesize output-feedback controllers. The presence of disturbances and output noise is also considered. A direct path between observer designs in the classical theory and control synthesis in formal methods is established and a numerical example is provided to illustrate the results.
Fichier principal
Vignette du fichier
L_CSS_FinalPaper2020.pdf (289.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02995397 , version 1 (09-11-2020)

Identifiants

Citer

W. A. Apaza-Perez, Antoine Girard, Christophe Combastel, Ali Zolghadri. Symbolic observer-based controller for uncertain nonlinear systems. IEEE Control Systems Letters, 2021, 5 (4), pp.1297-1302. ⟨10.1109/LCSYS.2020.3034274⟩. ⟨hal-02995397⟩
102 Consultations
220 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More