Adrian Kulmburg, M.Sc.

Adrian Kulmburg, M.Sc.

House Mail: Boltzmannstr. 3

Technische Universität München

Tel.: +49 (89) 289 - 18140
Sprechstunde: Mo - Fr, 8:00-18:00 Uhr
adrian.kulmburg@tum.de

House Mail: Boltzmannstr. 3

Curriculum Vitae

Adrian Kulmburg joined the Cyber Physical Systems Group as a PhD candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2020. He received his bachelor's degree in mathematics in 2017, his master's degree in mathematics in 2018 and his bachelor's degree in physics in 2019 from the Eidgenössische Technische Hochschule in Zürich.

His research interests focus mainly around reachability analysis, including differential equations and containment problems.

Teaching

Lectures: Techniques in Artificial Intelligence [WS 20/21, WS 21/22, WS 22/23]
Seminar: Cyber-Physical Systems [SS 21, WS 21/22, SS 22, WS 22/23, SS23]
Practical Course: Verification, Controller Synthesis, and Design of Cyber-Physical Systems [SS 21, WS 21/22, SS22, WS 22/23, SS 23]

Offered Thesis Topics

Unfortunately, since I will be leaving TUM in late July 2024, I will not be able to supervise further theses.

Completed:

[Guided Research] Optimal Bounds on the Hausdorff Distance of Zonotope Box-Overapproximations
[BA] Collision Checks for Air- and Spacecrafts
[MA] Verifying the Safe Execution of Cyber-Physical Systems
[MA] Uniform Sampling of Geometric Sets
[BA] Uniform Trajectory Planing for Cyber-Physical Systems
[BA] Optimization-based Verfication of Cyber-Physical Systems

Publications

2024

Kulmburg, Adrian; Brkan, Ivan; Althoff, Matthias: Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems. 2024 European Control Conference (ECC), IEEE, 2024 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff: Inner Approximations of Reachable Sets for Nonlinear Systems using the Minkowski Difference. IEEE Control Systems Letters, IEEE, 2024 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Wetzlinger, Mark; Kotsev, Viktor; Kulmburg, Adrian; Althoff, Matthias: Implementation of Polyhedral Operations in CORA 2024. Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing), EasyChair, 2024 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)

2022

Wetzlinger, M.; Kulmburg, A.; Le Penven, A.; Althoff, M.: Adaptive reachability algorithms for nonlinear systems using abstraction error analysis. Nonlinear Analysis: Hybrid Systems 46, 2022, 101252 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)

2021

Kulmburg, Adrian; Althoff, Matthias: On the co-NP-Completeness of the Zonotope Containment Problem. European Journal of Control, 2021 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff: Adaptive Parameter Tuning for Reachability Analysis of Nonlinear Systems. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, ACM, 2021 mehr… BibTeX Volltext ( DOI ) Volltext (mediaTUM)