2026-07-20T11:14:56Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4083 2024-03-06T10:29:14Z ddc:004 open_access

Control of Switching Systems by Invariance Analysis (Invited Talk) Fribourg, Laurent Control theory Hybrid systems Safety Stability 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Laurent Fribourg 2013 Is Part Of OASIcs, Volume 31, 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.FSFMA.2013.1 urn:nbn:de:0030-drops-40836 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.1 eng https://creativecommons.org/licenses/by/3.0/legalcode