Fault tolerant control design via hybrid petri nets

This paper proposes a novel fault tolerant control (FTC) scheme for hybrid systems modeled by hybrid Petri nets (HPNs). The HPNs model consists of discrete and continuous PNs. The faults are represented by unobservable discrete transitions or the normal observable discrete transitions with abnormal firing time in discrete PNs. First, an observer-based fault diagnosis method is proposed to estimate the marking in discrete places with unknown initial marking and diagnose the faulty behavior simultaneously. Then, an adaptive fault tolerant controller is designed to maintain the general mutual exclusion constraints (GMEC) of discrete PNs, and a scheme that adjusts firing speeds of continuous transitions is provided to maintain the optimality of continuous PNs. Finally, an example of an intelligent transportation system consisting of automated vehicles on a bridge is included to demonstrate the effectiveness of our developed techniques.

[1]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

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

[3]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[5]  Dimitri Lefebvre,et al.  Diagnosis of DES With Petri Net Models , 2007, IEEE Transactions on Automation Science and Engineering.

[6]  Angela Di Febbraro,et al.  Urban traffic control structure based on hybrid Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[7]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..

[8]  Antonio Ramírez-Treviño,et al.  Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.

[9]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[10]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2006 .

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

[12]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[13]  Alessandro Giua,et al.  Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[14]  Angela Di Febbraro,et al.  Combining fault detection and process optimization in manufacturing systems using first-order hybrid Petri nets , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[15]  Mariagrazia Dotoli,et al.  Real time identification of discrete event systems by Petri Nets , 2007 .

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

[17]  Marcel Staroswiecki,et al.  Fault Accommodation for Nonlinear Dynamic Systems , 2006, IEEE Transactions on Automatic Control.

[18]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).