Probabilistic logical approach for testing diagnosability of stochastic discrete event systems

• Using logical formulas to describe the stochastic discrete event system.
• Using probabilistic logical approach to verify the diagnosability of the stochastic discrete event system.
• Constructing a logical diagnoser.
• The algorithms do not need any synchronization operation.
• The complexity of the algorithms is polynomial.

Fault diagnosis plays an important role in the prevention of harmful events in discrete event systems (DESs). Stochastic DES (SDES) is a more precise formulation of DES. In this paper, a novel approach that uses probabilistic logic to diagnose SDES is investigated. SDES is formalized as a set of probabilistic logical formulas. Moreover, a logical diagnoser is presented. Fault diagnosis of SDES has two properties: A-diagnosability and AA-diagnosability. On the basis of resolution principle, an algorithm is proposed to test A-diagnosability and AA-diagnosability of the SDES. Experimental results demonstrate that our algorithm improves the accuracy and efficiency of verifying diagnosability of SDES.

Figure optionsDownload as PowerPoint slide