A hierarchical consistency framework for real-time supervisory control (Q1790660): Difference between revisions

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2794908582
@@ Property / OpenAlex ID: W2794908582 / 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 @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of real-time discrete-event systems using lattice theory
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced supervisors for 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 @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of timed discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Nonblocking supervisory control of state tree structures.
+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 @@
+Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+State based control of timed discrete event systems using binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Local Modular Supervisory Control of Timed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Hierarchical control of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Supervision localization of timed discrete-event systems
+Normal rank
@@ Property / cites work @@
+On the consistency of hierarchical supervision in discrete-event systems
+Normal rank
@@ Property / Wikidata QID @@
+Q130062825
@@ Property / Wikidata QID: Q130062825 / rank @@
+Normal rank