La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

APPLICATION DES SYSTEMES STRUCTURES A L’ETUDE DU

De
2 pages
Sujet de MASTER RECHERCHE : Synthèse de contrôleurs discrets basé sur le Grafcet et prenant en compte le temps Responsable : Hassane Alla Email : Hassane.Alla@inpg.fr Tel : 04 76 82 62 34 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 : Abbas.Dideban@inpg.fr' 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 ...
Voir plus Voir moins

Vous aimerez aussi

Sujet de MASTER RECHERCHE :
Synthèse de contrôleurs discrets
basé sur le Grafcet
et prenant en compte le temps
Responsable
:
Hassane Alla
Email : Hassane.Alla@inpg.fr
Tel : 04 76 82 62 34
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 : Abbas.Dideban@inpg.fr'
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
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin