On K-diagnosability of Petri nets via integer linear programming

This paper deals with the problem of diagnosability of a fault after the firing of a finite number events (i.e., K-diagnosability). This problem corresponds to diagnosability of a fault within a finite delay in the context of discrete event systems. The main contribution of this paper is a necessary and sufficient condition for K-diagnosability of bounded nets. The proposed approach exploits the mathematical representation of Petri nets and the Integer Linear Programming optimization tool. In particular no specific assumptions are made on the structure of the net induced by the unobservable transitions, since the proposed approach permits to detect also the undiagnosability due to the presence of unobservable cycles.

[1]  Alessandro Giua,et al.  Diagnosability analysis of unbounded Petri nets , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[2]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

[3]  Manuel Silva Suárez,et al.  Liveness and Home States in Equal Conflict Systems , 1993, Application and Theory of Petri Nets.

[4]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[5]  P. Chiacchio,et al.  Sufficient conditions for diagnosability of Petri nets , 2008, 2008 9th International Workshop on Discrete Event Systems.

[6]  René Boel,et al.  Contextual distributed diagnosis for very large systems , 2004 .

[7]  Walter Ukovich,et al.  On-line fault detection in discrete event systems by Petri nets and integer linear programming , 2009, Autom..

[8]  Stéphane Lafortune,et al.  Safe diagnosability for fault-tolerant supervision of discrete-event systems , 2005, Autom..

[9]  Fernando García Vallés.  Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits , 1999 .

[10]  Karine Altisen,et al.  Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis , 2007 .

[11]  Francesco Basile,et al.  Online Diagnosis of Discrete Events Systems based on Petri Nets and Integer Linear Programming , 2009 .

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

[13]  Gianmaria De Tommasi,et al.  An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.

[14]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..

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

[16]  Sheng-Luen Chung.  Diagnosing PN-based models with partial observable transitions , 2005, Int. J. Comput. Integr. Manuf..

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

[18]  Abbas Dideban,et al.  Reduction of constraints for controller synthesis based on safe Petri Nets , 2008, Autom..

[19]  Paweł Góra,et al.  Graph-theoretic bound on number of A.C.I.M. for random transformation , 1992 .

[20]  Java Binding,et al.  GNU Linear Programming Kit , 2011 .

[21]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[22]  George Jiroveanu,et al.  The Diagnosability of Petri Net Models Using Minimal Explanations , 2010, IEEE Transactions on Automatic Control.

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

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

[25]  Jan Lunze,et al.  State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata , 2001, Discret. Event Dyn. Syst..

[26]  MuDer Jeng,et al.  A polynomial algorithm for checking diagnosability of Petri nets , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

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

[28]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: incorporating timing information , 2005, IEEE Transactions on Automatic Control.

[29]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[30]  Manuel Silva Suárez,et al.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems , 1996, Petri Nets.

[31]  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).