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 QIDQ832033FDOQ832033
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85037-1_5
Cites Work
- ROCS
- Title not available (Why is that?)
- A Lyapunov approach to incremental stability properties
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- On Local and Global Controllability
- Approximately bisimilar symbolic models for nonlinear control systems
- Automata, logics, and infinite games. A guide to current research
- Real analysis
- Temporal logic motion planning for dynamic robots
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Linear Time Logic Control of Discrete-Time Linear Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Robustness of temporal logic specifications for continuous-time signals
- Computability with low-dimensional dynamical systems
- Title not available (Why is that?)
- Augmented finite transition systems as abstractions for control synthesis
- Formal methods for discrete-time dynamical systems
- 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
- Robust Abstractions for Control Synthesis
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
Cited In (4)
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Robustly complete finite-state abstractions for verification of stochastic systems
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
Uses Software
This page was built for publication: Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832033)
