KIT Course: Logical Foundations of Cyber-Physical Systems (WS'23)

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	23.10.	Cyber-physical systems: introduction	1	(V) (S)
Thu	26.10.	Differential equations & domains	2
Mon	30.10.	Choice & control	3
Thu	02.11.	Ü: Modeling cyber-physical systems
Mon	06.11.	Safety & contracts	4
Thu	09.11.	Dynamical systems & dynamic axioms	5
Mon	13.11.	Truth & proof	6
Thu	16.11.	Control loops & invariants	7
Mon	20.11.	Ü: Verifying cyber-physical systems
Thu	23.11.	Ü: Verifying CPS with KeYmaera X
Mon	27.11.	Differential equations & differential invariants	10
Thu	30.11.	Differential equations & proofs	11
Mon	04.12.	Ghosts & differential ghosts	12
Thu	07.12.	Ü: Proving unsolvable differential equations
Mon	11.12.	Hybrid systems & games	14
Thu	14.12.	Winning strategies & regions	15
Mon	18.12.	Winning & proving hybrid games	16
Thu	21.12.	Ü: Winning and proving hybrid games
Mon	08.01.	Axioms & uniform substitutions	18	more
Thu	11.01.	Verified models & verified runtime validation	19
Mon	15.01.	Virtual substitution & real equations	20	FM'21
Thu	18.01.	Virtual substitution & real arithmetic	21	,
Mon	22.01.	Ü: Comprehensive CPS correctness
Thu	25.01.	AI for verification & verification for AI		AAAI'18,NeurIPS'22
Mon	29.01.	Hybrid systems & continuous completeness		LICS'12,JAR'17
Thu	01.02.	Hybrid systems & discrete completeness		LICS'12,JAR'17
Mon	05.02.	Differential equations & completeness		JACM'20
Thu	08.02.	Ü: Complete considerations in CPS
Mon	12.02.	Distributed systems & hybrid systems		LMCS'12
Thu	15.02.	Ü: Outlook and preparation
TBD		Exam: TBA

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]