Gunther Reissig

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 16

Top Topics

Controller Synthesis

Optimal Control

Admissible Heuristics

Approximate Value Iteration

Top Venues

IEEE Trans. Autom. Control.

Publications

Elisei Macoveiciuc, Gunther Reissig
On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees. IEEE Trans. Autom. Control. 68 (4) (2023)
Alexander Weber, Elisei Macoveiciuc, Gunther Reissig
ABS: A formally correct software tool for space-efficient symbolic synthesis. HSCC (2022)
Mohamed Serry, Gunther Reissig
Overapproximating Reachable Tubes of Linear Time-Varying Systems. IEEE Trans. Autom. Control. 67 (1) (2022)
Mohamed Serry, Gunther Reissig
Over-approximating reachable tubes of linear time-varying systems. CoRR (2021)
Elisei Macoveiciuc, Gunther Reissig
Memory efficient symbolic solution of quantitative reach-avoid problems. ACC (2019)
Gunther Reissig, Matthias Rungger
Symbolic Optimal Control. IEEE Trans. Autom. Control. 64 (6) (2019)
Mohamed Serry, Gunther Reissig
Hyper-Rectangular Over-Approximations of Reachable Sets for Linear Uncertain Systems. CDC (2018)
Matthias Rungger, Gunther Reissig
Arbitrarily precise abstractions for optimal controller synthesis. CDC (2017)
Gunther Reissig, Matthias Rungger
Symbolic Optimal Control. CoRR (2017)
Alexander Weber, Matthias Rungger, Gunther Reissig
Optimized State Space Grids for Abstractions. IEEE Trans. Autom. Control. 62 (11) (2017)
Gunther Reissig, Alexander Weber, Matthias Rungger
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. IEEE Trans. Autom. Control. 62 (4) (2017)
Alexander Weber, Matthias Rungger, Gunther Reissig
Optimized State Space Grids for Abstractions. CoRR (2017)
Matthias Rungger, Gunther Reissig, Majid Zamani
Symbolic synthesis with average performance guarantees. CDC (2016)
Gunther Reissig
Approximate value iteration for a class of deterministic optimal control problems with infinite state and input alphabets. CDC (2016)
Matthias Rungger, Alexander Weber, Gunther Reissig
State space grids for low complexity abstractions. CDC (2015)
Gunther Reissig, Alexander Weber, Matthias Rungger
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. CoRR (2015)
Alexander Weber, Gunther Reissig
Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems. SIAM J. Control. Optim. 52 (5) (2014)
Alexander Weber, Gunther Reissig, Ferdinand Svaricek
A linear time algorithm to verify strong structural controllability. CDC (2014)
Gunther Reissig, Matthias Rungger
Feedback refinement relations for symbolic controller synthesis. CDC (2014)
Gunther Reissig, Christoph Hartung, Ferdinand Svaricek
Strong Structural Controllability and Observability of Linear Time-Varying Systems. IEEE Trans. Autom. Control. 59 (11) (2014)
Christoph Hartung, Gunther Reissig, Ferdinand Svaricek
Characterization of sign controllability for linear systems with real eigenvalues. AuCC (2013)
Christoph Hartung, Gunther Reissig, Ferdinand Svaricek
Necessary conditions for structural and strong structural controllability of linear time-varying systems. ECC (2013)
Alexander Weber, Gunther Reissig
Strongly convex attainable sets and low complexity finite-state controllers. AuCC (2013)
Gunther Reissig, Matthias Rungger
Abstraction-based solution of optimal stopping problems under uncertainty. CDC (2013)
Gunther Reissig, Christoph Hartung, Ferdinand Svaricek
Strong Structural Controllability of Linear Time-Varying Systems. CoRR (2013)
Christoph Hartung, Gunther Reissig, Ferdinand Svaricek
Sufficient conditions for strong structural controllability of uncertain linear time-varying systems. ACC (2013)
Christoph Hartung, Gunther Reissig, Ferdinand Svaricek
Characterization of strong structural controllability of uncertain linear time-varying discrete-time systems. CDC (2012)
Hao Ding, Gunther Reissig, Kurniawan Wijaya, Dino Bortot, Klaus Bengler, Olaf Stursberg
Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction. ICRA (2011)
Hao Ding, Gunther Reissig, Dominic Gross, Olaf Stursberg
Mixed-integer programming for optimal path planning of robotic manipulators. CASE (2011)
Gunther Reissig
Computing Abstractions of Nonlinear Systems. IEEE Trans. Autom. Control. 56 (11) (2011)
Hao Ding, Gunther Reissig, Olaf Stursberg
Increasing efficiency of optimization-based path planning for robotic manipulators. CDC/ECC (2011)
Gunther Reissig
Abstraction based solution of complex attainability problems for decomposable continuous plants. CDC (2010)
Gunther Reissig, Wade S. Martinson, Paul I. Barton
Differential-Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index. SIAM J. Sci. Comput. 21 (6) (2000)