Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269)
Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269)
Lehrveranstaltung 0000002539 im SS 2021
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 Mark Wetzlinger |
| 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 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-Kurs (z. B. Moodle) TUMonline-Eintrag |
Gleiche Lehrveranstaltungen (z. B. in anderen Semestern)
| Semester | Titel | Dozent(en) | Termine |
|---|---|---|---|
| SS 2024 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106,IN4269) | Althoff, M. Koller, L. Kulmburg, A. Ladner, T. Lercher, F. … (insgesamt 7) | |
| 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. … (insgesamt 6) |
einzelne oder verschobene Termine |
| 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. |
einzelne oder verschobene Termine |
| SS 2020 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4279) | Althoff, M. Gaßmann, V. Wetzlinger, M. |
einzelne oder verschobene Termine |