Schedule
Date | Lecture Notes | Ch | Extra | ||
---|---|---|---|---|---|
Mon | 21.10. | Cyber-physical systems: introduction | 1 | (V) (S) | |
Thu | 24.10. | Differential equations & domains | 2 | ||
Mon | 28.10. | Choice & control | 3 | ||
Thu | 31.10. | Ü: Modeling cyber-physical systems | |||
Mon | 04.11. | Safety & contracts | 4 | ||
Thu | 07.11. | Dynamical systems & dynamic axioms | 5 | ||
Mon | 11.11. | Truth & proof | 6 | ||
Thu | 14.11. | Ü: Verifying cyber-physical systems | |||
Mon | 18.11. | Control loops & invariants | 7 | ||
Thu | 21.11. | Ü: Verifying CPS with KeYmaera X | |||
Mon | 25.11. | Differential equations & differential invariants | 10 | ||
Thu | 28.11. | Differential equations & proofs | 11 | ||
Mon | 02.12. | Ghosts & differential ghosts | 12 | ||
Thu | 05.12. | Ü: Proving unsolvable differential equations | |||
Mon | 09.12. | Hybrid systems & games | 14 | ||
Thu | 12.12. | Winning strategies & regions | 15 | ||
Mon | 16.12. | Winning & proving hybrid games | 16 | ||
Thu | 19.12. | Axioms & uniform substitutions | 18 |
| |
Mon | 23.12. | Ü: Playing and proving hybrid games | |||
Mon | 06.01. | Free: Drei Könige | |||
Thu | 09.01. | Verified models & verified runtime validation | 19 | ||
Mon | 13.01. | Ü: Comprehensive CPS correctness | |||
Thu | 16.01. | Hybrid systems & continuous completeness |
| ||
Mon | 20.01. | Hybrid systems & discrete completeness |
| ||
Thu | 23.01. | Differential equations & completeness |
| ||
Mon | 27.01. | Ü: Complete considerations in CPS | |||
Thu | 30.01. | Distributed systems & hybrid systems |
| ||
Mon | 03.02. | Virtual substitution & real equations | 20 |
| |
Thu | 06.02. | Virtual substitution & real arithmetic | 21 | , | |
Mon | 10.02. | Ü: Outlook and preparation | |||
Thu | 13.02. | Safe AI & autonomous dynamical systems |
| ||
TBD | Exam: |
The lecture schedule is tentative!
The chapter numbers indicated above refer to the following textbook:
![]() |