Méthodes structurées pour améliorer la synthèse de contrôleurs
Dans une tentative de régler l'explosion combinatoire inhérente à l'algorithme de synthèse de contrôleur de Ramadge et Wonham, ce mémoire présente deux techniques spécifiques à ce problème. La première technique intègre les types abstraits de données à la synthèse de contrôleur. En introdu...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | French |
| Published: |
Université de Sherbrooke
2000
|
| Online Access: | http://savoirs.usherbrooke.ca/handle/11143/4533 |