193 citations · 268 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.OC2020★ 4 cited
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…
math.OC2020
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…