R. Lur and D. Dill, A theory of timed automata, Theoretical Computer Science (TCS), vol.126, issue.2, pp.183-235, 1994.

J. Bengtsson and W. Yi, Timed Automata: Semantics, Algorithms and Tools, Lecture Notes on Concurrency and Petri Nets. W. Reisig and G
DOI : 10.1007/978-3-540-27755-2_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.8701

M. Blanke, . Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-tolerant Control, 2003.

M. O. Cordier, A. Grastien, L. Ch, and Y. Pencolé, Efficient trajectories computing exploiting inversibility properties, Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, pp.93-98, 2003.

M. Knotek, Fault diagnosis based on temporal analysi s, 2006.

I. Hristov, J. Lunze, and P. Supavatanakul, A time discreteevent approach to diagnosis of the damadics actuator benchmark, 2004.

J. Lunze and J. Schröder, Sensor and Actuator Fault Diagnosis of Systems With Discrete Inputs and Outputs, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.2, 2000.
DOI : 10.1109/TSMCB.2003.820593

J. Lunze, J. Schröder, and . P. Supavatanakul, Diagnosis of discrete event systems: the method and an example, Proceedings of the Workshop on Principles of Diagnosis, DX'01, pp.111-118, 2001.

. J. Lunze, L. E. Pandalai, and . Holloway, Qualitative methods for fault diagnosis Research report Bericht Nr Discreteevent models of quantised systems for diagnosis, IEEE Transitions on Automatic Control, vol.31, issue.455, pp.868-882, 2000.

H. Rayhane, Z. Simeu-abazi, and . T. Bennani, Surveillance des systèmes de production par automates temporisés, Conférence Internationale en Productique, CIP'03, pp.14-16, 2003.

. A. Sava, Sur la synthèse de la commande des systèmes à événements discrets temporisés, 2001.

Z. Simeu-abazi, H. Rayhane, T. Bennani, and . Bouredji, Optimisation des temps de détection dans la surveillance des systèmes, 5ème Congrès International de Génie Industriel, pp.25-29, 2003.

Z. Simeu-abazi, J. Zikmund, and Z. Bouredji, Monitoring and predective maintenance: optimisation of fault latency, IMS, 2004.

G. Schullerus, P. Supavatanakul, V. Krebs, and J. Lunze, Efficient hierarchial diagnosis for timed dicrete-event systems. Research report Nr, 2002.

P. Supavatanakul, C. Falkenberg, and L. J. , Identification of timed discrete?event models for diagnosis, International Workshop on Principles of Diagnosis, 2003.

S. Tripakis, Fault Diagnosis for Timed Automata, Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 02), volume 2469 of LNCS, pp.205-224, 2002.
DOI : 10.1007/3-540-45739-9_14

S. H. Zad, Fault diagnosis on dicrete-event and hybrid systems, 1999.