Sensor selection for structural observability in discrete event systems modeled by petri nets

IEEE Transactions on Automatic Control

Volumn 55, Issue 8, 2010, Pages 1751-1764

  Ru, Yu ^a   Hadjicostis, Christoforos N ^b  

^a United States of America   (United States)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

Discrete event systems; Petri nets; sensor selection; state based control; structural observability

Indexed keywords

DISCRETE EVENT SYSTEMS; SENSOR SELECTION; STATE-BASED; STATE-BASED CONTROL; STRUCTURAL OBSERVABILITY;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC PROGRAMMING; GRAPH THEORY; HEURISTIC ALGORITHMS; INTEGER PROGRAMMING; MODEL STRUCTURES; OPTIMIZATION; PETRI NETS; SENSORS;

OBSERVABILITY;

EID: 77955373672     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2010.2042348     Document Type: Article

References (38)

1. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, vol.77, no.1, pp. 81-98, Jan. 1989.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
3. R. Debouk, S. Lafortune, and D. Teneketzis, "On an optimization problem in sensor selection," Discrete Event Dynamic Syst.: Theory Appl., vol.12, pp. 417-445, Oct. 2002.
4. T. Yoo and S. Lafortune, "NP-completeness of sensor selection problems arising in partially observed discrete-event systems," IEEE Trans. Autom. Control, vol.47, no.9, pp. 1495-1499, Sep. 2002.
5. K. R. Rohloff, S. Khuller, and G. Kortsarz, "Approximating the minimal sensor selection for supervisory control," Discrete Event Dyn. Syst.: Theory Appl., vol.16, pp. 143-170, Jan. 2006.
6. S. Jiang, R. Kumar, and H. E. Garcia, "Optimal sensor selection for discrete-event systems with partial observation," IEEE Trans. Autom. Control, vol.48, no.3, pp. 369-381, Mar. 2003.
7. A. Giua, "Petri net techniques for supervisory control of discrete event systems," in Proc. 1st Int. Workshop Manufact. Petri Nets, Osaka, Japan, Jun. 1996, pp. 1-30.
8. J. Esparza and M. Nielsen, "Decidability issues for Petri nets-A survey," Bull. Eur. Assoc. Theor. Comp. Sci., vol.52, pp. 245-262, 1994.
9. L. Aguirre-Salas, "Sensor selection for observability in interpreted Petri nets: A genetic approach," in Proc. 42nd IEEE Conf. Decision Control, Dec. 2003, pp. 3760-3765.
10. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol.35, no.5, pp. 514-523, May 1990.
11. R. K. Boel, L. Ben-Naoum, and V. V. Breusegem, "On forbidden state problems for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol.40, no.10, pp. 1717-1731, Oct. 1995.
12. L. E. Holloway, X. Guan, and L. Zhang, "A generalization of state avoidance policies for controlled Petri nets," IEEE Trans. Autom. Control, vol.41, no.6, pp. 804-816, Jun. 1996.
13. R. S. Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets," IEEE Trans. Autom. Control, vol.42, no.7, pp. 928-945, Jul. 1997.
14. H. Chen, "Net structure and control logic synthesis of controlled Petri nets," IEEE Trans. Autom. Control, vol.43, no.10, pp. 1446-1450, Oct. 1998.
15. G. Stremersch and R. K. Boel, "Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness," IEEE Trans. Autom. Control, vol.46, no.9, pp. 1490-1496, Sep. 2001.
16. A. Ghaffari, N. Rezg, and X. Xie, "Feedback control logic for forbidden- state problems of marked graphs: Application to a real manufacturing system," IEEE Trans. Autom. Control, vol.48, no.1, pp. 18-29, Jan. 2003.
17. F. Basile, C. Carbone, and P. Chiacchio, "Feedback control logic for backward conflict free choice nets," IEEE Trans. Autom. Control, vol.52, no.3, pp. 387-400, Mar. 2007.
18. L. Zhang and L. E. Holloway, "Forbidden state avoidance in controlled Petri nets under partial observation," in Proc. 33rd Annu. Allerton Conf. Commun., Control, Comp., Monticello, VA, Oct. 1995, pp. 146-155.
19. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, vol.47, no.9, pp. 1424-1437, Sep. 2002.
20. Z. Achour, N. Rezg, and X. Xie, "Supervisory control of partially observable marked graphs," IEEE Trans. Autom. Control, vol.49, no.11, pp. 2007-2011, Nov. 2004.
21. Y. Ru, M. P. Cabasino, A. Giua, and C. N. Hadjicostis, "Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications," in Proc. 47th IEEE Conf. Decision Control, Cancun, Mexico, Dec. 2008, pp. 1048-1053.
22. A. Giua, C. Seatzu, and F. Basile, "Observer-based state-feedback control of timed Petri nets with deadlock recovery," IEEE Trans. Autom. Control, vol.49, no.1, pp. 17-29, Jan. 2004.
23. M. Oishi, H. Inseok, and C. Tomlin, "Immediate observability of discrete event systems with application to user-interface design," in Proc. 42nd IEEE Conf. Decision Control, Maui, HI, Dec. 2003, pp. 2665-2672.
24. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol.77, no.4, pp. 541-580, Apr. 1989.
25. Y. Ru and C. N. Hadjicostis, "Fault diagnosis in discrete event systems modeled by partially observed Petri nets," Discrete Event Dyn. Syst.: Theory Appl., vol.19, pp. 551-575, Dec. 2009.
26. I. Rivera-Rangel, A. Ramírez-Treviño, L. I. Aguirre-Salas, and J. Ruiz-León, "Geometrical characterization of observability in interpreted Petri nets," Kybernetika, vol.41, no.5, pp. 553-574, 2005.
27. C. M. Özveren and A. S. Willsky, "Invertibility of discrete-event dynamic systems," Math. Control, Signals, Syst., vol.5, pp. 365-390, Dec. 1992.
28. M. R. Garey and D. S. Johnson, Computers and Intractability-A Guide to the Theory of NP-Completeness. San Francisco, CA: Freeman, 1979.
29. G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela, and M. Protasi, Complexity and Approximation: Combinatorial Optimization Problems and their Approximability Properties. New York: Springer-Verlag, 1999.
30. M. Berkelaar, K. Eikland, and P. Notebaert, "Open Source (Mixed-Integer) Linear Programming System (Version 5.5.0.8)," 2006 [Online]. Available: http://sourceforge.net/projects/lpsolve
31. M. Brodie, I. Rish, and S. Ma, "Optimizing probe selection for fault localization," in Proc. 12th Int.Workshop Distrib. Syst.: Oper. Manag., Nancy, France, Oct. 2001, pp. 1147-1157.
32. Y. Ru and C. N. Hadjicostis, "Bounds on the number of markings consistent with label observations in Petri nets," IEEE Trans. Autom. Sci. Eng., vol.6, no.4, pp. 334-344, Apr. 2009.
33. J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets. Norwell, MA: Kluwer Academic Publishers, 1998.
34. D. Lefebvre and C. Delherm, "Diagnosis of DES with Petri net models," IEEE Trans. Autom. Sci. Eng., vol.4, no.1, pp. 114-118, Jan. 2007.
35. Z. Pawlak, Rough Sets-Theoretical Aspects of Reasoning About Data. Norwell, MA: Kluwer Academic Publishers, 1991.
36. V. V. Vazirani, Approximation Algorithms. New York: Springer, 2004.
37. Y. Ru and C. N. Hadjicostis, "Optimal sensor selection for structural observability in discrete event systems modeled by Petri nets," in Proc. 1st IFAC Workshop Dependable Control Discrete Syst., Paris, France, Jun. 2007, [CD ROM].
38. Y. Ru and C. N. Hadjicostis, "Approximating optimal sensor selection for structural observability in discrete event systems modeled by Petri nets," in Proc. 46th IEEE Conf. Decision Control, New Orleans, LA, Dec. 2007, pp. 1892-1897.