19 citations · 98 across the 62 of their papers we have counts for
6 papers · 2 filters
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
Yoshio Ebihara, Xin Dai, Victor Magron +2
This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). T…
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
Jie Wang, Victor Magron
This paper proposes a real moment-HSOS hierarchy for complex polynomial optimization problems with real coefficients. We show that this hierarchy provides the same sequence of lowe…
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
Nicolas Augier, Didier Henrion, Milan Korda +1
We address the problem of symmetry reduction of optimal control problems under the action of a finite group from a measure relaxation viewpoint. We propose a method based on the mo…
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre +2
AC-OPF (Alternative Current Optimal Power Flow)aims at minimizing the operating costs of a power gridunder physical constraints on voltages and power injections.Its mathematical fo…
Peak Estimation of Time Delay Systems using Occupation Measures
Jared Miller, Milan Korda, Victor Magron +1
This work proposes a method to compute the maximum value obtained by a state function along trajectories of a Delay Differential Equation (DDE). An example of this task is finding…
Convergence rates for sums-of-squares hierarchies with correlative sparsity
Milan Korda, Victor Magron, Rodolfo Rios-Zertuche
This work derives upper bounds on the convergence rate of the moment-sum-of-squares hierarchy with correlative sparsity for global minimization of polynomials on compact basic semi…