Génération de graphes d'accessibilité à partir de structures réplicables
Ce mémoire explore une méthode symbolique pour le calcul hors ligne de contrôleurs non bloquants basée principalement sur un algorithme de génération de graphes d'accessibilité. Dans le but de réduire l'explosion de l'espace d'états, l'algorithme considère une classe particu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | French |
| Published: |
Université de Sherbrooke
2009
|
| Online Access: | http://savoirs.usherbrooke.ca/handle/11143/4780 |