Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269)
Course 0000002539 in SS 2024
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 Lukas Koller Adrian Kulmburg Tobias Ladner Florian Lercher Laura Lützow Lukas Schäfer |
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 |
Course documents E-Learning course (e. g. Moodle) TUMonline entry |
Equivalent Courses (e. g. in other semesters)
Semester | Title | Lecturers | Dates |
---|---|---|---|
SS 2023 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269) | Althoff, M. Kulmburg, A. Ladner, T. Lützow, L. Schäfer, L. … (total 6) |
singular or moved dates |
SS 2022 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269) | Althoff, M. Gaßmann, V. Kulmburg, A. Schäfer, L. Wetzlinger, M. |
singular or moved dates |
SS 2021 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269) | Althoff, M. Gaßmann, V. Wetzlinger, M. | |
SS 2020 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4279) | Althoff, M. Gaßmann, V. Wetzlinger, M. |
singular or moved dates |