A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207170903062174
+Normal rank
@@ Property / OpenAlex ID @@
+W2000205215
@@ Property / OpenAlex ID: W2000205215 / 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 @@
+Supervisory control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Reduced supervisors for timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+A new approach to synthesis problems in timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+A method for the modular synthesis of controllers for timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+A Method for Testing the Conformance of Real Time Systems
+Normal rank
@@ Property / cites work @@
+A supervisory control method for ensuring the conformance of real-time discrete event systems
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Grid automata and supervisory control of dense real-time discrete event 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 @@
+PSPACE-completeness of modular supervisory control problems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank