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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gunther Reißig