On the Equivalence of Observation Structures for Petri Net Generators

IEEE Transactions on Automatic Control

Volumn 61, Issue 9, 2016, Pages 2448-2462

  Tong, Yin ^a,b   Li, Zhiwu ^a,c   Giua, Alessandro ^b,d  

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c MACAU UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Macao)

^d AIX MARSEILLE UNIVERSITY   (France)

Author keywords

Discrete event system (DES); observation; Petri net; state estimation

Indexed keywords

DISCRETE EVENT SIMULATION; STATE ESTIMATION;

MODELING POWER; OBSERVATION; OBSERVATION EQUIVALENCE; OBSERVATION STRUCTURE;

PETRI NETS;

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

References (24)

1. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. New York, NY, USA: Springer-Verlag, 2008.
2. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, vol. 47, no. 9, pp. 1424-1437, Sep. 2002.
3. 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, 2004.
4. J. W. Bryans, M. Koutny, and P. Y. A. Ryan, "Modelling opacity using Petri nets," Electron. Notes Theor. Comp. Sci., vol. 121, pp. 101-115, 2005.
5. A. Giua, C. Seatzu, and D. Corona, "Marking estimation of Petri nets with silent transitions," IEEE Trans. Autom. Control, vol. 52, no. 9, pp. 1695-1699, 2007.
6. M. P. Cabasino, A. Giua, and C. Seatzu, "Diagnosis using labeled Petri nets with silent or undistinguishable fault events," IEEE Trans. Syst. Man Cybern., Syst., vol. 43, no. 2, pp. 345-355, 2013.
7. T. Ushio, I. Onishi, and K. Okuda, "Fault detection based on Petri net models with faulty behaviors," in Proc. IEEE Conf. Syst., Man, Cybern., San Diego, CA, USA, pp. 113-118.
8. A. Bourij and D. Koenig, "An original Petri net state estimation by a reduced luenberger observer," in Proc. Amer. Control Conf., San Diego, CA, USA, vol. 3, pp. 1986-1989.
9. S. L. Chung, "Diagnosing PN-based models with partial observable transitions," Int. J. Comp. Integr. Manufact., vol. 18, no. 2/3, pp. 158-169, 2005.
10. Y. Ru and C. Hadjicostis, "Fault diagnosis in discrete event systems modeled by partially observed Petri nets," Discrete Event Dynamic Syst., vol. 19, no. 4, pp. 551-575, Dec. 2009.
11. D. Lefebvre, "Diagnosis with Petri nets according to partial events and states observation," in Proc. IFAC Fault Detection, Supervision Safety Tech. Processes, Mexico City, Mexico, vol. 8, no. 1, pp. 1244-1249.
12. D. Lefebvre, "On-line fault diagnosis with partially observed petri nets," IEEE Trans. Autom. Control, vol. 59, no. 7, pp. 1919-1924, 2014.
13. Y. Tong, Z. W. Li, and A. Giua, "General observation structures for Petri nets," in Proc. IEEE Conf. Emerging Technol. Factory Autom., Cagliari, Italy.
14. Y. Tong, Z. W. Li, and A. Giua, "Observation equivalence of Petri net generators," in Proc. 12th Intern. Workshop Discrete Event Syst., Cachan, France, vol. 12, pp. 338-343.
15. M. Cabasino, A. Giua, and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," Automatica, vol. 46, no. 9, pp. 1531-1539, Sep. 2010.
16. Y. Tong, Z. W. Li, C. Seatzu, and A. Giua, "Verification of current-state opacity using Petri nets," in Proc. Amer. Control Conf., Chicago, IL, USA, pp. 1935-1940.
17. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
18. M. Fanti, A. Mangini, and W. Ukovich, "Fault detection by labeled Petri nets in centralized and distributed approaches," IEEE Trans. Autom. Sci. Eng., vol. 10, no. 2, pp. 392-404, Apr. 2013.
19. F. Cassez and S. Tripakis, "Fault diagnosis with dynamic observers," in Proc. 9th Int. Workshop Discrete Event Syst., Göteborg, Sweden, pp. 212-217.
20. T. Ushio and S. Takai, "Supervisory control of discrete event systems modeled by mealy automata with nondeterministic output functions," in Proc. Amer. Control Conf., St. Louis, MO, USA, pp. 4260-4265.
21. W. Wang, A. R. Girard, S. Lafortune, and F. Lin, "On codiagnosability and coobservability with dynamic observations," IEEE Trans. Autom. Control, vol. 56, no. 7, pp. 1551-1566, 2011.
22. L. K. Carvalho, J. C. Basilio, and M. V. Moreira, "Robust diagnosis of discrete event systems against intermittent loss of observations," Automatica, vol. 48, no. 9, pp. 2068-2078, 2012.
23. R. Diestel, Graph Theory. New York, NY, USA: Springer-Verlag, 2006.
24. T. R. Jensen and B. Toft, Graph Coloring Problems. NewYork,NY, USA: Wiley, 2011, vol. 39.