Learning-based symbolic abstractions for nonlinear control systems (Q2097817): Difference between revisions

@@ Property / OpenAlex ID @@
+W4287817734
@@ Property / OpenAlex ID: W4287817734 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01879
@@ Property / arXiv ID: 2004.01879 / rank @@
+Normal rank
@@ Property / cites work @@
+Control Barrier Function Based Quadratic Programs for Safety Critical Systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Stable Gaussian process based tracking control of Euler-Lagrange systems
+Normal rank
@@ Property / cites work @@
+Set invariance in control
@@ Property / cites work: Set invariance in control / rank @@
+Normal rank
@@ Property / cites work @@
+A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
+Normal rank
@@ Property / cites work @@
+Controller synthesis for safety and reachability via approximate bisimulation
+Normal rank
@@ Property / cites work @@
+Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction refinement for control synthesis
+Normal rank
@@ Property / cites work @@
+Q5375276
@@ Property / cites work: Q5375276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3174056
@@ Property / cites work: Q3174056 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock-free output feedback controller design based on approximately abstracted observers
+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 @@
+Q3394879
@@ Property / cites work: Q3394879 / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+A Notion of Robustness for Cyber-Physical Systems
@@ Property / cites work: A Notion of Robustness for Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Information-Theoretic Regret Bounds for Gaussian Process Optimization in the Bandit Setting
+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 @@
+Feedback Linearization Based on Gaussian Processes With Event-Triggered Online Learning
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank