Hallenser Schriften zur Automatisierungstechnik
ISSN: 1616-4679

Herausgeber: Prof. Dr. H.-M. Hanisch

Martin-Luther-Universität Halle
Institut für Prozess- u. Stoffmodellierung
Fachbereich Ingenieurwissenschaften
06099 Halle / Saale

Bislang erschienene Bände:

Bd. 1: Arndt Lüder
Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen
Bd. 2: Ulrich Christmann
BatchMon. Monitoring and Simulation of Recipe Driven Batch Processes in Disturbance Situations
Bd. 3: Jan Thieme
Symbolische Erreichbarkeitsanalyse und automatische Implementierung strukturierter, zeitbewerteter Steuerungsmodelle
Bd. 4: Sirko Karras
Systematischer modellgestützter Entwurf von Steuerungen für Fertigungssysteme
Bd. 5: Oliver Gutzeit
Modellbasierte Entscheidungsunterstützung bei der Fertigung bahngeführter Materialien
Bd. 6: Martin Hirsch
Systematic Design of Distributed Industrial Manufacturing Control Systems
Bd. 7: Christian Gerber
Implementation and Verification of Distributed Control Systems
Bd. 8: Mohamad Fauzan Amir
Modeling and Analysis for Optimal Scheduling of Biodiesel Batch-Plants
Bd. 9: Dirk Missal
Formal Synthesis of Safety Controller Code for Distributed Controllers
Bd. 10: Sebastian Preuße
Technologies for Engineering Manufacturing Systems Control in Closed Loop


Bitte senden Sie mir per email Informationen zu Neuerscheinungen dieser Buchreihe zu.
email: