Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
Abstract elided by the publisher.
Related papers
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016
- Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control CAV 2025
- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants CAV 2017
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Stochastic Omega-Regular Verification and Control with Supermartingales CAV 2024
- AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems CAV 2020
- A Hybrid Meta-Learning Framework for Adaptive Safe Controller Synthesis of Dynamic Systems VMCAI 2026