A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q4736872
@@ Property / cites work: Q4736872 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942008
@@ Property / cites work: Q4942008 / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring the conformance of reactive discrete-event systems by means of supervisory control
+Normal rank
@@ Property / cites work @@
+A supervisory control method for ensuring the conformance of real-time discrete event systems
+Normal rank
@@ Property / cites work @@
+Q2848435
@@ Property / cites work: Q2848435 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank