Diagnostic de fautes basé sur l'analyse temporelle

par Michal Knotek

Thèse de doctorat en Automatique. Productique

Sous la direction de Zineb Simeu-Abazi et de Frantisek Zezulka.

Soutenue en 2006

à Grenoble 1 .


  • Résumé

    Dans le domaine de la sûreté de fonctionnement, le diagnostic joue un rôle primordial dans l'amélioration de la disponibilité opérationnel le des équipements. Dans les systèmes industriels, une part importante (jusqu'à 80%) est consacrée à la maintenance, test et diagnostic. Pour des systèmes complexes, la résolution des problèmes liés au diagnostic et d'une manière générale de la supervision nécessite la mise en oeu- vre d'une approche générique. Le diagnostic concerne les deux phases indissociables de détection et de localisation. Dans cette thèse nous proposons une approche dynamique de diagnostic pour les systèmes à événements discrets. L'approche proposée basée sur l'exploitation du temps, est applicable à tout système dont l'évolution dynamique dépend non seulement de l'ordre des événements discrets mais aussi de la durée des tâches associées comme pour les processus de communication ou les processus batch. Dans cette thèse, le diagnostic des fautes est réalisé grâce à l'implémentation d'un modèle basé sur l'utilisation des auto- mates temporisés. L'objectif est de concevoir un observateur pour un système donné, qui permet de détecter et localiser les éventuel les dé- fail lances du procédé. Cet observateur est appelé “diagnoser”. Une défaillance est constatée lorsque le séquencement temporel en sortie est incorrect. Nous présentons donc les différentes étapes de la démarche de diagnostic : la construction du diagnoser, la vérification du modèle ainsi qu'une l'application de la démarche sur un exemple réel avec son extension aux systèmes hybrides.

  • Titre traduit

    Fault diagnostics based on temporal analysis


  • Pas de résumé disponible.


  • Résumé

    Fault diagnosis plays a crucial role in protecting life and property and in increasing operational time and productivity. A significant part of the engineering work in real-world systems (up to 80% is some cases) is dedicated to testing and diagnosis. Solving diagnostic problems for complex systems is a complicated task requiring a systematic approach. Fault diagnosis is one part of supervision systems. Fault diagnosis' purposes are fault detection and fault isolation. These phases are not always indissociable. We propose a timed discrete event approach to fault diagnosis problem. This approach is applicable to systems that fall in the class of lime discrete-event systems, which we call timed system. A system where correctness not only depends on the logical order of events but also on their timing. Many technoloaical processes, for example communication or batch processes can be considered as timed systems. We use temporal parameters to extend qualitative model with quantitative time. Ln this thesis, the fault diagnosis problern is studied in the context of timed automata. The aim is to design an observer for a given plant, such that this observer can detect and isolate errors in the behaviour of the plant. We call this observer a diagnoser. Different steps are presented in this thesis : the construction of diagnoser , model checking and the application with possible extension.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (109 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 103-106

Où se trouve cette thèse\u00a0?