Control of discrete-event systems with modular or distributed structure (Q2464943): Difference between revisions

@@ Property / cites work @@
+Formulas for calculating supremal controllable and normal sublanguages
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of product and hierarchical discrete event systems
+Normal rank
@@ Property / cites work @@
+Control of discrete-event systems with partial observations using coalgebra and coinduction
+Normal rank
@@ Property / cites work @@
+Supervisory control of modular systems with global specification languages
+Normal rank
@@ Property / cites work @@
+Modular Control of Discrete-Event Systems With Coalgebra
+Normal rank
@@ Property / cites work @@
+Control of Modular and Distributed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+On controllability and normality of discrete event dynamical systems
+Normal rank
@@ Property / cites work @@
+Branching time controllers for discrete event systems
+Normal rank
@@ Property / cites work @@
+Effective Control Synthesis for Partially Observed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Verification and Control of Interacting Similar Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+Normal rank
@@ Property / cites work @@
+On the control of discrete-event dynamical systems
+Normal rank
@@ Property / cites work @@
+Structural decentralised control of concurrent discrete-event systems
+Normal rank
@@ Property / cites work @@
+Games for synthesis of controllers with partial observation.
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent discrete-event systems
+Normal rank
@@ Property / cites work @@
+Modular supervisory control of discrete-event systems
+Normal rank