Detailseite

Professor Dr.-Ing. Hans-Michael Hanisch

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen (Sachbeihilfen)
  - Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Schwerpunktprogramme)
  - Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Schwerpunktprogramme)
  - Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf (Schwerpunktprogramme)
  - Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen (Schwerpunktprogramme)
  - Workbench zur inkrementellen und modularen Entwicklung offener Modelle (Schwerpunktprogramme)
  - Formale Synthese verteilter Steuerungen (Sachbeihilfen)
  - Formale Synthese verteilter Prozesssteuerungen (Sachbeihilfen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (Schwerpunktprogramme)
  - Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen (Schwerpunktprogramme)
Als Gastgeber
- abgeschlossene Projekte
  - Development of distributed re-configurable controllers following the IEC 61499 technology : Modeling, Verification and Implementation (Forschungsstipendien)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Hans-Michael Hanisch

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Hans-Michael Hanisch

Zusatzinformationen

Textvergrößerung und Kontrastanpassung