Commande des systèmes à événements discrets à temps critiques, application aux systèmes de commande en réseau

Abstract

Dans ce travail, nous calculons des lois de commande en boucle fermée pour satisfaire des contraintes temporelle dans une architecture d’automatisation distribuée en réseau. L’approche de commande utilisée, est appliquée sur un graphe d’événements temporisé qui modélise tous les composants de l’architecture. La dynamique du modèle de l’architecture est représentée par un système d’équations linéaires dans l’algèbre Min-plus et Max-Plus. Les contraintes temporelle à garantir sont exprimées par des inéquations Min-plus et Max-Plus. Les lois de commande calculées sont des feedbacks causaux qu’on peut représenter par des places de contrôle. Dans un premier temps nous considérons le cas simple d'un système avec un contrôleur et un seul module d’entrée / sortie. Après nous étendons la méthode une architecture plus générale avec plusieurs modules d’entrées/sorties.