Maximum likelihood diagnosis in partially observable finite state machines

Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05

Volumn 2005, Issue , 2005, Pages 896-901

  Athanasopoulou, E ^a   Hadjicostis, C N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Finite state machines; Markov models; Probabilistic fault diagnosis; Recursive likelihood evaluation

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; FINITE AUTOMATA; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILISTIC LOGICS; STOCHASTIC CONTROL SYSTEMS;

FINITE STATE MACHINES (FSM); MARKOV MODELS; MAXIMUM LIKELIHOOD DIAGNOSIS; RECURSIVE LIKELIHOOD EVALUATION;

MAXIMUM LIKELIHOOD ESTIMATION;

EID: 33745207381     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/.2005.1467133     Document Type: Conference Paper

References (25)

1. W. Hamscher, L. Console, and J. Kleer, Readings in Model Based Diagnosis. Morgan Kaufmann, 1992.
2. S. Rieh and V. Venkatasubramanian, "Model-based reasoning in diagnostic expert systems for chemical process plants," Comput. Chem. Eng., vol. 11, no. 2, pp. 111-122, 1987.
3. W. S. Lee, D. L. Grosh, F. A. Tillman, and C. H. Lie, "Fault tree analysis, methods, and applications - A review," IEEE Trans, on Reliability, vol. R-34, no. 2, pp. 194-203, August 1985.
4. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: framework and model reduction," IEEE Trans. on Automatic Control, vol. 48, no. 7, pp. 1199-1212, July 2003.
5. Y. Wu and C. N. Hadjicostis, "Distributed non-concurrent fault identification in discrete event systems," Proc. of CESA Multiconf. on Computational Engineering in Systems Applications, July 2003.
6. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE Trans, on Control Systems Technology, vol. 4, no. 2, pp. 105-124, February 1996.
7. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete-event systems," IEEE Trans, on Automatic Control, vol. 40, no. 9, pp. 1555-1575, September 1995.
8. F. Lin, "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Systems: Theory and Applications, vol. 4, no. 2, pp. 197-212, May 1994.
9. D. P. L. Thorsley and D. Teneketzis, "Failure diagnosis of stochastic automata," Proc. of 14th Int. Workshop on Principles of Diagnosis, June 2003.
10. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete-event systems: a net unfolding approach," IEEE Trans, on Automatic Control, vol. 48, no. 5, pp. 714-727, May 2003.
11. A. Benveniste, E. Fabre, and S. Haar, "Markov nets: probabilistic models for distributed and concurrent systems," IEEE Proc. of Conf. on Decision and Control, vol. 5, pp. 5010-5015, December 2001.
12. C. N. Hadjicostis, "Probabilistic fault detection in finite-state machines based on state occupancy measurements," Proc. of IEEE Conf. on Decision and Control, vol. 4, pp. 3994-3999, December 2002.
13. S. H. Low, "Probabilistic conformance testing of protocols with unobservable transitions," IEEE Proc. of Int. Conf. on Network Protocols, pp. 368-375, October 1993.
14. M. Blanke, M. Kinnaert, J. Lunze, M. Staroswiecki, Diagnosis and Fault-Tolerant Control. Springer-Verlag, 2003.
15. C. M. Özveren and A. S. Willsky, "Observability of discrete-event dynamic systems," IEEE Trans. on Automatic Control, vol. 35, no. 7, pp. 797-806, July 1990.
16. L. R. Rabiner, "A tutorial on hidden markov models and selected applications in speech recognition," IEEE Proc., vol. 77, no. 2, pp. 257-286, February 1989.
17. A. M. Poritz, "Hidden Markov models: A guided tour," Proc. 1988 IEEE Conf. Acoustics, Speech, and Signal Processing, vol. 1, pp. 7-13, April 1988.
18. L. E. Baum and T. Petrie, "Statistical inference for probabilistic functions of finite-state Markov chains," Ann. Math. Stat., vol. 37, pp. 1559-1563, 1966.
19. L. R. Bahl, J. Cocke, F. Jelinek, and J. Raviv, "Optimal decoding of linear codes for minimizing symbol error rate," IEEE Trans. Inform. Theory, vol. IT-20, pp. 284-287, March 1974.
20. G. Ungerboeck, "Nonlinear equalization of binary signals in Gaussian noise," IEEE Trans. Commun. Technol., vol. COM-19, pp. 1128-1137, December 1971.
21. A. D. Viterbi, "Error bounds for convolutional codes and an asymptotically optimum decoding algorithm," IEEE Trans. Inform. Theory, vol. IT-13, pp. 260-269, April 1967.
22. G. D. Forney, Jr., "The Viterbi algorithm," Proc. IEEE, vol. 61, pp. 268-278, March 1973.
23. C. G. Cassandras and S. Lafortune, Introduction to Discrete-Event Systems. Kluwer, 1999.
24. P. Bremaud, Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues. Springer-Verlag, 1999.
25. D. K. Pradhan, Fault Tolerant Computer System Design. Prentice-Hall, 1996.