Computation of minimal event bases that ensure diagnosability

We deal with the problem of finding sets of observable events (event bases) that ensure language diagnosability of discrete-event systems modeled by finite state automata. We propose a methodology to obtain such event bases by exploiting the structure of the diagnoser automaton, and in particular of its indeterminate cycles. We use partial diagnosers, test diagnosers, and other new constructs to develop rules that guide the update of the observable event set towards achieving diagnosability. The contribution of this paper is the description of such rules and their integration into a set of algorithms that output minimal diagnosis bases.

[1]  Raja Sengupta.  A discrete event approach for vehicle failure diagnostics , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

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

[3]  Stefan Haar.  What topology tells us about diagnosability in partial order semantics , 2010, WODES.

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

[5]  Stavros Tripakis,et al.  Fault Diagnosis with Static and Dynamic Observers , 2008, Fundam. Informaticae.

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

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

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

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

[10]  K. Sinnamohideen.  Discrete-event diagnostics of heating, ventilation, and air-conditioning systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[11]  João Carlos Basilio,et al.  Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems , 2011, IEEE Trans. Autom. Control..

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

[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]  Stéphane Lafortune,et al.  NP-completeness of sensor selection problems arising in partially observed discrete-event systems , 2002, IEEE Trans. Autom. Control..

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

[16]  Stéphane Lafortune,et al.  Optimal sensor activation for diagnosing discrete event systems , 2010, Autom..

[17]  Humberto E. Garcia,et al.  Model-based detection of routing events in discrete flow networks , 2005, Autom..

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

[19]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[20]  Shigemasa Takai,et al.  Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems , 2006, IEEE Transactions on Automation Science and Engineering.

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

[22]  Jan Lunze,et al.  Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[24]  Donald B. Johnson,et al.  Finding All the Elementary Circuits of a Directed Graph , 1975, SIAM J. Comput..

[25]  Demosthenis Teneketzis,et al.  Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems , 2007, Discret. Event Dyn. Syst..

[26]  Richard J. Lipton,et al.  Covering Graphs by Simple Circuits , 1981, SIAM J. Comput..

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

[28]  Shengbing Jiang,et al.  Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.

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

[30]  Stéphane Lafortune,et al.  Predictability of Sequence Patterns in Discrete Event Systems , 2008 .

[31]  Albert Benveniste,et al.  Distributed Monitoring of Concurrent and Asynchronous Systems* , 2003, Discret. Event Dyn. Syst..

[32]  Shengbing Jiang,et al.  Optimal sensor selection for discrete-event systems with partial observation , 2003, IEEE Trans. Autom. Control..

[34]  Stéphane Lafortune,et al.  On an Optimization Problem in Sensor Selection* , 2002, Discret. Event Dyn. Syst..

[35]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

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