Niklas Kochdumper
Niklas Kochdumper
כתובת אימייל מאומתת בדומיין tum.de - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Implementation of Taylor models in CORA 2018
M Althoff, D Grebenyuk, N Kochdumper
Proc. of the 5th International Workshop on Applied Verification for …, 2018
352018
Sparse polynomial zonotopes: A novel set representation for reachability analysis
N Kochdumper, M Althoff
IEEE Transactions on Automatic Control, 2020
202020
ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
152018
Reachset model predictive control for disturbed nonlinear systems
B Schürmann, N Kochdumper, M Althoff
2018 IEEE Conference on Decision and Control (CDC), 3463-3470, 2018
132018
ARCH-COMP19 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, M Forets, G Frehse, N Kochdumper, R Ray, C Schilling, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
102019
ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
82018
ARCH-COMP19 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, L Benet, A Chapoutot, X Chen, M Forets, L Geretti, ...
Proc. of the 6th International Workshop on Applied Verification of …, 2019
72019
Establishing reachset conformance for the formal analysis of analog circuits
N Kochdumper, A Tarraf, M Rechmal, M Olbrich, L Hedrich, M Althoff
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 199-204, 2020
62020
Utilizing dependencies to obtain subsets of reachable sets
N Kochdumper, B Schürmann, M Althoff
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
52020
Reachability analysis for hybrid systems with nonlinear guard sets
N Kochdumper, M Althoff
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
52020
Arch-comp20 category report: Continuous and hybrid systems with nonlinear dynamics
L Geretti, JAD Sandretto, M Althoff, L Benet, A Chapoutot, X Chen, ...
EPiC Series in Computing 74, 49-75, 2020
42020
Constrained polynomial zonotopes
N Kochdumper, M Althoff
arXiv preprint arXiv:2005.08849, 2020
32020
Representation of polytopes as polynomial zonotopes
N Kochdumper, M Althoff
arXiv preprint arXiv:1910.07271, 2019
32019
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
M Wetzlinger, N Kochdumper, M Althoff
2020 59th IEEE Conference on Decision and Control (CDC), 5145-5152, 2020
22020
Arch-comp20 category report: continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, Z Bao, M Forets, G Frehse, D Freire, N Kochdumper, Y Li, ...
EPiC Series in Computing 74, 16-48, 2020
22020
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
N Kochdumper, M Althoff
2020 59th IEEE Conference on Decision and Control (CDC), 2130-2137, 2020
12020
AROC: a toolbox for automated reachset optimal controller synthesis
N Kochdumper, F Gruber, B Schürmann, V Gaßmann, M Klischat, ...
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
2021
Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets
A Tarraf, L Hedrich, N Kochdumper, M Rechmal-Lesse, M Olbrich
2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 7-12, 2020
2020
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
CF Verdier, N Kochdumper, M Althoff, M Mazo Jr
arXiv preprint arXiv:2006.04260, 2020
2020
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–19