Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications

DOI10.1016/j.automatica.2021.109543zbMath1461.93148OpenAlexW3015618640MaRDI QIDQ2664268

Alina Eqtami, Antoine Girard

Publication date: 20 April 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109543

zbMATH Keywords

dynamic programmingsafetysymbolic controluniform attractivityquantitative synthesisuniform reachability

Mathematics Subject Classification ID

Dynamic programming (90C39) Synthesis problems (93B50) Attainable sets, reachability (93B03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Controller synthesis for safety and reachability via approximate bisimulation
• Symbolic approximate time-optimal control
• Robustness of temporal logic specifications for continuous-time signals
• Global optimal control of perturbed systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Relaxation of minimax optimal control problems with infinite horizon
• On reachability and minimum cost optimal control
• Formal methods for discrete-time dynamical systems
• Viable set computation for hybrid systems
• Synthesizing optimally resilient controllers
• Towards Robustness for Cyber-Physical Systems
• Least-violating control strategy synthesis with safety rules
• Differential games with maximum cost
• Value Iteration
• Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Verification and Control of Hybrid Systems
• Value function and optimal trajectories for a maximum running cost control problem with state constraints. Application to an abort landing problem
• An Approximate Simulation Approach to Symbolic Control
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Symbolic Optimal Control
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• Approximation Metrics for Discrete and Continuous Systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

This page was built for publication: Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications