Return to search

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

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.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00445949
Date18 December 2009
CreatorsDerbel, Haithem
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds