Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
From MaRDI portal
Publication:4561443
DOI10.1145/3178126.3178143zbMath1417.93061OpenAlexW2795585950MaRDI QIDQ4561443
Anne-Kathrin Schmuck, Kaushik Mallik, Rupak Majumdar, Kyle Hsu
Publication date: 6 December 2018
Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3178126.3178143
Related Items (7)
ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ BOCoSy: Small but Powerful Symbolic Output-Feedback Control ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey
This page was built for publication: Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
