R. Alur, Timed automata, Computer Aided Verication, 1999.
DOI : 10.1007/978-3-642-59615-5_12

C. Baron, J. Geroy, and C. Zamilpa, Identication of evolutionary sequential systems -part 1: unied approach, Communications in numerical mehtods in engineering, vol.17, issue.9, p.623630, 2001.

C. Baron, J. Geroy, and C. Zamilpa, Identication of evolutionary sequential systems -part 2: genetic simulation experiments, Communications in numerical mehtods in engineering, vol.17, issue.9, p.631637, 2001.

A. Biermann and J. Feldman, Synthesis of nite-state machines from samples of their behavior, IEEE Transactions on Computers, vol.21, issue.6, p.592597, 1972.

M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault- Tolerant Control, 2006.

T. Booth, Sequential Machines and Automata Theory, 1967.

B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Systems and Software Verication, 2001.

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

J. Chen and R. Patton, Robust model-based fault diagnosis for dynamic systems, 1998.
DOI : 10.1007/978-1-4615-5149-2

J. Cook, Z. Du, C. Liu, and A. Wolf, Discovering models of behavior for concurrent workows, Computers in Industry, vol.53, issue.3, p.297319, 2004.

M. Cordier and C. Dousson, Alarm driven monitoring based on chronicles, Proceedings of the 4th Symposium on Fault Detection Supervision and Safety for Technical Processes, p.286291, 2000.

D. Dash and V. Venkatasubramanian, Challenges in the industrial applications of fault diagnostic systems, Computers & Chemical Engineering, vol.24, issue.2-7, p.785791, 2000.
DOI : 10.1016/S0098-1354(00)00374-4

R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems, vol.10, issue.12, p.3386, 2000.

M. Dotoli, M. P. Fanti, and A. M. Mangini, On-line identication of discrete event systems: a case study, Proccedings of the 2006 IEEE International Conference on Automation Science and Engineering, p.405410, 2006.

M. Dotoli, M. P. Fanti, and A. M. Mangini, Real time identication of discrete event systems using Petri nets, Automatica, issue.5, p.4412091219, 2008.

M. Dotoli, M. P. Fanti, A. M. Mangini, and W. Ukovich, On-line fault detection in discrete event systems by Petri nets and integer linear programming, Automatica, vol.45, issue.11, p.4526652672, 2009.
DOI : 10.1016/j.automatica.2009.07.021

G. F. Franklin, D. J. Powell, and A. Emami-naeini, Feedback Control of Dynamic Systems, 2001.

. Freudenberggroup, Annual report, 2009.

G. Frey and M. Younis, A re-engineering approach for PLC programs using nite automata and UML, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, p.2429, 2004.

S. Genc and S. Lafortune, Distributed Diagnosis of Discrete-Event Systems Using Petri Nets, Lecture Notes in Computer Science, p.2679316336, 2003.
DOI : 10.1007/3-540-44919-1_21

S. Genc and S. Lafortune, Distributed Diagnosis of Place-Bordered Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.4, issue.2, p.206219, 2007.
DOI : 10.1109/TASE.2006.879916

M. Ghallab, On chronicles: Representation, on-line recognition and learning, Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR`96KR`96), p.597606, 1996.

A. Giua and C. Seatzu, Identication of free-labeled petri nets via integer programming, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, p.76397644, 2005.

H. Zad, S. Kwong, R. H. Wonham, and W. M. , Fault diagnosis in discrete-event systems: Incorporating timing information, IEEE Transactions on Automatic Control, issue.7, p.5010101015, 2005.

R. Isermann, Fault-Diagnosis Systems: An Introduction from Fault Detection to Fault Tolerance, 2006.
DOI : 10.1007/3-540-30368-5

R. Isermann and P. Balle, Trends in the application of model-based fault detection and diagnosis of technical processes, Control Engineering Practice, vol.5, issue.5, pp.709-719, 1997.
DOI : 10.1016/S0967-0661(97)00053-1

J. Kella, Sequential Machine Identication, IEEE Transactions on Computers, vol.20, issue.3, p.332336, 1971.

S. Klein, Identication of Discrete Event Systems for Fault Detection Purposes, 2005.

J. Korbicz, J. Koscielny, Z. Kowalczuk, W. , and C. , Fault Diagnosis: Models, Articial Intelligence, Applications, 2004.
DOI : 10.1007/978-3-642-18615-8

