Martin-Luther-Universität Halle-Wittenberg

EnAS - JackStation + Drucksensoren

Weiteres

Login für Redakteure

Dr.-Ing. Sebastian Preuße

Wissenschaftlicher Mitarbeiter

Telefon: 0345-55-25975

E-Mail:


Forschungsschwerpunkte

  • OMSIS - Projekt
  • Erstellung von Verhaltensspezifikationen für technische Anlagen auf der Basis temporaler Logiken
  • Generierung formaler Anlagenmodelle aus 3D Anlagensimulationen
  • Formale Steuerungsmodellierung
  • Hardware in the Loop (HiL) und Software in the Loop (SiL) Steuerungstest

Veröffentlichungen


Technische Berichte

Zum Seitenanfang