Show simple item record

dc.contributor.authorKeroglou, C.en
dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorKeroglou, C.en
dc.creatorHadjicostis, Christoforos N.en
dc.description.abstractIn this paper we analyze state estimation in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata (PFAs). For a given PFA, we obtain the necessary and sufficient conditions that guarantee exact state estimation, at least asymptotically, with increasing certainty as more information is acquired from observing the behavior of the given PFA, by defining the notion of AA-detectability, and providing necessary and sufficient conditions that can be used to verify it. The characterization and analysis of AA-detectability is transformed to a problem of classification between two (or more) PFAs, which capture the recurrent behavior of an underlying Markov process that is obtained by ignoring output behavior and focusing on state transitions in the given PFA. Our approach combines techniques used in classification between two (or more) PFAs with state estimation methods used in logical discrete event systems (DES). We prove that the proposed verification of AA-detectability is of polynomial complexity with respect to the size of the state space of the given PFA. © 2017 Elsevier Ltden
dc.subjectMarkov processesen
dc.subjectStochastic systemsen
dc.subjectMarkov modelsen
dc.subjectDiscrete event simulationen
dc.subjectDiscrete event systemsen
dc.subjectFinite automataen
dc.subjectState estimationen
dc.subjectStochastic discrete event systemsen
dc.subjectPolynomial complexityen
dc.subjectProbabilistic finite automataen
dc.subjectMarkov modelen
dc.subjectOn stateen
dc.subjectState estimation methodsen
dc.titleVerification of detectability in Probabilistic Finite Automataen
dc.description.issueJournal Articleen
dc.description.endingpage198Πολυτεχνική Σχολή /Faculty of EngineeringΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record