Decentralized diagnosis of discrete-event systems using labeled petri nets

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 43, Issue 6, 2013, Pages 1477-1485

  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

Discrete event systems; Fault detection; Petri nets

Indexed keywords

AUTOMATA THEORY; FAULT DETECTION; PETRI NETS; ROBOTS;

AMOUNT OF INFORMATION; DECENTRALIZED ARCHITECTURE; DECENTRALIZED DIAGNOSIS; DIAGNOSABILITY; DIAGNOSIS INFORMATION; LOCAL SITES;

DISCRETE EVENT SIMULATION;

EID: 84898684405     PISSN: 10834427     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2013.2244208     Document Type: Article

References (24)

1. F. Basile, P. Chiacchio, and G. De Tommasi, "An efficient approach for online diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 54, no. 4, pp. 748-759, Apr. 2009
2. A. Benveniste, E. Fabre, S. Haar, and C. Jard, "Diagnosis of asynchronous discrete event systems, a net unfolding approach," IEEE Trans. Autom. Control, vol. 48, no. 5, pp. 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. 6th Workshop Discrete Event Syst., Zaragoza, Spain, Oct. 2002, pp. 175-181
4. M. P. Cabasino, A. Giua, A. Paoli, and C. Seatzu, "A new protocol for the decentralized diagnosis of labeled Petri nets," in Proc. 10th Workshop Discrete Event Syst., Berlin, Germany, Aug. 2010, pp. 123-128
5. M. P. Cabasino, A. Giua, A. Paoli, and C. Seatzu, "Decentralized diagnosis of Petri nets," in Proc. Amer. Control Conf., Baltimore, MD, USA, Jun. 2010, pp. 3371-3377
6. M. P. Cabasino, A. Giua, A. Paoli, and C. Seatzu, "Decentralized diagnosability analysis of discrete event systems using Petri nets," in Proc. IFAC World Congr., Milan, Italy, Aug. 2011, pp. 6060-6066
7. M. P. Cabasino, A. Giua, M. Pocci, and C. Seatzu, "Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems," Control Eng. Pract., vol. 19, no. 9, pp. 989-1001, Sep. 2011
8. M. P. 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
9. S. L. Chung, "Diagnosing PN-based models with partial observable transitions," Int. J. Comput. Integr. Manuf., vol. 18, no. 2/3, pp. 158-169, Mar.-May 2005
10. O. Contant, S. Lafortune, and D. Teneketzis, "Diagnosability of discrete event systems with modular structure," Discrete Event Dyn. Syst., vol. 16, no. 1, pp. 9-37, Jun. 2006 (Pubitemid 43261383)
11. M. O. Cordier and L. Rozé, "Diagnosing discrete-event systems: Extending the 'diagnoser approach' to deal with telecommunication networks," Discrete Event Dyn. Syst., vol. 12, no. 2, pp. 43-81, Jan. 2002 (Pubitemid 34138683)
12. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete-event systems," Discrete Events Dyn. Syst., vol. 10, no. 1/2, pp. 33-86, Jan. 2000 (Pubitemid 30573763)
13. M. Dotoli, M. P. Fanti, A. M. Mangini, and W. Ukovich, "On-line fault detection of discrete event systems by Petri nets and integer linear programming," Automatica, vol. 45, no. 11, pp. 2665-2672, Nov. 2009
14. H. E. Garcia and T.-S. Yoo, "Model-based detection of routing events in discrete flow networks," Automatica, vol. 41, no. 4, pp. 583-594, Apr. 2005 (Pubitemid 40266205)
15. S. Genc and S. Lafortune, "Distributed diagnosis of place-bordered Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 2, pp. 206-219, Apr. 2007 (Pubitemid 46574024)
16. C. Hadjicostis, "Probabilistic fault detection in finite-state machines based on state occupancy measurements," IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 2078-2083, Dec. 2005 (Pubitemid 43056324)
17. 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, Jan. 2006 (Pubitemid 46404971)
18. G. Jiroveanu and R. K. Boel, "A distributed approach for fault detection and diagnosis based on time Petri nets," Math. Comput. Simul., vol. 70, no. 5/6, pp. 287-313, Feb. 2006 (Pubitemid 43207553)
19. J. Lunze, "State observation and diagnosis of discrete-event systems described by stochastic automata," Discrete Event Dyn. Syst., vol. 11, no. 4, pp. 319-369, Oct. 2001 (Pubitemid 32839516)
20. A. Paoli and S. Lafortune, "Safe diagnosability for fault tolerant supervision of discrete event systems," Automatica, vol. 41, no. 8, pp. 1335-1347, Aug. 2005 (Pubitemid 40774089)
21. Y. Pencole and M. O. Cordier, "A decentralized model-based diagnostic tool for complex systems," Int. J. Artif. Intell. Tools, vol. 11, no. 3, pp. 327-346, 2002
22. 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
23. R. Su, W. M. Wonham, J. Kurien, and X. Koutsoukos, "Distributed diagnosis for qualitative systems," in Proc. 6th Workshop Discrete Event Syst., Zaragoza, Spain, 2002, pp. 169-174
24. Y. Wang, T.-S. Yoo, and S. Lafortune, "Diagnosis of discrete event systems using decentralized architectures," Discrete Event Dyn. Syst., vol. 17, no. 2, pp. 233-263, Jun. 2007 (Pubitemid 46572780)