Utilisation des chaînes d'automates pour le diagnostic décentralisé - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Utilisation des chaînes d'automates pour le diagnostic décentralisé

Abstract

Dans le domaine du diagnostic de systèmes à événements discrets, la reconnaissance de la concurrence dans les comportements de sous-systèmes permet de considérer ceux-ci de manière indépendante et d'empêcher l'explosion du nombre d'états lors du calcul du diagnostic. Cependant, lorsque l'on considère des périodes de longueur importante, il est rare d'obtenir un comportement qui soit concurrentiel pendant toute la période. Nous proposons d'utiliser le découpage d'automate appliqué au diagnostic pour découvrir des périodes de comportements indépendants et éviter l'explosion combinatoire.
Fichier principal
Vignette du fichier
dec.pdf (222.22 Ko) Télécharger le fichier

Dates and versions

inria-00000608 , version 1 (07-11-2005)

Identifiers

  • HAL Id : inria-00000608 , version 1

Cite

Alban Grastien. Utilisation des chaînes d'automates pour le diagnostic décentralisé. RFIA06, Jan 2006, Tours. ⟨inria-00000608⟩
78 View
54 Download

Share

Gmail Facebook Twitter LinkedIn More