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)

Related Items (1)

Nonlinear model predictive control based on \(K\)-step control invariant sets

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