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
Mon30.10.Choice & control3
Thu02.11.Ü: Modeling cyber-physical systems
Mon06.11.Safety & contracts4
Thu09.11.Dynamical systems & dynamic axioms5
Mon13.11.Truth & proof6
Thu16.11.Control loops & invariants7
Mon20.11.Ü: Verifying cyber-physical systems
Thu23.11.Ü: Verifying CPS with KeYmaera X
Mon27.11.Differential equations & differential invariants10
Thu30.11.Differential equations & proofs11
Mon04.12.Ghosts & differential ghosts12
Thu07.12.Ü: Proving unsolvable differential equations
Mon11.12.Hybrid systems & games14
Thu14.12.Winning strategies & regions15
Mon18.12.Winning & proving hybrid games16
Thu21.12.Ü: Winning and proving hybrid games
Mon08.01.Axioms & uniform substitutions18 more
Thu11.01.Verified models & verified runtime validation19
Mon15.01.Virtual substitution & real equations20 FM'21
Thu18.01.Virtual substitution & real arithmetic21 ,
Mon22.01.Ü: Comprehensive CPS correctness
Thu25.01.AI for verification & verification for AI AAAI'18,NeurIPS'22
Mon29.01.Hybrid systems & continuous completeness LICS'12,JAR'17
Thu01.02.Hybrid systems & discrete completeness LICS'12,JAR'17
Mon05.02.Differential equations & completeness JACM'20
Thu08.02.Ü: Complete considerations in CPS
Mon12.02.Distributed systems & hybrid systems LMCS'12
Thu15.02.Ü: Outlook and preparation
TBDExam: TBA

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