Project Details

Professor Dr.-Ing. Hans-Michael Hanisch

Address Martin-Luther-Universität Halle-Wittenberg
Institut für Informatik
Lehrstuhl für Automatisierungstechnik (aufgelöst)
Theodor-Lieser-Straße 5
06120 Halle

Projects

As Applicant
- Completed projects
  - Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen (Research Grants)
  - Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Priority Programmes)
  - Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Priority Programmes)
  - Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf (Priority Programmes)
  - Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Priority Programmes)
  - Workbench zur inkrementellen und modularen Entwicklung offener Modelle (Priority Programmes)
  - Formale Synthese verteilter Steuerungen (Research Grants)
  - Formale Synthese verteilter Prozesssteuerungen (Research Grants)
As Participating Person
- Completed projects
  - Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Priority Programmes)
  - Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Priority Programmes)
As Host
- Completed projects
  - Development of distributed re-configurable controllers following the IEC 61499 technology : Modeling, Verification and Implementation (Research Fellowships)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Hans-Michael Hanisch

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Hans-Michael Hanisch

Additional Information

Textvergrößerung und Kontrastanpassung