Nous avons présenté dans cette thèse deux contributions au problème de la synthèse de contrôleur pour les<br />systèmes à événements discrets modélisés par des Grafcets.<br />La théorie de la supervision des systèmes à événements discrets (SED) initiée par les travaux de Ramadge et<br />Wonham, n'est pas directement implantable sous la forme d'une commande opérationnelle. Nous pouvons<br />trouver dans la littérature diverses extensions de l'approche RW dans lesquelles le superviseur peut forcer des<br />événements, parmi celles-ci il y a la commande supervisée proposée par François charbonnier dans sa thèse<br />(1996). Nous avons fait une extension de cette approche, dans le cas où le langage des spécifications n'est pas<br />contrôlable par rapport au langage du procédé étendu. Pour implanter l'automate de superviseur obtenu, nous<br />avons proposé une méthode systématique de passage de l'automate superviseur vers le Grafcet superviseur de<br />manière structurelle. Cependant dans cette approche, le Grafcet final de superviseur obtenu contient un<br />nombre important d'étapes qui est identique à l'automate synthétisé. Donc la complexité des superviseurs reste<br />toujours prohibitive. C'est pourquoi nous avons proposé une approche de synthèse structurelle, dans laquelle<br />la taille de Grafcet obtenu est réduite et implantable sur les automates programmables. Cette méthode est basée<br />sur les invariants de marquage qui permettent de déterminer un certain nombre d'étapes à ajouter au modèle<br />initial pour faire respecter les spécifications de commande. Nous avons établi des propriétés générales qui ont<br />permis de trouver l'ensemble des contraintes linéaires à partir de l'ensemble des états interdits. La solution<br />obtenue donne un contrôleur optimal. Cette optimalité provient de l'équivalence entre l'ensemble des<br />situations autorisées et l'ensemble des contraintes linéaires. Elle a été prouvée grâce au caractère booléen du<br />marquage d'un Grafcet.