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

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