Extension of the normal tree method. - Gunther Reißig (Int. J. Circuit Theory Appl., 1999)

Differential-Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index. - Gunther Reissig; Wade S. Martinson; Paul I. Barton (SIAM J. Sci. Comput., 2000)

On methods for ordering sparse matrices in circuit simulation. - Gunther Reissig (ISCAS (5), 2001)

On inconsistent initial conditions for linear time-invariant differential-algebraic equations. - Gunther Reißig; Holger Boche; Paul I. Barton (ISCAS (3), 2002)

Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems. - Gunther Reißig (HSCC, 2009)

Abstraction based solution of complex attainability problems for decomposable continuous plants. - Gunther Reissig (CDC, 2010)

Stabilization of linear dynamical systems with scalar quantizers under communication constraints. - Jingge Zhu; Slawomir Stanczak; Gunther Reißig (CISS, 2010)

Mixed-integer programming for optimal path planning of robotic manipulators. - Hao Ding 001; Gunther Reissig; Dominic Gross; Olaf Stursberg (CASE, 2011)

Increasing efficiency of optimization-based path planning for robotic manipulators. - Hao Ding 001; Gunther Reissig; Olaf Stursberg (CDC/ECC, 2011)

Optimizing Motion of Robotic Manipulators in Interaction with Human Operators. - Hao Ding 001; Kurniawan Wijaya; Gunther Reißig; Olaf Stursberg (ICIRA (1), 2011)

Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction. - Hao Ding 001; Gunther Reissig; Kurniawan Wijaya; Dino Bortot; Klaus Bengler; Olaf Stursberg (ICRA, 2011)

Computing Abstractions of Nonlinear Systems. - Gunther Reissig (IEEE Trans. Autom. Control., 2011)

Characterization of strong structural controllability of uncertain linear time-varying discrete-time systems. - Christoph Hartung; Gunther Reissig; Ferdinand Svaricek (CDC, 2012)

Convexity of reachable sets of nonlinear ordinary differential equations - Gunther Reißig (CoRR, 2012)

Sufficient conditions for strong structural controllability of uncertain linear time-varying systems. - Christoph Hartung; Gunther Reissig; Ferdinand Svaricek (ACC, 2013)

Characterization of sign controllability for linear systems with real eigenvalues. - Christoph Hartung; Gunther Reissig; Ferdinand Svaricek (AuCC, 2013)

Strongly convex attainable sets and low complexity finite-state controllers. - Alexander Weber 004; Gunther Reissig (AuCC, 2013)

Abstraction-based solution of optimal stopping problems under uncertainty. - Gunther Reissig; Matthias Rungger (CDC, 2013)

Necessary conditions for structural and strong structural controllability of linear time-varying systems. - Christoph Hartung; Gunther Reissig; Ferdinand Svaricek (ECC, 2013)

Strong Structural Controllability of Linear Time-Varying Systems. - Gunther Reissig; Christoph Hartung; Ferdinand Svaricek (CoRR, 2013)

On the maximum rank of Toeplitz block matrices of blocks of a given pattern - Gunther Reißig (CoRR, 2013)

Feedback refinement relations for symbolic controller synthesis. - Gunther Reissig; Matthias Rungger (CDC, 2014)

A linear time algorithm to verify strong structural controllability. - Alexander Weber 004; Gunther Reissig; Ferdinand Svaricek (CDC, 2014)

Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems. - Alexander Weber 004; Gunther Reissig (SIAM J. Control. Optim., 2014)

Strong Structural Controllability and Observability of Linear Time-Varying Systems. - Gunther Reissig; Christoph Hartung; Ferdinand Svaricek (IEEE Trans. Autom. Control., 2014)

State space grids for low complexity abstractions. - Matthias Rungger; Alexander Weber 004; Gunther Reissig (CDC, 2015)

Approximate value iteration for a class of deterministic optimal control problems with infinite state and input alphabets. - Gunther Reissig (CDC, 2016)

Symbolic synthesis with average performance guarantees. - Matthias Rungger; Gunther Reissig; Majid Zamani 001 (CDC, 2016)

Arbitrarily precise abstractions for optimal controller synthesis. - Matthias Rungger; Gunther Reissig (CDC, 2017)

Feedback Refinement Relations for the Synthesis of Symbolic Controllers. - Gunther Reissig; Alexander Weber 004; Matthias Rungger (IEEE Trans. Autom. Control., 2017)

Optimized State Space Grids for Abstractions. - Alexander Weber 004; Matthias Rungger; Gunther Reissig (IEEE Trans. Autom. Control., 2017)

Hyper-Rectangular Over-Approximations of Reachable Sets for Linear Uncertain Systems. - Mohamed Serry; Gunther Reissig (CDC, 2018)

Memory efficient symbolic solution of quantitative reach-avoid problems. - Elisei Macoveiciuc; Gunther Reissig (ACC, 2019)

Symbolic Optimal Control. - Gunther Reissig; Matthias Rungger (IEEE Trans. Autom. Control., 2019)

Over-approximating reachable tubes of linear time-varying systems. - Mohamed Serry; Gunther Reissig (CoRR, 2021)

ABS: A formally correct software tool for space-efficient symbolic synthesis. - Alexander Weber 004; Elisei Macoveiciuc; Gunther Reissig (HSCC, 2022)

Overapproximating Reachable Tubes of Linear Time-Varying Systems. - Mohamed Serry; Gunther Reissig (IEEE Trans. Autom. Control., 2022)

On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees. - Elisei Macoveiciuc; Gunther Reissig (IEEE Trans. Autom. Control., 2023)

Second Order Approximation of Reachable Sets of LTI Systems. - Gunther Reissig (CDC, 2024)