Practical Course: Verification, Controller Synthesis, and Design of Cyber-Physical Systems

Organizer: M. Sc. Victor Gaßmann

Module:  IN2106, IN4279

Type: Practical Course

Semester: SS 2020

Registration: Matching System

 

Content

All other information regarding the seminar can be found in TUMOnline.

 

Preliminary Lecture

Each student will work on a topic, depending on the topic possibly with others. Available topics will be presented in a preliminary lecture on 3rd of February 2020, 11:00-11:45h in room MI 02.07.023. The slides will be uploaded to TUMOnline and can be found under lecture materials.