Surveillance des processus dynamiques évènementiels

Directeur de thèse :     Hassane ALLA

École doctorale : Electronique, electrotechnique, automatique, traitement du signal (EEATS)

Spécialité : Automatique et productique

Structure de rattachement : UJF

Établissement d'origine : Inst. National des Sciences Appliquées - TUNIS

Financement(s) : Bourse mobilité internationale

Date d'entrée en thèse : 01/10/2007

Date de soutenance : 31/10/2011

Composition du jury :
Jean-Marc Tiriet, Professeur UJF (Grenoble), Président
Lilia Elamraoui, Maître de Conférences ESTI (Tunis), Rapporteur
Eric Niel, Professeur INSA Lyon , Rapporteur
Isabel Demongodin, Professeur à U3 (Marseille), Examinateur
Faouzi Ben Ammar, Professeur l''INSAT (Tunis), Examinateur
M. Chatti, Professeur INSAT(Tunis), Directeur de thèse
Hassane Alla, Professeur UJF (Grenoble), Directeur de thèse

Résumé : Le thème général de cette thèse est la conception de systèmes de production sûrs. Cette thématique est imposée par le contexte économique actuel qui a rendu incontournable les exigences de performance, de fiabilité et de sécurité des systèmes réels. 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. Devant la complexité croissante de ces systèmes il est nécessaire d'établir un mécanisme de surveillance qui signale le plus tôt possible à l'opérateur les écarts détectés par rapport au comportement nominal prévu. Dans le cadre de ce sujet de thèse, on s'intéresse plus particulièrement à la surveillance des systèmes hybrides à forte dynamique événementielle. L'objectif est de détecter les défauts permanents et intermittents qui causent l'accélération et le ralentissement des tâches des systèmes. Notre apport est d'utiliser l'outil automate hybride afin de déterminer cet espace d'état atteignable. Contrairement aux techniques classiques de suivi des systèmes à événements discrets qui consistent à attendre l'échéance d'une ou plusieurs temporisations, afin de caractériser l'espace des trajectoires atteignables par un hyper cube et qui constitue une approximation grossière, nos travaux, grâce à la connaissance de l'espace atteignable d'un Automate Hybrides Rectangulaire nous ont permis de déterminer les trajectoires dynamiques exactes du système et de détecter au plutôt le dysfonctionnement.