193 citations · 268 across the 9 of their papers we have counts for
9 papers
Vehicle mission guidance by symbolic optimal control
Alexander Weber, Florian Fiege, Alexander Knoll
Symbolic optimal control is a powerful method to synthesize algorithmically correct-by-design state-feedback controllers for nonlinear plants. Its solutions are (near-)optimal with…
On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control
Alexander Weber, Alexander Knoll
This paper proposes an algorithmic method to heuristically solve the famous Travelling Salesman Problem (TSP) when the salesman's path evolves in continuous state space and discret…
Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems
Alexander Weber, Alexander Knoll
The present work deals with quantitative two-phase reach-avoid problems on nonlinear control systems. This class of optimal control problem requires the plant's state to visit two…
A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control
Alexander Weber, Marcus Kreuzer, Alexander Knoll
Symbolic controller synthesis is a fully-automated and correct-by-design synthesis scheme whose limitations are its immense memory and runtime requirements. A current trend to comp…
Optimized State Space Grids for Abstractions
Alexander Weber, Matthias Rungger, Gunther Reissig
The practical impact of abstraction-based controller synthesis methods is currently limited by the immense computational effort for obtaining abstractions. In this note we focus on…
Feedback Refinement Relations for the Synthesis of Symbolic Controllers
Gunther Reissig, Alexander Weber, Matthias Rungger
We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized…