Logo - Fakultät Illustration



„Model-based diagnosis for open systems fault management“

AutorInnen: Friedrich Steimann
Peter Fröhlich
Wolfgang Nejdl
Kategorie: Artikel in Zeitschriften
erschienen in: AI Communications 12:1&2 (1999) 5–17
Abstract: The information model chosen by the ISO for the management of open systems is object–oriented. We provide an effective mapping from the structural and behavioural specification of the managed objects of open systems to a compact logical form suitable for model–based diagnosis. Based thereon, we present an efficient algorithm that localizes faults by repairing logical models invalidated through system observations and show that it computes all minimal diagnoses.
Download: PDF
06.05.2008 12:21
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Programmiersysteme, 58084 Hagen, Tel.: +49 2331 987-2998