Lazy abstraction-based controller synthesis
From MaRDI portal
Abstract: We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at the precision currently required by the synthesis algorithm. We show that lazy ABCS can significantly outperform previous multi-layered ABCS algorithms: on standard benchmarks, lazy ABCS is more than 4 times faster.
Recommendations
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- Compositional abstraction refinement for control synthesis
- scientific article; zbMATH DE number 1836353
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
Cites work
- An adaptive grid scheme for the discrete Hamilton-Jacobi-Bellman equation
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Augmented finite transition systems as abstractions for control synthesis
- Better abstractions for timed automata
- Comparing Forward and Backward Reachability as Tools for Safety Analysis
- Compositional Synthesis of Finite-State Abstractions
- Counterexample-guided abstraction refinement for symbolic model checking
- Efficient finite abstraction of mixed monotone systems
- Efficient On-the-Fly Algorithms for Partially Observable Timed Games
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Finite controlled invariants for sampled switched systems
- First steps toward formal controller synthesis for bipedal robots
- scientific article; zbMATH DE number 2038762 (Why is no real title available?)
- Integrated Design of Symbolic Controllers for Nonlinear Systems
- Language-guided controller synthesis for discrete-time linear systems
- Lazy abstraction
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- On the synthesis of discrete controllers for timed systems
- pFaces
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- SCOTS: a tool for the synthesis of symbolic controllers
- Solving games via three-valued abstraction refinement
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Towards a Multiresolution Approach to Linear Control
- Verification and Control of Hybrid Systems
Cited in
(13)- Compositional abstraction refinement for control synthesis
- Augmented finite transition systems as abstractions for control synthesis
- Synthesis of P-stable abstractions
- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Data-driven controller synthesis for abstract systems with regular language specifications
- Abstraction-based control synthesis using partial information
- SCOTS: a tool for the synthesis of symbolic controllers
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- scientific article; zbMATH DE number 1836353 (Why is no real title available?)
- CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT
- Flexible computational pipelines for robust abstraction-based control synthesis
- Data-driven abstraction-based control synthesis
- Memoryless concretization relation
This page was built for publication: Lazy abstraction-based controller synthesis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3297583)
