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

@@ 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-540-78929-1_37
+Normal rank
@@ Property / OpenAlex ID @@
+W2136354407
@@ Property / OpenAlex ID: W2136354407 / rank @@
+Normal rank
@@ 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