• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

Génération de graphes d'accessibilité à partir de structures réplicables

Thumbnail
View/Open
MR49496.pdf (999.1Kb)
Publication date
2009
Author(s)
Embe Jiague, Michel
Show full document record
Abstract
Ce 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é.
URI
http://savoirs.usherbrooke.ca/handle/11143/4780
Collection
  • Sciences – Mémoires [1661]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback