Intégration de composantes passives dans un algorithme de synthèse de contrôleurs

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.