Professorinnen und Professoren
Technische Universität München

Prof. Dr. Niklas Kochdumper

Professur

Raumfahrzeugkontrolle

School

TUM School of Engineering and Design

Kontakt

Visitenkarte in TUMonline

Wissenschaftliche Laufbahn und Forschungsgebiete

Prof. Kochdumpers Forschung konzentriert sich auf die robuste Regelung mit formalen Sicherheitsgarantien und entwickelt Lösungen sowohl für allgemeine dynamische Systeme als auch insbesondere für Raumfahrtanwendungen. Seine Arbeit umfasst die Themenschwerpunkte Verifikation dynamischer Systeme mittels Erreichbarkeitsanalyse, sichere Reglersynthese nach dem Safe-by-Construction-Prinzip, mengenbasiertes Rechnen, konforme Systemidentifikation, sicheres Reinforcement Learning durch Shielding, und Verifikation neuronaler Netze.

Niklas Kochdumper erhielt sowohl seinen Bachelorabschluss in Maschinenwesen als auch seinen Masterabschluss in Robotics, Cognition, Intelligence an der TUM. Dort promovierte er auch bis 2022 unter der Betreuung von Prof. Matthias Althoff. Anschließend war er als Postdoktorand an der Stony Brook University (2021–2023) sowie an der Université Paris Cité (2024–2025) tätig. Danach wirkte er als Juniorprofessor an der Technischen Hochschule Ingolstadt (2025–2026). Im Februar 2026 wurde er zum Assistant Professor an der TUM berufen.

    Wichtigste Auszeichnungen

    • Best Repeatability Evaluation Award, Int. Conf. on Hybrid Systems: Computation and Control (2025)
    • Best Repeatability Evaluation Award, Int. Conf. on Hybrid Systems: Computation and Control (2021)
    • Best Repeatability Evaluation Award, Int. Conf. on Hybrid Systems: Computation and Control (2020)

    Schlüsselpublikationen (alle Publikationen)

    Kochdumper N., Althoff M., "Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis". IEEE Transactions on Automatic Control. 2020; 66(9): 4043-4058.

    Abstract

    Kochdumper N. Bak. S., "Fully Automated Verification of Linear Time-Invariant Systems Against Signal Temporal Logic Specifications via Reachability Analysis". Nonlinear Analysis: Hybrid Systems. 2024; 53: Article No. 101491.

    Abstract

    Kochdumper, N., Krasowski, H., Wang, X., Bak, S., Althoff, M., "Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes". IEEE Open Journal of Control Systems. 2023; 2: 79-92. 

    Abstract

    Kochdumper, N., Gruber, F., Schürmann, B., Gaßmann, V., Klischat, M., Althoff, M., "AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis". Proc. Int. Conf. on Hybrid Systems: Computation and Control. 2021; Article No. 23. 

    Abstract

    Kochdumper, N., Foughali, M. A., Habermehl, P., Asarin, E., "Robust Identification of Hybrid Automata from Noisy Data". Proc. Int. Conf. on Hybrid Systems: Computation and Control. 2025; Article No. 11. 

    Abstract

    Bei Änderungs- oder Aktualisierungswünschen wenden Sie sich bitte an Franz Langer.