| Attributes | Values |
|---|
| type
| |
| Thesis advisor
| |
| Author
| |
| alternative label
| - Model-based diagnosis of timed systems and a class of hybrid dynamic systems
|
| dc:subject
| - Thèses et écrits académiques
- Systèmes dynamiques hybrides
- Contrôle technique
|
| preferred label
| - Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides
|
| Language
| |
| Subject
| |
| dc:title
| - Diagnostic à base de modèles des systèmes temporisés et d'une sous-classe de systèmes dynamiques hybrides
|
| Degree granting institution
| |
| note
| - 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.
|
| dc:type
| |
| http://iflastandar...bd/elements/P1001
| |
| rdaw:P10219
| |
| has content type
| |
| is primary topic
of | |
| is rdam:P30135
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
