Conflicts Versus Analytical Redundancy Relations
Résumé
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.
Fichier principal
conflicts-versus-analytical-redundancy-relations.pdf (194.38 Ko)
Télécharger le fichier
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|