Autor: |
Alain Lefebvre, Jörg Callies, André Bos |
Rok vydání: |
1995 |
Předmět: |
|
Zdroj: |
Telematics and Informatics. 12:161-170 |
ISSN: |
0736-5853 |
DOI: |
10.1016/0736-5853(95)00021-6 |
Popis: |
For about a decade model-based reasoning has been propounded by a number of researchers. Maybe one of the most convincing arguments in favor of this kind of reasoning has been given by Davis in his paper on diagnosis from first principles (Davis 1984). Following their guidelines we have developed a system to verify the behavior of a satellite-based instrument GOME (which will be measuring Ozone concentrations in the near future (1995)). We start by giving a description of model-based monitoring. Besides recognizing that something is wrong, we also like to find the cause for misbehaving automatically. Therefore, we show how the monitoring technique can be extended to model-based diagnosis. |
Databáze: |
OpenAIRE |
Externí odkaz: |
|