Contrôle on-line des systèmes à événements discrets

Ce mémoire présente une implémentation d'algorithmes de synthèse de contrôleurs on-line. Cette implémentation est précédée par une étude de ces algorithmes.Ce travail se situe dans le cadre des travaux de Ben Hadj-Alouane, Lafortune et Lin sur la dérivation de contrôleurs on-line de systèmes à évènements discrets. Dans ce mémoire, les systèmes à évènements discrets sont modélisés par des langages formels représentés principalement par des automates finis ou infinis. Les algorithmes de synthèse de contrôleurs on-line permettent de résoudre deux types de problèmes de contrôle : le contrôle avec observation totale et le contrôle avec observation partielle. L'information sur les états du système est fournie aux algorithmes de synthèse de contrôleurs pour faciliter le calcul des actions de contrôle. Cette facilité de calcul permet de réduire la complexité du calcul d'une valeur exponentielle à une valeur polynomiale et parfois linéaire