Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Martin-Luther-Universität Halle-Wittenberg
Institut für Informatik
Lehrstuhl für Automatisierungstechnik (aufgelöst)
Address
Theodor-Lieser-Straße 5
06120 Halle
Deutschland
06120 Halle
Projects
Research Grants
Completed projects
Formale Synthese verteilter Prozesssteuerungen
(Applicant
Hanisch, Hans-Michael
)
Formale Synthese verteilter Steuerungen
(Applicant
Hanisch, Hans-Michael
)
Modellierung und Verifikation der Abarbeitungssteuerung von Funktionsblöcken nach IEC 1499 mit Signal-Ereignis-Netzen
(Applicant
Hanisch, Hans-Michael
)
Priority Programmes
Completed projects
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
(Applicant
Hanisch, Hans-Michael
)
Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen
(Applicant
Lautenbach, Kurt
)
Integration von Spezifikations- und Modellierungstechniken bei der Modellsynthese im Steuerungsentwurf
(Applicant
Hanisch, Hans-Michael
)
Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
(Applicant
Hanisch, Hans-Michael
)
Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
(Applicant
Genrich, Hartmann
)
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
(Applicant
Hanisch, Hans-Michael
)
Workbench zur inkrementellen und modularen Entwicklung offener Modelle
(Applicant
Hanisch, Hans-Michael
)
Research Fellowships
Completed projects
Development of distributed re-configurable controllers following the IEC 61499 technology : Modeling, Verification and Implementation
(Applicant
Khalgui, Ph.D., Mohamed
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung