Alexander Weber

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