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 metadata

Cited literature [36 references]  Display  Hide  Download
Contributor : Antoine Girard Connect in order to contact the contributor
Submitted on : Monday, November 9, 2020 - 10:28:31 AM
Last modification on : Wednesday, September 8, 2021 - 1:50:31 PM
Long-term archiving on: : Wednesday, February 10, 2021 - 6:31:01 PM


Files produced by the author(s)



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⟩



Record views


Files downloads