Gunther Reissig

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