A. Weber

MaRDI QIDQ1941127zbMATH 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
ABS: A formally correct software tool for space-efficient symbolic synthesis 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Optimized State Space Grids for Abstractions IEEE Transactions on Automatic Control	2018-06-27	Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers IEEE Transactions on Automatic Control	2017-07-27	Paper
Reconstruction of the magnetic particle imaging system matrix using symmetries and compressed sensing Advances in Mathematical Physics	2016-05-02	Paper
Local system matrix compression for efficient reconstruction in magnetic particle imaging Advances in Mathematical Physics	2016-05-02	Paper
Classical and strong convexity of sublevel sets and application to attainable sets of nonlinear systems SIAM Journal on Control and Optimization	2015-02-09	Paper
A linear time algorithm to verify strong structural controllability	2014-12-21	Paper
Local characterization of strongly convex sets Journal of Mathematical Analysis and Applications	2013-03-11	Paper

Research outcomes over time

This page was built for person: A. Weber