Synthesis of switching controllers using approximately bisimilar multiscale abstractions

DOI10.1145/1967701.1967730zbMath1362.93056OpenAlexW2021486660MaRDI QIDQ2986729

Javier Cámara, Antoine Girard, Gregor Gössler

Publication date: 16 May 2017

Published in: Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

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

zbMATH Keywords

optimal controlswitched systemsapproximate bisimulationmultiscale abstractionsself-triggered controllers

Mathematics Subject Classification ID

Time-scale analysis and singular perturbations in control/observation systems (93C70) Sampled-data control/observation systems (93C57) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (6)

Augmented finite transition systems as abstractions for control synthesis ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

This page was built for publication: Synthesis of switching controllers using approximately bisimilar multiscale abstractions