Published
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
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.