Formal synthesis of stabilizing controllers for switched systems

DOI10.1145/3049797.3049822MaRDI QIDQ5275324zbMATH OpenOpenAlexFDO

Authors Pavithra Prabhakar, Miriam García Soto

Publication date 11 July 2017

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3049797.3049822

zbMATH Keywords

control synthesisgame theoryhybrid systemsstabilityswitched systems

Mathematics Subject Classification ID

Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Adaptive or robust stabilization (93D21)

Recommendations

• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
• Distributed synthesis of state-dependent switching control
• Abstraction based verification of stability of polyhedral switched systems
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• Timed-automata abstraction of switched dynamical systems using control invariants

Cited in

(8)

• Compositional synthesis of state-dependent switching control
• Timed-automata abstraction of switched dynamical systems using control invariants
• Distributed synthesis of state-dependent switching control
• Synthesis of P-stable abstractions
• Abstraction based verification of stability of polyhedral switched systems
• Control synthesis of switched systems
• Timed-automata abstraction of switched dynamical systems using control funnels
• Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

This page was built for publication: Formal synthesis of stabilizing controllers for switched systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275324)