A polynomial-time algorithm for diagnosability verification of discrete event systems

This paper concerns the problem of diagnosing the occurrence of permanent fault events in partially observed discrete event systems modelled as finite-state automata in a event-based framework. The first step is the verification of the existence of diagnosers (the diagnosability problem) for such systems. We define a necessary and sufficient condition of diagnosability of such systems. The results proposed in this paper allow testing the diagnosability of discrete event systems in an efficient way, i.e. in polynomial time. The diagnosability test is stated in terms of existence of similar cycles of observable events both in the faultless model and in the faulty model.

[1]  Zineb Simeu-Abazi,et al.  Fault diagnosis for discrete event systems: Modelling and verification , 2010, Reliab. Eng. Syst. Saf..

[2]  Shahin Hashtrudi-Zad,et al.  Diagnosability Test for Timed Discrete-Event Systems , 2006, 2006 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06).

[3]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[4]  Feng Lin,et al.  Diagnosability of discrete event systems and its applications , 1994, Discret. Event Dyn. Syst..

[5]  Marie-Odile Cordier,et al.  A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks , 2005, Artif. Intell..

[6]  Antonio Ramírez-Treviño,et al.  Fault Diagnosis in Discrete Event Systems using Interpreted Petri Nets , 2008 .

[7]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[8]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[9]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[10]  Stéphane Lafortune,et al.  Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.

[11]  Stéphane Lafortune,et al.  Polynomial-time verification of diagnosability of partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

[12]  Zineb Simeu-Abazi,et al.  Modular Modeling for the Diagnostic of Complex Discrete-Event Systems , 2013, IEEE Transactions on Automation Science and Engineering.

[13]  Stéphane Lafortune,et al.  Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..

[14]  Ronald L. Rivest,et al.  Introduction to Algorithms, Second Edition , 2001 .

[15]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

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

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

[18]  Shengbing Jiang,et al.  A polynomial algorithm for testing diagnosability of discrete-event systems , 2001, IEEE Trans. Autom. Control..

[19]  Klaus Schmidt.  Abstraction-based failure diagnosis for discrete event systems , 2010, Syst. Control. Lett..

[20]  Gianfranco Lamperti,et al.  Diagnosis of Large Active Systems , 1999, Artif. Intell..

[21]  George Jiroveanu,et al.  A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..