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

@@ Property / author @@
-Jan H. van Schuppen
@@ Property / author: Jan H. van Schuppen / rank @@
-Normal rank
@@ Property / author @@
+Jan H. van Schuppen
@@ Property / author: Jan H. van Schuppen / rank @@
+Normal rank
@@ 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.1016/j.tcs.2007.07.049
+Normal rank
@@ Property / OpenAlex ID @@
+W2141547596
@@ Property / OpenAlex ID: W2141547596 / rank @@
+Normal rank
@@ 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