Model-based diagnosis of timed systems and a class of hybrid dynamic systems
Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides
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.
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.
Loading...