Mathematical Foundations and Practices for CPS
News
2023.09.26: Creation of the course website
2023.10.03: Tentative schedule created
2023.11.01: Guest lectures from Siemens, Bosch, and DENSO confirmed
Logistics
Official course description from Hildesheim
Pass key for LearnWeb: ACPS-MFPCPS-WiSe24
Instructor: Chih-Hong Cheng
Lecture time & location:
Tuesdays 8:30-10:00, A09 (we will not have a break in between)
Wednesday 8:30-10:00, B037 (we will not have a break in between)
Exercise/Lab/Discussion time & location: every two weeks, 12:00-13:30, A09 (we will not have a break in between)
Grading: max{40% final_exam + 40% hands-on projects + 20% top 2 score assignments, 60% final_exam + 40% hands-on projects}, with additional bonus 10% on presenting ICCPS'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 strictly 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 Anesim / Simulink / Ptolemy II design diagram. You write down the solution in your own words.
Any homework plagiarism will be notified to the university for further processing.
Project presentation template
Class schedule & materials
2023.11.07: Logistics & Introduction to CPS [slides0] [slides1]
2023.11.08: Model-based Design, Modelling Continuous Dynamics & PID controller [slides2] [slides2a (part A)]
2023.11.14: Actors & Tutorial on Ptolemy II (please install the software before the lecture) [slides2b (part B)] [slides3]
2023.11.15: Embedded vision (slides_e01)
2023.11.21: Modeling Discrete Dynamics & Extended and Timed Automata [slides4] (HOMEWORK 1)
2023.11.22: Composition of State Machines & Hierarchical State Machines [slides5]
2023.11.28: Basic algorithms for autonomous CPS, beyond PID & DNN - PART 1 [slides_e02] & Project idea presentation
2023.11.29: (Guest Lecture 1 - Siemens) CPS for battery electric vehicles
2023.12.05: Basic algorithms for autonomous CPS, beyond PID & DNN - PART 2 [slides_e03]
2023.12.06: Sensors and Actuators, Input/Output & Interrupts [slides7_10]
2023.12.12: Sensors and Actuators, Input/Output & Interrupts, SDF [slides6] (HOMEWORK 2)
2023.12.13: Scheduling, Scheduling Anomalies [slides12]
2023.12.19: (Guest Lecture 2 - Siemens) Sensor fusion techniques in autonomous driving in practice
2023.12.20: Scheduling, Scheduling Anomalies (continued)
2024.01.09: Execution Time Analysis [slides16]
2024.01.16: Specification and Temporal Logic [slides13]
2024.01.17: Reachability Analysis [slides15]
2024.01.24: Safety Assurance of Autonomous CPS [slidesE04] (HOMEWORK_3)
2024.01.30: (Guest Lecture 3 - DENSO) Intelligent testing for autonomous vehicles
2024.01.31: (Guest Lecture 4 - BOSCH) Safety concerns for deep neural networks
2024.02.06: Course Wrap-Up & Hints on exams [slides_wrapup]
2024.02.07: Recent research trends in CPS
2024.02.21: Project Presentation
2024.02.26: Final exam
Time: 14:30-16:00
Location: Room C135
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), and you can't select a paper that has video recordings online: