Niklas Kochdumper

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis Nonlinear Analysis. Hybrid Systems	2024-07-30	Paper
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets IEEE Transactions on Automatic Control	2024-02-29	Paper
AROC Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Formal Safety Net Control Using Backward Reachability Analysis IEEE Transactions on Automatic Control	2023-09-25	Paper
Constrained polynomial zonotopes Acta Informatica	2023-08-16	Paper
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement	2022-12-07	Paper
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications Automatica	2022-03-18	Paper
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis IEEE Transactions on Automatic Control	2021-09-09	Paper
Reachability analysis for hybrid systems with nonlinear guard sets Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Utilizing dependencies to obtain subsets of reachable sets Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Representation of Polytopes as Polynomial Zonotopes	2019-10-16	Paper
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems	N/A	Paper

Research outcomes over time

This page was built for person: Niklas Kochdumper