Projekte

AG Lautenbach: aktuelle Projekte

Mobile Systeme

Für den im Aufbau befindlichen Studienschwerpunkt 'Mobile Systeme' wird die Theorie höherer Petri-Netze (insbesondere Prädikat/Transitions-Netze) erweitert. Dies geschieht in erster Linie, um den Bereich der Discrete Event Systems mit einer einheitlichen Darstellungsform zu erfassen. Real-zeitliche, probabilistische und possibilistische technische Prozesse müssen als Netzprozesse modellierbar sein, um im Modell zu diagnostizieren, Steuerungen zu entwerfen und systematische Fehler zu beheben. Insbesondere für die automatische Generierung von Steuerungen, für die Fuzzy-Regelung und für die Fehlerbehandlung hat sich der Modellierungsansatz mit Prädikat/Transitions-Netzen als sehr geeignet erwiesen. Auch im Bereich kontinuierlicher technischer und biologischer Systeme hat die Theorie höherer Petri-Netze Modellierungserfolge erzielt. Deshalb widmet sich die Arbeitsgruppe zunehmend auch der Verbindung von Netzen und Differenzialgleichungen.