Qualitative Multi-faults Diagnosis based ...
Type de document :
Communication dans un congrès avec actes
Titre :
Qualitative Multi-faults Diagnosis based on Automated Planning - I: Theory and Modelling
Auteur(s) :
Hu, Hexuan [Auteur]
Systèmes Tolérants aux Fautes [STF]
Gehin, Anne-Lise [Auteur]
Systèmes Tolérants aux Fautes [STF]
Merchez, Mireille [Auteur]
Systèmes Tolérants aux Fautes [STF]
Systèmes Tolérants aux Fautes [STF]
Gehin, Anne-Lise [Auteur]

Systèmes Tolérants aux Fautes [STF]
Merchez, Mireille [Auteur]

Systèmes Tolérants aux Fautes [STF]
Titre de la manifestation scientifique :
7th Workshop on Advanced Control and Diagnosis
Ville :
Zielona Gora
Pays :
Pologne
Date de début de la manifestation scientifique :
2009-11-19
Titre de l’ouvrage :
Proceedings of the 7th Workshop on Advanced Control and Diagnosis (ACD 2009)
Date de publication :
2009-11-19
Mot(s)-clé(s) en anglais :
First Principles
Multi-faults Diagnosis
Automated Planning
Qualitative
Multi-faults Diagnosis
Automated Planning
Qualitative
Discipline(s) HAL :
Sciences de l'ingénieur [physics]/Automatique / Robotique
Résumé en anglais : [en]
This paper is intended to present a flexible qualitative framework of multi-faults diagnosis based on the first principles theory of Reiter (1987). We extend his consistency-based approach to deal with the dynamic and ...
Lire la suite >This paper is intended to present a flexible qualitative framework of multi-faults diagnosis based on the first principles theory of Reiter (1987). We extend his consistency-based approach to deal with the dynamic and continuous systems and offer a necessary assumption and a formal demonstration. Multi-faults diagnosis is a partially observable problem because there is usually not enough information about faults. STRIPS, a classic technique of automated planning, is chosen to build the system model. It provides the reasoning ability for the multi-faults diagnosis when diagnosis is formalized as reasoning from effects to causes with causal knowledge.Lire moins >
Lire la suite >This paper is intended to present a flexible qualitative framework of multi-faults diagnosis based on the first principles theory of Reiter (1987). We extend his consistency-based approach to deal with the dynamic and continuous systems and offer a necessary assumption and a formal demonstration. Multi-faults diagnosis is a partially observable problem because there is usually not enough information about faults. STRIPS, a classic technique of automated planning, is chosen to build the system model. It provides the reasoning ability for the multi-faults diagnosis when diagnosis is formalized as reasoning from effects to causes with causal knowledge.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :