Lazy Abstraction-Based Controller Synthesis
From MaRDI portal
Publication:3297583
DOI10.1007/978-3-030-31784-3_2zbMath1447.93060arXiv1804.02722OpenAlexW2981482524MaRDI QIDQ3297583
Anne-Kathrin Schmuck, Kyle Hsu, Kaushik Mallik, Rupak Majumdar
Publication date: 20 July 2020
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.02722
Uses Software
Cites Work
- Unnamed Item
- Finite controlled invariants for sampled switched systems
- Solving games via three-valued abstraction refinement
- An adaptive grid scheme for the discrete Hamilton-Jacobi-Bellman equation
- Augmented finite transition systems as abstractions for control synthesis
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Language-guided controller synthesis for discrete-time linear systems
- Better Abstractions for Timed Automata
- Efficient finite abstraction of mixed monotone systems
- First steps toward formal controller synthesis for bipedal robots
- SCOTS
- Counterexample-guided abstraction refinement for symbolic model checking
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Verification and Control of Hybrid Systems
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems
- ROCS
- On the synthesis of discrete controllers for timed systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Lazy abstraction
- Compositional Synthesis of Finite-State Abstractions
- pFaces
- Towards a Multiresolution Approach to Linear Control
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Integrated Design of Symbolic Controllers for Nonlinear Systems
This page was built for publication: Lazy Abstraction-Based Controller Synthesis
