Gunther Reissig

Orcid: 0000-0001-9044-8906

According to our database1, Gunther Reissig authored at least 38 papers between 1999 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees.
IEEE Trans. Autom. Control., 2023

2022
Overapproximating Reachable Tubes of Linear Time-Varying Systems.
IEEE Trans. Autom. Control., 2022

ABS: A formally correct software tool for space-efficient symbolic synthesis.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021
Over-approximating reachable tubes of linear time-varying systems.
CoRR, 2021

2019
Symbolic Optimal Control.
IEEE Trans. Autom. Control., 2019

Memory efficient symbolic solution of quantitative reach-avoid problems.
Proceedings of the 2019 American Control Conference, 2019

2018
Hyper-Rectangular Over-Approximations of Reachable Sets for Linear Uncertain Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Optimized State Space Grids for Abstractions.
IEEE Trans. Autom. Control., 2017

Feedback Refinement Relations for the Synthesis of Symbolic Controllers.
IEEE Trans. Autom. Control., 2017

Arbitrarily precise abstractions for optimal controller synthesis.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Symbolic synthesis with average performance guarantees.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Approximate value iteration for a class of deterministic optimal control problems with infinite state and input alphabets.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
State space grids for low complexity abstractions.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Strong Structural Controllability and Observability of Linear Time-Varying Systems.
IEEE Trans. Autom. Control., 2014

Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems.
SIAM J. Control. Optim., 2014

A linear time algorithm to verify strong structural controllability.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Feedback refinement relations for symbolic controller synthesis.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
On the maximum rank of Toeplitz block matrices of blocks of a given pattern
CoRR, 2013

Strong Structural Controllability of Linear Time-Varying Systems.
CoRR, 2013

Necessary conditions for structural and strong structural controllability of linear time-varying systems.
Proceedings of the 12th European Control Conference, 2013

Abstraction-based solution of optimal stopping problems under uncertainty.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Strongly convex attainable sets and low complexity finite-state controllers.
Proceedings of the 2013 Australian Control Conference, Fremantle, WA, 2013

Characterization of sign controllability for linear systems with real eigenvalues.
Proceedings of the 2013 Australian Control Conference, Fremantle, WA, 2013

Sufficient conditions for strong structural controllability of uncertain linear time-varying systems.
Proceedings of the American Control Conference, 2013

2012
Convexity of reachable sets of nonlinear ordinary differential equations
CoRR, 2012

Characterization of strong structural controllability of uncertain linear time-varying discrete-time systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Computing Abstractions of Nonlinear Systems.
IEEE Trans. Autom. Control., 2011

Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Optimizing Motion of Robotic Manipulators in Interaction with Human Operators.
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011

Increasing efficiency of optimization-based path planning for robotic manipulators.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Mixed-integer programming for optimal path planning of robotic manipulators.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Stabilization of linear dynamical systems with scalar quantizers under communication constraints.
Proceedings of the 44th Annual Conference on Information Sciences and Systems, 2010

Abstraction based solution of complex attainability problems for decomposable continuous plants.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2002
On inconsistent initial conditions for linear time-invariant differential-algebraic equations.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

2001
On methods for ordering sparse matrices in circuit simulation.
Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

2000
Differential-Algebraic Equations of Index 1 May Have an Arbitrarily High Structural Index.
SIAM J. Sci. Comput., 2000

1999
Extension of the normal tree method.
Int. J. Circuit Theory Appl., 1999


  Loading...