Show simple document record

dc.contributor.advisorSt-Denis, Richardfr
dc.contributor.authorCharfi, Mouradfr
dc.date.accessioned2014-05-16T15:26:51Z
dc.date.available2014-05-16T15:26:51Z
dc.date.created1999fr
dc.date.issued1999fr
dc.identifier.isbn0612568806fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4411
dc.description.abstractCe mémoire présente, d'abord, une méthode de modélisation des systèmes hybrides linéaires. Le modèle adopté pour la modélisation d'un procédé physique ayant une composante continue et une composante discrète est un automate hybride linéaire qui définit une sous-classe des automates hybrides. Ce travail se situe dans le cadre des travaux de Thomas Henzinger. Ensuite, une procédure de synthèse de contrôleurs des systèmes hybrides linéaires a été développée. Cette procédure consiste à transformer une procédure de vérification en une procédure de synthèse. D'où, la présentation d'un outil de vérification nommé HYTECH ainsi que son adaptation en un outil de synthèse. Dans ce mémoire, nous considérons un système de positionnement d'antennes comme exemple d'application.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Mourad Charfifr
dc.titleModélisation et synthèse de contrôleurs des systèmes hybrides linéairesfr
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