Diagnosability of stochastic discrete-event systems

We investigate diagnosability of stochastic discrete-event systems. We define the notions of A- and AA-diagnosability for stochastic automata; these notions are weaker than the corresponding notion of diagnosability for logical automata introduced by Sampath et al. Through the construction of a stochastic diagnoser, we determine offline conditions necessary and sufficient to guarantee A-diagnosability and sufficient to guarantee AA-diagnosability. We also show how the stochastic diagnoser can be used for on-line diagnosis of failure events. We illustrate the results through two examples from HVAC systems.

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

[2]  Feng Lin,et al.  Design and test of mixed signal circuits: a discrete-event approach , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[3]  Edwin K. P. Chong,et al.  Automated fault diagnosis using a discrete event systems framework , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

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

[5]  Peerasan Supavatanakul Diagnosis of Timed Discrete-Event Systems , 2002 .

[6]  Sujeet Chand,et al.  Time templates for discrete event fault monitoring in manufacturing systems , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[7]  N. Viswanadham,et al.  Fault detection and diagnosis of automated manufacturing systems , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

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

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

[10]  Charles E. Stroud,et al.  Discrete event system approach for delay fault analysis in digital circuits , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

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

[12]  Shengbing Jiang,et al.  Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

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

[14]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .

[15]  Gregory ProvanRockwell Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems , 1996 .

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

[17]  Shengbing Jiang,et al.  Diagnosis of repeated failures in discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[19]  Demosthenis Teneketzis,et al.  Diagnosability of stochastic automata , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[20]  I. Rubin,et al.  Random point processes , 1977, Proceedings of the IEEE.

[21]  Rami I. Debouk Failure diagnosis of decentralized discrete event systems. , 2000 .

[22]  John Odentrantz,et al.  Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues , 2000, Technometrics.

[23]  Yannick Pencolé Decentralized diagnoser approach: application to telecommunication networks , 2000 .

[24]  Fernando Paganini,et al.  IEEE Transactions on Automatic Control , 2006 .

[25]  Antonio Correcher Salvador,et al.  Centralized Modular Diagnosis and the Phenomenon of Coupling , 2006, Discret. Event Dyn. Syst..

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

[27]  Meera Sampath A discrete event systems approach to failure diagnosis. , 1995 .

[28]  Mariëlle Stoelinga,et al.  An Introduction to Probabilistic Automata , 2002, Bull. EATCS.

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

[30]  C. J. Stone,et al.  Introduction to Stochastic Processes , 1972 .

[31]  Gregory Provan,et al.  Model-based diagnosis and control reconfiguration for discrete event systems: an integrated approach , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

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