Module Handbook

  • Dynamischer Default-Fachbereich geändert auf MV

Notes on the module handbook of the department Mechanical and Process Engineering

Die hier dargestellten veröffentlichten Studiengang-, Modul- und Kursdaten des Fachbereichs Maschinenbau und Verfahrenstechnik ersetzen die Modulbeschreibungen im KIS und wuden mit Ausnahme folgender Studiengänge am 28.10.2020, bzw. am 13.01.2021 verabschiedet.

Ausnahmen:

Course MV-MEC-86691-K-4

Hybrid and discrete-event dynamical systems (2V+1U, 5.0 LP)

Course Type

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

Basedata

SWS 2V+1U
CP, Effort 5.0 CP = 150 h
Position of the semester 1 Sem. in WiSe
Level [4] Bachelor (Specialization)
Language [EN] English
Lecturers
Area of study [MV-MEC] Mechatronics in Mechanical and Automotive Engineering
Additional informations
Livecycle-State [NORM] Active

Contents

  • Systems and realizations;
  • Finite systems, Discrete automata and Petri nets;
  • Supervisory control;
  • Infinite systems, Hybrid automata and Petrinets;
  • Reachability;
  • (Bi-)Simulation, Control and verification;
  • Algebraic and Symbolic approaches;
  • Special system classes: Timed automata, Max-Plus Algebra, Mixed logic dynamics;
  • Switching systems.

Competencies / intended learning achievements

1. Lecture:

Hybrid systems form the frontier between continuous and discrete-event dynamical systems. Most processes in systems biology, information and communication technology, as well as industrial automation technology, process engineering, manufacturing, logistics, etc., exhibit a hybrid nature. The description of complex technical systems and decision processes underlies hybrid control theory, which is characterized by a coupling of time- and event-driven mechanisms or continuous and discrete state spaces. The resulting dynamic behaviour patterns are conceivably rich. The lecture teaches basic concepts and mathematical tools for the analysis and synthesis of such dynamical effects and systems, which still form a research focus of control theory after more than three decades of research.

2. Exercise:

Students will be able to understand the concepts of modelling and design methodology using simple examples.

Literature

  • Lunze, J.: “Ereignisdiskrete Systeme: Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen”. Oldenburg Wissenschaftsverlag, 2006.
  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: “Introduction to Automata Theory, Languages, and Computation”. Addison Wesley Pub Co Inc, 2006.
  • Tabuada, P.: “Verification and Control of Hybrid Systems”. Springer, 2009.
  • Cassandras, C.; Lafortune, S.:“Introduction to Discrete Event Systems”. Springer, 2008.
  • Goebel, R.; Sanfelice, R.G.; Teel, A.R.: : “Hybrid Dynamical Systems”. Princeton University Press, 2012.
  • Lunze, J.; Lamnabhi-Lagarrigue, F. (Eds.): “Handbook of Hybrid Systems Control: Theory, Tools, Applications”. 2009.

Materials

Blackboard, help sheets. For further information and course materials please consider the corresponding OLAT-course.

Requirements for attendance (informal)

Advanced mathematics lectures

Requirements for attendance (formal)

None

References to Course [MV-MEC-86691-K-4]

Module Name Context
[MV-MEC-M169-M-4] Hybrid and discrete-event dynamical systems P: Obligatory 2V+1U, 5.0 LP