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

Abstract

Nous avons présenté dans cette thèse deux contributions au problème de la synthèse de contrôleur pour les systèmes à événements discrets modélisés par des Grafcets. La théorie de la supervision des systèmes à événements discrets (SED) initiée par les travaux de Ramadge et Wonham, n'est pas directement implantable sous la forme d'une commande opérationnelle. Nous pouvons trouver dans la littérature diverses extensions de l'approche RW dans lesquelles le superviseur peut forcer des événements, parmi celles-ci il y a la commande supervisée proposée par François Charbonnier dans sa thèse (1996). Nous avons fait une extension de cette approche, dans le cas où le langage des spécifications n'est pas contrôlable par rapport au langage du procédé étendu. Pour implanter l'automate de superviseur de manière structurelle. Cependant dans cette approche, le Grafcet final de superviseur obtenu contient un nombre important d'étapes qui est identique à l'automate synthétisé. Donc la complexité des superviseurs reste toujours prohibitive. C'est pourquoi nous avons proposé une approche de synthèse structurelle, dans laquelle la taille du Grafcet obtenu est réduite et implantable sur les automates programmables. Cette méthode est basée sur les invariants de marquage qui permettent de déterminer un certain nombre d'étapes à ajouter au modèle initial pour faire respecter les spécifications de commande.GRENOBLE1-BU Sciences (384212103) / SudocSudocFranceF