Informations générales
ECTSECTS
1
Goal(s)
L'objectif de cette formation est de faire comprendre aux étudiants les mécanismes du diagnostic et de montrer comment ils peuvent être formalisés pour être automatisés. Des cas d'études tirés de divers domaines d'application sont présentés : génie des procédés, réseau de distribution, hydrologie, machines électriques, trafic routier et apprentissage.
Content(s)
Principes fondateur de la logique formelle et de l'Intelligence Artificielle,
Formalisation d'un problème en vue de son diagnostic
Algorithmes de conception de test (propagation de valeurs, graphes bipatites), cas particulier de la redondance matérielle
Placement de capteurs en vue du diagnostic
Performance des systèmes de diagnostic : détectabilité, discriminabilité et diagnosticabilité
Analyse diagnostique par lecture directe de table de signature
Analyse diagnostique à base de consistance, cas particulier des modèles de mauvais fonctionnement
Application au génie des procédés, à un réseau de distribution, à des réseaux de capteurs hydrologiques, à une machine à courant continu, au trafic routier et à l'apprentissage humain
Prérequis :
Notions de théorie des graphes ; notions de logique proportionnelle.
Test
Contrôle continu
Calendar
S1
Additional Information
10h = 6 h CM + 4 h TD
Bibliography
P. Dague, Théorie logique du diagnostic à base de modèles, Diagnostic, Intelligence artificielle et reconnaissance de formes, ed. Dubuisson, B., Hermès Science, 2001.
M. Kinnaert, J. Junze, M. Staroswiecki, M. Blanke, J. Schroder, Diagnosis and Fault-Tolerant Control, Springer-Verlag, 2003.
A. Villemeur : Sûreté de fonctionnement des systèmes industriels, collection DER de EDF, 1988.
G. Zwingelstein : Diagnostic des défaillances, Hermes, 1995.
French State controlled diploma conferring a Master's degree
