Distributed Control of Discrete-Event Systems: A First Step (Q4909348): Difference between revisions

@@ Property / cites work @@
+Q4247291
@@ Property / cites work: Q4247291 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing finite automata through Petri net synthesis
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control with communicating controllers
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
+Normal rank
@@ Property / cites work @@
+Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+On Solvability of a Decentralized Supervisory Control Problem With Communication
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Arbitration-free synchronization
@@ Property / cites work: Arbitration-free synchronization / rank @@
+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 @@
+Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q5295514
@@ Property / cites work: Q5295514 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Minimal communication in a distributed discrete-event system
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Undecidability in decentralized supervision
@@ Property / cites work: Undecidability in decentralized supervision / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
+Normal rank
@@ Property / cites work @@
+Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+The theory of deadlock avoidance via discrete control
+Normal rank
@@ Property / cites work @@
+Q4372017
@@ Property / cites work: Q4372017 / rank @@
+Normal rank
@@ Property / cites work @@
+A general architecture for decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank