Detectability in stochastic discrete event systems
Date
2014Publisher
IFAC SecretariatSource
IFAC Proceedings Volumes (IFAC-PapersOnline)IFAC Proceedings Volumes (IFAC-PapersOnline)
Volume
9Pages
27-32Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
In this paper we define and analyze notions of detectability in stochastic discrete event systems (SDES). More specifically, we introduce the notions of A-detectability and AA-detectability which focus on characterizing our ability to estimate the true current state of a given SDES with increasing certainty as we observe more output symbols. We discuss observer-based techniques that can be used to verify A-detectability, and provide associated necessary and sufficient conditions for this property to hold. We also present and discuss the notion of AA-detectability, which encompasses a broader class of SDES than A-detectability. Our approach is differentiated from the existing notion of stochastic detectability because it takes into account the probability of problematic observation sequences (that do not allow us to perfectly know the system state), whereas stochastic detectability considers each observation sequence that can be generated by the underlying system even if this observation sequence can only be generated with very small probability. The notions of A- and AA-detectability that are introduced are inspired by combining existing notions for detectability in deterministic discrete event systems and diagnosability in SDES. © IFAC.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Article
Information Structures for Feedback Capacity of Channels With Memory and Transmission Cost: Stochastic Optimal Control and Variational Equalities
Kourtellaris, Christos K.; Charalambous, Charalambos D. (2018)Stochastic optimal control theory and a variational equality of directed information are applied, to develop a methodology to identify the information structures of optimal channel input conditional distributions, which ...
-
Conference Object
A Sufficient Condition for General Decentralized Cooperative Stochastic Differential Games
Charalambous, Charalambos D. (IEEE, 2018)Martingale techniques are applied to derive sufficient decentralized optimality conditions for general stochastic differential games, with multiple Decision Makers (DMs), who aim at optimizing a common pay-off, based on ...
-
Article
Revised Test for Stochastic Diagnosability of Discrete-Event Systems
Chen, Jun; Keroglou, Christoforos; Hadjicostis, Christoforos N.; Kumar, Ratnesh (2018)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 ...