Automated generation of dynamics-based runtime certificates for high-level control (Q1693827): Difference between revisions

@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank
@@ Property / cites work @@
+Temporal Logic Control of Discrete-Time Piecewise Affine Systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive(1) designs
@@ Property / cites work: Synthesis of Reactive(1) designs / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning for dynamic robots
@@ Property / cites work: Temporal logic motion planning for dynamic robots / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Dealing with Nondeterminism in Symbolic Control
@@ Property / cites work: Dealing with Nondeterminism in Symbolic Control / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Abstraction, discretization, and robustness in temporal logic control of dynamical systems
+Normal rank
@@ Property / cites work @@
+Iterative temporal motion planning for hybrid systems in partially unknown environments
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Computing Abstractions of Nonlinear Systems
@@ Property / cites work: Computing Abstractions of Nonlinear Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Formal analysis of piecewise affine systems through formula-guided refinement
+Normal rank
@@ Property / cites work @@
+Receding horizon control for temporal logic specifications
+Normal rank