Decentralized Structural Controller Design for Large-Scale Discrete-Event Systems Modelled by Petri Nets

A decentralized structural controller design approach for discrete-event systems modelled by Petri nets is presented. The approach makes use of overlapping decompositions. The given Petri net model is first overlappingly decomposed into a number of Petri subnets and is expanded to obtain disjoint Petri subnets. A structural controller is then designed for each Petri subnet to avoid deadlock. The obtained controllers are finally applied to the original Petri net. The proposed approach significantly reduces the computational burden to design the controller. Furthermore, the controller obtained is decentralized and, hence, is easier to implement.

[1]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[2]  M. V. Iordache,et al.  A method for the synthesis of liveness enforcing supervisors in Petri nets , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[3]  Jean-Marie Proth,et al.  Petri nets : a tool for design and management of manufacturing systems , 1996 .

[4]  Ikeda,et al.  Overlapping decompositions, expansions, and contractions of dynamic systems , 1979 .

[5]  Aydin Aybar,et al.  Decentralized supervisory controller design to avoid deadlock in Petri nets , 2003 .

[6]  B. Krogh,et al.  On closed-loop liveness of discrete event systems under maximally permissive control , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[7]  Panos J. Antsaklis,et al.  Design of T-liveness enforcing supervisors in Petri nets , 2003, IEEE Trans. Autom. Control..

[8]  D. Siljak,et al.  Decentralized control with overlapping information sets , 1981 .

[9]  Aydin Aybar,et al.  Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets , 2005 .

[10]  Banu Ataslar,et al.  Decentralized routing controller design using overlapping decompositions , 1999 .

[11]  Z.W. Li,et al.  A Petri nets based deadlock avoidance policy for flexible manufacturing systems , 2004, 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004.

[12]  MengChu Zhou,et al.  An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  MengChu Zhou,et al.  Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[14]  Kamel Barkaoui,et al.  Deadlock avoidance in FMS based on structural theory of Petri nets , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[15]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[16]  Mogens Nielsen,et al.  Decidability Issues for Petri Nets - a survey , 1994, Bull. EATCS.

[17]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[18]  R. Sreenivas.  On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets , 1997, IEEE Trans. Autom. Control..

[19]  Altug Iftar,et al.  Overlapping decompositions, expansions, contractions, and stability of hybrid systems , 1998, IEEE Trans. Autom. Control..

[20]  Maria Pia Fanti,et al.  Comparing digraph and Petri net approaches to deadlock avoidance in FMS , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[21]  Y. Ohta,et al.  Decentralized control using quasi-block diagonal dominance of transfer function matrices , 1986 .

[22]  Umit Ozguner,et al.  Local LQG/LTR controller design for decentralized systems , 1987 .

[23]  A. Iftar.  Decentralized Estimation and Control with Overlapping Input, State, and Output Decomposition , 1990 .

[24]  Altug Iftar,et al.  Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets , 2003, 2003 European Control Conference (ECC).

[25]  Roberto Cordone,et al.  Some results on the computation of minimal siphons in Petri nets , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[26]  Altug Iftar,et al.  Contractible controller design and optimal control with state and input inclusion , 1990, Autom..

[27]  Lubomír Bakule,et al.  Generalized selection of complementary matrices in the inclusion principle , 2000, IEEE Trans. Autom. Control..

[28]  Aydin Aybar,et al.  Corrections to 'Decentralized supervisory controller design to avoid deadlock in Petri nets' , 2003 .

[29]  Altuğ İftar,et al.  Overlapping decentralized dynamic optimal control , 1993 .

[30]  Y. Narahari,et al.  Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..

[31]  Altug Iftar,et al.  Overlapping decompositions and expansions of Petri nets , 2002, IEEE Trans. Autom. Control..

[32]  Yu-Chi Ho,et al.  Discrete event dynamic systems : analyzing complexity and performance in the modern world , 1992 .

[33]  Panos J. Antsaklis,et al.  Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants , 2002 .

[34]  Dragoslav D. Šiljak,et al.  Overlapping Decentralized Control with Input and Output Inclusion , 1984 .