Skip to Main content Skip to Navigation
Journal articles

Symbolic observer-based controller for uncertain nonlinear systems

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

Cited literature [36 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02995397
Contributor : Antoine Girard <>
Submitted on : Monday, November 9, 2020 - 10:28:31 AM
Last modification on : Friday, January 8, 2021 - 1:24:02 PM

File

L_CSS_FinalPaper2020.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

32

Files downloads

57