Computing Abstractions of Nonlinear Systems von Reissig, G.

Volltext

Local characterization of strongly convex sets von Weber, Alexander, Reißig, Gunther

Volltext

Feedback Refinement Relations for the Synthesis of Symbolic Controllers von Reissig, Gunther, Weber, Alexander, Rungger, Matthias

Volltext

Overapproximating Reachable Tubes of Linear Time-Varying Systems von Serry, Mohamed, Reissig, Gunther

Volltext

Symbolic Optimal Control von Reissig, Gunther, Rungger, Matthias

Volltext

On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees von Macoveiciuc, Elisei, Reissig, Gunther

Volltext

Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems von Reißig, Gunther

Volltext

Fill reduction techniques for circuit simulation von Reißig, Gunther

Volltext

Strong Structural Controllability and Observability of Linear Time-Varying Systems von Reissig, Gunther, Hartung, Christoph, Svaricek, Ferdinand

Volltext

Local fill reduction techniques for sparse symmetric linear systems von Reißig, Gunther

Volltext

Optimized State Space Grids for Abstractions von Weber, Alexander, Rungger, Matthias, Reissig, Gunther

Volltext

Classical and Strong Cconvexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems von Weber, Alexander, Reissig, Gunther

Volltext

Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems von Weber, Alexander, Reissig, Gunther

Volltext

Differential-algebraic equations of index 1 may have an arbitrarily high structural index von REISSIG, Gunther, MARTINSON, Wade S, BARTON, Paul I

Volltext

Abstraction based solution of complex attainability problems for decomposable continuous plants von Reissig, G

Volltext

Guaranteed memory reduction in synthesis of correct-by-design invariance controllers von Macoveiciuc, Elisei, Reissig, Gunther

Volltext

Guaranteed memory reduction in synthesis of correct-by-design invariance controllers⁎⁎This work has been supported by the German Research Foundation (DFG) under grant no. RE 1249/4... von Macoveiciuc, Elisei, Reissig, Gunther

Volltext

Over-approximating reachable tubes of linear time-varying systems von Serry, Mohamed, Reissig, Gunther

Volltext

Increasing efficiency of optimization-based path planning for robotic manipulators von Hao Ding, Reissig, G., Stursberg, O.

Volltext

Human arm motion modeling and long-term prediction for safe and efficient Human-Robot-Interaction von Hao Ding, Reissig, G., Wijaya, K., Bortot, D., Bengler, K., Stursberg, O.

Volltext