dc.contributor.author | Athanasopoulou, E. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Athanasopoulou, E. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:44:46Z | |
dc.date.available | 2019-04-08T07:44:46Z | |
dc.date.issued | 2005 | |
dc.identifier.isbn | 0-7803-8936-0 | |
dc.identifier.isbn | 978-0-7803-8936-6 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/42826 | |
dc.description.abstract | In this paper we develop a probabilistic approach for fault diagnosis in deterministic finite state machines (FSMs). The proposed approach determines whether the FSM under consideration is faulty or not by observing (part of) its output sequence. The input sequence applied to the FSM does not need to be fully observable but an a priori probabilistic description of the input sequence is assumed to be available. Given the (partially) observed output sequence of the FSM, we compute the a posteriori probability that this sequence was produced by the fault-free FSM and compare it to the a posteriori probability that it was produced by the faulty one. We also discuss how the approach in the paper relates to the more general problem of observation and fault diagnosis in stochastic discrete event systems in (hidden) Markov models. ©2005 IEEE. | en |
dc.source | Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05 | en |
dc.source | Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-33745207381&doi=10.1109%2f.2005.1467133&partnerID=40&md5=d0381bb4497298e0424f3ce6f8e08259 | |
dc.subject | Mathematical models | en |
dc.subject | Maximum likelihood estimation | en |
dc.subject | Discrete time control systems | en |
dc.subject | Markov processes | en |
dc.subject | Stochastic control systems | en |
dc.subject | Markov models | en |
dc.subject | Finite automata | en |
dc.subject | Finite state machines | en |
dc.subject | Finite state machines (fsm) | en |
dc.subject | Maximum likelihood diagnosis | en |
dc.subject | Probabilistic fault diagnosis | en |
dc.subject | Probabilistic logics | en |
dc.subject | Recursive likelihood evaluation | en |
dc.title | Maximum likelihood diagnosis in partially observable finite state machines | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/.2005.1467133 | |
dc.description.volume | 2005 | |
dc.description.startingpage | 896 | |
dc.description.endingpage | 901 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |