 |
Grenoble Images Parole Signal Automatique Collection effective à partir du 1er janvier 2007, date de création du laboratoire GIPSA-lab |
|
Grenoble Images Parole Signal Automatique Collection effective à partir du 1er janvier 2007, date de création du laboratoire GIPSA-lab |
| HAL : tel-00445949, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| Université Joseph-Fourier - Grenoble I (18/12/2009), Hassane Alla (Dir.) |
|
|
|
|
| Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides |
|
|
| Haithem Derbel 1 |
|
|
| (18/12/2009) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Grenoble Images Parole Signal Automatique (GIPSA-lab) |
|
|
|
CNRS : UMR5216 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Université Stendhal - Grenoble III – Institut Polytechnique de Grenoble - Grenoble Institute of Technology |
|
|
|
|
|
|
|
|
|
| domaine | : | Sciences de l'ingénieur/Automatique / Robotique Informatique |
|
|
| diagnostic – systèmes temporisés – systèmes dynamiques hybrides – automates temporisés – automates hybrides rectangulaires – analyse d'atteignabilité |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| tel-00445949, version 1 | |
| http://tel.archives-ouvertes.fr/tel-00445949 | |
| oai:tel.archives-ouvertes.fr:tel-00445949 | |
| Contributeur : Haithem Derbel | |
| Soumis le : Lundi 11 Janvier 2010, 16:00:55 | |
| Dernière modification le : Mardi 12 Janvier 2010, 15:59:00 | |
