Contributions à l'étude de la diagnosticabilité et la prédictibilité des systèmes à événements discrets flous
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Université Sétif 1 - Ferhat ABBAS , Faculté des Sciences
Abstract
This thesis considers and generalizes the studies of the diagnosticability and predictability in the DES and precisely the fuzzy DES (FDES). The main contribution of this thesis is the proposal of new approaches to verification of predictability in fuzzy DESs. First, we formalized the notion of fuzzy predictability for FDESs by introducing predictability functions; these functions quantify the degree of predictability of a fault event and provide a valuable measure for refining the decision on fault predictability. We also presented a comparison between fuzzy diagnostics and fuzzy predictability.
Then we proposed an approach based on the fuzzy diagnoser. The major disadvantage of our first approach is its exponential complexity; this motivated us to propose a second approach of polynomial complexity always for the verification of the predictability of the SEDF called "verifier approach". From the point of view of computational complexity, the number of states in the verifier is polynomial with respect to the number of states in the input system. Finally, we extended the analysis of predictability of the centralized framework to the decentralized framework, for which we proposed a decentralized approach to treat the cases of large systems
Description
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