Show simple document record

dc.contributor.advisorSt-Denis, Richardfr
dc.contributor.advisorTagina, Monceffr
dc.contributor.authorJaouad, Brahimfr
dc.date.accessioned2014-05-16T15:27:17Z
dc.date.available2014-05-16T15:27:17Z
dc.date.created2002fr
dc.date.issued2002fr
dc.identifier.isbn0612744043fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4514
dc.description.abstractCe mémoire s'intéresse à la résolution d'un problème de contrôle d'une cellule industrielle de production implantée à Karlsruhe. Cette cellule, munie d'un agent de contrôle, est vue comme un système réactif qui réagit en permanence à des événements internes et externes. La méthode adoptée pour la résolution de ce problème est choisie suite à une étude préliminaire de quatre approches de synthèse de contrôleurs. C'est l'approche de Ramadge et de Wonham qui a été retenue. Elle considère le procédé à contrôler comme un système à événements discrets qui évolue en fonction d'occurrences d'événements spontanés, asynchrones et instantanés. Le contrôle consiste à guider la cellule à un comportement désiré en respectant des contraintes exprimées en termes de propriétés de contrôle. Selon cette approche, les composantes du système ainsi que les propriétés de contrôle sont modélisées à l'aide d'automates finis déterministes. De plus, déterminer le contrôle à effectuer revient à chercher le plus grand sous-langage contrôlable d'un langage légal spécifiant les propriétés que doit vérifier le procédé. Une procédure de synthèse permet de dériver un contrôleur qui interagit en boucle fermée avec le procédé de façon à satisfaire des contraintes. Enfin, l'approche de Ramadge et de Wonham est évaluée dans le cadre de ce problème en la comparant avec des méthodes formelles et semi-formelles qui ont contribué à la résolution du même problème.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Brahim Jaouadfr
dc.titleÉvaluation d'une approche de synthèse de contrôleurs pour un problème réel de contrôlefr
dc.typeMémoirefr
tme.degree.disciplineMathématiquesfr
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