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

  1. Home
  2. >>
  3. Courses
  4. >>
  5. LFCPS WS23
  6. >>
  7. Schedule
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

DateLecture NotesChExtra
Mon23.10.Cyber-physical systems: introduction1(V) (S
Thu26.10.Differential equations & domains2(V) (S
Mon30.10.Choice & control3(V) (S
Thu02.11.Safety & contracts4(V) (S
Mon06.11.Ü: Modeling cyber-physical systems
Thu09.11.Dynamical systems & dynamic axioms5(V) (Scode 
Mon13.11.Truth & proof6(V) (S
Thu16.11.Control loops & invariants7(V) (Scode 
Mon20.11.Ü: Verifying cyber-physical systems
Thu23.11.Ü: Verifying CPS with KeYmaera Xcode 
Mon27.11.Differential equations & differential invariants10(V) (Scode 
Thu30.11.Differential equations & proofs11(V) (Scode 
Mon04.12.Ü: Proving unsolvable differential equationscode 
Thu07.12.Ghosts & differential ghosts12(V) (Scode 
Mon11.12.Hybrid systems & games14(V) (S
Thu14.12.Winning strategies & regions15(V) (S
Mon18.12.Winning & proving hybrid games16(V) (Scode 
Thu21.12.Ü: Winning and proving hybrid gamescode 
Mon08.01.Axioms & uniform substitutions18(V) (Smore
Thu11.01.Verified models & verified runtime validation19(V) (S
Mon15.01.Ü: Comprehensive CPS correctnesscode 
Thu18.01.Hybrid systems & continuous completeness(SLICS'12,JAR'17
Mon22.01.Hybrid systems & discrete completeness(SLICS'12,JAR'17
Thu25.01.Differential equations & completeness(V) (SJACM'20
Mon29.01.Ü: Complete considerations in CPS
Thu01.02.Distributed systems & hybrid systems(SLMCS'12
Mon05.02.Virtual substitution & real equations20(V) (SFM'21
Thu08.02.Virtual substitution & real arithmetic21(V) (SCH, extra
Mon12.02.Ü: Outlook and preparation
Thu15.02.Safe AI & autonomous dynamical systems(SAAAI'18,PLDI'18
Mon19.02.Exam: 9:00-11:00 10.50 Bauingenieure Großer Hörsaal

The lecture schedule is tentative!

The chapter numbers indicated above refer to the following textbook:

  1. 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]

Textbook: Logical Foundations of Cyber-Physical Systems