Diagnosability of stochastic automata

A methodology for diagnosability of finite-state stochastic automata is established in this paper. Two notions of diagnosability for stochastic automata are defined, and a stochastic analogue of the logical diagnoser is constructed. The stochastic diagnoser is used to (i) specify off-line conditions sufficient to guarantee these notions of diagnosability; and (ii) determine how to perform on-line diagnosis of failure events.

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

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

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

[4]  A. D. Pouliezos,et al.  Real time fault monitoring of industrial processes , 1994 .

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

[6]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

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

[9]  Suk Lee,et al.  Failure Diagnosis of Discrete Event Systems , 2001 .

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

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

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

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