Thierry Jeron and Hervé Marchand and Marie-Odile Cordier Motifs de surveillance pour le diagnostic de systèmes à événements discrets , RFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle) , Tours , janvier , 2006 , Document Abstract In this paper, we are interested in the diagnosis of finite transition systems. We propose a model of supervision patterns corresponding to reachability properties. This allows to generalize the properties to be diagnosed and to render them independent of the description of the system. We thus deduce techniques for the verification of the diagnosticability and the construction of a diagnoser based on standard operations on transition ssytems. We show that these tehcniques are general enough to express and solve in a unified way a broad class of diagnosis problems found in the literature, e.g. diagnosing permanent faults, multiple fautls, faults sequences and some problems of intermittent faults. 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 Version française