Contributions à l'étude de la diagnosticabilité et la prédictibilité des systèmes à événements discrets flous

Abstract

Cette thèse considère et généralise les études de la diagnosticabilité et la prédictibilité dans les SED et précisément les SED flou (SEDF). La contribution principale de cette thèse est la proposition de nouvelles approches de vérification de la prédictibilité dans les SED flou. Premièrement nous avons formalisé la notion de prédictibilité floue pour les SEDF en introduisant des fonctions de prédictibilité, ces fonctions quantifient le degré de prédictibilité d'un événement de faute et donnent une mesure précieuse pour affiner la décision sur la prédictibilité des fautes. Nous avons présenté aussi une comparaison entre la diagnosticabilité floue et la prédictibilité floue. Ensuite nous avons proposé une approche basée sur le diagnostiqueur flou. L'inconvénient majeur de notre première approche est sa complexité exponentielle, cela nous a motivé à proposer une deuxième approche de complexité polynomiale toujours pour la vérification de la prédictibilité des SEDF appelée "approche vérificateur". Du point de vue de la complexité du calcul, le nombre d'états dans le vérificateur est polynomial par rapport au nombre d'états dans le système d'entrée. Finalement, nous avons étendu l'analyse de la prédictibilité du cadre centralisé au cadre décentralisé, pour cela nous avons proposé une approche décentralisée pour traiter les cas des systèmes de grande taille.