Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939): Difference between revisions

@@ Property / author @@
-Jacobus E. Rooda
@@ Property / author: Jacobus E. Rooda / 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.automatica.2012.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2098092309
@@ Property / OpenAlex ID: W2098092309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782029
@@ Property / cites work: Q4782029 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control Architecture for Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Compositional synthesis of maximally permissive supervisors using supervision equivalence
+Normal rank
@@ Property / cites work @@
+Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
+Normal rank
@@ Property / cites work @@
+Supervisory control of modular systems with global specification languages
+Normal rank
@@ Property / cites work @@
+Hierarchical interface-based supervisory control-part II: parallel case
+Normal rank
@@ Property / cites work @@
+Structural decentralised control of concurrent discrete-event systems
+Normal rank
@@ Property / cites work @@
+Nonblocking Supervisory Control of State Tree Structures
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
+Normal rank
@@ Property / cites work @@
+Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
+Normal rank
@@ Property / cites work @@
+Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent discrete-event systems
+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 @@
+Decentralized supervisory control of discrete-event systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:445939