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 |
| Summary: | 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 particulière de systèmes définis à partir de structures réplicables. De telles structures résultent de la modélisation de systèmes à événements discrets paramétrés et de cas respectivement issus du domaine de la théorie du contrôle et du domaine des workflows. La principale caractéristique de ce nouvel algorithme est qu'il travaille sur des expressions symboliques à la place de valeurs numériques lors de la génération du graphe d'accessibilité. |
|---|