Revised Test for Stochastic Diagnosability of Discrete-Event Systems

Abstract

This paper provides revisions to the algorithms presented by Chen et al., 2013 for testing diagnosability of stochastic discrete-event systems. Additional new contributions include PSPACE-hardness of verifying strong stochastic diagnosability (referred as A-Diagnosability in Thorsley et al., 2005) and a necessary and sufficient condition for testing stochastic diagnosability (referred as AA-Diagnosability in Thorsley et al., 2005) that involves a new notion of probabilistic equivalence.Note to Practitioners - Detecting system failures is essential prior to fault mitigation. For stochastic discrete-event systems, the property of stochastic diagnosability (S-Diagnosability) allows one to detect any system failure with arbitrarily small error bound and within bounded delay. This paper contributes by revising and extending the results in the previous work by Chen et al., 2013, regarding the verification of S-Diagnosability. © 2004-2012 IEEE.