Compositional synthesis of state-dependent switching control

DOI10.1016/J.TCS.2018.01.021MaRDI QIDQ1623281zbMATH OpenOpenAlexFDO

Authors Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian De Vuyst, L. Chamoin

Publication date 23 November 2018

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2018.01.021

zbMATH Keywords

hybrid systemcontrol synthesisbisection techniquecompositional method

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Attainable sets, reachability (93B03) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Application models in control theory (93C95)

Recommendations

• Distributed synthesis of state-dependent switching control
• Formal synthesis of stabilizing controllers for switched systems
• Finite controlled invariants for sampled switched systems
• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
• Stability Controllers for Sampled Switched Systems

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 1305022 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• Finite controlled invariants for sampled switched systems
• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
• Hybrid Systems: Computation and Control
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Verification and synthesis of timing contracts for embedded controllers

Cited in

(1)

• Distributed synthesis of state-dependent switching control

Describes a project that uses

Uses Software

• DynIbex

This page was built for publication: Compositional synthesis of state-dependent switching control

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