Towards Distributed Control of Discrete-Event Systems

To initiate a discussion on the modeling requirements for distributed control of discrete-event systems, a partially-automated region based methodology is presented. The methodology is illustrated via a well-known example from distributed computing: the dining philosophers.

[1]  P. Darondeau,et al.  Distributed implementations of Ramadge-Wonham supervisory control with Petri nets , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[2]  J. G. Thistle,et al.  Effective control synthesis for DES under partial observations , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[3]  Nidhal Rezg,et al.  Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..

[4]  Xiaolan Xie,et al.  Algebraic and geometric characterization of Petri net controllers using the theory of regions , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[5]  Benoît Caillaud,et al.  Mind the gap: Expanding communication options in decentralized discrete-event control , 2007, 2007 46th IEEE Conference on Decision and Control.

[6]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[7]  Benoît Caillaud,et al.  Correct-by-construction asynchronous implementation of modular synchronous specifications , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).

[8]  Benoît Caillaud,et al.  Distributing Finite Automata Through Petri Net Synthesis , 2002, Formal Aspects of Computing.

[9]  John G. Thistle,et al.  Undecidability in decentralized supervision , 2005, Syst. Control. Lett..

[10]  Scott A. Mahlke,et al.  The theory of deadlock avoidance via discrete control , 2009, POPL '09.

[11]  W. M. Wonham,et al.  Supervisor Localization: A Top‐Down Approach to Distributed Control of Discrete‐Event Systems , 2009 .

[12]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[13]  Wieslaw Zielonka,et al.  Notes on Finite Asynchronous Automata , 1987, RAIRO Theor. Informatics Appl..

[14]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[15]  Leslie Lamport,et al.  Arbiter-Free Synchronization , 2003 .

[16]  Alessandro Giua,et al.  Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[17]  Anca Muscholl,et al.  Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata , 2010, ICALP.

[18]  Stéphane Lafortune,et al.  Minimal communication in a distributed discrete-event system , 2003, IEEE Trans. Autom. Control..

[19]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.

[20]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[21]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[22]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[23]  Stéphane Lafortune,et al.  Decentralized supervisory control with communicating controllers , 2000, IEEE Trans. Autom. Control..

[24]  Thierry Massart,et al.  Synthesis of communicating controllers for distributed systems , 2011, IEEE Conference on Decision and Control and European Control Conference.

[25]  Stéphane Lafortune,et al.  Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[26]  S. Ricker.  Asymptotic minimal communication for decentralized discrete-event control , 2008, 2008 9th International Workshop on Discrete Event Systems.

[27]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[28]  Milind Sohoni.  Gossiping, Asynchronous Automata and Zielonka's Theorem , 1994 .

[29]  R. Kumar,et al.  Distributed state estimation in discrete event systems , 2009, 2009 American Control Conference.

[30]  P. S. Thiagarajan,et al.  The MSO Theory of Connectedly Communicating Processes , 2005, FSTTCS.

[31]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[32]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[33]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[34]  Kunihiko Hiraishi.  On Solvability of a Decentralized Supervisory Control Problem With Communication , 2009, IEEE Transactions on Automatic Control.