Vous êtes ici : GIPSA-lab > Formation > Thèses soutenues
Chargement
DERBEL Haithem

Diagnostic à base de modèles des sytèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides

 

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 : Ecole Nationale d'Ingénieurs de Tunis

Financement(s) : bourse attribuée par un gouvernement étranger

 

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

Date de soutenance : 18/12/2009

 

Composition du jury :
René DAVID, DR Emérite CNRS, GIPSA-lab, Dept Automatique, Président
Hervé GUEGUEN, Professeur, SUPELEC Rennes, Rapporteur
Moncef TAJINA, Professeur, ENSI Tunis, Tunisie, Rapporteur
Moez YEDDES, Maître-Assistant, ENSI Tunis, Tunisie, Examinateur
Hassane ALLA, Professeur, Grenoble 1, Directeur de thèse
Néjib BEN HADJ-ALOUANE, Professeur, ENSI Tunis, Tunisie, Directeur de thèse

 

Résumé : Notre travail de recherche concerne l'étude du diagnostic à base de modèles pour les systèmes temporisés et pour une sous-classe de systèmes dynamiques hybrides. Nous avons d'abord développé une méthode de diagnostic basée sur la compilation hors-ligne d'un diagnostiqueur à partir du modèle automate temporisé du système à diagnostiquer. Une méthode systématique permettant la vérification de la diagnosticabilité du modèle utilisé est ensuite donnée. Nous avons ensuite proposé une méthode de diagnostic pour une sous-classe de systèmes dynamiques hybrides modélisés par des automates hybrides rectangulaires. Cette méthode repose sur l'utilisation d'une procédure de diagnostic en-ligne qui estime l'état courant du système ainsi que les occurrences des défauts non-observables. Enfin, nous avons proposé une méthode de vérification de la diagnosticabilité du langage temporisé accepté par un automate hybride rectangulaire vérifiant les hypothèses considérées dans notre travail.


GIPSA-lab, 11 rue des Mathématiques, Grenoble Campus BP46, F-38402 SAINT MARTIN D'HERES CEDEX - 33 (0)4 76 82 71 31