A. Weber

Available identifiers

zbMath Open weber.alexanderMaRDI QIDQ1941127

List of research outcomes

Publication	Date of Publication	Type
ABS: A formally correct software tool for space-efficient symbolic synthesis	2024-02-21	Paper
Optimized State Space Grids for Abstractions	2018-06-27	Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers	2017-07-27	Paper
Reconstruction of the magnetic particle imaging system matrix using symmetries and compressed sensing	2016-05-02	Paper
Local system matrix compression for efficient reconstruction in magnetic particle imaging	2016-05-02	Paper
Classical and strong convexity of sublevel sets and application to attainable sets of nonlinear systems	2015-02-09	Paper
A linear time algorithm to verify strong structural controllability	2014-12-21	Paper
Local characterization of strongly convex sets	2013-03-11	Paper

Research outcomes over time

This page was built for person: A. Weber