Control of Switching Systems by Invariance Analysis (Invited Talk)

Author Laurent Fribourg

Thumbnail PDF


  • Filesize: 204 kB
  • 1 pages

Document Identifiers

Author Details

Laurent Fribourg

Cite AsGet BibTex

Laurent Fribourg. Control of Switching Systems by Invariance Analysis (Invited Talk). In 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). Open Access Series in Informatics (OASIcs), Volume 31, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


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.
  • Control theory
  • Hybrid systems
  • Safety
  • Stability


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads