This website is no longer updated.

As of 1.10.2022, the Faculty of Physics has been merged into the TUM School of Natural Sciences with the website https://www.nat.tum.de/. For more information read Conversion of Websites.

de | en

Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269)

Course 0000002539 in SS 2023

General Data

Course Type practical training
Semester Weekly Hours 6 SWS
Organisational Unit Informatics 6 - Chair of Robotics, Artificial Intelligence and Real-time Systems (Prof. Knoll)
Lecturers Matthias Althoff
Adrian Kulmburg
Tobias Ladner
Laura Lützow
Lukas Schäfer
Mark Wetzlinger
Dates 2 singular or moved dates

Assignment to Modules

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks This course aims to introduce you to state-of-the-art algorithms in the field of verification, controller synthesis, and design of cyber-physical systems. You have the opportunity to pick a research topic and advance the current state-of-the-art guided by your supervisor. The project's main task is the implementation of a state-of-the-art algorithm in MATLAB, driving research by its novelty. This course does not consist of weekly lectures, but irregular meetings throughout the semester with your supervisor. You will work as part of a team or alone on a project throughout the semester.
Links E-Learning course (e. g. Moodle)
TUMonline entry
Top of page