Project Details
Projekt
Diagnostics based on petri nets and logics
Applicant
Professor Dr. Kurt Lautenbach
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 2001 to 2003
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5307818
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.
DFG Programme
Priority Programmes
