Show simple document record

dc.contributor.advisorSt-Denis, Richardfr
dc.contributor.authorAit Zaïd, Samirfr
dc.date.accessioned2014-05-16T15:26:45Z
dc.date.available2014-05-16T15:26:45Z
dc.date.created1998fr
dc.date.issued1998fr
dc.identifier.isbn0612405672fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4383
dc.description.abstractCe mémoire présente une implémentation d'algorithmes de synthèse de contrôleurs on-line. Cette implémentation est précédée par une étude de ces algorithmes.Ce travail se situe dans le cadre des travaux de Ben Hadj-Alouane, Lafortune et Lin sur la dérivation de contrôleurs on-line de systèmes à évènements discrets. Dans ce mémoire, les systèmes à évènements discrets sont modélisés par des langages formels représentés principalement par des automates finis ou infinis. Les algorithmes de synthèse de contrôleurs on-line permettent de résoudre deux types de problèmes de contrôle : le contrôle avec observation totale et le contrôle avec observation partielle. L'information sur les états du système est fournie aux algorithmes de synthèse de contrôleurs pour faciliter le calcul des actions de contrôle. Cette facilité de calcul permet de réduire la complexité du calcul d'une valeur exponentielle à une valeur polynomiale et parfois linéaire.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Samir Ait Zaïdfr
dc.titleContrôle on-line des systèmes à événements discretsfr
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