Die Arbeit beschreibt ein produktintegriertes Verfahren zur modellbasierten
Diagnose großer statischer stückweise linearer Systeme. Eine Reduktion der
Berechnungskomplexität erfolgt durch die systematische Analyse der
Systemstruktur. Neuartige Methoden arbeiten auf einer abstrakten
Systembeschreibung, bei der nur die Existenzen der Beziehungen zwischen den
einzelnen Systemgrößen betrachtet werden müssen. Für die diagnostische
Aussage kommen neue Verfahren auf numerischer Ebene zum Einsatz.
Martin M Konieczny
Constraint Solver Komplexitätsreduktion Modellbasierte Diagnose Strukturelle Analyse