Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability

DOI10.1007/978-3-030-85037-1_5OpenAlexW3196034421MaRDI QIDQ832033

Jun Liu

Publication date: 24 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85037-1_5

zbMATH Keywords

controllabilityrobustnessnonlinear systemscompletenesscontrol synthesistemporal logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

• ROCS

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