Introduction to CPS
News
2023.04.12: Creation of the course website
2023.05.15: Confirmation of industry speakers and tutorial from Mathworks
2023.09.26: Website archived; no material can be downloaded
Logistics
Official course description from TUM (note that the course has been renamed)
Instructor: Chih-Hong Cheng
Lecture time & location: Tue & Wed 8:00-9:30, TUM Heilbronn Campus (Tue: Forum; Wed: D.2.01)
Exercise/Lab/Discussion time & location: Tue 9:45-11:15, TUM Heilbronn Campus (Forum)
Grading: max{40% final_exam + 40% hands-on projects + 20% top 3 score assignments, 60% final_exam + 40% hands-on projects}, with additional bonus 10% on presenting EMSOFT'22 or 23 papers well
The score will be calculated using the basis of 100 points, then converted to the German system based on a scale defined in the first class (e.g., [90,100]: 1.0). See logistics for details.
Homework plagiarism is prohibited.
I don’t object to study group discussions (I already mentioned this in the class), but the text/result should be created by you. E.g., you draw the Simulink / Ptolemy II design diagram. You write down the solution in your own words.
From HW2 onwards, any homework plagiarism will be notified to the university for further processing.
Class schedule & materials
2023.05.03: Logistics & Introduction to CPS [slide00_update, slide01]
2023.05.09: Model-based Design (online lecture) [slide02_update]
2023.05.10: Modelling Continuous Dynamics [slide02a_update]
2023.05.16: Modeling Discrete Dynamics & Tutorial on Ptolemy II (please install the software before the lecture) [slide03]
2023.05.17: Extended and Timed Automata [slides04, bouncing_ball_models] [HW1]
2023.05.23: Composition of State Machines, Hierarchical State Machines [slide05_update] [traffic_light_model]
2023.05.24: Synchronous Reactive (SR) & Static Dataflow (SDF), Sensors & Actuators [slide06] [slide07]
2023.05.30: no lecture (TUM lecture-free period)
2023.05.31: Vision with neural networks (online lecture) [slide_E01_update]
2023.06.06: (Guest Lecture 1) Model-based design in Practice from Mathworks, lecture + exercise [slides_G01][models]
To run the exercise session
Please install MATLAB, Simulink, Stateflow, Embedded Coder, and optionally Simulink Check – including their dependencies.
To be able to run Software-in-the-loop simulations and tests, students need to have a compatible compiler – see information here https://www.mathworks.com/support/requirements/embedded-coder.html
Microsoft Visual C++ 2022/2019/2017 product family.
2023.06.07: Toyota example [slides] + Input/Output & Interrupts [slide_10]
Note: Operating Systems and Microkernels will not be covered, as you have courses already
2023.06.13: Basic algorithms for autonomous CPS, beyond PID & DNN + HW1 discussion in exercise [slide_E02] (HW2 release)
2023.06.14: Basic algorithms for autonomous CPS, beyond PID & DNN [slide_E03_update]
2023.06.20: (Guest lecture 2) CPS for energy and discrete automation from ABB, lecture (starts at 9:30) [slide_G02]
2023.06.21: Scheduling, Scheduling Anomalies (online lecture) [slide_12]
2023.06.27: Execution Time Analysis [slide_16]
2023.06.28: Specification and Temporal Logic [slides_13_update] (HW3 release: Due July 24th)
2023.07.04: Reachability Analysis [slide_15_update]
2023.07.05: Safety Assurance of Autonomous CPS [slide_E04]
2023.07.11: (Guest lecture 3) Scenario-based testing for autonomous driving from DENSO, lecture
2023.07.12: Paper presentation, with food & drinks prepared by the lecturer
2023.07.18: Project presentation, with food & drinks prepared by the lecturer
2023.07.19: Course wrap-up & hints on exams (HW4 release: Due August 14th)
2023.07.28: Exam
2023.08.09: 2nd slot for project & paper presentation
2023.09.25: Exam (for 2nd chance; only counted as 60%, as the project still credits 40%)
For the bonus paper presentation, below is the link for selecting papers (You can NOT a paper that only has 4 or less than 4 pages):