Publications

Gunther Reißig


Click on title for more information.

  1. On-the-fly symbolic synthesis with memory reduction guarantees.
    IEEE Trans. Automat. Control, vol. 68, 2023.
  2. ABS: A formally correct software tool for space-efficient symbolic synthesis.
    HSCC 2022.
  3. Overapproximating reachable tubes of linear time-varying systems.
    IEEE Trans. Automat. Control, vol. 67, 2022.
  4. Guaranteed memory reduction in synthesis of correct-by-design invariance controllers.
    IFAC WC 2020.
  5. Memory efficient symbolic solution of quantitative reach-avoid problems.
    ACC 2019.
  6. Hyper-rectangular over-approximations of reachable sets for linear uncertain systems.
    CDC 2018.
  7. Symbolic Optimal Control.
    IEEE Trans. Automat. Control, vol. 64, 2019.
  8. Arbitrarily Precise Abstractions for Optimal Controller Synthesis.
    CDC 2017.
  9. Optimized State Space Grids for Abstractions.
    IEEE Trans. Automat. Control, vol. 62, 2017.
  10. Symbolic Synthesis with Average Performance Guarantees.
    CDC 2016.
  11. Approximate Value Iteration for a Class of Deterministic Optimal Control Problems with Infinite State and Input Alphabets.
    CDC 2016.
  12. State Space Grids for Low Complexity Abstractions.
    CDC 2015.
  13. Feedback Refinement Relations for the Synthesis of Symbolic Controllers.
    IEEE Trans. Automat. Control, vol. 62, 2017. 2019 George S. Axelby Outstanding Paper Award.
  14. Feedback Refinement Relations for Symbolic Controller Synthesis.
    CDC 2014.
  15. A linear time algorithm to verify strong structural controllability.
    CDC 2014.
  16. Classical and strong convexity of sublevel sets and application to attainable sets of nonlinear systems.
    SIAM J. Control Optim., vol. 52, 2014.
  17. Characterization of Sign Controllability for Linear Systems with Real Eigenvalues.
    AUCC 2013.
  18. Strongly convex attainable sets and low complexity finite-state controllers.
    AUCC 2013.
  19. Strong Structural Controllability and Observability of Linear Time-Varying Systems.
    IEEE Trans. Automat. Control, vol. 59, 2014.
  20. Abstraction-based solution of optimal stopping problems under uncertainty.
    CDC 2013.
  21. Necessary Conditions for Structural and Strong Structural Controllability of Linear Time-Varying Systems.
    ECC 2013.
  22. Sufficient Conditions for Strong Structural Controllability of Uncertain Linear Time-Varying Systems.
    ACC 2013.
  23. Characterization of Strong Structural Controllability of Uncertain Linear Time-Varying Discrete-Time Systems.
    CDC 2012.
  24. Local characterization of strongly convex sets.
    J. Math. Anal. Appl., vol. 400, 2013.
  25. Online Computation of Safety-Relevant Regions for Human Robot Interaction.
    ISR 2012.
  26. Increasing Efficiency of Optimization-based Path Planning for Robotic Manipulators.
    CDC-ECC 2011.
  27. Optimizing Motion of Robotic Manipulators Interacting with Human Operators.
    ICIRA 2011. Best Paper Award.
  28. Mixed-Integer Programming for Optimal Path Planning of Robotic Manipulators.
    CASE 2011.
  29. Human Arm Motion Modeling and Long-Term Prediction for Safe and Efficient Human-Robot-Interaction.
    ICRA 2011.
  30. Abstraction based solution of complex attainability problems for decomposable continuous plants.
    CDC 2010.
  31. Stabilization of Linear Dynamical Systems with Scalar Quantizers under Communication Constraints.
    CISS 2010.
  32. Computing abstractions of nonlinear systems.
    IEEE Trans. Automat. Control, vol. 56, 2011.
  33. Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems.
    HSCC 2009.
  34. Convexity of reachable sets of nonlinear discrete-time systems.
    MMAR 2007.
  35. Convexity of reachable sets of nonlinear ordinary differential equations.
    Automat. Remote Control, vol. 68, 2007.
  36. Fill reduction techniques for circuit simulation.
    Electr. Eng., vol. 90, 2007.
  37. Local fill reduction techniques for sparse symmetric linear systems.
    Electr. Eng., vol. 89, 2007.
  38. On the convexity of reachable sets -- an important step in generating discrete abstractions of continuous systems.
    MMAR 2005.
  39. On the maximum rank of Toeplitz block matrices of blocks of a given pattern.
    MTNS 2004.
  40. A new method for ordering sparse matrices and its performance in circuit simulation.
    ESM 2004.
  41. A simple and general method for detecting structural inconsistencies in large electrical networks.
    IEEE Trans. CAS, vol. 50, 2003.
  42. A simple and general method for detecting structural inconsistencies in large electrical networks.
    ISCAS 2002.
  43. On inconsistent initial conditions for linear time-invariant differential-algebraic equations.
    IEEE Trans. CAS, vol. 49, 2002.
  44. On inconsistent initial conditions for linear time-invariant differential-algebraic equations.
    ISCAS 2002.
  45. On singularities of autonomous implicit ordinary differential equations.
    IEEE Trans. CAS, vol. 50, 2003.
  46. On the performance of minimum degree and minimum local fill heuristics in circuit simulation.
    Techn. Rep., 2001.
  47. On methods for ordering sparse matrices in circuit simulation.
    ISCAS 2001.
  48. Method for providing error information relating to inconsistencies in a system of differential equations.
    Patent.
  49. Method for computer-aided prediction of the behavior of a system described by differential equations.
    Patent.
  50. Erweiterung eines Standard-Schaltungssimulators in Richtung VHDL-AMS.
    Analog 1999.
  51. Differential-Algebraic Equations of index 1 may have an arbitrarily high structural index.
    SIAM J. Sci. Comput., vol. 21, 2000.
  52. Beiträge zu Theorie und Anwendungen impliziter Differentialgleichungen.
    Dr.-Ing. thesis, 1997.
    Awarded the Förderpreis of the ITG, a division of VDE, 1999.
  53. Behavior of Multitone Signals with Schroeder's Phase.
    ICOSP 1998.
  54. The structure of BIBO stable LTI-filters - A norm type approach.
    CSDSP 1998.
  55. Structure at Infinity of Structure Matrix Pencils - A Toeplitz Matrix Approach.
    MTNS 1998.
  56. Sukzessive Index-Reduktion elektrischer Netzwerke mit Hilfe einer minimalen Anzahl von Zusatzelementen.
    Intl. Sci. Colloqu. Techn. Univ. Ilmenau, 1998.
  57. Index one regularization of networks using a minimum number of additional elements.
    SDA 1998.
  58. Eine notwendige und hinreichende Bedingung für die energetische Stabilität von zeitvarianten zeitkontinuierlichen Systemen.
    Fachtagung Informations- und Mikrosystemtechnik 1998.
  59. A normal form for implicit differential equations near singular points and its application.
    Fachtagung Informations- und Mikrosystemtechnik 1998.
  60. The index of the standard circuit equations of passive RLCTG-networks does not exceed 2.
    ISCAS 1998.
  61. Singularities of implicit ordinary differential equations.
    ISCAS 1998.
  62. An Extension of Sandberg's Representation Theorem for Linear Time-Continuous Systems.
    SMC 1998.
  63. Straightening out trajectories near singular points of implicit differential equations.
    SMC 1998.
  64. Complete characterization of all discrete-time linear systems of convolution type.
    ECCTD 1997.
  65. A Normal Form for Implicit Differential Equations Near Singular Points.
    ECCTD 1997.
  66. On Optimal Network Regularization.
    ECCTD 1997.
  67. An Extension of the Normal Tree Method.
    ECCTD 1997.
  68. Extension of the Normal Tree Method.
    Int. J. Circ. Th. Appl., vol. 27, 1999.
  69. Eine neue Methode zum Auffinden von Paaren konjugierter Bäume.
    Kleinheubacher Tagung 1996.
  70. Generische Eigenschaften linearer elektrischer Netzwerke.
    Techn. Rept., 1996.
  71. Computing the Generic Index of the Circuit Equations of Linear Active Networks.
    ISCAS 1996.
  72. Über Forward und Backward Impasse Points.
    ITG-Diskussionssitzung "Neue Anwendungen theoretischer Konzepte in der Elektrotechnik", 1995.
  73. Semi-Implicit Differential-Algebraic Equations Constitute a Normal Form.
    IEEE Trans. CAS, vol. 42, 1995.
  74. Differential-Algebraic Equations and Impasse Points.
    IEEE Trans. CAS, vol. 43, 1996.
  75. On properties of solutions of differential-algebraic equations.
    Techn. Rept., 1994.
  76. Impasse Points: Examples and Counterexamples.
    Techn. Rept., 1993.
  77. Circuit for storing sparse vectors and for cyclically reading these vectors out (in German).
    Patent.
  78. Systolic array with reduced pin numbers for the simulation of Lotka-Volterra-Systems (in German).
    Patent.
  79. Systolic array for the simulation of Lotka-Volterra-Systems (in German).
    Patent.

Impressum und Haftungsausschluß