M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

S. Tripakis, Fault Diagnosis for Timed Automata, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 2469, pp.205-221, 2002.
DOI : 10.1007/3-540-45739-9_14

M. Sayed-mouchaweh, A. Philippot, and V. Carré-ménétrier, Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems, International Journal of Production Research, vol.46, issue.19, pp.5469-5490, 2008.
DOI : 10.1109/TAC.2003.814099

D. Pandalai and L. Holloway, Template languages for fault monitoring of timed discrete event processes, IEEE Transactions on Automatic Control, vol.45, issue.5, pp.868-882, 2000.
DOI : 10.1109/9.855548

S. Klein, J. Lesage, and L. Litz, FAULT DETECTION OF DISCRETE EVENT SYSTEMS USING AN IDENTIFICATION APPROACH, 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01440
URL : https://hal.archives-ouvertes.fr/hal-00347763

M. Roth, J. Lesage, and L. Litz, Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems, Proceedings of the 2010 American Control Conference, pp.2601-2606, 2010.
DOI : 10.1109/ACC.2010.5530540
URL : https://hal.archives-ouvertes.fr/hal-00525588

M. Roth, J. Lesage, and L. Litz, A residual inspired approach for fault localization in DES, nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), 2009.
DOI : 10.3182/20090610-3-IT-4004.00057
URL : https://hal.archives-ouvertes.fr/hal-00430015

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2008.

M. Roth, Identification and fault diagnosis of industrial closed-loop discrete event systems, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00561906

A. Philippot, Survey on diagnosis of a pick and place benchmark, Proceedings of the 3 rd International Workshop on Dependable Control of Discrete Systems (DCDS'11), 2011.