Skip to Main content Skip to Navigation
Theses

Reasoning about models: detecting and isolating abnormalities in diagnostic systems

Nuno Belard 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : In Model-Based Diagnosis, a set of inference rules is typically used to compute diagnoses using a scientific and mathematical theory about a system under study and some observations. Contrary to the classical hypothesis, it is often the case that these Models are abnormal with respect to a series of required properties, hence affecting the quality of the computed diagnoses with possibly huge economical consequences, in particular at Airbus. A thesis on reality and cognition is firstly used to redefine the classic framework of modelbased diagnosis from a formal model-theoretic perspective. This, in turn, enables the formalisation of abnormalities and of their relation with the properties diagnoses. With such material and the idea that an implemented diagnostic system can be seen a realworld artefact to be diagnosed, a theory of meta-diagnosis is developed, enabling the detection and isolation of abnormalities in Models of diagnostic systems and explanation in general. Such theory is then encoded in a tool, called MEDITO, and successfuly tested against Airbus real-world industrial problems. Moreover, as different heterogeneous implemented Airbus diagnostic systems, suffering from distinct abnormalities, may compute different diagnoses, methods and tools are developed for: 1) checking the consistency between subsystem-level diagnoses and 2) validating and comparing the performance of these diagnostic systems. Such work relies on an original bridge between the Airbus framework of diagnosis and its academic counterpart. Finally, meta-diagnosis is generalised to handle meta-systems other than implemented diagnostic systems.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00719547
Contributor : Emilie Marchand <>
Submitted on : Friday, July 20, 2012 - 10:02:55 AM
Last modification on : Thursday, June 10, 2021 - 3:03:07 AM
Long-term archiving on: : Sunday, October 21, 2012 - 2:22:14 AM

Identifiers

  • HAL Id : tel-00719547, version 1

Citation

Nuno Belard. Reasoning about models: detecting and isolating abnormalities in diagnostic systems. Automatique / Robotique. Université Paul Sabatier - Toulouse III, 2012. Français. ⟨tel-00719547⟩

Share

Metrics

Record views

436

Files downloads

804