Observation equivalence of petri net generators

Advances in the Astronautical Sciences

Volumn 12, Issue , 2014, Pages 338-343

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

^a XIDIAN UNIVERSITY   (China)

^b UNIVERSITY OF CAGLIARI   (Italy)

^c AIX MARSEILLE UNIV   (France)

Author keywords

Discrete event systems; Equivalence; Observation; Petri nets; Sensors

Indexed keywords

FAULT DETECTION; PETRI NETS; SENSORS;

CARDINALITIES; EQUIVALENCE; EQUIVALENT RELATION; LABELING FUNCTIONS; OBSERVATION; OBSERVATION EQUIVALENCE; OBSERVATION STRUCTURE; PARTIAL STATE;

DISCRETE EVENT SIMULATION;

EID: 84940911715     PISSN: 00653438     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Barkaoui, K., Chaoui, A., and Zouari, B. (1997). Supervisory control of discrete event systems based on structure theory of Petri nets. In IEEE International Conference on Systems, Man, and Cybernetics, volume 4, 3750{ 3755. Orlando, FL.
2. Basile, F., Chiacchio, P., and Tommasi, G.D. (2009). Anecient approach for online diagnosis of discrete event systems. IEEE Transactions on Automatic Control, 54(4), 748{759.
3. Cabasino, M., Giua, A., and Seatzu, C. (2010). Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, 46(9), 1531{ 1539.
4. Cassandras, C. and Lafortune, S. (2008). Introduction to Discrete Event Systems. Springer, 2nd edition.
5. Diestel, R. (2006). Graph theory. Springer, New York, 3rd edition.
6. Giua, A. (2011). State estimation and fault detection using Petri nets. In Proc. 32nd International Conference on Applications and Theory of Petri nets. Newcastle, UK.
7. Giua, A., Seatzu, C., and Corona, D. (2007). Marking estimation of Petri nets with silent transitions. IEEE Transactions on Automatic Control, 52(9), 1695{1699.
8. Jensen, T.R. and Toft, B. (2011). Graph coloring problems, volume 39. John Wiley & Sons.
9. Lin, F. and Wonham, W.M. (1988). On observability of discrete-event systems. Information sciences, 44(3), 173{198.
10. Murata, T. (1989). Petri nets: properties, analysis and applications. Procedings of the IEEE, 77(4), 541{580.
11. Ramadge, P.J. and Wonham, W.M. (1989). The control of discrete event systems. Proceedings of the IEEE, 77(1), 81{98.
12. Ramirez-Trevino, A., Rivera-Rangel, I., and Lopez- Mellado, E. 2003). Observability of discrete event systems modeled by interpreted Petri nets. IEEE Trans- Actions on Robotics and Automation, 19(4), 557{565.
13. Ru, Y. and Hadjicostis, C. (2009). Fault diagnosis in discrete event systems modeled by partially observed Petri nets. Discrete Event Dynamic Systems, 19(4), 551{575.
14. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1995). Diagnosability of discrete-event systems. IEEE Transactions on Auto- matic Control, 40(9), 1555{1575.
15. Tong, Y., Li, Z., and Giua, A. (2013). General observation structures for Petri nets. In 18th IEEE International Conference on Emerging Technologies and Factory Au- Tomation. Cagliari, Italy.
16. Ushio, T., Onishi, I., and Okuda, K. (1998). Fault detection based on Petri net models with faulty behaviors. In IEEE International Conference on Systems, Man, and Cybernetics, volume 1, 113{118. San Diego, USA.