485 citations
- Technical University of MunichDE35 papers
- Ludwig-Maximilians-Universität MünchenDE29 papers
- RWTH Aachen UniversityDE19 papers
- Trinity College DublinIE16 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE11 papers
- University of Cape TownZA10 papers
- Advanced Materials and BioEngineering ResearchIE8 papers
- AMO (Germany)DE7 papers
- University of TwenteNL7 papers
- KTH Royal Institute of TechnologySE6 papers
- LMU KlinikumDE6 papers
Showing 2017 · math.OCShow all
2 papers · 2 filters
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…