Niklas Kochdumper

According to our database, Niklas Kochdumper authored at least 31 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets.

Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff

IEEE Trans. Autom. Control., December, 2023

Constrained polynomial zonotopes.

Niklas Kochdumper, Matthias Althoff

Acta Informatica, September, 2023

Real-Time Capable Decision Making for Autonomous Driving Using Reachable Sets.

Niklas Kochdumper, Stanley Bak

CoRR, 2023

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis.

Niklas Kochdumper, Stanley Bak

CoRR, 2023

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes.

Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions.

Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.

Ertai Luo, Niklas Kochdumper, Stanley Bak

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.

Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems (Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen)

Niklas Kochdumper

PhD thesis, 2022

Formal Safety Net Control Using Backward Reachability Analysis.

Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff

IEEE Trans. Autom. Control., 2022

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes.

Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff

CoRR, 2022

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications.

Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.

Autom., 2022

Conformant Synthesis for Koopman Operator Linearized Control Systems.

Niklas Kochdumper, Stanley Bak

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.

Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis.

Niklas Kochdumper, Matthias Althoff

IEEE Trans. Autom. Control., 2021

AROC: a toolbox for automated reachset optimal controller synthesis.

Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Verification of Collision Avoidance for CommonRoad Traffic Scenarios.

Niklas Kochdumper, Philipp Gassert, Matthias Althoff

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets.

Ahmad Tarraf, Lars Hedrich, Niklas Kochdumper, Malgorzata Rechmal-Lesse, Markus Olbrich

Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020

Utilizing dependencies to obtain subsets of reachable sets.

Niklas Kochdumper, Bastian Schürmann, Matthias Althoff

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Reachability analysis for hybrid systems with nonlinear guard sets.

Niklas Kochdumper, Matthias Althoff

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.

Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems.

Niklas Kochdumper, Matthias Althoff

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits.

Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, Marcelo Forets, Daniel Freire, Fabian Immler, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, Christian Schilling

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Reachset Model Predictive Control for Disturbed Nonlinear Systems.

Bastian Schürmann, Niklas Kochdumper, Matthias Althoff

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Implementation of Taylor models in CORA 2018.

Matthias Althoff, Dmitry Grebenyuk, Niklas Kochdumper

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.

Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018