Title :
Safe Diagnosability of Stochastic Discrete Event Systems
Author :
Liu, Fuchun ; Qiu, Daowen
Author_Institution :
Dept. of Comput. Sci., Zhongshan Univ., Guangzhou
fDate :
6/1/2008 12:00:00 AM
Abstract :
Recently, safe diagnosability of discrete event systems (DESs) was investigated by Paoli and Lafortune, which was viewed as the first necessary step of fault-tolerant supervision. In this paper, we consider the problem of safe diagnosability in the framework of stochastic discrete event systems (SDESs). We define the notion of safe diagnosability for stochastic automata, in which fault detection occurs before any given forbidden string in the failed mode of system is executed. The relationship between diagnosability and safe diagnosability for SDESs is analyzed. In particular, a necessary and sufficient condition for safe diagnosability of SDESs is presented by constructing the recognizer of illegal language and the safe diagnoser. Some examples are described to illustrate the results.
Keywords :
control system analysis; deterministic automata; discrete event systems; fault diagnosis; fault tolerance; stochastic systems; fault detection; fault-tolerant supervision; illegal language recognition; safe diagnosability; stochastic automata; stochastic discrete event system; Automata; Computer science; Discrete event systems; Fault detection; Fault tolerance; Fault tolerant systems; Probability distribution; Stochastic processes; Stochastic systems; Sufficient conditions; Discrete event systems (DESs); failure diagnosis; probabilistic models; safe diagnosability; stochastic automata;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2008.921035
