Finite abstractions for hybrid systems with stable continuous dynamics (Q434462): Difference between revisions

@@ Property / cites work @@
+Explosions near isolated unstable attractors.
@@ Property / cites work: Explosions near isolated unstable attractors. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249564
@@ Property / cites work: Q4249564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3155754
@@ Property / cites work: Q3155754 / rank @@
+Normal rank
@@ Property / cites work @@
+Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Hierarchical control system design using approximate simulation
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4398521
@@ Property / cites work: Q4398521 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of logic controllers for continuous plants using timed condition/event-system models
+Normal rank
@@ Property / cites work @@
+Ellipsoidal techniques for reachability analysis: Internal approximation
+Normal rank
@@ Property / cites work @@
+Verification of Supervisory Control Software Using State Proximity and Merging
+Normal rank
@@ Property / cites work @@
+Deterministic discrete-event representations of linear continuous-variable systems
+Normal rank
@@ Property / cites work @@
+Dynamical properties of hybrid automata
@@ Property / cites work: Dynamical properties of hybrid automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing differential invariants of hybrid systems as fixed points
+Normal rank
@@ Property / cites work @@
+Discrete approximation and supervisory control of continuous systems
+Normal rank
@@ Property / cites work @@
+Q4418863
@@ Property / cites work: Q4418863 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
+Normal rank
@@ Property / cites work @@
+Abstractions for hybrid systems
@@ Property / cites work: Abstractions for hybrid systems / rank @@
+Normal rank