Switched systems are embedded devices widespread in industrial applications such as power electronics and automotive control. They consist of continuous-time dynamical subsystems and a rule that controls the switching between them. Under a suitable control rule, the system can improve its steady-state performance and meet essential properties such as safety and stability in desirable operating zones. We explain that such controller synthesis problems are related to the construction of appropriate invariants of the state space, which approximate the limit sets of the system trajectories. We present a new approach of invariant construction based on a technique of state space decomposition interleaved with forward fixed point computation. The method is illustrated in a case study taken from the field of power electronics.
@InProceedings{fribourg:OASIcs.FSFMA.2013.1, author = {Fribourg, Laurent}, title = {{Control of Switching Systems by Invariance Analysis}}, booktitle = {1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)}, pages = {1--1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-56-9}, ISSN = {2190-6807}, year = {2013}, volume = {31}, editor = {Choppy, Christine and Sun, Jun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.1}, URN = {urn:nbn:de:0030-drops-40836}, doi = {10.4230/OASIcs.FSFMA.2013.1}, annote = {Keywords: Control theory, Hybrid systems, Safety, Stability} }
Feedback for Dagstuhl Publishing