Revised Test for Stochastic Diagnosability of Discrete-Event Systems
Hadjicostis, Christoforos N.
SourceIEEE Transactions on Automation Science and Engineering
Google Scholar check
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Keroglou, C.; Hadjicostis, Christoforos N. (2018)We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at ...
Lafortune, S.; Lin, F.; Hadjicostis, Christoforos N. (2018)This paper presents historical remarks on key projects and papers that led to the development of a theory of event diagnosis for discrete event systems modeled by finite-state automata or Petri nets in the 1990s. The goal ...
Wu, Y.; Hadjicostis, Christoforos N. (2005)In this note, we develop algebraic approaches for fault identification in discrete-event systems that are described by Petri nets. We consider faults in both Petri net transitions and places, and assume that system events ...