KIT: Logical Foundations of Cyber-Physical Systems (Wi'26)

Textbook chapters for the individual lectures are linked below, including supporting slides marked with (⊞) and supporting videos marked with (▶). Neither slides nor videos always cover the full lecture. (▶) = videos      (⊞) = slides

Schedule

Date		Lecture Notes	Ch	Extra
Mon	26.10.	Cyber-physical systems: introduction	1	(▶) (⊞)
Wed	28.10.	Differential equations & domains	2	(▶) (⊞)
Mon	02.11.	Choice & control	3	(▶) (⊞)
Wed	04.11.	Ü: Modeling cyber-physical systems
Mon	09.11.	Safety & contracts	4	(▶) (⊞)
Wed	11.11.	Dynamical systems & dynamic axioms	5
Mon	16.11.	Truth & proof	6
Wed	18.11.	Control loops & invariants	7
Mon	23.11.	Ü: Verifying cyber-physical systems
Wed	25.11.	Differential equations & differential invariants	10
Mon	30.11.	Differential equations & proofs	11
Wed	02.12.	Ghosts & differential ghosts	12
Mon	07.12.	Ü: Proving unsolvable differential equations
Wed	09.12.	Hybrid systems & games	14
Mon	14.12.	Winning strategies & regions	15
Wed	16.12.	Winning & proving hybrid games	16
Mon	21.12.	Ü: Playing and proving hybrid games
Wed	23.12.	Ü: Additional practice session
Mon	11.01.	Axioms & uniform substitutions	18	extra
Wed	13.01.	Hybrid systems & continuous completeness		LICS'12,JAR'17
Mon	18.01.	Hybrid systems & discrete completeness		LICS'12,JAR'17
Wed	20.01.	Ü: Verifying CPS with KeYmaera X
Mon	25.01.	Differential equations & completeness		JACM'20
Wed	27.01.	Ü: Complete considerations in CPS
Mon	01.02.	Hybrid systems & refinements		LICS'16,IJCAR'24,IJCAR'26
Wed	03.02.	Verified models & verified runtime validation	19
Mon	08.02.	Fixpoints & sabotage games		LICS'24,JACM
Wed	10.02.	Hybrid systems & parallelism		CADE'23,JAR
Mon	15.02.	Ü: Comprehensive CPS correctness
Wed	17.02.	Safe AI & autonomous dynamical systems		AAAI'18,NeurIPS'24,
Wed	10.03.	Exam Chemie-Hörsaal 1 @ 8:00-10:00

The lecture schedule is tentative!

The chapter numbers indicated above refer to the following textbook:

André Platzer. Logical Foundations of Cyber-Physical Systems. Springer, Cham, 2018. 659 pages. ISBN 978-3-319-63587-3. [bib | ⧉ | doi | slides | video | book | web | errata | abstract]