Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
From MaRDI portal
(Redirected from Publication:832033)
Cites work
- scientific article; zbMATH DE number 3855514 (Why is no real title available?)
- scientific article; zbMATH DE number 7088727 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- A Lyapunov approach to incremental stability properties
- Abstraction, discretization, and robustness in temporal logic control of dynamical systems
- Approximately bisimilar symbolic models for nonlinear control systems
- Augmented finite transition systems as abstractions for control synthesis
- Automata, logics, and infinite games. A guide to current research
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Computability with low-dimensional dynamical systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Formal methods for discrete-time dynamical systems
- Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach
- Linear Time Logic Control of Discrete-Time Linear Systems
- On Local and Global Controllability
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Real analysis
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
- Robustness of temporal logic specifications for continuous-time signals
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Temporal logic motion planning for dynamic robots
- Verification and Control of Hybrid Systems
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
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)
