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

  1. Home
  2. >>
  3. Courses
  4. >>
  5. LFCPS Wi23
Logical Foundations of Cyber-Physical Systems (Winter 2023)
Instructor: André Platzer
Teaching
Assistants:
Jonathan Hellwig, tik@giwlleh.nahtanoj
ECTS: 6 (3+1 SWS)
Semester: Winter 2023/24
Time:
Mon 9:45-11:15 in 50.34 room 301
Thu 11:30-13:00 in 50.34 room 301
This course counts toward the Vertiefungsfach Theoretische Grundlagen or the Vertiefungsfach Softwaretechnik / Übersetzerbau or the Wahlbereich Informatik in the KIT Master of Science in Informatics curriculum.
Questions
Schedule Textbook Videos KeYmaera X
Textbook: Logical Foundations of Cyber-Physical Systems
DESCRIPTION:
Cyber-physical systems (CPSs) combine cyber capabilities (computation and/or communication) with physical capabilities (motion or other physical processes). Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms to control CPSs is challenging due to their tight coupling with physical behavior. At the same time, it is vital that these algorithms be correct, since we rely on CPSs for safety-critical tasks like keeping aircraft from colliding. In this course we will strive to answer the fundamental question posed by Jeannette Wing:
"How can we provide people with cyber-physical systems they can bet their lives on?"
Illustration of cars on a road with an onramp whose motion must not cause a collision

Students who successfully complete this course will:

  • Understand the core principles behind CPSs.
  • Develop models and controls.
  • Identify safety specifications and critical properties of CPSs.
  • Understand abstraction and system architectures.
  • Learn how to design by invariant.
  • Reason rigorously about CPS models and their differential equations.
  • Verify CPS models of appropriate scale with logic.
  • Understand the semantics of a CPS model.
  • Develop an intuition for operational effects.

This course will give you the required skills to formally analyze the CPSs that are all around us -- from power plants to pace makers and everything in between -- so that when you contribute to the design of a CPS, you are able to understand important safety-critical aspects and feel confident designing and analyzing system models. It will provide an excellent foundation for students who seek industry positions and for students interested in pursuing research.

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
METHOD OF EVALUATION:
Grading will be based on a final exam with a bonus that can be earned by successfully completing active learning quiz assignments. Final exam: Mon 19.02. Closed book, one double-sided sheet of hand-written notes permitted.
PRIOR INSTANCES:
Prior instances of the course: Wi22/23 by André Platzer at KIT and F2013, F2014, S2016, S2017, F2018, F2019, F2020, F2021 by André Platzer at Carnegie Mellon University.

The instructor greatly appreciates the help by other members of the Alexander von Humboldt Professor group for Logic of Autonomous Dynamical Systems at KIT and the Logical Systems Lab, Carnegie Mellon University, for advancing KeYmaera X and especially Noah Abou El Wafa and Enguerrand Prebet for developing and porting an active learning quiz infrastructure.