Diagnostic et contrôle de la dégradation des systèmes probabilistes
Résumé
Le diagnostic actif est opéré par un contrôleur en vue de rendre un système diagnosti-cable. Afin d'´ eviter que le contrôleur ne dégrade trop fortement le système, on lui affecte généralement un second objectif en termes de qualité de service. Dans le cadre des systèmes probabilistes, une spécification possible consistè a assurer une probabilité positive qu'une exécution infinie soit correcte, ce qu'on appelle le diagnostic actif sûr. Nous introduisons ici deux spécifications alternatives. La gamma-correction du système affectè a une exécu-tion une valeur de correction dépendant d'un facteur de décote gamma et le contrôleur doit assurer une valeur moyenne supérieurè a un seuil fixé. La alpha-dégradation requiert qu'asymptotiquement, ` a chaque unité de temps une proportion supérieurè a alpha des exécutions jusqu'alors correctes le demeure. D'un point de vue sémantique, nous explicitons des liens significatifs entre les différentes notions. Algorithmiquement, nousétablissonsnousétablissons lafrontì ere entre décidabilité et indécidabilité desprobì emes et dans le cas positif nous exhibons la complexité précise ainsi qu'une synthèse, potentiellementàpotentiellement`potentiellementà mémoire infinie.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...