I-detectability of discrete-event systems

IEEE Transactions on Automation Science and Engineering

Volumn 10, Issue 1, 2013, Pages 187-196

  Shu, Shaolong ^a   Lin, Feng ^a,b  

^a TONGJI UNIVERSITY   (China)

^b Wayne State University   (United States)

Author keywords

Controllability; discrete event systems; I detectability; initial state estimation; observability

Indexed keywords

CLOSED-LOOP; EFFECTIVE ALGORITHMS; ESTIMATION PROBLEM; FINITE NUMBER; I-DETECTABILITY; INITIAL STATE;

ALGORITHMS; CONTROLLABILITY; OBSERVABILITY; STATE ESTIMATION;

DISCRETE EVENT SIMULATION;

EID: 84871766115     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2012.2215959     Document Type: Article

References (26)

1. W. M. Wonham, "Towards an abstract internal model principle, " IEEE Trans. Syst. Man, Cybern., vol. 6, no. 11, pp. 735-740, 1976.
2. F. Lin, "Diagnosability of discrete event systems and its applications, " Discrete Event Dynamic Systems: Theory and Applications, vol. 4, no. 1, pp. 197-212, 1994.
3. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Framework and model reduction, " IEEE Trans. Automatic Control, vol. 48, no. 7, pp. 1199-1212, 2003.
4. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems, " IEEE Trans. Automatic Control, vol. 40, no. 9, pp. 1555-1575, 1995.
5. A. Ramirez-Trevino, E. Ruiz-Beltran, I. Rivera-Rangel, E. Lopez-Mellado, A. Saboori, and C. N. Hadjicostis, "Online fault diagnosis of discrete event systems: A petri net-based approach, " IEEE Trans. Autom. Sci. Eng., vol. 4, no. 1, pp. 31-39, Jan. 2007. (Pubitemid 46113497)
6. W. Wang, S. Lafortune, A. R. Girard, and F. Lin, "Optimal sensor activation for diagnosing discrete event systems, " Automatica, vol. 46, no. 7, pp. 1165-1175, 2010.
7. W. Qiu, Q. Wen, and R. Kumar, "Decentralized diagnosis of eventdriven systems for safely reacting to failures, " IEEE Trans. Autom. Sci. Eng., vol. 6, no. 2, pp. 362-366, Apr. 2009.
8. S. Jiang and R. Kumar, "Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications, " IEEE Trans. Autom. Sci. Eng., vol. 3, no. 1, pp. 47-59, Jan. 2006. (Pubitemid 46404971)
9. P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes, " SIAM J. Control Opt., vol. 25, no. 1, pp. 206-230, 1987. (Pubitemid 17513624)
10. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems, " Proc. IEEE, vol. 77, no. 1, pp. 81-98, 1989.
11. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 2008.
12. F. Lin and W. M. Wonham, "On observability of discrete event systems, " Inform. Sci., vol. 44, no. 3, pp. 173-198, 1988.
13. F. Lin and W. M. Wonham, "Decentralized supervisory control of discrete-event systems, " Inform Sci., vol. 44, no. 3, pp. 199-224, 1988. (Pubitemid 18604795)
14. P. J. Ramadge, "Observability of discrete event systems, " in Proc. CDC, 1986, pp. 1108-1112.
15. C. M. Ozveren and A. S. Willsky, "Observability of discrete event dynamic systems, " IEEE Trans. Automatic Control, vol. 35, no. 7, pp. 797-806, 1990.
16. S. Shu, F. Lin, and H. Ying, "Detectability of discrete event systems, " IEEE Trans. Automatic Control, vol. 52, no. 12, pp. 2356-2359, 2007.
17. S. Shu, F. Lin, H. Ying, and X. Chen, "State estimation and detectability of probabilistic discrete event systems, " Automatica, vol. 44, no. 12, pp. 3054-3060, 2008.
18. S. Shu and F. Lin, "Detectability for discrete event systems with dynamic event observation, " Syst. Control Lett., vol. 59, no. 1, pp. 9-17, 2010.
19. S. Shu and F. Lin, "Generalized detectability for discrete event systems, " Syst. Control Lett., vol. 60, no. 5, pp. 310-317, 2011.
20. A. Saboori and C. N. Hadjicostis, "Verification of initial-state opacity in security applications of DES, " in Proc. 9th Int. Workshop on Discrete Event Systems, Göteborg, Sweden, May 28-30, 2008.
21. A. Saboori and C. N. Hadjicostis, "Verification of K-step opacity and analysis of its complexity, " IEEE Trans. Autom. Sci. Eng., vol. 8, no. 3, pp. 549-559, Jun. 2011.
22. A. Saboori and C. N. Hadjicostis, "Verification of infinite-step opacity and complexity considerations, " IEEE Trans. Automatic Control, vol. 57, no. 5, pp. 1265-1269, May 2012.
23. D. Lee and M. Yannakakis, "Principles and methods of testing finite state machines-A survey, " Proc. IEEE, vol. 84, no. 8, pp. 1090-1123, August 1996. (Pubitemid 126752579)
24. H. Marchand, O. Boivineau, and S. Lafortune, "On optimal control of a class of partially observed discrete event systems, " Automatica, vol. 38, no. 11, pp. 1935-1943, 2002.
25. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems, " Automatica, vol. 27, no. 4, pp. 641-651, July 1991.
26. J. G. Thistle and W. M. Wonham, "Control of infinite behavior of finite automata, " SIAM J, Control and Optimization, vol. 32, no. 4, pp. 1075-1097, 1994.