Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033): Difference between revisions

@@ Property / describes a project that uses @@
+ROCS
@@ Property / describes a project that uses: ROCS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-85037-1_5
+Normal rank
@@ Property / OpenAlex ID @@
+W3196034421
@@ Property / OpenAlex ID: W3196034421 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Q3324260
@@ Property / cites work: Q3324260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+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 @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+On Local and Global Controllability
@@ Property / cites work: On Local and Global Controllability / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with low-dimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach
+Normal rank
@@ Property / cites work @@
+ROCS
@@ Property / cites work: ROCS / rank @@
+Normal rank
@@ Property / cites work @@
+Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
+Normal rank
@@ Property / cites work @@
+Robust Abstractions for Control Synthesis
@@ Property / cites work: Robust Abstractions for Control Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
+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 @@
+Finite abstractions with robustness margins for temporal logic-based control synthesis
+Normal rank
@@ Property / cites work @@
+Augmented finite transition systems as abstractions for control synthesis
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+Q5297301
@@ Property / cites work: Q5297301 / rank @@
+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 @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank