Abstract FR:

La complexite croissante des systemes automatises exige de plus en plus de disposer de modeles et d'outils de haut niveau, permettant de garantir a priori qu'un procede commande respecte un comportement desire. Ce memoire presente une contribution a la commande des systemes a evenements discrets (sed). Le travail presente, constitue une demarche globale permettant la synthese de l'implantation la plus permissive de la commande a partir d'une specification grafcet, d'un modele du systeme a commander et d'un ensemble de contraintes a respecter. Cette demarche s'appuie sur la theorie de supervision introduite par ramadge et wonham, et dont l'objectif est de formaliser la commande des sed, en utilisant des langages formels ou des automates. Elle a donne lieu a trois types d'implantation de la commande : - une implantation par synthese hors ligne du comportement global de la commande dans un environnement pc. - une implantation par synthese en ligne dans un environnement pc de maniere a calculer la commande par anticipation a quelques pas d'evolutions futures. - une implantation hors ligne sur automate programmable. Le memoire est structure en cinq chapitres : le chapitre 1 presente quelques notions de base relatives aux sed ainsi que les fondements de la theorie de supervision selon ramadge & wonham. Ensuite, differentes approches liees a l'implantation d'une commande par supervision sont presentees, afin de situer le positionnement de nos travaux. Le chapitre 2 expose les problemes lies a l'identification du comportement effectif du grafcet, afin de justifier de la necessite de l'elaboration d'un modele explicite de la partie operative en vue de la synthese de la commande. Le chapitre 3 presente notre demarche de synthese hors ligne de l'implantation optimale d'une commande, a partir d'un grafcet de specification, d'un modele de la partie operative et des contraintes a respecter. Une extension de cette demarche permettant d'effectuer la synthese en ligne de la commande en vue de reduire l'explosion combinatoire est egalement presentee dans ce chapitre. Dans le chapitre 4, nous decrivons l'outil informatique dedie a l'application de la demarche. Cet outil est structure autour d'un environnement de generation de la commande et d'un environnement d'execution. Enfin le chapitre 5 presente un exemple illustrant l'application de la demarche de synthese d'un grafcet. Cet exemple est relatif a un poste de manutention servant au stockage et au destockage de pieces.