Probabilistic failure diagnosis in finite state machines under unreliable observations

Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Volumn , Issue , 2006, Pages 301-306

  Athanasopoulou, Eleftheria ^a   Li, Ngxi ^a   Hadjicostis, Christoforos N ^a  

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

Author keywords

Diagnosis; Event deletions; Event insertions; Finite state machines; Probabilistic automata

Indexed keywords

ALGORITHMS; ERROR ANALYSIS; FAILURE ANALYSIS; HIDDEN MARKOV MODELS; PROBABILISTIC LOGICS; PROBABILITY; SENSORS;

PROBABILISTIC AUTOMATA; TRELLIS DIAGRAMS;

FINITE AUTOMATA;

EID: 34250721781     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2006.1678446     Document Type: Conference Paper

References (15)

1. 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.
2. 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.
3. 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.
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, "Non-concurrent fault identification in discrete event systems using encoded Petri net states," in Proc. of IEEE Conf. Decision and Control, vol. 4, pp. 4018-4023, December 2002.
6. A. Benveniste, E. Fabre, and S. Haar, "Markov nets: probabilistic models for distributed and concurrent systems," in Proc. of IEEE Conf. on Decision and Control, vol. 5, pp. 5010-5015, December 2001.
7. C. N. Hadjicostis, "Probabilistic fault detection in finite-state machines based on state occupancy measurements," IEEE Trans. on Automatic Control, vol. 50, no. 12, pp. 2078-2083, December 2005.
8. M. Blanke, M. Kinnaert, J. Lunze, M. Staroswiecki, Diagnosis and Fault-Tolerant Control. Springer-Verlag, 2003.
9. D. Thorsley and D. Teneketzis, "Diagnosability of stochastic discrete-event systems," IEEE Trans. on Automatic Control, vol. 50, no. 4, pp. 476-492, April 2005.
10. L. R. Rabiner, "A tutorial on hidden Markov models and selected applications in speech recognition," Proc. the IEEE, vol. 77, no. 2, pp. 257-286, February 1989.
11. A. M. Poritz, "Hidden Markov models: A guided tour," Proc. IEEE Conf. Acoustics, Speech, and Signal Processing, vol. 1, pp. 7-13, April 1988.
12. F. Jelinek, Statistical Methods for Speech Recognition, MIT Press, Boston, MA, 1998.
13. A. Bouloutas, G. W. Hart and M. Schwartz, "Two extensions of the Viterbi algorithm," IEEE Trans. Inform. Theory, vol. 37, no. 2, pp. 430-436, March 1991.
14. G. W. Hart and A. T. Bouloutas, "Correcting dependent errors in sequences generated by finite-state processes," IEEE Trans. Inform. Theory, vol. 39, no. 4, pp. 1249-1260, July 1993.
15. C. G. Cassandras and S. Lafortune, Introduction to Discrete-Event Systems. Kluwer, 1999.