Diese Seite auf DE

Event

Logical Foundations of Cyber-Physical Systems [WS222400161]

Type

lecture (V)

Term

WS 22/23

SWS

Language

Englisch

Appointments

Links

https://lfcps.org/course/lfcps.html
ILIAS

Lecturers

Prof. Dr. André Platzer

Organisation

KASTEL Platzer

Part of

Brick Logical Foundations of Cyber-Physical Systems | Information Systems (M.Sc.)

Literature

André Platzer. Logical Foundations of Cyber-Physical Systems. Springer, Cham, 2018. DOI:10.1007/978-3-319-63588-0

Appointments

24.10.2022 09:45 - 11:15 - Room: 50.34 Raum -119
27.10.2022 11:30 - 13:00 - Room: 50.34 Raum 301
31.10.2022 09:45 - 11:15 - Room: 50.34 Raum -119
03.11.2022 11:30 - 13:00 - Room: 50.34 Raum 301
07.11.2022 09:45 - 11:15 - Room: 50.34 Raum -119
10.11.2022 11:30 - 13:00 - Room: 50.34 Raum 301
14.11.2022 09:45 - 11:15 - Room: 50.34 Raum -119
17.11.2022 11:30 - 13:00 - Room: 50.34 Raum 301
21.11.2022 09:45 - 11:15 - Room: 50.34 Raum -119
24.11.2022 11:30 - 13:00 - Room: 50.34 Raum 301
28.11.2022 09:45 - 11:15 - Room: 50.34 Raum -119
01.12.2022 11:30 - 13:00 - Room: 50.34 Raum 301
05.12.2022 09:45 - 11:15 - Room: 50.34 Raum -119
08.12.2022 11:30 - 13:00 - Room: 50.34 Raum 301
12.12.2022 09:45 - 11:15 - Room: 50.34 Raum -119
15.12.2022 11:30 - 13:00 - Room: 50.34 Raum 301
19.12.2022 09:45 - 11:15 - Room: 50.34 Raum -119
22.12.2022 11:30 - 13:00 - Room: 50.34 Raum 301
09.01.2023 09:45 - 11:15 - Room: 50.34 Raum -119
12.01.2023 11:30 - 13:00 - Room: 50.34 Raum 301
16.01.2023 09:45 - 11:15 - Room: 50.34 Raum -119
19.01.2023 11:30 - 13:00 - Room: 50.34 Raum 301
23.01.2023 09:45 - 11:15 - Room: 50.34 Raum -119
26.01.2023 11:30 - 13:00 - Room: 50.34 Raum 301
30.01.2023 09:45 - 11:15 - Room: 50.34 Raum -119
02.02.2023 11:30 - 13:00 - Room: 50.34 Raum 301
06.02.2023 09:45 - 11:15 - Room: 50.34 Raum -119
09.02.2023 11:30 - 13:00 - Room: 50.34 Raum 301
13.02.2023 09:45 - 11:15 - Room: 50.34 Raum -119
16.02.2023 11:30 - 13:00 - Room: 50.34 Raum 301

Note

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?"

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.