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

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	24.10.	Cyber-physical systems: introduction	1	(V) (S)
Thu	27.10.	Differential equations & domains	2	(V) (S)
Mon	31.10.	Choice & control	3	(V) (S)
Thu	03.11.	Ü: Modeling cyber-physical systems
Mon	07.11.	Safety & contracts	4	(V) (S)
Thu	10.11.	Dynamical systems & dynamic axioms	5	(V) (S) code
Mon	14.11.	Truth & proof	6	(V) (S)
Thu	17.11.	Control loops & invariants	7	(V) (S) code
Mon	21.11.	Ü: Verifying cyber-physical systems
Thu	24.11.	Ü: Verifying CPS with KeYmaera X		code
Mon	28.11.	Differential equations & differential invariants	10	(V) (S) code
Thu	01.12.	Differential equations & proofs	11	(V) (S) code
Mon	05.12.	Ghosts & differential ghosts	12	(V) (S) code
Thu	08.12.	Ü: Proving unsolvable differential equations		code
Mon	12.12.	Hybrid systems & games	14	(V) (S)
Thu	15.12.	Winning strategies & regions	15	(V) (S)
Mon	19.12.	Winning & proving hybrid games	16	(V) (S) code
Thu	22.12.	Ü: Winning and proving hybrid games		code
Mon	09.01.	Axioms & uniform substitutions	18	(V) (S) more
Thu	12.01.	Verified models & verified runtime validation	19	(V) (S)
Mon	16.01.	Virtual substitution & real equations	20	(V) (S) FM'21
Thu	19.01.	Virtual substitution & real arithmetic	21	(V) (S)  CH, extra
Mon	23.01.	Ü: Comprehensive CPS correctness		code
Thu	26.01.	AI for verification & verification for AI		(S) AAAI'18,NeurIPS'22
Mon	30.01.	Hybrid systems & continuous completeness		(S) LICS'12,JAR'17
Thu	02.02.	Hybrid systems & discrete completeness		(S) LICS'12,JAR'17
Mon	06.02.	Differential equations & completeness		(V) (S) JACM'20
Thu	09.02.	Ü: Complete considerations in CPS
Mon	13.02.	Distributed systems & hybrid systems		(S) LMCS'12
Thu	16.02.	Ü: Outlook and preparation
Thu	09.03.	Exam: 10:00-12:00, 10.11 Hertz-Hörsaal

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]