Rick Voßwinkel

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 23

Top Topics

Parameter Space

Lyapunov Function

Presburger Arithmetic

Quantifier Elimination

Top Venues

Publications

Felix Krabbes, Robert Ritschel, Rick Voßwinkel
Adaptive Cruise Control Implementation to a Path-following MPC for Vehicle Guidance. ECC (2023)
Rick Voßwinkel, Klaus Röbenack
Systematic Analysis and Design of Control Systems Based on Lyapunov's Direct Method. Algorithms 16 (8) (2023)
David Stenger, Robert Ritschel, Felix Krabbes, Rick Voßwinkel, Hendrik Richter
What is the Best Way to Optimally Parameterize the MPC Cost Function for Vehicle Guidance? CoRR (2022)
Ali Gharib, David Stenger, Robert Ritschel, Rick Voßwinkel
Multi-Objective Optimization of a Path-following MPC for Vehicle Guidance: A Bayesian Optimization Approach. CoRR (2021)
Maximilian Gerwien, Rick Voßwinkel, Hendrik Richter
Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination. SN Comput. Sci. 2 (1) (2021)
Maximilian Gerwien, Alexander Jungmann, Rick Voßwinkel
Towards Situation-Aware Decision-Making for Automated Driving. ICARA (2021)
Ali Gharib, David Stenger, Robert Ritschel, Rick Voßwinkel
Multi-Objective Optimization of a Path-following MPC for Vehicle Guidance: A Bayesian Optimization Approach. ECC (2021)
M. Baha E. Zarrouki, Verena Klös, Nikolas Heppner, Simon Schwan, Robert Ritschel, Rick Voßwinkel
Weights-varying MPC for Autonomous Vehicle Guidance: a Deep Reinforcement Learning Approach. ECC (2021)
Maximilian Gerwien, Rick Voßwinkel, Hendrik Richter
Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination. CoRR (2020)
Rick Voßwinkel, Ilhan Mutlu, Khaled Alaa, Frank Schrödel
A Modular and Model-Free Trajectory Planning Strategy for Automated Driving. ECC (2020)
Klaus Röbenack, Rick Voßwinkel
Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem. Acta Cybern. 24 (3) (2020)
Klaus Röbenack, Rick Voßwinkel
Lösung regelungstechnischer Problemstellungen mittels Quantorenelimination. Autom. 67 (9) (2019)
Rick Voßwinkel, Klaus Röbenack
A Control Lyapunov Function Approach Using Quantifier Elimination. ICSTCC (2019)
Lorenz Pyta, Rick Voßwinkel, Frank Schrödel, Dirk Abel
Observer Design with explicit consideration of predefined performance requirements by utilizing the Parameter Space Approach. ECC (2019)
Klaus Röbenack, Rick Voßwinkel
Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination. ICSTCC (2019)
Khaled Alaa, Ilhan Mutlu, Frank Schrödel, Dinu Mihailescu-Stoica, Rick Voßwinkel
A Combined Approach to Determine Robustly Stabilizing Parameter Spaces. MED (2019)
Rick Voßwinkel, Lorenz Pyta, Frank Schrödel, Ilhan Mutlu, Dinu Mihailescu-Stoica, Naim Bajçinca
Performance boundary mapping for continuous and discrete time linear systems. Autom. 107 (2019)
Rick Voßwinkel, Dinu Mihailescu-Stoica, Frank Schrödel, Klaus Röbenack
Determining Passivity via Quantifier Elimination. MED (2019)
Klaus Röbenack, Rick Voßwinkel, Matthias Franke
On the Eigenvalue Placement by Static Output Feedback Via Quantifier Elimination. MED (2018)
Ilhan Mutlu, Juraj Oravec, Frank Schrödel, Rick Voßwinkel, Monika Bakosova, Mehmet Turan Söylemez
Robust Model Predictive Control Based on Stabilizing Parameter Space Calculus. ECC (2018)
Lorenz Pyta, Rick Voßwinkel, Frank Schrödel, Naim Bajçinca, Dirk Abel
Parameter Space Approach for Performance Mapping Using Lyapunov Stability. MED (2018)
Dinu Mihailescu-Stoica, Frank Schrödel, Rick Voßwinkel, Jürgen Adamy
On Robustly Stabilizing PID Controllers for Systems with a Certain Class of Multilinear Parameter Dependency. MED (2018)
Klaus Röbenack, Rick Voßwinkel, Hendrik Richter
Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System. CoRR (2017)