• Langue : Français
• Discipline : Productique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1997

Résumé en langue originale

Le diagnostic de systèmes analogiques soulève de nombreuses difficultés. La méthode du diagnostic à base de modèles, introduite en 1987 par de Kleer, Williams et Reiter, permet d'en résoudre certaines. Cette approche a révolutionné le diagnostic automatique notamment parce qu'elle nécessite uniquement la description de la structure des systèmes et des modèles de bon fonctionnement des composants. Un problème à résoudre est la modélisation des grandeurs caractéristiques des systèmes analogiques. Celles-ci varient continûment dans le temps alors que les appareils de mesure fournissent des données discrètes. Ceci rend difficile l'encadrement de la dérivée des grandeurs et a fortiori le test des équations différentielles décrivant le comportement des systèmes. Cette thèse est consacrée a l'étude d'une nouvelle modélisation: les suites de bandes temporelles. Modéliser une grandeur sur une fenêtre temporelle donnée consiste à l'encadrer par deux fonctions polynomiales par morceaux. Afin d'utiliser cette modélisation dans le cadre du diagnostic, nous avons défini les opérations d'addition, de multiplication et d'intégration ainsi qu'une famille d'algorithmes permettant de vérifier la cohérence d'une équation différentielle avec les suites de bandes temporelles représentant les quantités de l'équation. Cette étude a abouti à l'établissement de deux systèmes de diagnostic. Le premier est basé sur un calcul des suites de bandes temporelles représentant les grandeurs du système à partir de celles représentant les autres grandeurs. Le deuxième consiste à générer un ensemble d'équations différentielles en éliminant de toutes les manières possibles les grandeurs non mesurables des équations initiales. La réalisation d'un tel système de diagnostic a démontré l'avantage des suites de bandes temporelles : grâce à l'opération d'intégration, l'observation des dérivées des grandeurs n'est pas nécessaire.