---

Schwerpunkte unserer Forschungsarbeit

Modellbildung ereignisdiskreter und hybrider Systeme

• Modulare und hierarchische Modellierung
• Zeitbewertete und hybride Modelle

Formale Synthese von Steuerungen

• Formale Berechnung von Steuerungen aus Modellen der Strecke und der Spezifikationen
• Automatische Generierung von SPS - Code nach IEC 61131
• Synthese modularer und zeitbehafteter Steuerungen

Steuerung von Produktionssystemen

• Automatisierung und operative Steuerung von Batch-Prozessen, Rezeptsteuerungen
• Produktionsplanung und Scheduling für verfahrenstechnische und fertigungstechnische Prozesse
• Integration von Scheduling und Steuerung
• Prozessüberwachung und Steuerung bei Störungen
• Manufacturing Execution Systems

Verifikation

• Entwicklung von Techniken zur Korrektheitsüberprüfung von Steuerungsentwürfen
• Anwendung und Erweiterung moderner Methoden des Modelchecking auf Steuerungssysteme
• Verifikation von Funktionsblockentwürfen nach IEC 61499

Testbed

• IEC61499 Control of a Distributed Manufacturing System

Rekonfigurierbare Systeme

Zum Seitenanfang