Augmented finite transition systems as abstractions for control synthesis
From MaRDI portal
Publication:1693823
DOI10.1007/s10626-017-0243-zzbMath1379.93050OpenAlexW2603469395MaRDI QIDQ1693823
Petter Nilsson, Necmiye Ozay, Jun Liu
Publication date: 31 January 2018
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-017-0243-z
Synthesis problems (93B50) Temporal logic (03B44) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (7)
Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Symbolic control for stochastic systems via finite parity games ⋮ Robust stutter bisimulation for abstraction and controller synthesis with disturbance ⋮ Switching controller synthesis for delay hybrid systems under perturbations ⋮ Lazy Abstraction-Based Controller Synthesis
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis of Reactive(1) designs
- \(\Omega\)-invariance in control systems with bounded controls
- Semidefinite programming relaxations for semialgebraic problems
- Verification by augmented finitary abstraction
- Automata, logics, and infinite games. A guide to current research
- Formal analysis of piecewise affine systems through formula-guided refinement
- Finite Bisimulations for Switched Linear Systems
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions
- Efficient finite abstraction of mixed monotone systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Verification and Control of Hybrid Systems
- A Smooth Converse Lyapunov Theorem for Robust Stability
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Controlling a Class of Nonlinear Systems on Rectangles
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
- Synthesis for Constrained Nonlinear Systems Using Hybridization and Robust Controllers on Simplices
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Verification, Model Checking, and Abstract Interpretation
- A converse Lyapunov theorem for discrete-time systems with disturbances
This page was built for publication: Augmented finite transition systems as abstractions for control synthesis
