Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269)
Lehrveranstaltung 0000003805 im WS 2019/20
Basisdaten
LV-Art | Praktikum |
---|---|
Umfang | 6 SWS |
betreuende Organisation | Informatik 6 - Lehrstuhl für Robotik, Künstliche Intelligenz und Echtzeitsysteme (Prof. Knoll) |
Dozent(inn)en |
Matthias Althoff Victor Gaßmann |
Termine |
Zuordnung zu Modulen
-
IN2106: Master-Praktikum / Advanced Practical Course
Dieses Modul ist in den folgenden Katalogen enthalten:- weitere Module aus anderen Fachrichtungen
weitere Informationen
Lehrveranstaltungen sind neben Prüfungen Bausteine von Modulen. Beachten Sie daher, dass Sie Informationen zu den Lehrinhalten und insbesondere zu Prüfungs- und Studienleistungen in der Regel nur auf Modulebene erhalten können (siehe Abschnitt "Zuordnung zu Modulen" oben).
ergänzende Hinweise | 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-Kurs (z. B. Moodle) TUMonline-Eintrag |
Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)
Semester | Titel | Dozent(en) | Termine |
---|---|---|---|
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. … (insgesamt 7) |
einzelne oder verschobene Termine |
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. |
einzelne oder verschobene Termine |
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. |
einzelne oder verschobene Termine |