A comparison between two diagnostic tools based on automata and petri nets

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 144-149

  Lai, Stefano ^a   Nessi, Davide ^a   Cabasino, Maria Paola ^a   Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; MATHEMATICAL TECHNIQUES; PETRI NETS; ROBOTS; TECHNICAL PRESENTATIONS; TRANSLATION (LANGUAGES);

DIAGNOSIS PROCEDURES; DIAGNOSTIC TOOLS; DISCRETE EVENT SYSTEMS;

COMPUTATIONAL COMPLEXITY;

EID: 53149131709     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605936     Document Type: Conference Paper

References (17)

1. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets. Discrete Events Dynamical Systems, 8:203-231, June 1998.
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. Diagnosis of discrete event systems using automata and Petri nets. Master's thesis, Dep. Electric and Electronic Engineering, University of Cagliari, Cagliari, Italy, 2005. (In Italian).
5. M. P. Cabasino, A. Giua, and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, (Submitted).
6. Christos G. Cassandras and Stéphane Lafortune. Introduction to Discrete Event Systems - Second Edition. Springer, 2007.
7. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamical Systems, 20:33-79, 2000.
8. A. Giua and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. In Proc. 44th IEEE Conf. on Decision and Control, pages 6323-6328, December 2005.
9. S. Jiang and R. Kumar. Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. Automatic Control, 49(6):934-945, June 2004.
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:287-313, 2006.
11. S. Lafortune. Umdes-lib software library, [online]. available: http://www.eecs.umich.edu/umdes/toolboxes.html.
12. J. Lunze and J. Schroder. Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Trans. Systems, Man and Cybernetics, Part B, 34(3): 1096-1107, April 2004.
13. A. Rey. Diagnosis of Petri nets using the Basis Reachability Graph. Master's thesis, Dep. Electric and Electronic Engineering, University of Cagliari, Cagliari, Italy, 2007. (In Italian).
14. M. Sampath and S. Lafortune. Active diagnosis of discrete-event systems. IEEE Trans. Automatic Control, 43:908-929, 1998.
15. 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.
16. T. Ushio, L. Onishi, and K. Okuda. Fault detection based on Petri net models with faulty behaviors. In Proc. SMC'98: IEEE Int. Conf. on Systems, Man, and. Cybernetics (San Diego, CA, USA), pages 113-118, October 1998.
17. 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, 2003.