Online sensor activation for detectability of discrete event systems

IEEE Transactions on Automation Science and Engineering

Volumn 10, Issue 2, 2013, Pages 457-461

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

^a TONGJI UNIVERSITY   (China)

^b Wayne State University   (United States)

Author keywords

Detectability; discrete event systems; online state estimation; sensor activation

Indexed keywords

BEST STATE; DETECTABILITY; DISTINGUISHABILITY; EXTERNAL OBSERVER; ON-LINE SENSOR; STATE INFORMATION;

ALGORITHMS; DISCRETE EVENT SIMULATION; STATE ESTIMATION;

SENSORS;

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

References (24)

1. W.Wang, S. Lafortune, and F. Lin, "Optimal sensor activation in controlled discrete event systems," in Proc. 45th IEEE Conf. Decision and Control, 2008, pp. 877-882.
2. W. Wang, S. Lafortune, F. Lin, and A. R. Girard, "Minimization of dynamic sensor activation in discrete event systems for the purpose of control," IEEE Trans. Autom. Control, vol. 55, no. 11, pp. 2447-2461, Nov. 2010.
3. W.Wang, S. Lafortune, F. Lin, and A. R. Girard, "An online algorithm for minimal sensor activation in discrete event systems," in Proc. 46th IEEE Conf. Decision and Control, 2009, pp. 2242-2247.
4. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Autom. Control, vol. 40, no. 9, pp. 1555-1575, Sep. 1995.
5. 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.
6. 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, Feb. 2006. (Pubitemid 46404971)
7. D. Thorsley and D. Teneketzis, "Active acquisition of information for diagnosis and supervisory control of discrete event systems," Discrete Event Dynam. Syst.: Theory Applic., vol. 17, no. 4, pp. 531-586, 2007.
8. 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.
9. S. Shu, F. Lin, and H. Ying, "Detectability of discrete event systems," IEEE Trans. Autom. Control, vol. 52, no. 12, pp. 2356-2359, Dec. 2007.
10. S. Shu, F. Lin, H. Ying, and X. Chen, "State estimate and detectability of probabilistic discrete event systems," Automatica, vol. 44, no. 12, pp. 3054-3060, 2008.
11. 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.
12. S. Shu and F. Lin, "Generalized detectability for discrete event systems," Syst. Control Lett., vol. 60, no. 5, pp. 310-317, 2011.
13. 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.
14. F. Lin, "Opacity of discrete event systems and its applications," Automatica, vol. 47, no. 3, pp. 496-503, 2011.
15. F. Lin and W. M. Wonham, "On observability of discrete event systems," Inf. Sci., vol. 44, no. 3, pp. 173-198, 1988.
16. P. E. Caines, R. Greiner, and S.Wang, "Dynamical logic observers for finite automata," in Proc. 25th IEEE Conf. Decision and Control, 1988, pp. 226-233.
17. C. M. Ozveren and A. S. Willsky, "Observability of discrete event dynamic systems," IEEE Trans. Autom. Control, vol. 35, no. 7, pp. 797-806, Jul. 1990.
18. P. J. Ramadge, "Observability of discrete event systems," in Proc. 23th IEEE Conf. Decision and Control, 1986, pp. 1108-1112.
19. Y. Ru and C. N. Hadjicostis, "Sensor selection for structural observability in discrete event systems modeled by Petri Nets," IEEE Trans. Autom. Control, vol. 55, no. 8, pp. 1751-1762, Aug. 2010.
20. L. Aguirre, "Sensor selection for observability in interpreted Petri Nets: A genetic approach," in Proc. 42nd IEEE Conf. Decision and Control, 2003, pp. 3760-3765.
21. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 2008.
22. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, no. 1, pp. 81-98, Jan. 1989.
23. J. G. Thistle and W. M. Wonham, "Control of infinite behaviour of finite automata," SIAM J, Control Optim., vol. 32, no. 4, pp. 1075-1097, 1994.
24. S. Shu and F. Lin, "Delayed detectability of discrete event systems," IEEE Trans. Autom. Control, to be published.