Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
From MaRDI portal
Publication:832033
DOI10.1007/978-3-030-85037-1_5OpenAlexW3196034421MaRDI QIDQ832033
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85037-1_5
Related Items (4)
Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Robustly complete finite-state abstractions for verification of stochastic systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Robustness of temporal logic specifications for continuous-time signals
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Approximately bisimilar symbolic models for nonlinear control systems
- Temporal logic motion planning for dynamic robots
- Computability with low-dimensional dynamical systems
- Augmented finite transition systems as abstractions for control synthesis
- Automata, logics, and infinite games. A guide to current research
- Formal methods for discrete-time dynamical systems
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Verification and Control of Hybrid Systems
- ROCS
- Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
- A Lyapunov approach to incremental stability properties
- Robust Abstractions for Control Synthesis
- Linear Time Logic Control of Discrete-Time Linear Systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- On Local and Global Controllability
This page was built for publication: Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
