Diagnostic et contrôle de la dégradation des systèmes probabilistes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

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.
Fichier principal
Vignette du fichier
msr.pdf (446.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01618922 , version 1

Citer

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⟩
242 Consultations
85 Téléchargements

Partager

Gmail Facebook X LinkedIn More