Marie-Odile Cordier and Christine Largouët Using model-checking techniques for diagnosing discrete-event systems , Proceedings of the Twelve International Workshop on Principles of diagnosis (DX'01) , 39-46 , mar , 2001 , Document Abstract This paper deals with diagnosing dynamical systems represented by a discrete-event model and more precisely represented in an automata formalism. It shows how model-checking techniques which have been designed for efficiently testing complex real-time systems can be exploited for diagnostic task. This work originates from an application in the monitoring of agricultural plots which has been implemented by using these model-checking techniques. This web site is maintained by René Quiniou using the Weave system from the Caravel project: http://www-caravel.inria.fr. Last modification: 10-07-2011 09:54:25