• 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

Intégration de composantes passives dans un algorithme de synthèse de controleurs

Thumbnail
View/Open
MQ74286.pdf (2.907Mb)
Publication date
2002
Author(s)
Abbas, Arezki
Show full document record
Abstract
Ce mémoire présente une nouvelle implémentation de l'algorithme de synthèse de contrôleurs pour les systèmes à événements discrets proposé par Barbeau et al. Cette nouvelle implémentation tient compte des composantes actives et passives du système à contrôler. Ce travail se situe dans le cadre de la méthode proposée par St-Denis. Dans cette méthode de synthèse, les composantes actives du système sont modélisées par des graphes de transitions temporisés, les composantes passives comme des types abstraits de données et les exigences de contrôle par des formules en logique temporelle. Cette méthode permet de construire un contrôleur attribué composé d'une structure à transitions attribuée et d'une fonction de rétroaction conditionnelle qui interdit des événements selon des conditions appliquées aux objets. La nouvelle implémentation de l'algorithme de Barbeau et al. nous conduit à présenter le développement d'un interpréteur de TADs. Cette implémentation est suivie d'une expérimentation afin d'analyser nos résultats.
URI
http://savoirs.usherbrooke.ca/handle/11143/4489
Collection
  • Sciences – Mémoires [759]

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