An Optimal Design Approach for Fault-Tolerant Petri Net Controllers Using Arc Weights Minimization

This paper proposes an approach for the optimal design of fault-tolerant Petri net controllers using arc weights minimization. Given a system controller that is modeled as a Petri net, a fault-tolerant Petri net controller is obtained by embedding the given Petri net controller into a larger (redundant) Petri net controller that retains the properties of the original controller and allows the detection and identification of faults that may occur in the controller places. An algorithm is developed to systematically design this fault-tolerant Petri net controller in an optimal sense. The optimality is in terms of minimizing the sum of the entries in the input and output incident matrices of the fault-tolerant controller. Examples of the optimal design of fault-tolerant Petri net controllers for a manufacturing system are also provided to illustrate our approach.

[1]  MengChu Zhou,et al.  Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  Zhiwu Li,et al.  Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed Petri nets , 2009, 2009 International Conference on Networking, Sensing and Control.

[3]  C. Seatzu,et al.  Optimal control of continuous Petri nets via model predictive control , 2006, 2006 8th International Workshop on Discrete Event Systems.

[4]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[5]  Prithviraj Banerjee,et al.  Fault tolerant VLSI systems , 1993 .

[6]  Christoforos N. Hadjicostis,et al.  Finite-state machine embeddings for nonconcurrent error detection and identification , 2005, IEEE Transactions on Automatic Control.

[7]  Robert S. Swarz,et al.  Reliable Computer Systems: Design and Evaluation , 1992 .

[8]  Christoforos N. Hadjicostis,et al.  Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.

[9]  Hoang Pham,et al.  Quasi-Renewal Time-Delay Fault-Removal Consideration in Software Reliability Modeling , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[10]  John Lygeros,et al.  Communication protocols for a fault-tolerant automated highway system , 2000, IEEE Trans. Control. Syst. Technol..

[11]  R. Ramaswami,et al.  Book Review: Design and Analysis of Fault-Tolerant Digital Systems , 1990 .

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

[13]  Jing Huang,et al.  A Framework for Fault-Tolerant Control of Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[14]  Christoforos N. Hadjicostis,et al.  Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[15]  A. Sengupta,et al.  Realization of Fault-Tolerant Machines—Linear Code Application , 1981, IEEE Transactions on Computers.

[16]  Francesco Basile,et al.  Petri net monitor design with control and observation costs , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[17]  Mariagrazia Dotoli,et al.  Real time identification of discrete event systems using Petri nets , 2008, Autom..

[18]  Elwyn R. Berlekamp,et al.  Algebraic coding theory , 1984, McGraw-Hill series in systems science.

[19]  G. Robert Redinbo,et al.  Finite Field Fault-Tolerant Digital Filtering Architectures , 1987, IEEE Transactions on Computers.

[20]  Fu-Shiung Hsieh.  Fault-tolerant deadlock avoidance algorithm for assembly processes , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[21]  Lingxi Li,et al.  Fault detection and identification in Petri net controllers , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[22]  Wei Luo,et al.  Exploiting Redundancies to Enhance Schedulability in Fault-Tolerant and Real-Time Distributed Systems , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[23]  Cristian Mahulea,et al.  Optimal Model Predictive Control of Timed Continuous Petri Nets , 2008, IEEE Transactions on Automatic Control.

[24]  Christoforos N. Hadjicostis,et al.  Algebraic approaches for fault identification in discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[25]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[26]  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.

[27]  Alessandro Giua,et al.  An Optimization Approach to Petri Net Monitor Design , 2007, IEEE Transactions on Automatic Control.