Show simple document record

dc.contributor.advisorKhoumsi, Ahmedfr
dc.contributor.authorOuedraogo, Lucienfr
dc.date.accessioned2014-05-14T16:34:52Z
dc.date.available2014-05-14T16:34:52Z
dc.date.created2003fr
dc.date.issued2003fr
dc.identifier.isbn0612948870fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/1236
dc.description.abstractLes systèmes à événements discrets (SED) sont des systèmes dont le fonctionnement se traduit par des séquences d'interactions.Les SED peuvent être décrits par leurs séquences possibles d'interactions ou événements. Un SED temps-réel est un SED dont le bon fonctionnement dépend non seulement de comment il interagit avec son environnement mais aussi à quels moments ces interactions se produisent. Le modèle automate temporisé (AT) permet de modéliser convenablement les SED temps-réel.Les ATs, qui utilisent un modèle continu du temps, induisent un espace d'états infini pour le système modélisé. Le modèle d'automates à états finis (AEF) par contre permet de représenter de manière finie l'espace des états d'un SED.Les AEFs se prêtent mieux à l'étude (analyse, test, conception, contrôle...) par des méthodes formelles des SED. Une approche standard pour l'étude des SED temps-réel consiste alors à transformer l'AT modélisant le SED en un AEF équivalent sur lequel on réalise l'étude. Dans ce projet, il s'agissait pour nous d'apporter notre contribution à l'élaboration d'une nouvelle méthode de transformation d'un AT en un AEF équivalent.--Résumé abrégé par UMI.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Lucien Ouedraogofr
dc.titleÉtude et implémentation d'une méthode de transformation des automates temporisés en automates à états finisfr
dc.typeMémoirefr
tme.degree.disciplineGénie électriquefr
tme.degree.grantorFaculté de géniefr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc. A.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record