Calculating regions of stability with evolutionary algorithms using R-functions. - Rick Vosswinkel; Hendrik Richter 001 (ECC, 2015)

Lyapunov stability bounds mapping for descriptor and switching systems. - Rick Vosswinkel; Frank Schrödel; Nils Denker; Klaus Röbenack; Dirk Abel; Hendrik Richter 001 (SSD, 2016)

Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System. - Klaus Röbenack; Rick Voßwinkel; Hendrik Richter 001 (CoRR, 2017)

Robust Model Predictive Control Based on Stabilizing Parameter Space Calculus. - Ilhan Mutlu; Juraj Oravec; Frank Schrödel; Rick Voßwinkel; Monika Bakosova; Mehmet Turan Söylemez (ECC, 2018)

Input-to-State Stability Mapping for Nonlinear Control Systems Using Quantifier Elimination. - Rick Vosswinkel; Klaus Röbenack; Naim Bajçinca (ECC, 2018)

On Robustly Stabilizing PID Controllers for Systems with a Certain Class of Multilinear Parameter Dependency. - Dinu Mihailescu-Stoica; Frank Schrödel; Rick Voßwinkel; Jürgen Adamy (MED, 2018)

Parameter Space Approach for Performance Mapping Using Lyapunov Stability. - Lorenz Pyta; Rick Voßwinkel; Frank Schrödel; Naim Bajçinca; Dirk Abel (MED, 2018)

On the Eigenvalue Placement by Static Output Feedback Via Quantifier Elimination. - Klaus Röbenack; Rick Voßwinkel; Matthias Franke (MED, 2018)

Observer Design with explicit consideration of predefined performance requirements by utilizing the Parameter Space Approach. - Lorenz Pyta; Rick Voßwinkel; Frank Schrödel; Dirk Abel (ECC, 2019)

Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination. - Klaus Röbenack; Rick Voßwinkel (ICSTCC, 2019)

A Control Lyapunov Function Approach Using Quantifier Elimination. - Rick Voßwinkel; Klaus Röbenack (ICSTCC, 2019)

A Combined Approach to Determine Robustly Stabilizing Parameter Spaces. - Khaled Alaa; Ilhan Mutlu; Frank Schrödel; Dinu Mihailescu-Stoica; Rick Voßwinkel (MED, 2019)

Determining Passivity via Quantifier Elimination. - Rick Voßwinkel; Dinu Mihailescu-Stoica; Frank Schrödel; Klaus Röbenack (MED, 2019)

Lösung regelungstechnischer Problemstellungen mittels Quantorenelimination. - Klaus Röbenack; Rick Voßwinkel (Autom., 2019)

Performance boundary mapping for continuous and discrete time linear systems. - Rick Voßwinkel; Lorenz Pyta; Frank Schrödel; Ilhan Mutlu; Dinu Mihailescu-Stoica; Naim Bajçinca (Autom., 2019)

A Modular and Model-Free Trajectory Planning Strategy for Automated Driving. - Rick Voßwinkel; Ilhan Mutlu; Khaled Alaa; Frank Schrödel (ECC, 2020)

Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem. - Klaus Röbenack; Rick Voßwinkel (Acta Cybern., 2020)

Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination. - Maximilian Gerwien; Rick Voßwinkel; Hendrik Richter 001 (CoRR, 2020)

Multi-Objective Optimization of a Path-following MPC for Vehicle Guidance: A Bayesian Optimization Approach. - Ali Gharib; David Stenger; Robert Ritschel; Rick Voßwinkel (ECC, 2021)

Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach. - M. Baha E. Zarrouki; Verena Klös; Nikolas Heppner; Simon Schwan; Robert Ritschel; Rick Voßwinkel (ECC, 2021)

Towards Situation-Aware Decision-Making for Automated Driving. - Maximilian Gerwien; Alexander Jungmann; Rick Voßwinkel (ICARA, 2021)

Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination. - Maximilian Gerwien; Rick Voßwinkel; Hendrik Richter 001 (SN Comput. Sci., 2021)

What is the Best Way to Optimally Parameterize the MPC Cost Function for Vehicle Guidance? - David Stenger; Robert Ritschel; Felix Krabbes; Rick Voßwinkel; Hendrik Richter 001 (CoRR, 2022)

Adaptive Cruise Control Implementation to a Path-following MPC for Vehicle Guidance. - Felix Krabbes; Robert Ritschel; Rick Voßwinkel (ECC, 2023)

Systematic Analysis and Design of Control Systems Based on Lyapunov's Direct Method. - Rick Voßwinkel; Klaus Röbenack (Algorithms, 2023)