State estimation and detectability of probabilistic discrete event systems

Automatica

Volumn 44, Issue 12, 2008, Pages 3054-3060

  Shu, Shaolong ^a   Lin, Feng ^a,b   Ying, Hao ^b   Chen, Xinguang ^c  

^a TONGJI UNIVERSITY   (China)

^b Wayne State University   (United States)

^c WAYNE STATE UNIVERSITY   (United States)

Author keywords

Detectability; Observability; Probabilistic discrete event systems; State estimation

Indexed keywords

DISCRETE EVENT SIMULATION; GRAPHICAL USER INTERFACES; STATE ESTIMATION; TRAJECTORIES;

DETECTABILITY; DISCRETE EVENT SYSTEMS; ESTIMATION PROBLEMS; EVENT SEQUENCES; NECESSARY AND SUFFICIENT CONDITIONS; PROBABILISTIC DISCRETE EVENT SYSTEMS; STATE OBSERVATIONS; SUFFICIENT CONDITIONS;

PROBABILITY;

EID: 56349167981     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2008.05.025     Document Type: Article

References (26)

1. Cao C., Lin F., and Lin Z.H. Why event observation: Observability revisited. Discrete Event Dynamic Systems: Theory and Applications 7 2 (1997) 127-149
2. Cassandras C.G., and Lafortune S. Introduction to discrete event systems (1999), Kluwer
3. Cieslak R., Desclaux C., Fawaz A., and Varaiya P. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control 33 3 (1988) 249-260
4. Doucet, A., & Andrieu, C. (1999). Iterative algorithms for optimal state estimation of jump Markov linear systems. In Proceedings of IEEE international conference on acoustics, speech and signal processing (pp. 2487-2490)
5. Doucet A., Logothetis A., and Krishnamurthy V. Stochastic sampling algorithms for state estimation of jump Markov linear systems. IEEE Transactions on Automatic Control 45 2 (2000) 188-202
6. Evans, J.S., & Evans, R.J. (1997). State estimation for Markov switching systems with modal observations. In Proceedings of CDC (pp. 1688-1693)
7. Evans J.S., and Krishnamurthy V. Hidden Markov model state estimation with randomly delayed observations. IEEE Transactions on Signal Processing 47 8 (1999) 2157-2166
8. Evans J.S., and Krishnamurthy V. Optimal sensor scheduling for hidden Markov model state estimation. International Journal of Control 74 18 (2001) 1737-1742
9. Ford J.J., and Moore J.B. On adaptive HMM state estimation. IEEE Transactions on Signal Processing 46 2 (1998) 475-486
10. Habiballah I.O., Ghosh-Roy R., and Irving M.R. Markov chains for multipartitioning large power system state estimation networks. Electric Power Systems Research 45 2 (1998) 135-140
11. Heymann M., and Lin F. On-line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 4 3 (1994) 221-236
12. Kumar R., and Shayman M. Formulas relating controllability, observability, and co-observability. Automatica 34 2 (1998) 211-215
13. Lafortune S., and Lin F. On tolerable and desirable behaviors in supervisory control of discrete event systems. Discrete Event Dynamics Systems: Theory and Applications 1 1 (1991) 61-92
14. Li Y., Lin F., and Lin Z.H. A generalized framework for supervisory control of discrete event systems. International Journal of Intelligent Control and Systems 2 1 (1998) 139-159
15. Lin F., and Wonham W.M. On observability of discrete event systems. Information Sciences 44 3 (1988) 173-198
16. Ozveren C.M., and Willsky A.S. Observability of discrete event dynamic Systems. IEEE Transactions on Automatic Control 35 7 (1990) 797-806
17. Paz A. Introduction to probabilistic automata (1971), Academic, New York
18. Rabin M.O. Probabilistic automata, information and control 6 (1963) pp. 230-245
19. Ramadge, P.J. (1986). Observability of discrete event systems. In Proceedings of CDC (pp. 1108-1112)
20. Ramadge P.J., and Wonham W.M. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization 25 1 (1987) 206-230
21. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proceedings of the IEEE 77 1 (1989) 81-98
22. Shu, S., Lin, F., & Ying, H. (2006). Detectability of nondeterministic discrete event systems. In Proceedings of DCABES (pp. 1040-1044)
23. Shu S., Lin F., and Ying H. Detectability of discrete event systems. IEEE Transactions on Automatic Control 52 12 (2007) 2356-2359
24. Thistle J.G., and Wonham W.M. Control of infinite behaviour of finite automata. SIAM Journal of Control and Optimization 32 4 (1994) 1075-1097
25. Thistle J.G. Supervisory control of discrete event systems. Mathematical and Computer Modelling 23 11/12 (1996) 25-53
26. Wonham W.M., and Ramadge P.J. Modular supervisory control of discrete-event systems. Mathematics of Control, Signals, and Systems 1 1 (1988) 13-30