Diagnostics based on petri nets and logics

点击翻译按钮获取中文摘要

Im Rahmen der von mir betreuten Promotionen von Herrn Kruse und Herrn Simon haben sich in jüngster Zeit neuere Möglichkeiten zur Diagnose in dynamischen Systemen ergeben. Herr Kruse kann in seiner Dissertation dadurch Aussagen diagnostizieren, daß er die Petri-Netz-Darstellungen logischer Formeln inklusive ihre Markierung dualisiert. Dabei ergeben sich Petri-Netze mit Transitionsmarken, die gegen die Kantenrichtung laufen und das Nicht-Schalten bzw. Nicht-Geschaltet-Haben von Transitionen ausdrücken. Es macht Sinn, Petri-Netze mit beiden Markentypen zu betrachten und in den resultierenden Netzen beide Markentypen gegeneinander laufen zu lassen. Dabei werden Gründe für das Nicht-Schalten von Transitionen aufgedeckt. Herr Simon hat in seiner Dissertation eine Logik des Handelns untersucht, die zu den Standard-Logiken dual ist, und hat diese für technische Problemstellungen anwendbar gemacht. Zudem hat er diese Logik um eine Zeitkomponente erweitert. In dem nun beantragten Projekt sollen beide Arbeiten zusammengeführt werden, um nicht nur hinsichtlich situationsartiger, sondern auch hinsichtlich prozeßartiger Spezifikationen diagnostizieren zu können. Wir werden außerdem Diagnose in erweiterten Zeitstempelnetzen betreiben, wodurch wir diskrete und kontinuierliche Zustands- und Prozeßgrößen von (technischen) Systemen berücksichtigen. Wir erwarten neben praktischen Ergebnissen für die Automatisierungstechnik auch grundlegende Erkenntnisse hinsichtlich der Ambivalenz von Situationen und Prozessen.