 |
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 |
| Fiche détaillée | Thèses |
 |
| Université Joseph-Fourier - Grenoble I (2009-12-18), Hassane Alla (Dir.) |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides |
|
|
| Haithem Derbel1 |
|
|
|
| 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 : | GIPSA-lab - Grenoble Images Parole Signal Automatique |
|
|
|
|
|
|
|
| diagnostic – systèmes temporisés – systèmes dynamiques hybrides – automates temporisés – automates hybrides rectangulaires – analyse d'atteignabilité |
| Model-based diagnosis of timed systems and a class of hybrid dynamic systems |
| 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. |
| diagnosis – timed systems – hybrid dynamic systems – timed automata – rectangular hybrid automata – reachability analysis |
| 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 | |
