Probabilistic logical approach for testing diagnosability of stochastic discrete event systems.

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. Graphical abstractDisplay Omitted HighlightsUsing 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.