TUD Logo

TUD Home » ... » Operating Systems » Teaching » Design and Verification of Cyber-Physical Systems

Operating Systems

Design and Verification of Cyber-Physical Systems

New time and place: Lecture is 13:00 - 14:30 in APB 3080.

Topics

Cyber-physical systems are physical and engineered systems monitored, coordinated and controlled by networked computational resources. Often, cyber-physical systems such as autonomous cars, surgical robots and trains operate with or in close proximity to humans; thus, safety is key.

In this lecture, we give an introduction into the major topics that are for constructing and assuring correct behavior of cyber-physical systems. We allude to mathematical models of physical systems, feedback control, real-time operating systems, program verification and the essentials for verifying hybrid systems. Our goal is to establish a first mutual understanding and communication skill between researchers in the above fields.

Lectures and Slides

Date Topic
April 15 no lecture
April 22 Introduction
April 29 Mathematical Foundations
May 6 no lecture (Dies Academicus)
May 13 no lecture
May 20 Control, Feedback and Transfer Functions
May 27 no lecture (Pentecost)
June 3 PID Control
June 10 Stability and Root Locus Method
June 17 Mixed-Criticality Scheduling and Real-Time Operating Systems
June 24 Coordination of Networked CPS
July 1 Program Verification
July 8 Differential Dynamic Logic and KeYmaera 4
July 15 Differential Invariants
July 22 no lecture

Organization

Voluntary exercise material will be available for all lectures. Please enroll to the course mailing list for discussions of the course material and exercises.

Exam

Exams will only be possible between August 3 and August 28. Please arrange early on for an exam slot.

Last modified: 3rd Jun 2015, 11.15 AM
Author: Dr.-Ing. Marcus Völp

Contact
Dr.-Ing.
Marcus Völp

Phone: 463 38350
Fax: 463 38284
e-mail contact form

Time and Place

This course is not being offered in this term.