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.