Maximum likelihood diagnosis in partially observable finite state machines
Date
2005ISBN
0-7803-8936-0978-0-7803-8936-6
Source
Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05
Volume
2005Pages
896-901Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
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.