193 citations · 390 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.OC2017★ 21 cited
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…
math.OC2017★ 28 cited
Symbolic Optimal Control
Gunther Reissig, Matthias Rungger
We present novel results on the solution of a class of leavable, undiscounted optimal control problems in the minimax sense for nonlinear, continuous-state, discrete-time plants. T…