Hybrid Dynamical Systems
Description
Hybrid systems arise whenever continuous and discrete dynamics interact. This is often the case when logic decision making or embedded control actions are combined with continuous physical processes. For instance, when computers and physical processes interact. Nearly all dynamic processes in automation, logistics, production, biology, etc. display such heterogeneity. In order to capture the evolution and the interaction of discrete and continuous processes, rigorous mathematical frameworks are needed. Usually, such frameworks consist of differential equations or inclusions that describe the continuous dynamics of the hybrid process, and automata, finite-state machines or Petri nets that describe the discrete and logical behavior. The collection of analysis and synthesis methods developed for these frameworks forms the research area of hybrid systems theory, which plays an important role in the multi-disciplinary design of many technological systems. The captured dynamical patterns are thus rich and continue to stand for a front research in control theory.
Course Content
The course Hybrid Systems gives an overview of the basic concepts and modeling techniques. Also, it aims to provide rigorous mathematical foundations of the covered methods. The focus is conceptual rather than technical. Applications are addressed throughout the course.
Symbolic models: Systems; Hybrid systems; Finite systems; Hybrid automata / Petrinets.
Symbolic methods: Model abstraction; Simulation; Symbolic control and verification.
Algebraic models and methods: Mixed integer models and optimal control, impulsive differential systems, switched systems, stability.
Literature
- Cassandras, C., Lafortune, S. Introduction to Discrete Event Systems. Springer, 2008.
- Tabuada, P. Verification and Control of Hybrid Systems. Springer, 2009.
- Goebel, R., Sanfelice, R.G., Teel, A.R. Hybrid Dynamical Systems. Princeton University Press, 2012.
Dozenten
Prof. Dr.-Ing. Naim Bajcinca
naim.bajcinca(at)mv.uni-kl.de
+49 631/205-3230
Gebäude 42, Raum 262
Sprechstunde: nach Vereinbarung
Übungsleiter
Iqra Batool
iqra.batool@mv.uni-kl.de
+49 631/205-3702
Gebäude 42, Raum 257
Exam
Oral examination: 30-45 min.
Credit points: 5 ECTS
Prerequisites
Systems and control theory
Algebra / Calculus
Ordinary differential equations