Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513): Difference between revisions

@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / 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 @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Finite abstractions with robustness margins for temporal logic-based control synthesis
+Normal rank
@@ Property / cites work @@
+Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Augmented finite transition systems as abstractions for control synthesis
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+Symbolic Control of Linear Systems Based on Symbolic Subsystems
+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 @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank