Niklas Kochdumper

Available identifiers

zbMath Open kochdumper.niklasMaRDI QIDQ2116656

List of research outcomes

Publication	Date of Publication	Type
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets	2024-02-29	Paper
AROC	2024-02-21	Paper
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions	2024-02-21	Paper
Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes	2024-02-21	Paper
Formal Safety Net Control Using Backward Reachability Analysis	2023-09-25	Paper
Constrained polynomial zonotopes	2023-08-16	Paper
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications	2022-03-18	Paper
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis	2021-09-09	Paper
Utilizing dependencies to obtain subsets of reachable sets	2021-01-25	Paper
Reachability analysis for hybrid systems with nonlinear guard sets	2021-01-25	Paper
Representation of Polytopes as Polynomial Zonotopes	2019-10-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Niklas Kochdumper