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

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

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.	Control loops & invariants	7
Mon	18.11.	Ü: Verifying cyber-physical systems
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.	Ü: Proving unsolvable differential equations
Thu	05.12.	Ghosts & differential ghosts	12
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	more
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		LICS'12,JAR'17
Mon	20.01.	Hybrid systems & discrete completeness		LICS'12,JAR'17
Thu	23.01.	Differential equations & completeness		JACM'20
Mon	27.01.	Ü: Complete considerations in CPS
Thu	30.01.	Distributed systems & hybrid systems		LMCS'12
Mon	03.02.	Virtual substitution & real equations	20	FM'21
Thu	06.02.	Virtual substitution & real arithmetic	21	,
Mon	10.02.	Ü: Outlook and preparation
Thu	13.02.	Safe AI & autonomous dynamical systems		AAAI'18,PLDI'18
TBD		Exam:

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]