Gunther Reißig

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
ABS: A formally correct software tool for space-efficient symbolic synthesis 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees IEEE Transactions on Automatic Control	2023-09-26	Paper
Overapproximating Reachable Tubes of Linear Time-Varying Systems IEEE Transactions on Automatic Control	2022-02-24	Paper
Over-approximating reachable tubes of linear time-varying systems (available as arXiv preprint)	2021-02-09	Paper
Symbolic Optimal Control IEEE Transactions on Automatic Control	2019-07-18	Paper
Optimized State Space Grids for Abstractions IEEE Transactions on Automatic Control	2018-06-27	Paper
Computing Abstractions of Nonlinear Systems IEEE Transactions on Automatic Control	2017-08-25	Paper
On singularities of autonomous implicit ordinary differential equations IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications	2017-08-25	Paper
On inconsistent initial conditions for linear time-invariant differential-algebraic equations IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications	2017-08-25	Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers IEEE Transactions on Automatic Control	2017-07-27	Paper
Strong Structural Controllability and Observability of Linear Time-Varying Systems IEEE Transactions on Automatic Control	2017-05-16	Paper
Classical and strong convexity of sublevel sets and application to attainable sets of nonlinear systems SIAM Journal on Control and Optimization	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 Journal of Mathematical Analysis and Applications	2013-03-11	Paper
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems Hybrid Systems: Computation and Control	2009-04-30	Paper
Convexity of reachable sets of nonlinear ordinary differential equations Automation and Remote Control	2008-06-09	Paper
Differential--Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index SIAM Journal on Scientific Computing	2000-10-19	Paper
scientific article; zbMATH DE number 1361801 (Why is no real title available?)	1999-11-11	Paper
Extension of the normal tree method	1999-10-06	Paper
Semi-implicit differential-algebraic equations constitute a normal form IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications	1996-08-13	Paper

Research outcomes over time

This page was built for person: Gunther Reißig