Allgemeine Angaben 

CyberPhysical Systems (IN2305)   




lecture with integrated exercises 












Allocations: 1  
eLearning[Provide new moodle course in current semester] 



Angaben zur Abhaltung 

In many modern systems, computing elements are tightly connected with physical entities for which the term "cyberphysical systems" has been established in recent years. Examples are automated vehicles, surgical robots, smart grids, and collaborative humanrobot manufacturing.
Discrete dynamics: modeling (Moore/Mealy machine, Petri nets, satecharts), solution traces, temporal logic, introduction to model checking, controller synthesis.
Continuous dynamics: modeling, ordinary differential equations, solution of linear differential equations, simulation of differential equations, system properties, stability analysis, introduction to control of continuous systems.
Hybrid dynamics: modeling (timed automata, hybrid automata, hybrid statecharts), simulation of hybrid dynamics, stability analysis, introduction to reachability analysis, introduction to reachability analysis, supervisory control. 




After attending the course, you are able to model, analyze, and control cyberphysical systems at a level that enables you to continue deeper studies on your own. In particular, you will acquire the following skills:
 You understand the benefits of different representations of discrete systems (finite state machines, Petri nets, statecharts).  You can create controllers that solve given control tasks.  You can transform continuoustime signals into event sequences.  You can transform representations of discrete systems to different representations (finite state machines, Petri nets, statecharts).  You understand the difference between abstracting and simulation of finite state automata.  You understand and can explain the execution of discrete systems.  You can analyze discrete systems (e.g. deterministic behavior, live/deadlock, boundedness, stable cycles, conflictfree and complete outputs, etc.).  You can apply systematic control design for discrete systems.  You understand the difference between verification and validation as well as informal and formal methods.  You know and understand various techniques for manual and automatic test case generation.  You can apply model checking to discrete systems.  You can analyze linear time invariant systems (stability, observability, controllability).  You can perform the Laplace transform on LTI systems and compute transfer functions.  You can linearize nonlinear systems.  You can apply Lyapunov's stability theorem to nonlinear systems.  You can improve the performance of standard control loops by applying feedforward control, disturbance feedforwarding, and cascaded control.  You can design linear quadratic regulators, Luenberger observers, and Kalman filters.  You can design timed and hybrid automata and obtain their solution.  You can obtain/sketch the reachable set of a timed automaton.  You can program a simple simulator for hybrid systems.  You can explain the concept of common and multiple Lyapunov functions.  You understand the basic principles for computing the reachable set of hybrid systems. 




The module consists of a lecture and exercise classes. The content of the lecture is presented via slides, which are completed during the lecture using the blackboard. Students are encouraged to additionally study the relevant literature. In the exercise classes, the learned content is applied to practical examples to consolidate the content of the lecture. Students should ideally have tried to solve the problems before they attend the exercise. To encourage more participation, you are regularly asked questions or encouraged to participate via the software Tweedback. 




Für die Anmeldung zur Teilnahme müssen Sie sich in TUMonline als Studierende*r identifizieren. 


Zusatzinformationen 

E. A. Lee and S. A. Seshia,Introduction to Embedded Systems  A CyberPhysical Systems Approach, LeeSeshia.org, 2011.
P. Marwedel, Embedded System Design: Embedded Systems Foundations of CyberPhysical Systems, Springer
A. J. Van Der Schaft, An Introduction to Hybrid Dynamical Systems, Springer 




