activity
20142023
most citedFormal Proofs for Nonlinear Optimization

13 citations · 27 across the 11 of their papers we have counts for

collaborators
Showing math.OCShow all

6 papers · 1 filter

math.OC2023

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…

math.OC20231 cited

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…

math.OC20226 cited

Sparse Polynomial Optimization: Theory and Practice

Victor Magron, Jie Wang

The problem of minimizing a polynomial over a set of polynomial inequalities is an NP-hard non-convex problem. Thanks to powerful results from real algebraic geometry, one can conv…

math.OC2014

Error Bounds for Polynomial Optimization over the Hypercube using Putinar type Representations

Victor Magron

Consider the optimization problem , where is a degree multivariate polynomial and is the hypercube. We…

math.OC2014

Approximating Pareto Curves using Semidefinite Relaxations

Victor Magron, Didier Henrion, Jean-Bernard Lasserre

We consider the problem of constructing an approximation of the Pareto curve associated with the multiobjective optimization problem $\min_{\mathbf{x} \in \mathbf{S}}\{ (f_1(\mathb…

math.OC20145 cited

Certification of Real Inequalities -- Templates and Sums of Squares

Xavier Allamigeon, Stéphane Gaubert, Victor Magron +1

We consider the problem of certifying lower bounds for real-valued multivariate transcendental functions. The functions we are dealing with are nonlinear and involve semialgebraic…