Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269)
Course 0000003805 in WS 2019/20
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 |
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 filed 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 |
Equivalent Courses (e. g. in other semesters)
Semester | Title | Lecturers | Dates |
---|---|---|---|
WS 2023/4 | Praktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN0012, IN2106, IN4269) | Althoff, M. Kulmburg, A. Ladner, T. Lercher, F. Lützow, L. … (total 7) |
singular or moved dates |
WS 2022/3 | Praktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN0012, IN2106, IN4269) | Althoff, M. Kulmburg, A. Ladner, T. Schäfer, L. Wetzlinger, M. |
singular or moved dates |
WS 2021/2 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269) | Althoff, M. Gaßmann, V. Kulmburg, A. Wetzlinger, M. | |
WS 2020/1 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269) | Althoff, M. Gaßmann, V. Wetzlinger, M. |
singular or moved dates |