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

  1. Home
  2. >>
  3. Courses
  4. >>
  5. LFCPS Fa22
  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
Mon24.10.Cyber-physical systems: introduction1
Thu27.10.Differential equations & domains2
Mon31.10.Choice & control3
Thu03.11.Ü: Modeling cyber-physical systems
Mon07.11.Safety & contracts4
Thu10.11.Dynamical systems & dynamic axioms5
Mon14.11.Truth & proof6
Thu17.11.Ü: Specifying cyber-physical systems
Mon21.11.Control loops & invariants7
Thu24.11.Events & responses8
Mon28.11.Reactions & delays9
Thu01.12.Ü: Verifying cyber-physical systems
Mon05.12.Differential equations & differential invariants10
Thu08.12.Differential equations & proofs11
Mon12.12.Ghosts & differential ghosts12
Thu15.12.Ü: Proving unsolvable differential equations
Mon19.12.Hybrid systems & games14
Thu22.12.Winning strategies & regions15
Mon09.01.Winning & proving hybrid games16
Thu12.01.Ü: Winning and proving hybrid games
Mon16.01.Game proofs & separations17 TOCL'17
Thu19.01.Axioms & uniform substitutions18 more
Mon23.01.Verified models & verified runtime validation19
Thu26.01.Ü: Comprehensive CPS correctness
Mon30.01.Hybrid systems & continuous completeness LICS'12,JAR'17
Thu02.02.Hybrid systems & discrete completeness LICS'12,JAR'17
Mon06.02.Differential equations & completeness JACM'20
Thu09.02.Ü: Complete considerations in CPS
Mon13.02.Virtual substitution & real equations20 FM'21
Thu16.02.Virtual substitution & real arithmetic21 ,
Thu09.03.Final Exam

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