Conflicts Versus Analytical Redundancy Relations

Marie-Odile Cordier (1) , Philippe Dague (2) , François Lévy (2) , Jacky Montmain (3) , Marcel Staroswiecki (4) , Louise Travé-Massuyès (5)

1 IRISA - LA ou URA 227 - INRIA Rennes
2 LIPN - Laboratoire d'Informatique de Paris-Nord
3 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
4 LAIL - Laboratoire d'Automatique et d'Informatique Industrielle de Lille
5 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite

Two distinct and parallel research communities have been working along the lines of the ModelBased Diagnosis approach: the FDI community and the DX community that have evolved in the fields of Automatic Control and Artificial Intelligence, respectively. This paper, which details and extends (Cordier et al., 2000a, 2000b), clarifies and links the concepts and assumptions that underlie the FDI analytical redundancy approach and the DX logical approach. The formal match of the two approaches is proved and the theoretical proof of their equivalence together with the necessary and sufficient conditions is provided. This work results from the collaboration existing within the French IMALAIA group supported by the French National Programs on Automatic Control GDR-Automatique and on Artificial Intelligence GDR-I3, and AFIA.

Mots clés: Pattern recognition; Predictive models; Terminology; Prototypes; Fault diagnosis; Redundancy; Fault detection; Sufficient conditions; Automatic control; Artificial intelligence

Domaines: Intelligence artificielle [cs.AI]; Automatique

Marie-Odile Cordier, Philippe Dague, François Lévy, Jacky Montmain, Marcel Staroswiecki, et al.. Conflicts Versus Analytical Redundancy Relations: A Comparative Analysis of the Model Based Diagnosis Approach From the Artificial Intelligence and Automatic Control Perspectives. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2004, 34 (5), pp.2163 - 2177. ⟨10.1109/TSMCB.2004.835010⟩. ⟨hal-01931749⟩