Grid automata and supervisory control of dense real-time discrete event systems (Q2489622): Difference between revisions

@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / 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 @@
+Internal model control and max-algebra: controller design
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Stabilization of discrete-event processes
@@ Property / cites work: Stabilization of discrete-event processes / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
+Normal rank
@@ Property / cites work @@
+Parametric sensitivity of a statistical experiment
+Normal rank
@@ Property / cites work @@
+A new approach to synthesis problems in timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+A framework for real-time discrete event control
@@ Property / cites work: A framework for real-time discrete event control / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Testing timed automata
@@ Property / cites work: Testing timed automata / rank @@
+Normal rank