Fault model identification with petri nets

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

Volumn , Issue , 2008, Pages 455-461

  Cabasino, Maria Paola ^a   Giua, Alessandro ^a   Hadjicostis, Christoforos N ^b   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC FAULT LOCATION; GRAPH THEORY; LINGUISTICS; MARINE BIOLOGY; TECHNICAL PRESENTATIONS;

DISCRETE EVENT SYSTEMS; FAULT IDENTIFICATIONS; FAULT MODELING; FAULTY TRANSITIONS; NET SYSTEMS; UNOBSERVABLE;

PETRI NETS;

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

References (10)

1. 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.
2. M.P. Cabasino, A. Giua, and C. Seatzu. Identification of Petri nets from knowledge of their language. Discrete Events Dynamic Systems, 17(4):447-474, 2007.
3. D. Corona, A. Giua, and C. Seatzu. Marking estimation of Petri nets with silent transitions. IEEE Trans. Automatic Control, 52(9): 1695-1699, September 2007.
4. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamic Systems, 20:33-79, 2000.
5. A. Giua and C. Seatzu. Identification of free-labeled Petri nets via integer programming. In Proc. IEEE 44rd Int. Conf. on Decision and Control (Seville, Spain), pages 7639-7644, December 2005.
6. 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.
7. 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.
8. T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
9. M. Sampath and S. Lafortune. Active diagnosis of discrete-event systems. IEEE Trans. Automatic Control, 43:908-929, 1998.
10. 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.