Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4279)
Course 0000002539 in SS 2020
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 Victor Gaßmann Mark Wetzlinger |
| Dates |
1 singular or moved dates |
Assignment to Modules
-
IN2106: Master-Praktikum / Advanced Practical Course
This module is included in the following catalogs:- Further Modules from Other Disciplines
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 will work as part of a team on a project throughout the semester. The main task of the project is the computationally efficient implementation of a state-of-the-art algorithm in MATLAB. This course does not consist of weekly lectures, but irregular meetings throughout the semester. |
|---|---|
| Links |
E-Learning course (e. g. Moodle) TUMonline entry |