Informations générales
ECTSECTS
1
Goal(s)
The aims of this training is to teach the mechanisms of diagnosis reasoning and to show how they can be formalized to make them automatic. Case study coming from various application areas are presented : process engineering, distribution networks, hydrology, electrical drives, road network and learning.
Content(s)
Founding principle of Formal Logics and in Artificial Intelligence
Formalization of a problem in order to diagnose it
Test design algorithms (value propagation, bipartite graphs), special case of material redundancy
Sensor placement with diagnosis purposes
Performances of diagnosis systems: detectability, discriminability and diagnosticability
Diagnostic analysis based on direct reading of signature tables
Consistency based diagnostic analysis, special case of fault models
Application to process engineering, distribution networks, hydrology, electrical drives, road network and learning.
Prerequisites :
Basic knowledge in graph theory and in propositional logics.
Test
Assessment of a case study
Calendar
S1
Additional Information
8 h CM/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
