Module Handbook

  • Dynamischer Default-Fachbereich geändert auf EIT

Course EIT-AUT-450-K-7

Logic Control (2V+1U, 4.0 LP)

Course Type

SWS Type Course Form CP (Effort) Presence-Time / Self-Study
- K Lecture with exercise classes (V/U) 4.0 CP
2 V Lecture 28 h 52 h
1 U Lecture hall exercise class 14 h 26 h
(2V+1U) 4.0 CP 42 h 78 h


CP, Effort 4.0 CP = 120 h
Position of the semester 1 Sem. in WiSe
Level [7] Master (Advanced)
Language [EN] English
Area of study [EIT-AUT] Automation Control
Livecycle-State [NORM] Active


  • Procedure of developing logic control systems
  • Modelling of logic control systems (Boolean algebra, automata, petri nets, signal interpreted petri nets)
  • Analysis of system behavior (e.g. reachability, structural properties, deadlock, liveness, reversibility, conflict, formal correctness, reachability graph, coverability graph)
  • Design of logic controllers
  • Methods for verification and validation of logic control systems (simulation, model checking, temporal logic, explicit model checking, symbolic model checking)
  • Online diagnosis of logic control systems
  • Implementation of logic control systems (programmable logic controller (PLC), programming languages, ladder diagram, function block diagram, instruction list, sequential function chart, structured text, Norm IEC 61131)
  • Automatic generation of PLC code
  • Distributed logic control, norm IEC 61499


  • C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems, Springer, 2008.
  • K.-H. John and M. Tiegelkamp. IEC 61131-3: Programming Industrial Automation Systems. Springer, 2010.
  • J. Lunze. Ereignisdiskrete Systeme (in German) , De Gruyter Oldenbourg Verlag, 2017.
  • L. Litz. Grundlagen der Automatisierungstechnik (in German), Chapter 3, Oldenbourg Verlag, 2013.


Lecture notes

Requirements for attendance (informal)


Requirements for attendance (formal)


References to Course [EIT-AUT-450-K-7]

Module Name Context
[EIT-AUT-450-M-7] Logic Control P: Obligatory 2V+1U, 4.0 LP