Méthodes structurées pour améliorer la synthèse de contrôleurs

Abstract

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 introduisant des automates munis d'objets, cette technique permet de construire un contrôleur attribué composé de cette structure et d'une fonction de rétroaction qui prohibe des événements selon des conditions appliquées aux objets. Le contrôleur obtenu peut, dans certains cas, être généralisé à un ensemble de valeurs des paramètres propres aux objets. En généralisant à des valeurs très grandes de paramètres, l'explosion combinatoire inhérente à la méthode de Ramadge et Wonham peut être atténuée. La deuxième technique, développée par Eyzell et Cury, exploite les symétries que les automates en entrée de l'algorithme de Wonham et Ramadge peuvent exhiber. L'algorithme de Wonham et Ramadge est exécuté sur des automates réduits appelés structures quotients. Malgré les améliorations que nous apportons à la technique, le processus de réduction d'un automate à sa structure quotient n'est pas efficace, si bien que l'explosion combinatoire de la méthode de Ramadge et Wonham n'est pas réglée.