Aucun titre de diapositive

8 avril 2003 1
Tahiti 2003 :
Calcul efficace de
trajectoires
utilisant l'interversibilité

8 avril 2003 2
Plan
►Présentation
►Formalisme
►Présentation des exemples
►L’interversibilité
►Algorithmes
►Exemples
►Conclusion

8 avril 2003 3
Problématique
diagnostic de systèmes dynamiques 
calcul des événements sur le système
[Cordier::Largouët::2001]
planification 
calcul des actions à appliquer sur le système
diagnostic planification 
calcul de trajectoires sur un modèle
comportemental

8 avril 2003 4
Problème
Problème de l'explosion du nombre d'états
►utilisation des outils symboliques
(BDD, [Marchand::Rozé::2002])
►utilisation des techniques de model-checking
([Cordier::Largouët::2001])
►utilisation d'heuristiques (diagnostic
décentralisé [Pencolé::2001])

8 avril 2003 5
L’interversibilité
définition informelle
Définition d'une propriété sur les événements
Deux événements sont interversibles
si on peut les échanger dans une séquence
sous certaines conditions