A. E. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, 2002.

J. Machado, B. Denis, and J. J. Lesage, A generic approach to build plant models for DES verication purposes, Proceedings of the 8th International Workshop on Discrete Event Systems, p.407412, 2006.

L. Maruster, A. Weijters, A. Van-den-bosch, and W. Daelemans, Discovering process models by rule set induction, Proceedings of the 5th International Workshop on Symbolic and Numeric Algorithms for Scientic Computing, p.180191, 2003.

M. E. Meda-campana and E. Lopez-mellado, Identication of concurrent discrete event systems using petri nets, Proceedings of the Mathematical Computer, Modelling and Simulation Conference, 2005.

Z. Michalewisz and D. B. Fogel, How to Solve it: Modern Heuristics, 2000.

T. Moor, J. Raisch, Y. , and S. , Supervisory control of hybrid systems via l-complete approximations, Proceedings of the IEEE fourth Workshop on Discrete Event Systems WODES 98, p.426431, 1998.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, p.541580, 1989.
DOI : 10.1109/5.24143

J. Neidig and J. Lunze, DECENTRALISED DIAGNOSIS OF AUTOMATA NETWORKS, Proceedings of the 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01869

J. Neidig and J. Lunze, Unidirectional coordinated diagnosis of automata networks, Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems, p.22032208, 2006.

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

Y. Papadopoulos and J. Mcdermid, Automated safety monitoring: A review and classication of methods, International Journal of Condition Monitoring and Diagnostic Engineering Management, vol.4, issue.4, p.1432, 2001.

A. Papoulis and P. Unnikrishna, Probabilistic, Random Variables and Stochastic Processes, 2002.

A. Philippot, Contribution au diagnistic décentralisé des systèmes à événements discrets : application aux systèmes manufacturiers, 2006.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, Diagnostic des SED par modélisation multi-outils, Proceedings of the Journées Doctorales MACS, 2005.

A. Philippot, M. Sayed-mouchaweh, and V. Carré-ménétrier, UNCONDITIONAL DECENTRALIZED STRUCTURE FOR THE FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS, Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems DCDS'07, 2007.
DOI : 10.3182/20070613-3-FR-4909.00014

P. Fanti, M. Seatzu, and C. , Fault diagnosis and identication of discrete event systems using petri nets, Proceedings of the 9th International Workshop on Discrete Event Systems (WODES), p.432435, 2008.

R. Reiter, A theory of diagnosis from rst principles, Articial Intelligence, vol.32, issue.1, p.5795, 1987.

J. Riordan, An Introduction to Combinatorial Analysis, 2002.

M. Roth, L. Jean-jacques, and L. Litz, Distributed identication of discrete event systems for fault detection purposes, Proceedings of the European Control Conference, p.25902595, 2009.

M. Roth, L. Jean-jacques, and L. Litz, An FDI method for manufacturing systems based on an identied model, Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, p.13891394, 2009.

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

M. Roth, J. Lesage, and L. Litz, Identication of discrete event systems implementation issues and model completeness, Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO), p.7380, 2010.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE transactions on control systems technology, vol.4, issue.2, p.105124, 1996.

M. Sayed-mouchaweh, A. Philippot, and V. Carre-menetrier, Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems, International Journal of Production Research, vol.46, issue.19, p.4654695490, 2008.
DOI : 10.1109/TAC.2003.814099

J. Schroder, Modelling, State Observation, and Diagnosis of Quantised Systems, 2002.

P. Supavatanakul, J. Lunze, V. Puig, and J. Quevedo, Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem, Control Engineering Practice, vol.14, issue.6, p.14609619, 2006.
DOI : 10.1016/j.conengprac.2005.03.028

A. Tornambe, Discrete-Event System Theory: An Introduction, 1996.
DOI : 10.1142/2845

J. H. Van-schuppen, System theory for system identication, Journal of Econometrics, vol.118, p.331339, 2004.

L. Veelenturf, Inference of Sequential Machines from Sample Computations, IEEE Transactions on Computers, vol.27, issue.2, p.167170, 1978.
DOI : 10.1109/TC.1978.1675053

V. Venkatasubramanian, R. Rengaswamy, S. Kavuri, Y. , and K. , A review of process fault detection and diagnosis Part III: Process history based methods, Computers & Chemical Engineering, vol.27, issue.3, pp.327346-175, 2003.