Bisimilar linear systems. (Q1421437): Difference between revisions

@@ Property / cites work @@
+Bisimulation, the supervisory control problem and strong model matching for finite state machines
+Normal rank
@@ Property / cites work @@
+Characterizing finite Kripke structures in propositional temporal logic
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+The generalized eigenstructure problem in linear system theory
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Relations for Dynamical and Control Systems
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchically consistent control systems
@@ Property / cites work: Hierarchically consistent control systems / rank @@
+Normal rank
@@ Property / cites work @@
+Consistent abstractions of affine control systems
@@ Property / cites work: Consistent abstractions of affine control systems / rank @@
+Normal rank
@@ Property / cites work @@
+Projection and deflation method for partial pole assignment in linear state feedback
+Normal rank
@@ Property / cites work @@
+Compositionality issues in discrete, continuous, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Model abstraction and inclusion principle: a comparison
+Normal rank
@@ Property / cites work @@
+Q4418864
@@ Property / cites work: Q4418864 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical control of discrete-event systems
@@ Property / cites work: Hierarchical control of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751436
@@ Property / cites work: Q3751436 / rank @@
+Normal rank