Commande en boucle fermee dans l'algebre (max, +)

Éric Menguy. LISA (Angers)

Résumé. On s'interesse a la commande des Systemes a Evenements Discrets modelises par des Graphes d'Evenements Temporises. L'objectif est de commander en Juste a Temps l'entree d'un systeme (cad au plus tard telle que la sortie se comporte au plus tard avant une consigne fixee). L'approche proposee s'inspire de la theorie des systemes lineaires conventionnels, une solution U0 basee sur la theorie de la Residuation satisfait l'objectif de maniere optimale lorsque le modele est exact (cf expose du 6-7 juin de Guy Cohen). A present, on cherche a maintenir cet objectif lorsque le modele du systeme est (eventuellement) inexact. La demarche employee est la suivante : on commence a appliquer la commande U0 (ce qui revient initialement a supposer que le modele est exact), cette commande est alors modifiee en fonction des informations issues de la sortie du systeme (reel). Cette structure de commande en boucle fermee va nous permettre "d'approcher au mieux" de la solution optimale de Juste a Temps du systeme. Comme pour la solution U0, le principe de modification de la commande repose principalement sur la theorie de la Residuation.