| inria-00000608, version 1 |
|
|
| Voir la fiche détaillée | BibTeX EndNote TEI RefWorks |
|
|
|||||||||
| RFIA06 (2006) |
| 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. |
|
|
|
|
|
|
|
|
| 1 : | DREAM (INRIA - IRISA) |
| CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées de Rennes – Université de Rennes 1 |
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Intelligence artificielle |
| Systèmes à événements discrets – diagnostic – diagnostic décentralisé – chaîne d'automates |
| inria-00000608, version 1 | |
| http://hal.inria.fr/inria-00000608/fr/ | |
| oai:hal.inria.fr:inria-00000608_v1 | |
| Contributeur : Alban Grastien | |
| Soumis le : Lundi 7 Novembre 2005, 15:58:09 | |
| Dernière modification le : Lundi 7 Novembre 2005, 17:42:20 | |