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