Synthèse structurelle d'un contrôleur basée sur le Grafcet

Nous avons presente dans cette these deux contributions au probleme de la synthese de controleur pour les systemes a evenements discrets modelises par des Grafcets. La theorie de la supervision des systemes a evenements discrets (SED) initiee par les travaux de Ramadge et Wonham, n'est pas directement implantable sous la forme d'une commande operationnelle. Nous pouvons trouver dans la litterature diverses extensions de l'approche RW dans lesquelles le superviseur peut forcer des evenements, parmi celles-ci il y a la commande supervisee proposee par Francois charbonnier dans sa these (1996). Nous avons fait une extension de cette approche, dans le cas ou le langage des specifications n'est pas controlable par rapport au langage du procede etendu. Pour implanter l'automate de superviseur obtenu, nous avons propose une methode systematique de passage de l'automate superviseur vers le Grafcet superviseur de maniere structurelle. Cependant dans cette approche, le Grafcet final de superviseur obtenu contient un nombre important d'etapes qui est identique a l'automate synthetise. Donc la complexite des superviseurs reste toujours prohibitive. C'est pourquoi nous avons propose une approche de synthese structurelle, dans laquelle la taille de Grafcet obtenu est reduite et implantable sur les automates programmables. Cette methode est basee sur les invariants de marquage qui permettent de determiner un certain nombre d'etapes a ajouter au modele initial pour faire respecter les specifications de commande. Nous avons etabli des proprietes generales qui ont permis de trouver l'ensemble des contraintes lineaires a partir de l'ensemble des etats interdits. La solution obtenue donne un controleur optimal. Cette optimalite provient de l'equivalence entre l'ensemble des situations autorisees et l'ensemble des contraintes lineaires. Elle a ete prouvee grâce au caractere booleen du marquage d'un Grafcet.