Victor Gaßmann

According to our database, Victor Gaßmann authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Privacy-preserving set-based estimation using partially homomorphic encryption.

Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff

Eur. J. Control, 2023

2022

Implementation of Ellipsoidal Operations in CORA 2022.

Victor Gaßmann, Matthias Althoff

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

AROC: a toolbox for automated reachset optimal controller synthesis.

Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems.

Victor Gaßmann, Matthias Althoff

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Minimization of Constraint Violation Probability in Model Predictive Control.

Tim Brüdigam, Victor Gaßmann, Dirk Wollherr, Marion Leibold

CoRR, 2020

Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm.

Victor Gaßmann, Matthias Althoff

Proceedings of the 2020 American Control Conference, 2020