dc.contributor.author | Keroglou, C. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Keroglou, C. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:26Z | |
dc.date.available | 2019-04-08T07:46:26Z | |
dc.date.issued | 2017 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43776 | |
dc.description.abstract | In 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 Ltd | en |
dc.source | Automatica | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85029678724&doi=10.1016%2fj.automatica.2017.08.027&partnerID=40&md5=df2cb05f7c17659da9cfb68a6d92fa66 | |
dc.subject | Markov processes | en |
dc.subject | Stochastic systems | en |
dc.subject | Markov models | en |
dc.subject | Discrete event simulation | en |
dc.subject | Discrete event systems | en |
dc.subject | Finite automata | en |
dc.subject | State estimation | en |
dc.subject | Detectability | en |
dc.subject | Stochastic discrete event systems | en |
dc.subject | Polynomial complexity | en |
dc.subject | Probabilistic finite automata | en |
dc.subject | Markov model | en |
dc.subject | On state | en |
dc.subject | State estimation methods | en |
dc.title | Verification of detectability in Probabilistic Finite Automata | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1016/j.automatica.2017.08.027 | |
dc.description.volume | 86 | |
dc.description.issue | Journal Article | en |
dc.description.startingpage | 192 | |
dc.description.endingpage | 198 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | Automatica | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |