Mark Wetzlinger

MaRDI QIDQ2085158zbMATH OpenFDO

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
Backward reachability analysis of perturbed continuous-time linear systems using set propagation IEEE Transactions on Automatic Control	2026-03-17	Paper
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets IEEE Transactions on Automatic Control	2024-02-29	Paper
Adaptive parameter tuning for reachability analysis of nonlinear systems 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
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis Nonlinear Analysis. Hybrid Systems	2022-10-14	Paper
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems (available as arXiv preprint)	N/A	Paper
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Mark Wetzlinger