Incremental hierarchical construction of modular supervisors for discrete-event systems (Q3543066): 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 / full work available at URL @@
+https://doi.org/10.1080/00207170701799365
+Normal rank
@@ Property / OpenAlex ID @@
+W2152819606
@@ Property / OpenAlex ID: W2152819606 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Multitasking supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Synthesis of feedback control logic for a class of controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory control-part II: parallel case
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Nonblocking Supervisory Control of State Tree Structures
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Hierarchical fault diagnosis for discrete-event systems under global consistency
+Normal rank
@@ Property / cites work @@
+Hierarchical control of discrete-event systems
@@ Property / cites work: Hierarchical control of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modular control and coordination of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of hierarchical supervision in discrete-event systems
+Normal rank