Praktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN0012, IN2106, IN4269)
Lehrveranstaltung 0000003805 im WS 2022/3
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 Adrian Kulmburg Tobias Ladner Lukas Schäfer Mark Wetzlinger |
| Termine |
1 einzelner oder verschobener Termin |
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, neural networks, 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. The preliminary lecture will take place on Thursday, the 14th of July at 14:00, and will take place on BBB: https://bbb.in.tum.de/tob-sqy-ufq-axu You can access the slides of the preliminary lecture via the course documents ("LV-Unterlagen") below. Edit Matching Results: We have 3 remaining spots for this semester! Just contact us (tobias.ladner@tum.de) with a topic from the preliminary lecture you are interested in! --- |
|---|---|
| Links |
LV-Unterlagen 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 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 |
| WS 2019/20 | Masterpraktikum - Verification, Controller Synthesis, and Design of Cyber-Physical Systems (IN2106, IN4269) | Althoff, M. Gaßmann, V. |