Utilisation du grafcet et des reseaux bayesiens pour le diagnostic de fonctionnement. Application au systeme cryogenique de l'experience tore supra

par OLIVIER BADIE

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Charles Pomerol.

Soutenue en 1994

à Paris 6 .

mots clés

Résumé

Dans beaucoup de procedes, les connaissances de base sont contenues dans le grafcet. Nous avons donc concu, dans le cadre du procede cryogenique de tore supra, un systeme de diagnostic reposant sur ce formalisme. Ce systeme est constitue de deux modules. Le premier, le module de prediagnostic a ete mis en uvre sous la forme d'un systeme expert. Il est base sur les methodes de travail des operateurs, et sur leur representation du procede. Il est construit directement a partir de l'etude du grafcet et repose sur la notion de macro-etape. Associe a une aide en ligne contextualisee, il fournit a l'utilisateur l'etat du procede et ses evolutions possibles. Par la definition d'un regime de fonctionnement, il reduit le domaine de recherche de panne et prepare le travail de diagnostic du second module. Celui-ci est structure autour d'un reseau bayesien qui relie, par des relations causales probabilisees, les defauts possibles du procede. Les points d'entree du reseau sont les defauts associes aux parametres observables du procede, eux-memes relies dans un modele de bon fonctionnement. On considere qu'il y a defaut lorsqu'il y a divergence entre les valeurs issues du modele et les mesures. Le defaut decele est alors introduit dans le reseau bayesien par une mise a jour de ses probabilites. La phase de diagnostic consiste a propager ces modifications jusqu'a obtenir les probabilites des defauts elementaires de l'installation. Le premier chapitre du rapport decrit l'environnement applicatif de la these. Le second presente les problemes liees a la supervision et au diagnostic des systemes complexes. Le troisieme expose differentes approches du raisonnement approximatif, en insistant sur le raisonnement probabiliste. Enfin, les chapitres 4 et 5 decrivent les solutions choisies, leur implementation, et les resultats obtenus

Titre traduit

Use of grafcet and bayesian networks for diagnosis. Application to the cryogenic system of tore supra experiment

Pas de résumé disponible.