4 papers · 1 filter
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…