Symbolic models for control systems (Q868433): Difference between revisions

@@ Property / DOI @@
-.1007/s00236-006-0036-6
@@ Property / DOI: 10.1007/s00236-006-0036-6 / rank @@
-Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Machines in a Category: An Expository Introduction
+Normal rank
@@ Property / cites work @@
+On the reachability of quantized control systems
@@ Property / cites work: On the reachability of quantized control systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249564
@@ Property / cites work: Q4249564 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical hybrid control systems: a lattice theoretic formulation
+Normal rank
@@ Property / cites work @@
+Q4736581
@@ Property / cites work: Q4736581 / rank @@
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Realization is universal
@@ Property / cites work: Realization is universal / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25--27, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29--31, 2006. Proceedings.
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative modelling of linear dynamical systems with quantized state measurements
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete supervisory control of hybrid systems based on \(l\)-complete approximations
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736600
@@ Property / cites work: Q4736600 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369656
@@ Property / cites work: Q4369656 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete approximation and supervisory control of continuous systems
+Normal rank
@@ Property / cites work @@
+An invariant-based approach to the design of hybrid control systems
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418864
@@ Property / cites work: Q4418864 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar control affine systems
@@ Property / cites work: Bisimilar control affine systems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00236-006-0036-6
@@ Property / DOI: 10.1007/S00236-006-0036-6 / rank @@
+Normal rank