Niklas Kochdumper, M.Sc.

Inaktiv: Der Benutzer ist in TUMonline nicht mehr aktiv!
Inactive: The user is not active in TUMonline anymore!

Niklas Kochdumper, M.Sc.

Niklas Kochdumper is currently a research assistant and PhD student under the supervison of Prof. Dr.-Ing. Matthias Althoff. He obtained his bachelor's degree in Mechanical Engineering and his master's degree in Robotics, Cognition, Intelligence both at the Technichal University of Munich.

Research Interests

Reachability Analysis
Formal Verification of Hybrid Systems
Set-Based Computing
Controller Synthesis
Formal Abstraction and Verification fo Analog Circuits (faveAC)

Toolboxes

Teaching

Lectures: Techniques in Artificial Intelligence and Formal Methods for Cyber-Physical Systems
Practical Course: Verification, Controller Synthesis, and Design of Cyber-Physical Systems
Seminar: Cyber-Physical Systems

Publications

2022

Schürmann, Bastian; Klischat, Moritz; Kochdumper, Niklas; Althoff, Matthias: Formal Safety Net Control Using Backward Reachability Analysis. IEEE Transactions on Automatic Control 67 (11), 2022 mehr… BibTeX Volltext ( DOI )

2021

Kochdumper, Niklas and Gruber, Felix and Schürmann, Bastian and Gaßmann, Victor and Klischat, Moritz and Althoff, Matthias: AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis. Proc. of the 24th International Conference on Hybrid Systems: Computation and Control, 2021 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Kochdumper, Niklas; Althoff, Matthias: Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. IEEE Transactions on Automatic Control 66 (9), 2021, 4043 - 4058 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Kochdumper, Niklas; Gassert, Philipp; Althoff, Matthias: Verification of Collision Avoidance for CommonRoad Traffic Scenarios. Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)

2020

Althoff, Matthias; Bak, Stanley; Bao, Zongnan; Forets, Marcelo; Frehse, Goran; Freire, Daniel; Kochdumper, Niklas; Li, Yangge; Mitra, Sayan; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan; Wetzlinger, Mark: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2020, 16-48 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Geretti, Luca; Alexandre Dit Sandretto, Julien; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Collins, Pieter; Forets, Marcelo; Freire, Daniel; Immler, Fabian; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian: ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2020, 49-75 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Kochdumper, Niklas and Althoff, Matthias: Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. Proc. of the 59th Conference on Decision and Control, 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Kochdumper, Niklas; Tarraf, Ahmad, Rechmal, Malgorzata; Olbrich, Markus; Hedrich, Lars; Althoff, Matthias: Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020, 199-204 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Kochdumper, Niklas; Althoff, Matthias: Reachability analysis for hybrid systems with nonlinear guard sets. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, ACM, 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Kochdumper, Niklas; Schürmann, Bastian; Althoff, Matthias: Utilizing dependencies to obtain subsets of reachable sets. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, ACM, 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff: Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. 2020 59th IEEE Conference on Decision and Control (CDC), 2020 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)

2019

Althoff, Matthias; Bak, Stanley; Forets, Marcelo; Frehse, Goran; Kochdumper, Niklas; Ray, Rajarshi; Schilling, Christian; Schupp, Stefan: ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), 2019 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Immler, Fabian; Althoff, Matthias; Benet, Luis; Chapoutot, Alexandre; Chen, Xin; Forets, Marcelo; Geretti, Luca; Kochdumper, Niklas; Sanders, David P.; Schilling, Christian: ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Proc. of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing), 2019 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)

2018

Althoff, M.; Grebenyuk, D.; Kochdumper, N.: Implementation of Taylor Models in CORA 2018. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Immler, F.; Althoff, M.; Chen, X.; Fan, C.; Frehse, G.; Kochdumper, N.; Li, Y.; Mitra, S.; Tomar, M. S.; Zamani, M.: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
M. Althoff, S. Bak, X. Chen, C. Fan, M. Forets, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling and S. Schupp: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018, 23-52 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Schürmann, Bastian; Kochdumper, Niklas; Althoff, Matthias: Reachset Model Predictive Control for Disturbed Nonlinear Systems. Proc. of the 57th IEEE Conference on Decision and Control, 2018 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)