Show simple item record

dc.contributor.authorKeroglou, C.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.contributor.editorLennartson B.en
dc.contributor.editorLesage J.-J.en
dc.contributor.editorFaure J.-M.en
dc.contributor.editorCury J.E.R.en
dc.creatorKeroglou, C.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:46:26Z
dc.date.available2019-04-08T07:46:26Z
dc.date.issued2014
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/43780
dc.description.abstractIn 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.en
dc.publisherIFAC Secretariaten
dc.sourceIFAC Proceedings Volumes (IFAC-PapersOnline)en
dc.sourceIFAC Proceedings Volumes (IFAC-PapersOnline)en
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84945976300&doi=10.3182%2f20140514-3-FR-4046.00067&partnerID=40&md5=7c04f50acb54877535b96c5abaa6a0b1
dc.subjectStochastic systemsen
dc.subjectDiagnosabilityen
dc.subjectDiscrete event simulationen
dc.subjectDetectabilityen
dc.subjectStochastic discrete event systemsen
dc.subjectProbabilistic finite automataen
dc.subjectStochastic detectabilityen
dc.subjectStochastic diagnosabilityen
dc.titleDetectability in stochastic discrete event systemsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.identifier.doi10.3182/20140514-3-FR-4046.00067
dc.description.volume9
dc.description.startingpage27
dc.description.endingpage32
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record