Sufficient conditions for diagnosability of petri nets

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

Volumn , Issue , 2008, Pages 370-375

  Basile, Francesco ^a   Chiacchio, Pasquale ^a   Tommasi, Gianmaria De ^b  

^a UNIVERSITY OF SALERNO   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; STATE SPACE METHODS; TECHNICAL PRESENTATIONS; TRAJECTORIES;

DIAGNOSABILITY; DIAGNOSER; DISCRETE EVENT SYSTEMS; FAULT EVENTS; FINITE STATE AUTOMATA; INITIAL MARKING; MATHEMATICAL REPRESENTATIONS; STATE-SPACE EXPLOSION; SUFFICIENT CONDITIONS; UNOBSERVABLE;

DIFFRACTIVE OPTICAL ELEMENTS;

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

References (12)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. on Automatic Control, vol. 40, no. 9, pp. 1555-1575, September 1995.
2. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: Incorporating timing information," IEEE Trans. on Automatic Control, vol. 50, no. 7, pp. 1010-1015, July 2005.
3. J. Lunze and J. Schröder, "State observation and diagnosis of discrete-event systems described by stochastic automata," Discrete Event Dynamic Systems, vol. 11, no. 4, pp. 319-369, October 2001.
4. R. Debouk, S. Lafortune, and D. Teneketzis, "Coordinated decentralized protocols for failure diagnosis of discrete event systems," Discrete Event Dynamic Systems, vol. 10, no. 1, pp. 33-86, January 2000.
5. A. Paoli and S. Lafortune, "Safe diagnosability for fault-tolerant supervision of discrete-event systems," Automatica, vol. 41, no. 8, pp. 1335-1347, August 2005.
6. S. Genc and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in Proc. of the Int. Conf. of Application and Theory of Petri Nets, Eindhoven, The Netherlands, June 2003.
7. -, "Distributed diagnosis of place-bordered Petri nets," IEEE Trans. Automation Science and Engineering, vol. 4, no. 2, pp. 206-219, April 2007.
8. th IEEE Conference on Decision and Control, Seville, Spain, December 2005, pp. 6323-6328.
9. Y. Wu and C. N. Hadjicostis, "Algebraic approaches for fault identification in discrete-event systems," IEEE Trans. Automatic Control, vol. 50, no. 12, pp. 2048-2053, December 2005.
10. D. Lefebvre and C. Delherm, "Diagnosis of des with Petri net models," IEEE Trans. on Automation Scienze and Engineering, vol. 4, no. 1, pp. 114-118, January 2007.
11. th Mediterranean Conference on Control and Automation (MED '07), Athens, Greece, June 2007.
12. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of IEEE, vol. 77, no. 4, pp. 541-580, April 1989.