Decentralized Control of Petri Nets

Supervision based on place invariants (SBPI) is an ecient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communication, and with no communication. In the case of communication, a local supervisor may receive observations of events that are not locally observable and send enabling decisions concerning events that are not locally controllable. In the rst part of the paper we propose ecient algorithms for the design of decentralized supervisors, based on the extension of the SBPI concept of admissibility that we dene. Then, in the second part of the paper, we propose the design of decentralized supervisors based on transformations to admissible constraints. The feasibility of this problem is demonstrated with a simple integer programming approach. This approach can incorporate communication between local supervisors as well as communication constraints.

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

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

[3]  W. Wonham,et al.  Control of vector discrete-event systems. I. The base model , 1993, IEEE Trans. Autom. Control..

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

[5]  Stephen P. Boyd,et al.  Semidefinite Programming , 1996, SIAM Rev..

[6]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[7]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[8]  M. Naderi.  Think globally... , 2004, HIV prevention plus!.

[9]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[10]  Panos J. Antsaklis,et al.  Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..

[11]  T. Ushio,et al.  Decentralized state feedback control of discrete event systems , 1994 .

[12]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[13]  Geert Stremersch,et al.  Supervision of Petri Nets , 2001, The Springer International Series on Discrete Event Dynamic Systems.

[14]  Panos J. Antsaklis,et al.  Hybrid Control of a Robotic Manufacturing System , 1999 .

[15]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[16]  M. V. Iordache,et al.  Synthesis of supervisors enforcing general linear vector constraints in Petri nets , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[17]  Chen Haoxun,et al.  Distributed Control of Discrete Event Systems Described by a Class of Controlled Petri Nets , 1991 .

[18]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[19]  Panos J. Antsaklis,et al.  Decentralized control of Petri nets with constraint transformations , 2003, Proceedings of the 2003 American Control Conference, 2003..

[20]  Chen Haoxun.  Control Synthesis of Petri Nets Based on S-Decreases , 2000 .

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