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

@@ Property / DOI @@
-.1007/s10626-005-4059-x
@@ Property / DOI: 10.1007/s10626-005-4059-x / 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 @@
+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
@@ Property / DOI @@
+.1007/S10626-005-4059-X
@@ Property / DOI: 10.1007/S10626-005-4059-X / rank @@
+Normal rank