Synthesis of switching controllers using approximately bisimilar multiscale abstractions

DOI10.1145/1967701.1967730MaRDI QIDQ2986729zbMATH OpenOpenAlexFDO

Authors 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

approximate bisimulationmultiscale abstractionsoptimal controlself-triggered controllersswitched 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) Sampled-data control/observation systems (93C57) Time-scale analysis and singular perturbations in control/observation systems (93C70)

Recommendations

• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• Controller synthesis for safety and reachability via approximate bisimulation
• Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
• Optimal multirate sampling in symbolic models for incrementally stable switched systems
• Low-complexity quantized switching controllers using approximate bisimulation

Cited in

(12)

• Augmented finite transition systems as abstractions for control synthesis
• Optimal multirate sampling in symbolic models for incrementally stable switched systems
• Low-complexity quantized switching controllers using approximate bisimulation
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• Backstepping controller synthesis and characterizations of incremental stability
• Controller synthesis for bisimulation equivalence
• Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
• Lazy abstraction-based controller synthesis
• Controller synthesis for safety and reachability via approximate bisimulation
• A modal characterization of alternating approximate bisimilarity
• scientific article; zbMATH DE number 3310919 (Why is no real title available?)
• Approximate bisimulation: a bridge between computer science and control theory

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

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