Revised Test for Stochastic Diagnosability of Discrete-Event Systems
Date
2018ISSN
1558-3783Source
IEEE Transactions on Automation Science and EngineeringVolume
15Issue
1Pages
404-408Google Scholar check
Metadata
Show full item recordAbstract
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.