Martin Luther University Halle-Wittenberg

EnAS - JackStation + Drucksensoren

Further settings

Login for editors

Main Focus on Research

Modeling of discrete event and hybrid Systems

  • Modular and hierarchichal Modeling
  • Timed and hybrid Models

Formal Synthesis of Controllers

  • Formal Computation of Controllers from plant models and the specifications
  • Automatic Generation of PLC - Code according to IEC 61131
  • Synthesis of modular and timed controllers

Control of Production Systems

  • Automation and operative Control of Batch Processes
  • Production planning and Scheduling of processes in process engineering and manufacturing engineering
  • Integration of Scheduling und Control
  • Process Monitoring and control under faults
  • Manufacturing Execution Systems


  • Development of Techniques to check correctness of control design
  • Application and expansion of modern Methods of Modelchecking on Control Systems
  • Verification of Function Block Design according to IEC 61499


Reconfigurable Systems