Equivalence of switching linear systems by bisimulation (Q5758269): Difference between revisions

@@ Property / cites work @@
+Dynamical systems which undergo switching
@@ Property / cites work: Dynamical systems which undergo switching / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of Maximal Safe Sets for Switching Systems
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Supervisory control of families of linear set-point controllers - Part I. Exact matching
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality issues in discrete, continuous, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Equivalence of Dynamical Systems by Bisimulation
@@ Property / cites work: Equivalence of Dynamical Systems by Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Switched controller synthesis for the quadratic stabilisation of a pair of unstable linear systems
+Normal rank