Automation
Behandelt diskrete Ereignissysteme, Petri-Netze, stochastische Systeme und Markov-Ketten sowie SPS-Programmierung nach IEC 61131-3. Umfasst die Gestaltung und Verifikation sicherheitsrelevanter Steuerungssysteme, Modellierung von linearen und nichtlinearen Systemen mit Matlab und Simulink.