Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268): Difference between revisions

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