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

par Haithem Derbel

Thèse de doctorat en Automatique. Productique

Sous la direction de Hassane Lotfi Alla et de Néjib Ben Hadj-Alouane.

Soutenue en 2009

à l'Université Joseph Fourier (Grenoble) en cotutelle avec l'Ecole Nationale des Sciences de l'Informatique (Tunisie) , en partenariat avec Grenoble Images Parole Signal Automatique (laboratoire) .


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


  • Résumé

    In this thesis, we study the diagnosis of timed systems and a class of hybrid dynamic systems. A diagnosis approach for timed systems, using timed automata as system model, is given. This approach is based on the, off-line, construction of a timed automaton called diagnoser. The diagnoser allows to estimate unobservable failure occurrences, given a record of timed observable events, generated by the system. A systematic method for verifying the diagnosability of the studied model is also given. In the hybrid dynamic systems context, a diagnosis approach based on rectangular hybrid automata, is given. This approach consists on the execution of an on-line diagnosis procedure, which estimates, on-the-fly, the system state as well as failure occurrences. A diagnosability verification method of the studied hybrid model is provided.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (182 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 122 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS09/GRE1/0290/D
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : TS09/GRE1/0290
  • Bibliothèque : GIPSA-lab. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 2009 DER
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.