Failure Diagnosis for Distributed Stochastic Discrete Event Systems

Abstract

Because of the complexity of the failure diagnosis for large-scale discrete event systems (DESs), DESs with decentralized information have received a lot of attention. DESs with communication events are defined as distributed DESs. Stochastic discrete event systems (SDESs) are DESs with a probabilistic structure. A-diagnosability is an important property in failure diagnosis of SDES. In this paper, we investigate A-diagnosability in distributed SDESs. We define a local model and global model. Moreover, we construct a synchronized stochastic diagnoser to check A-diagnosability in distributed SDESs. We also propose a necessary and sufficient condition for a distributed SDES to be A-diagnosable. Some examples are described to illustrate our algorithms.

Diagnoser design strategy for discrete event system: Case study of neutralization system

“…The FD process uses FSM to investigate in DES. 9 The computational process to test whether a language has a diagnosability feature or not is termed diagnosability verification. In the extent of the automaton's state space, 10 diagnosability evaluation is carried out.…”

“…Diagnosability can detect faults using model‐based reasoning. The FD process uses FSM to investigate in DES 9 . The computational process to test whether a language has a diagnosability feature or not is termed diagnosability verification.…”

“…The authors in References 4, 14, and 15 transformed the large‐scale model into small modules to limit the state space. Many other researchers use distinct models 7,9 for system's diagnosis. One of the efficient DES models is the Petrinet, where markings represent transitions.…”

Verifying Diagnosability of Discrete Event System with Logical Formula

“…A seminal work of fault diagnosis using FSM in DESs was investigated (Refs. [6][7][8][9][10]). In the 1990s, Sampath et al first proposed the formal definition of diagnosability and verified diagnosability of DES by constructing a diagnoser (Ref.…”

“…Some researchers proposed different kinds of models to diagnose the systems (Refs. [4,6]). Petri-net is another efficient model for DES.…”