Objektorientierte Methoden Zum Automatisierten Entwurf Von Modellbasierten Diagnosesystemen

Der Einsatz von modellbasierten Diagnosesystemen ist in vielen Bereichen wie z. B. der Luft- und Raumfahrttechnik und der Fahrzeugtechnik von grosser Bedeutung. Die zur Verfugung stehenden Methoden lassen sich in FDI-Methoden, welche aus der Systemtheorie stammen, und in DX-Methoden, welche aus der Informatik stammen, unterteilen. Beide Ansatze unterscheiden sich in den anwendbaren Systemklassen und der Entwurfsmethodik. DX-Methoden sind auf Systeme ausgerichtet, welche im Rahmen der Pradikatenlogik beschrieben werden konnen. FDI-Methoden hingegen sind auf dynamische Systeme fokussiert. Die Entwurfsmethodik unterscheidet sich im Automatisierungsgrad. DX-Systeme werden haufig automatisch basierend auf einer Modellbibliothek von Standardkomponenten entworfen. Im Gegensatz dazu erfolgt der Entwurf von FDI-Systemen mehrheitlich manuell. Da jedoch viele Systeme der praktischen Anwendung durch eine hohe Komplexitat charakterisiert sind, fuhrt die mangelnde Automatisierung zu einem erheblichen Entwicklungsaufwand. Die vorliegende Arbeit setzt an dieser Stelle an, d.h. es wird untersucht, inwieweit die Vorgehensweise bei dem Entwurf von DX-Systemen auf den Entwurf von FDI-Systemen fur komplexe dynamische Systeme ubertragen werden kann. Als Mittel der Integration der Vorgehensweise in eine neue automatisierte FDI-Entwurfsmethode wird das Konzept der Objektorientierung verwendet, welches in beiden Forschungsrichtungen bekannt ist. In der Systemtheorie wird die Objektorientierung jedoch hauptsachlich fur die Modellierung verwendet. Fur den systemtheoretischen Entwurf von Reglern oder Diagnosesystemen ist sie jedoch nicht etabliert. Aus diesem Grund wird das objektorientierte Entwurfsproblem zunachst grundsatzlich analysiert und die Auswirkungen der Vorgehensweise auf das resultierende Diagnosesystem werden untersucht. Basierend auf dieser Analyse werden zwei neue FDI-Entwurfsmethoden entwickelt, von welchen eine auf allgemeinen objektorientierten Verhaltensmodellen in Form von differential-algebraischen Gleichungen basiert, wohingegen der andere Ansatz auf Bond-Graph-Modellen, welche eine Spezialform von objektorientierte Modellen darstellen, basiert. Die Demonstration und die simulative Verifikation dieser Methoden erfolgt an einem elektromechanischen Positioniersystem und einem pneumatisch aktuierten Regelventil.