Detectability in stochastic discrete event systems
Hadjicostis, Christoforos N.
SourceIFAC Proceedings Volumes (IFAC-PapersOnline)
IFAC Proceedings Volumes (IFAC-PapersOnline)
Google Scholar check
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Mikellides, Loizos (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2011-01)Multiple Sclerosis is an inflammatory demyelinating disorder of the Central Nervous System. It is an autoimmune disease that its causes are still not clarified. The demyelization of the neural axons leads to the physical ...
Mulvey, John M.; Vladimirou, Hercules (1989)
Optimization of nonlinear stochastic uncertain relaxed controlled systems: Entropy rate functional and robustness Rezaei, F.; Charalambous, C. D.; Kyprianou, Andreas (Affiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, CanadaAffiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 161 Louis Pasteur, A519, Ottawa, Ont. K1N 6N5, CanadaAffiliation: Electrical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusAffiliation: Mechanical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusCorrespondence Address: Rezaei, F.Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, Canadaemail: email@example.com, 2004)This paper is concerned with nonlinear stochastic uncertain relaxed controlled difussions, in which the pay-off is described by the relative entropy between the nominal measure and the uncertain measure, when the uncertain ...