Show simple document record

dc.contributor.advisorSt-Denis, Richardfr
dc.contributor.authorEmbe Jiague, Michelfr
dc.date.accessioned2014-05-16T15:36:18Z
dc.date.available2014-05-16T15:36:18Z
dc.date.created2009fr
dc.date.issued2009fr
dc.identifier.isbn9780494494967fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4780
dc.description.abstractCe mémoire explore une méthode symbolique pour le calcul hors ligne de contrôleurs non bloquants basée principalement sur un algorithme de génération de graphes d'accessibilité. Dans le but de réduire l'explosion de l'espace d'états, l'algorithme considère une classe particulière de systèmes définis à partir de structures réplicables. De telles structures résultent de la modélisation de systèmes à événements discrets paramétrés et de cas respectivement issus du domaine de la théorie du contrôle et du domaine des workflows. La principale caractéristique de ce nouvel algorithme est qu'il travaille sur des expressions symboliques à la place de valeurs numériques lors de la génération du graphe d'accessibilité.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Michel Embe Jiaguefr
dc.titleGénération de graphes d'accessibilité à partir de structures réplicablesfr
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