Show simple document record

dc.contributor.advisorSt-Denis, Richardfr
dc.contributor.authorProbst, Christopherfr
dc.date.accessioned2014-05-16T15:27:20Z
dc.date.available2014-05-16T15:27:20Z
dc.date.created2000fr
dc.date.issued2000fr
dc.identifier.isbn0612745090fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4533
dc.description.abstractDans 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.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Christopher Probstfr
dc.titleMéthodes structurées pour améliorer la synthèse de contrôleursfr
dc.typeMémoirefr
tme.degree.disciplineInformatiquefr
tme.degree.grantorFaculté des sciencesfr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record