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 ...