Decentralized diagnosis of Petri nets

Proceedings of the 2010 American Control Conference, ACC 2010

Volumn , Issue , 2010, Pages 3371-3377

  Cabasino, Maria Paola ^a   Giua, Alessandro ^a   Paoli, Andrea ^b   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

AMOUNT OF INFORMATION; DECENTRALIZED ARCHITECTURE; DECENTRALIZED DIAGNOSIS; DECENTRALIZED INFORMATIONS; DIAGNOSIS INFORMATION; FAILURE DIAGNOSIS; LOCAL SITES;

DISCRETE EVENT SIMULATION;

EID: 77957792343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2010.5530910     Document Type: Conference Paper

References (16)

1. F. Basile, P. Chiacchio, and G. De Tommasi. An efficient approach for online diagnosis of discrete event systems. IEEE Trans. Automatic Control, 54(4):748-759, 2009.
2. A. Benveniste, E. Fabre, S. Haar, and C. Jard. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. Automatic Control, 48(5):714-727, May 2003.
3. R.K. Boel and J.H. van Schuppen. Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers. In Proc. WODES'02: 6th Work. on Discrete Event Systems (Zaragoza, Spain), pages 175-181, October 2002.
4. M.P. Cabasino, A. Giua, and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, (Submitted).
5. M.P. Cabasino, A. Giua, and C. Seatzu. Diagnosis of discrete event systems using labeled Petri nets. In Proc. 2nd IFAC Workshop on Dependable Control of Discrete Systems (Bari, Italy), June 2009.
6. C.G. Cassandras and S. Lafortune. Introduction to discrete event systems, Second Edition. Springer, 2007.
7. Olivier Contant, Stéphane Lafortune, and Demosthenis Teneketzis. Diagnosability of discrete event systems with modular structure. Discrete Event Dynamic Systems, 16(1):9-37, 2006. (Pubitemid 43261383)
8. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamic Systems, 10(1):33-86, 2000. (Pubitemid 30573763)
9. S. Genc and S. Lafortune. Distributed diagnosis of place-bordered Petri nets. IEEE Trans. on Automation Science and Engineering, 4(2):206-219, 2007.
10. G. Jiroveanu and R. K. Boel. A distributed approach for fault detection and diagnosis based on time Petri nets. Mathematics and Computers in Simulation, 70(5), 2006.
11. M. Sampath. A Discrete Event Systems Approach to Failure Diagnosis. PhD thesis, The University of Michigan, Ann Arbor, Michigan, 1995.
12. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete-event systems. IEEE Trans. Automatic Control, 40 (9):1555-1575, 1995.
13. R. Su, W.M. Wonham, J. Kurien, and X. Koutsoukos. Distributed diagnosis for qualitative systems. In in 6th International Workshop on Discrete Event Systems, Zaragoza, pages 169-174, 2002.
14. Yin Wang, Tae-Sic Yoo, and Stéphane Lafortune. Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dynamic Systems, 17(2), 2007.
15. Y. Wu and C.N. Hadjicostis. Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robotics and Automation, 50(12):2048-2053, 2005.
16. S. Hashtrudi Zad, R.H. Kwong, and W.M. Wonham. Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans. Automatic Control, 48(7):1199-1212, July 2003.