Utilisateur:LaurentECLille/Brouillon

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche

Diagnosticabilité[modifier | modifier le wikicode]

Histoire[modifier | modifier le wikicode]

Diagnosticabilité est une tentative de traduction du terme anglais diagnosability. En réalité, diagnosability n'existe pas dans le vocabulaire anglais. Il est cité premièrement dans l’article de M. Sampath et al. de l'année 1995. Tout d’abord, Diagnosticabilité apparaît comme un concept dans le domaine de diagnostic du système d'événement discret. Maintenant, la diagnosticabilité est déjà un sous domaine très important dans ce domaine.

Définition[modifier | modifier le wikicode]

La diagnosticabilité est une capacité de mesurer l'état d'un système à fin de diagnostiquer toute faute du système dans un délai fini. La définition donnée dans l’article de M. Sampath et al. est


Cette définition signifie que pour toutes les séquences suffixes de , on peut diagnostiquer d'une faute de type avec un délai fini. On peut noter dans cette définition, qu’il n’est pas montré que les événements doivent être observables. Alors, les chercheurs proposent d'autres types de définitions.


Aussi une autre définition:


La diagnosticabilité est un sous domaine du diagnostic. La définition varie suivant le type de système considéré, mais on peut s'accorder sur cette définition :

Un système est dit diagnosticable si quel que soit le comportement du système, le superviseur sera en mesure de calculer sans ambiguïté un diagnostic.

La diagnosticabilité est généralement calculée à partir du modèle du système, et ne peut donc être vérifiée que dans le cadre du diagnostic basé sur le modèle. Remarquons que le système peut être diagnosticable dans la réalité sans qu'on puisse prouver cette propriété à cause de la perte d'information consécutive au passage du système à son modèle. La question de la diagnosticabilité permet ainsi d'ordonner des modèles se situant à différents degrés d'abstraction du même système : un modèle plus abstrait est plus intéressant dans la mesure où le diagnostic est souvent plus facile à effectuer sur un petit modèle, mais il est moins intéressant s'il ne permet plus de fournir un diagnostic précis du système.

La question de la diagnosticabilité est également très importante lors de la conception d'un système puisqu’un concepteur cherche à trouver un compromis entre d’une part retirer le plus possible de capteurs (pour réduire les coûts), et d’autre part ajouter le plus possible de capteurs pour améliorer les chances de détecter et de comprendre les dysfonctionnements.