Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos

This tutorial presents the background necessary to the study and research on fault diagnosis of discrete-event systems modeled as automata. Both centralized diagnosability and co-diagnosability with coordination are considered. Besides presenting necessary and sufficient conditions for the verification of diagnosability and co-diagnosability, the paper also presents tests using diagnosers and verifiers. Recent results on centralized diagnosis under partial observation are also addressed.

[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]  S. Yovine,et al.  Fault diagnosis for intra-platoon communications , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[3]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

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

[5]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

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

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

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

[9]  Shengbing Jiang,et al.  Diagnosis of repeated/intermittent failures in discrete event systems , 2003, IEEE Trans. Robotics Autom..

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

[11]  Christoforos N. Hadjicostis,et al.  Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets , 2009, Discret. Event Dyn. Syst..

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

[13]  Stéphane Lafortune,et al.  Failure diagnosis of dynamic systems: an approach based on discrete event systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[14]  Gregory Provan,et al.  Modeling and diagnosis of timed discrete event systems-a factory automation example , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[15]  Antonio Ramírez-Treviño,et al.  Diagnosability of discrete event systems: a Petri net based approach , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[16]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

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

[18]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[19]  W. M. Wonham,et al.  Decentralized control and coordination of discrete-event systems with partial observation , 1990 .

[20]  Hongyan Xing,et al.  Diagnosability of Fuzzy Discrete Event Systems , 2006, ArXiv.

[21]  Matteo Sartini,et al.  A fault tolerant architecture for supervisory control of discrete event systems , 2008 .

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

[23]  João Carlos Basilio,et al.  Integrated Fault Diagnosis Based on Petri Net Models , 2007, 2007 IEEE International Conference on Control Applications.

[24]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[25]  Stavros Tripakis,et al.  Fault Diagnosis for Timed Automata , 2002, FTRTFT.

[26]  Hongyan Xing,et al.  Decentralized Diagnosis of Stochastic Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

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

[28]  Meera Sampath.  A hybrid approach to failure diagnosis of industrial systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[29]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

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

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

[32]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[33]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Transactions on Automatic Control.

[34]  Sheng-Luen Chung,et al.  Failure diagnosis: a case study on modeling and analysis by Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[35]  Alessandro Giua,et al.  Petri Net Languages and Infinite Subsets of m , 1999, J. Comput. Syst. Sci..

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

[37]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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

[39]  Stéphane Lafortune,et al.  Diagnosis of Intermittent Faults , 2004, Discret. Event Dyn. Syst..

[40]  Lawrence E. Holloway,et al.  Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations , 1994 .

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

[42]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[44]  Stephane Lafortune,et al.  Robust codiagnosability of discrete event systems , 2009, 2009 American Control Conference.

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

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

[47]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[48]  Ratnesh Kumar,et al.  Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures , 2009, IEEE Transactions on Automation Science and Engineering.

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

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

[51]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[52]  Zhihui Li,et al.  The relationships among several types of fuzzy automata , 2006, Inf. Sci..

[53]  W.M. Wonham,et al.  Fault diagnosis in timed discrete-event systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

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

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

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