Skip to contents

Reißig, Gunther [Author]

Beiträge zu Theorie und Anwendungen impliziter Differentialgleichungen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Dresdner Universitätsverl., 1998
Reißig, Gunther [Author]

An extension of the normal tree method

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden [u.a.]: Techn. Univ., 1997

Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 97,1
Reißig, Gunther [Author]

Genetic solvability of linear active networks and an extension of the normal tree method

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden [u.a.]: Techn. Univ., 1996

Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 96,5
Reißig, Gunther [Author]

Impasse points : examples and counterexamples - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Techn. Univ., Rektor, 1993
Reißig, Gunther [Author]

On properties of solutions of differential algebraic equations - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Techn. Univ., Rektor, 1994
Reißig, Gunther [Author]; Röbenack, Klaus [Author]

Eine neue Methode zum Auffinden von Paaren konjugierter Bäume

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden [u.a.]: Techn. Univ., 1997

Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 97,5
Reißig, Gunther [Author]; Feldmann, Ute [Author]

Computing the generic index of the circuit equations of linear active networks : (to appear in proc. ISCAS'96)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden [u.a.]: Techn. Univ., 1996

Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 96,4
Ansorge, Hermann [Contributor]; Beer, Karlheinz [Contributor]; Bergmann, Werner [Contributor]; Birke, Johannes [Contributor]; Birke, Valentina [Contributor]; Deutsche Akademie der Landwirtschaftswissenschaften zu Berlin [Editor]; Fiedler, Hans-Joachim [Contributor]; Fischer, Friedrich [Contributor]; Gründler, Christel [Contributor]; Klemm, Karl-Heinz [Contributor]; Prausse, Alfred [Contributor]; Reissig, Herbert [Contributor]; Schalldach, Ilsabe [Contributor]; Scharf, Horst [Contributor]; Schilling, Günther [Contributor]; Schlosser-Szigat, Gisela [Contributor]; Thomas, Erhard [Contributor]; Vielemeyer, Hans-Peter [Contributor]; Willing, Angelika [Contributor]; Wrazidlo, Werner [Contributor]

Albrecht-Thaer-Archiv : Arbeiten aus den Gebieten Bodenkunde, Pflanzenernährung, Acker- und Pflanzenbau : Band 10, Heft 8 - [Reprint 2022]

View online
Schließen

Access

https://www.degruyter.com/isbn/9783112657485

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Boston: De Gruyter, [2022]

Published in: Albrecht-Thaer-Archiv ; Band 10, Heft 8
Reissig, Gunther

Computing Abstractions of Nonlinear Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2011

Published in: IEEE Transactions on Automatic Control
Reißig, Gunther

Hybrid Systems: Computation and Control: Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Hybrid Systems: Computation and Control
Reißig, Gunther

Fill reduction techniques for circuit simulation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2007

Published in: Electrical Engineering
Reißig, Gunther

Local fill reduction techniques for sparse symmetric linear systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2007

Published in: Electrical Engineering
Reißig, Gunther

Extension of the normal tree method

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 1999

Published in: International Journal of Circuit Theory and Applications
Macoveiciuc, Elisei; Reissig, Gunther

On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2023

Published in: IEEE Transactions on Automatic Control
Serry, Mohamed; Reissig, Gunther

Overapproximating Reachable Tubes of Linear Time-Varying Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2022

Published in: IEEE Transactions on Automatic Control
Macoveiciuc, Elisei; Reissig, Gunther

Guaranteed memory reduction in synthesis of correct-by-design invariance controllers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2020

Published in: IFAC-PapersOnLine
Reissig, Gunther; Rungger, Matthias

Symbolic Optimal Control

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2019

Published in: IEEE Transactions on Automatic Control
Weber, Alexander; Reissig, Gunther

Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Society for Industrial & Applied Mathematics (SIAM), 2014

Published in: SIAM Journal on Control and Optimization
Weber, Alexander; Reißig, Gunther

Local characterization of strongly convex sets

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2013

Published in: Journal of Mathematical Analysis and Applications
Reissig, Gunther; Weber, Alexander; Rungger, Matthias

Feedback Refinement Relations for the Synthesis of Symbolic Controllers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Institute of Electrical and Electronics Engineers (IEEE), 2017

Published in: IEEE Transactions on Automatic Control

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication