Sujet de Thèse Surveillance des processus dynamiques événementiels 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 Financement : demandé obtenu : MOTS-CLES : Surveillance, automate hybride linéaire, Analyse d’atteignbilité, Réseaux de Petri. CADRE ET OBJECTIFS DU SUJET : Le thème général est la conception de systèmes de production sûrs. La mise en œuvre de la surveillance constitue un point crucial dans la conduite des systèmes dynamiques. Elle s'adresse aussi bien aux systèmes où la dynamique est continue qu'à ceux où la dynamique est pilotée par des événements. La surveillance consiste à observer l'évolution du procédé en temps réel et à émettre des alarmes lorsque celui-ci quitte son fonctionnement nominal. Dans le domaine des systèmes à événements discrets (SED), la plupart des techniques existant dans la littérature reviennent à construire l'espace d'état atteignable. En fait, les modèles utilisés sont soit le réseau de Petri T-temporels ou l’automate temporisé. L’espace d’états atteignable calculé est une hyper cube. Les modèles utilisés ne tiennent pas en compte explicitement l’effet d’apparition des défauts intermittents, seul l'ordre d'occurrence des événements et la date au plus tard prévue d’appariation d’un événement sont pris en compte. Or les défauts dans ...