Sur la commande de graphes d'evenements

J.J. Loiseau

( IRCyN, UMR CNRS 6597)

Comme il est bien connu (grace a la vulgarisation effectuee notamment par Guy Cohen), l'evolution des graphes d'evenements se decrit par des equations lineaires de dimension finie dans (R,max,plus) ou dans (N,min,plus). L'utilisation de ce formalisme a ete au depart plus developpee dans le sens de l'evaluation de performances (par exemple pour le calcul de taux de production) que dans celui de la commande. Pourtant la question est interessante : comment regler le systeme pour obtenir une production donnee ? Nous allons presenter les premiers pas effectues avec Laurent Libeaut dans cette direction. C'est aussi l'occasion de presenter aux non-automaticiens quelques idees classiques de la theorie de la commande. La methode suivie consiste en effet a adapter au cas min-plus des outils et concepts tires du vivier que constitue la theorie de la commande des systemes lineaires de dimension finie, et en particulier ceux de l'approche polynomiale (disons dans l'esprit de Kucera : Discrete Linear Control. The polynomial Equation Approach, Wiley, New York, 1979, dont je recommande la lecture). Plusieurs idees fondamentales ont un pendant en min-plus. C'est le cas en particulier des concepts lies au probleme de realisation (ceux de fonction de transfert realisable, rationnelles ou propres) et des concepts lies au probleme de poursuite de modele (ceux de commande par compensateur, et de l'equation de poursuite). D'autres concepts moins fondamentaux mais tout aussi classiques (tel celui de condition initiale admissible) apparaissent aussi dans ce contexte. D'autres notions enfin n'apparaissent pas, soit parce que la definition correspondante dans le contexte des SDED n'est pas (encore) disponible (c'est le cas par exemple de la robustesse), soit que ces concepts sont etrangers a l'approche polynomiale que nous adoptons (par exemple les questions de stabilisation ou d'(A,B)-invariance): ce sont autant de problemes qui restent ouverts. Notons que ce type de parallele a deja ete effectue pour une autre classe de systemes a evenements discrets, avec le paradigme des langages commandables de Wonham et Ramadge. On aboutit au memes types de resultats : des CNS d'existence de solution au probleme de poursuite, d'existence de sous-solution optimale, et des algorithmes pour construire ces solutions.