Diagnostic et contrôle de la dégradation des systèmes probabilistes - Archive ouverte HAL Access content directly
Conference Papers Year :

Diagnostic et contrôle de la dégradation des systèmes probabilistes

(1) , (2, 3) , (2, 1)
1
2
3

Abstract

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.
Fichier principal
Vignette du fichier
msr.pdf (446.19 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01618922 , version 1 (18-10-2017)

Identifiers

  • HAL Id : hal-01618922 , version 1

Cite

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnostic et contrôle de la dégradation des systèmes probabilistes. MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France. ⟨hal-01618922⟩
230 View
68 Download

Share

Gmail Facebook Twitter LinkedIn More