Gunther Reißig

Available identifiers

zbMath Open reissig.guntherMaRDI QIDQ588005

List of research outcomes

Publication	Date of Publication	Type
ABS: A formally correct software tool for space-efficient symbolic synthesis	2024-02-21	Paper
On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees	2023-09-26	Paper
Overapproximating Reachable Tubes of Linear Time-Varying Systems	2022-02-24	Paper
Over-approximating reachable tubes of linear time-varying systems	2021-02-09	Paper
Symbolic Optimal Control	2019-07-18	Paper
Optimized State Space Grids for Abstractions	2018-06-27	Paper
Computing Abstractions of Nonlinear Systems	2017-08-25	Paper
On inconsistent initial conditions for linear time-invariant differential-algebraic equations	2017-08-25	Paper
On singularities of autonomous implicit ordinary differential equations	2017-08-25	Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers	2017-07-27	Paper
Strong Structural Controllability and Observability of Linear Time-Varying Systems	2017-05-16	Paper
Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems	2015-02-09	Paper
A linear time algorithm to verify strong structural controllability	2014-12-21	Paper
On the maximum rank of Toeplitz block matrices of blocks of a given pattern	2013-05-18	Paper
Local characterization of strongly convex sets	2013-03-11	Paper
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems	2009-04-30	Paper
Convexity of reachable sets of nonlinear ordinary differential equations	2008-06-09	Paper
Differential--Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index	2000-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4699480	1999-11-11	Paper
Extension of the normal tree method	1999-10-06	Paper
Semi-implicit differential-algebraic equations constitute a normal form	1996-08-13	Paper

Research outcomes over time

This page was built for person: Gunther Reißig