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)
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
- Formal Safety Net Control Using Backward Reachability Analysis. IEEE Transactions on Automatic Control 67 (11), 2022 more… BibTeX Full text ( DOI )
2021
- AROC: A Toolbox for Automated Reachset Optimal Controller Synthesis. Proc. of the 24th International Conference on Hybrid Systems: Computation and Control, 2021 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. IEEE Transactions on Automatic Control 66 (9), 2021, 4043 - 4058 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Verification of Collision Avoidance for {C}ommon{R}oad Traffic Scenarios. Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021, 184-194 more… BibTeX Full text (mediaTUM)
2020
- 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 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- 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 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. Proc. of the 59th Conference on Decision and Control, 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020, 199-204 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Reachability analysis for hybrid systems with nonlinear guard sets. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, ACM, 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Utilizing dependencies to obtain subsets of reachable sets. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, ACM, 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. 2020 59th IEEE Conference on Decision and Control (CDC), 2020 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
2019
- 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 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- 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 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
2018
- Implementation of Taylor Models in CORA 2018. Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, 2018 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- 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 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- 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 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
- Reachset Model Predictive Control for Disturbed Nonlinear Systems. Proc. of the 57th IEEE Conference on Decision and Control, 2018 more… BibTeX Full text ( DOI ) Full text (mediaTUM)