Bisimilar Finite Abstractions of Interconnected Systems (Q3523133): Difference between revisions

@@ Property / cites work @@
+Q4246819
@@ Property / cites work: Q4246819 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed discrete-event abstraction of continuous-variable systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Finite Abstractions of Stable Linear Systems
+Normal rank
@@ Property / cites work @@
+Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
+Normal rank
@@ Property / cites work @@
+Q4736608
@@ Property / cites work: Q4736608 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional abstractions of hybrid control systems
+Normal rank
@@ Property / cites work @@
+Bisimilar Finite Abstractions of Interconnected Systems
+Normal rank