Martin-Luther-Universität Halle-Wittenberg

EnAS - JackStation + Drucksensoren

Weiteres

Login für Redakteure

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

Rekonfigurierbare Systeme

Zum Seitenanfang