Skip to Main content Skip to Navigation
Conference papers

Safety control with performance guarantees of cooperative systems using compositional abstractions

Pierre-Jean Meyer 1 Antoine Girard 1 Emmanuel Witrant 2
1 CASYS - Calculs Algébriques et Systèmes Dynamiques
LJK [2007-2015] - Laboratoire Jean Kuntzmann [2007-2015]
2 GIPSA-SLR [2007-2015] - GIPSA - Systèmes linéaires et robustesse
GIPSA-DA [2007-2015] - Département Automatique
Abstract : In this paper, the monotonicity property is exploited to obtain symbolic abstractions, in the sense of alternating simulation, of a class of nonlinear control systems subject to disturbances. Both a centralized and a compositional approaches are presented to obtain such abstractions, from which controllers are synthesized to satisfy safety specifications and optimize a performance criterion using a receding horizon approach. Performance guarantees on the trajectories of the controlled system can be obtained with both approaches. The controller synthesis and performance guarantees are illustrated and compared on the temperature regulation in a building.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01180975
Contributor : Pierre-Jean Meyer <>
Submitted on : Wednesday, July 29, 2015 - 11:13:36 AM
Last modification on : Friday, July 17, 2020 - 11:39:01 AM
Document(s) archivé(s) le : Friday, October 30, 2015 - 10:12:06 AM

File

Meyer_ADHS15_extended.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Safety control with performance guarantees of cooperative systems using compositional abstractions. 5th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC, Oct 2015, Atlanta, United States. pp.317-322, ⟨10.1016/j.ifacol.2015.11.194⟩. ⟨hal-01180975⟩

Share

Metrics

Record views

679

Files downloads

734