Alexander Weber

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 15

Top Topics

Hamilton Jacobi Bellman

Admissible Heuristics

Optimal Control

Top Venues

IEEE Trans. Autom. Control.

Publications

Marcus Kreuzer, Alexander Weber, Alexander Knoll
Spontaneous State Constraint Insertions to Operating Symbolic Controllers Combined with Runtime Assurance for Task Allocation in UAV Missions. ECC (2024)
Marvin Bredlau, Alexander Weber, Alexander Knoll
FORFIS: A forest fire firefighting simulation tool for education and research. CoRR (2023)
Marcus Kreuzer, Alexander Weber, Christian Leupolz, Alexander Knoll
Symbolic control applied to miniature quadcopter mission guidance. ECC (2023)
Alexander Weber, Florian Fiege, Alexander Knoll
Vehicle mission guidance by symbolic optimal control. ECC (2022)
Alexander Weber, Elisei Macoveiciuc, Gunther Reissig
ABS: A formally correct software tool for space-efficient symbolic synthesis. HSCC (2022)
Alexander Weber, Florian Fiege, Alexander Knoll
Vehicle mission guidance by symbolic optimal control. CoRR (2022)
Alexander Weber, Alexander Knoll
On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control. CoRR (2021)
Alexander Weber, Alexander Knoll
On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control. ECC (2021)
Alexander Weber, Marcus Kreuzer, Alexander Knoll
A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control. ECC (2020)
Alexander Weber, Alexander Knoll
Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems. CDC (2020)
Alexander Weber, Alexander Knoll
Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems. CoRR (2020)
Alexander Weber, Marcus Kreuzer, Alexander Knoll
A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control. CoRR (2020)
Alexander Weber, Matthias Rungger, Gunther Reissig
Optimized State Space Grids for Abstractions. IEEE Trans. Autom. Control. 62 (11) (2017)
Gunther Reissig, Alexander Weber, Matthias Rungger
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. IEEE Trans. Autom. Control. 62 (4) (2017)
Alexander Weber, Matthias Rungger, Gunther Reissig
Optimized State Space Grids for Abstractions. CoRR (2017)
Matthias Rungger, Alexander Weber, Gunther Reissig
State space grids for low complexity abstractions. CDC (2015)
Gunther Reissig, Alexander Weber, Matthias Rungger
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. CoRR (2015)
Alexander Weber, Gunther Reissig
Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems. SIAM J. Control. Optim. 52 (5) (2014)
Alexander Weber, Gunther Reissig, Ferdinand Svaricek
A linear time algorithm to verify strong structural controllability. CDC (2014)
Alexander Weber, Gunther Reissig
Strongly convex attainable sets and low complexity finite-state controllers. AuCC (2013)