APPLICATION DES SYSTEMES STRUCTURES A L’ETUDE DU

Marie-Therese

Description

Sujet de MASTER RECHERCHE : Synthèse de contrôleurs discrets basé sur le Grafcet et prenant en compte le temps Responsable : Hassane Alla Email : [e-mail] Tel : [phone] Site web du LAG : http : //www.lag.ensieg.inpg.fr Site web du responsable : http://www.lag.ensieg.inpg.fr/allaCo-encadrant : Abbas Didaban Email : [e-mail]' MOTS-CLES : Systèmes à événements discrets, synthèse de contrôleurs, Réseaux de Petri CADRE ET OBJECTIFS DU SUJET : Le thème général est la supervision de systèmes à événements discrets (SED). Les concepts fondamentaux ont été présentés par Wonham [Won05]. Dans cette théorie l’automate est utilisé pour modéliser le procédé physique et les spécifications auxquelles il est contraint. La complexité grandissante des systèmes fait que leur mise en œuvre devient quasiment impossible à partir du modèle automate (explosion du nombre d’états). Il existe un autre outil puissant pour modéliser les SED, ce sont les Réseaux de Petri (RdP). Différentes méthodes permettent de construire un superviseur à partir du RdP ayant chacun des avantages et des inconvénients. Le problème principal est l’existence d’événements incontrôlables entraînant celle d’états interdits. Pour empêcher l’atteignabilité de ces états, des places de contrôles sont ajoutées. Nous avons proposé une méthode de synthèse de contrôleur optimal pour des systèmes qui peuvent être modélisés par ...

Sujets

• réseau
• réseaux

Informations

• Publié par: Ermey
• Nombre de lectures: 48
• Langue: Catalan

Extrait

Sujet de MASTER RECHERCHE :

Synthèse de contrôleurs discrets

basé sur le Grafcet

et prenant en compte le temps

Responsable

:

Hassane Alla

Email : [e-mail]

Tel : [phone]

Site web du LAG : http : //www.lag.ensieg.inpg.fr

Site web du responsable : http://www.lag.ensieg.inpg.fr/alla

Co-encadrant :

Abbas Didaban

Email : [e-mail]'

MOTS-CLES :

Systèmes à événements discrets, synthèse de contrôleurs, Réseaux de Petri

CADRE ET OBJECTIFS DU SUJET :

Le thème général est la supervision de systèmes à événements discrets (SED). Les

concepts fondamentaux ont été présentés par Wonham [Won05]. Dans cette théorie

l’automate est utilisé pour modéliser le procédé physique et les spécifications auxquelles il

est contraint. La complexité grandissante des systèmes fait que leur mise en oeuvre devient

quasiment impossible à partir du modèle automate (explosion du nombre d’états). Il existe un

autre outil puissant pour modéliser les SED, ce sont les Réseaux de Petri (RdP).

Différentes

méthodes permettent de construire un superviseur à partir du RdP ayant chacun des

avantages et des inconvénients. Le problème principal est l’existence d’événements

incontrôlables entraînant celle d’états interdits. Pour empêcher l’atteignabilité de ces états,

des places de contrôles sont ajoutées. Nous avons proposé une méthode de synthèse de

contrôleur optimal pour des systèmes qui peuvent être modélisés par un RdP sauf [DID 05a,

05b]. L’avantage du RdP sauf est qu’il est facilement transformable vers le Grafcet. Dans

cette méthode nous pouvons calculer des places de contrôle par une approche

systématique. Cependant le temps n’est pas pris en compte, alors que c’est un paramètre

qui intervient dans un Grafcet. Dans le cas général, la prise en compte du temps permet

d’obtenir des contrôleurs moins restrictifs. Dans la littérature, certaines approches utilisant le

temps permettant d’obtenir un contrôleur sous forme d’automates temporisés par des

techniques complexes. Ceci est dû principalement au temps représenté par des intervalles

entraînant un non déterminisme [SAVA 01]. Cependant dans le cas du Grafcet, les

temporisations sont déterministes, ce qui simplifie grandement le problème

Notre objectif de trouver une méthode de synthèse de contrôleur pour les systèmes qui

peuvent être modélisés par un Grafcet

dans sa généralité.

Le travail proposé consistera à

proposer une modélisation du système de commande par Grafcet et à adapter la méthode

de synthèse de contrôleur qui a déjà développé pour le RdP en y ajoutant le temps

Pour cela, l’étudiant devra :

Laboratoire d’Automatique de Grenoble – ENSIEG – B.P. 46 – 38402 – Saint-Martin-d’Hères-Cedex

•

Réaliser une étude bibliographique sur la problématique de la synthèse de

contrôleurs d’abord sans le temps puis en l’ajoutant.

•

Sur la base de travaux existants [Yam96, DID05], caractériser le contrôleur pour

empêcher les états interdits.

•

Etendre la méthode de synthèse de contrôleurs présentée dans [DID05] pour les

systèmes modélisés par Grafcet. en incluant le temps.

•

Appliquer ces résultats sur un exemple concret.

REFERENCES :

[DID 05a] Dideban A., Alla H., “From forbidden state to linear constraints for the optimal

supervisory control”,

Control Engineering and Applied Informatics

, Vol. 7, No. 3. Sep 2005.

[DID 05b], Dideban, A. “Optimal controller synthesis by the construction of minimal

constraints set”,

RS- JESA-39/2005. MSR05,

page 127-141.

[Won05], Wonham W. M., “Supervisory Control of Discrete-Event Systems”, research report,

http://www.control.toronto.

[SAVA 01] A.T. Sava, “Sur la synthese de la commande des systemes à événements

discrets temporises”, thèse de doctorat, Laboratoire d’Automatique de Grenoble, Institut

National Polytechnique de Grenoble, 2001.

[Yam96] Yamalidou K., J. Moody, M. Lemmon and P. Antsaklis (1996), “Feedback control of

Petri Nets based on place invariants”,

Automatica

, 32(1)

Laboratoire d’Automatique de Grenoble – ENSIEG – B.P. 46 – 38402 – Saint-Martin-d’Hères-Cedex