# Cyber-Physical Systems I - Discrete Models

Course type | Lecture |
---|---|

Instructors | Prof. Dr. Andreas Podelski, Dominik Klumpp, Elisabeth Henkel |

Lecture |
Wednesday 16:00 - 18:00, building 101, room SR 01-009/13 |

Exercise |
Weekly exercise groups (in person) -- Group 1: Monday, 16:00 - 18:00, SR 01-009/13, building 101 (Marcel) |

Language of instruction | English |

Credits | 6 |

Exams | Written exam |

Course catalog | Cyber-Physical Systems -- Discrete Models - Lecture Cyber-Physical Systems -- Discrete Models - Exercises |

ILIAS course |
Link |

The lecture is planned as an in-person course.

Depending on the circumstances in the winter, we might have to change plans.

## News

- Oct 05: Note that the exercise sessions will
**start already on 17th and 18th October**. The first lecture is on 19th October. - Oct 05: Homepage online.

## Description

The course provides an introduction to discrete models of cyber-physical systems, their analysis and verification:

- The students learn how to model cyber-physical systems as transition systems. Here, the main focus lies on software and hardware aspects of cyber-physical systems and on methods for modeling parallelism and communication.

- Moreover, the students learn how to express properties about such systems. The course covers different mechanisms to specify temporal properties including linear time properties and branching time properties such as LTL, CTL, and CTL* properties.

- Finally, the course demonstrates how to develop algorithms for checking whether these properties hold. After presenting algorithms for explicit state systems we introduce symbolic BDD-based algorithms which are able to tackle the well-known "state explosion problem". In addition, the course covers basic "Bounded Model Checking" (BMC) techniques which restrict the analysis to computation paths up to a certain length and reduce the verification problem to a Boolean satisfiability problem.

## Lecture

There will be one (in-person) lecture each week, Wednesday 16:00 - 18:00.

We will upload the slides and lecture recordings in ILIAS.

## Exercises

The lecture is accompanied by weekly exercises. Each Thursday we will publish an exercise sheet. Students will have time until the next Wednesday to prepare solutions for the problems stated on the exercise sheet. Solutions may be submitted alone or in groups of two. The solutions must be submitted by 23:59 on Wednesday via the lecture's ILIAS course. The tutors will mark the solutions and discuss them in the exercise groups the following week.

The exercises are **not optional**. You must obtain **at least 50% of the exercise points**. The idea is that you train yourself to write down things in a formally correct way. Your solutions to the exercises will help us to evaluate your knowledge and to evaluate your capability to solve the exercises in the exam.

The students present their solutions in the exercise group. This is done on a voluntary basis (you can choose which exercises you want to present), but every student **must present his/her solution to an exercise** in an exercise group at least once in the semester.

Exercise groups will meet **in-person** at the TF campus. You can find the times of the exercise groups in the table above. Please register for your exercise group in HisInOne.

**The exercise sessions will NOT be recorded. No solution for the exercises will be uploaded.** We encourage you to actively participate in the exercise sessions, as they are essential to practice and better understand the lecture content.

## Exam

There will be a written exam. Further details will be announced later.

You may bring **one*** ***DIN A4 sheet** to the exam. Both sides of this sheet may be filled with any notes (e.g., definitions, theorems, examples) but the notes have to be handwritten. You must not use any other material in the exam (except for writing utensils).

## Resources

### Slides

### Exercise Sheets

Exercise Sheet | Submit by: |
---|---|

Exercise Sheet 01 | Wednesday, 26th October 2022 |

Exercise Sheet 02 | Wednesday, 2nd November 2022 |

Exercise Sheet 03 | Wednesday, 9th November 2022 |

Exercise Sheet 04 | Wednesday, 16th November 2022 |

Exercise Sheet 05 | Wednesday, 23rd November 2022 |

Exercise Sheet 06 | Wednesday, 30th November 2022 |

Exercise Sheet 07 | Wednesday, 7th December 2022 |

### Old lectures

- Winter Term 2018/19, Winter Term 2019/2020, Winter Term 2020/2021 (Here you can find old exercise sheets.)
- Winter Term 2017/18 (Here you can find an old mock exam, for instance.)
- Winter Term 2016/17 (Here you can find old slides.)