Icon Course

2400161 – Logical Foundations of Cyber-Physical Systems

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

General Information

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

Veranstaltungsdaten

Dozent(en)
André Platzer
Studiengang
Informatik
Abschluß
Master
SWS
3+1
Credits
5-6
Veranstaltungsart
Vorlesung/Übung
Modulart
Vertiefungsmodul
Ort
Geb. 50.34 Room 301
Termin
Monday 09:45-11:15, Thursday 11:30-13:00
Zyklus
wöchtl.

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

General

Language
English
Author
André Platzer
Copyright
This work has all rights reserved by the owner.

Contact

Consultation
nach Vereinbarung

Availability

Access
Unlimited
Admittance
You can join this course directly.
Registration Period
Unlimited
Period of Event
23. Oct 2023, 09:45 - 15. Feb 2024, 11:30

Visible Personal Data for Course Administrators

Data Types of the Personal Profile
Username
First Name
Last Name
E-Mail
Matriculation number

Additional Information

Object-Id
2972132
Permanent Link