Auteur / Autrice : | Dilek Düstegör |
Direction : | Marcel Staroswiecki, Vincent Cocquempot |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique industrielle et automatique |
Date : | Soutenance en 2005 |
Etablissement(s) : | Lille 1 |
Résumé
L'analyse structurelle est un outil puissant qui permet de déterminer de nombreuses propriétés intrinsèques d'un système dès la phase de conception. Ces propriétés sont obtenues à partir de la seule connaissance de l'existence de liens (contraintes) entre variables sans que les valeurs des paramètres soient nécessaires. L'analyse du modèle structurel, ou analyse structurelle, a été largement utilisée afin de déterminer les propriétés du système relatives à la surveillance : détection et localisation des défaillances. Ce mémoire traite des aspects algorithmiques de cette méthode afin d'améliorer son implémentation. Dans une première partie, nous présentons les différentes approches de modélisation à caractère structurel rencontrées dans la littérature et justifions notre utilisation des graphes bipartis pour la surveillance. Nous recensons les propriétés désirées pour les algorithmes à implanter. La méthode d'analyse structurelle est ensuite détaillée et nous proposons un premier algorithme permettant d'évaluer les propriétés de détection et de localisation des défaillances.