Revised Test for Stochastic Diagnosability of Discrete-Event Systems
Ημερομηνία
2018Source
IEEE Transactions on Automation Science and EngineeringVolume
15Issue
1Pages
404-408Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
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.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
Probabilistic approaches to fault detection in networked discrete event systems
Athanasopoulou, E.; Hadjicostis, Christoforos N. (2005)In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves ...
-
Article
Algebraic approaches for fault identification in discrete-event systems
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 ...
-
Conference Object
Development of a discrete event dynamic systems curriculum using a Web-based "real-time" simulated factory
Cassandras, C. G.; Deng, M.; Hu, J. Q.; Vakili, P.; Zhao, C.; Panayiotou, Christos G. (IEEE, 2004)Summary form only given. This paper aims at an integrative and innovative approach to curriculum methods of teaching engineering methodology courses. The course is problem driven where industrial case studies are the basis ...