Alexander Weber

According to our database, Alexander Weber authored at least 13 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

FORFIS: A forest fire firefighting simulation tool for education and research.

Marvin Bredlau, Alexander Weber, Alexander Knoll

CoRR, 2023

Symbolic control applied to miniature quadcopter mission guidance.

Marcus Kreuzer, Alexander Weber, Christian Leupolz, Alexander Knoll

Proceedings of the European Control Conference, 2023

2022

ABS: A formally correct software tool for space-efficient symbolic synthesis.

Alexander Weber, Elisei Macoveiciuc, Gunther Reissig

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Vehicle mission guidance by symbolic optimal control.

Alexander Weber, Florian Fiege, Alexander Knoll

Proceedings of the European Control Conference, 2022

2021

On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control.

Alexander Weber, Alexander Knoll

Proceedings of the 2021 European Control Conference, 2021

2020

A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control.

Alexander Weber, Marcus Kreuzer, Alexander Knoll

Proceedings of the 18th European Control Conference, 2020

Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems.

Alexander Weber, Alexander Knoll

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2017

Optimized State Space Grids for Abstractions.

Alexander Weber, Matthias Rungger, Gunther Reissig

IEEE Trans. Autom. Control., 2017

Feedback Refinement Relations for the Synthesis of Symbolic Controllers.

Gunther Reissig, Alexander Weber, Matthias Rungger

IEEE Trans. Autom. Control., 2017

2015

State space grids for low complexity abstractions.

Matthias Rungger, Alexander Weber, Gunther Reissig

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems.

Alexander Weber, Gunther Reissig

SIAM J. Control. Optim., 2014

A linear time algorithm to verify strong structural controllability.

Alexander Weber, Gunther Reissig, Ferdinand Svaricek

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Strongly convex attainable sets and low complexity finite-state controllers.

Alexander Weber, Gunther Reissig

Proceedings of the 2013 Australian Control Conference, Fremantle, WA, 2013