Génie logiciel

Commande sous contrainte temporelle d'une architecture d'automatisation en réseau de type producteur/consommateur

Published on - MSR 2013 - Modélisation des Systèmes Réactifs

Authors: Karima Tebani, Saïd Amari, Redouane Kara

L'objectif de ce travail est de synthétiser des lois de commande pour satisfaire des contraintes temporelles imposées sur le temps de réponse d' une architecture d' automatisation en réseau (AAR). L' approche de commande utilisée est basée sur la modélisation des composants du l' AAR par un graphe d' événements temporisé et l' utilisation de l' algèbre (max,+) pour décrire le comportement et exprimer les contraintes temporelles à satisfaire. Les lois de commande calculées sont des feedbacks causaux qu' on peut représenter par des places de contrôle connectées au modèle de l' AAR.