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

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	21.10.	Cyber-physical systems: introduction	1	(▶) (⊞)
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	(▶) (⊞) code
Mon	11.11.	Truth & proof	6	(▶) (⊞)
Thu	14.11.	Ü: Verifying cyber-physical systems
Mon	18.11.	Control loops & invariants	7	(▶) (⊞) code
Thu	21.11.	Ü: Verifying CPS with KeYmaera X		code
Mon	25.11.	Differential equations & differential invariants	10	(▶) (⊞) code
Thu	28.11.	Differential equations & proofs	11	(▶) (⊞) code
Mon	02.12.	Ghosts & differential ghosts	12	(▶) (⊞) code
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	(▶) (⊞) code
Thu	19.12.	Axioms & uniform substitutions	18	(▶) (⊞) more
Mon	23.12.	Ü: Playing and proving hybrid games
Thu	27.12.	Free: Winter break
Mon	06.01.	Free: Drei Könige
Thu	09.01.	Hybrid systems & continuous completeness		(⊞) LICS'12,JAR'17
Mon	13.01.	Hybrid systems & discrete completeness		(⊞) LICS'12,JAR'17
Thu	16.01.	Ü: Complete considerations in CPS
Mon	20.01.	Differential equations & completeness		(▶) (⊞) JACM'20
Thu	23.01.	Verified models & verified runtime validation	19	(▶) (⊞)
Mon	27.01.	Ü: Comprehensive CPS correctness		code
Thu	30.01.	Distributed systems & hybrid systems		(⊞) LMCS'12
Mon	03.02.	Hybrid systems & refinements		(⊞) LICS'16,IJCAR'24
Thu	06.02.	Fixpoints & sabotage games		(⊞) LICS'24
Mon	10.02.	Safe AI & autonomous dynamical systems		(⊞) AAAI'18,PLDI'18, NeurIPS'24
Thu	13.02.	Ü: Outlook and preparation
Wed	19.03.	Exam 14:30-16:30 Chemie 30.41 HS1

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]