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