Compositional synthesis of state-dependent switching control

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

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

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 synthesis; hybrid system; bisection technique; compositional method

Mathematics Subject Classification ID

93B35: Sensitivity (robustness)

93C95: Application models in control theory

93C55: Discrete-time control/observation systems

93B50: Synthesis problems

93B03: Attainable sets, reachability

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Uses Software

• DynIbex