Compositional synthesis of state-dependent switching control

DOI10.1016/j.tcs.2018.01.021zbMath1405.93098OpenAlexW2790786575MaRDI QIDQ1623281

Laurent Fribourg, Florian De Vuyst, Adrien Le Coënt, Ludovic Chamoin, Nicolas Markey

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

control synthesishybrid systembisection techniquecompositional method

Mathematics Subject Classification ID

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

Uses Software

• DynIbex

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite controlled invariants for sampled switched systems
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Verification and Synthesis of Timing Contracts for Embedded Controllers
• Game-based Synthesis of Distributed Controllers for Sampled Switched Systems
• Hybrid Systems: Computation and Control

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