Victor Magron

Chargé de recherche au CNRS
105
Documents

Domaines de recherche

Optimisation et contrôle [math.OC]

Compétences

optimisation polynomiale programmation semidéfinie hiérarchies moment-sommes de carrés

Publications

77
4
4
3
3
2
2
2
2
1
1
1
1
1
1
9
8
3
3
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
24
14
9
9
9
9
8
8
7
6
6
6
5
4
4
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
7
4
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
18
15
14
17
7
8
4
3
6
5
3
53
39
34
6
4
4
3
2
1
1
1
1
1
45
11
8
3
1
1
61
56
30
9
7
6
4
3
2
1
1
1

Publications

A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients

Jie Wang , Victor Magron
Computational Optimization and Applications, 2024, 90, ⟨10.1007/s10589-024-00617-0⟩
Article dans une revue hal-04189927 v1

Convergence rates for sums-of-squares hierarchies with correlative sparsity

Milan Korda , Victor Magron , Rodolfo Ríos-Zertuche
Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩
Article dans une revue hal-04049383 v1
Image document

Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations

Nicolas Augier , Didier Henrion , Milan Korda , Victor Magron
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩
Article dans une revue hal-04694171 v2

Certifying ground-state properties of many-body systems

Jie Wang , Jacopo Surace , Irénée Frérot , Benoît Legat , Marc-Olivier Renou et al.
Physical Review X, 2024, 14 (3), pp.031006. ⟨10.1103/PhysRevX.14.031006⟩
Article dans une revue hal-04264341 v1
Image document

Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem

Adrien Le Franc , Victor Magron , Jean-Bernard Lasserre , Manuel Ruiz , Patrick Panciatici
IEEE Transactions on Power Systems, 2024, 39 (3), pp.5408 - 5415. ⟨10.1109/TPWRS.2023.3333691⟩
Article dans une revue hal-04110742 v2
Image document

Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives

Didier Henrion , Felix Kirschner , Etienne de Klerk , Milan Korda , Jean-Bernard Lasserre et al.
INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩
Article dans une revue hal-03429272 v2

State polynomials: positivity, optimization and nonlinear Bell inequalities

Igor Klep , Victor Magron , Jurij Volčič , Jie Wang
Mathematical Programming, 2023, 207 (1-2), pp.645-691. ⟨10.1007/s10107-023-02024-5⟩
Article dans une revue hal-03964830 v1

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming

Victor Magron , Jie Wang
Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩
Article dans une revue hal-03070864 v1

Noncommutative Christoffel-Darboux Kernels

Serban Belinschi , Victor Magron , Victor Vinnikov
Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩
Article dans une revue hal-03433869 v1

Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients

Victor Magron , Mohab Safey El Din , Trung-Hieu Vu
SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
Article dans une revue hal-03312392 v1

Correlations constrained by composite measurements

John Selby , Ana Belén Sainz , Victor Magron , Łukasz Czekaj , Michał Horodecki
Quantum, 2023, 7, pp.1080. ⟨10.22331/q-2023-08-10-1080⟩
Article dans une revue hal-04117038 v1
Image document

Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks

Milan Korda , Monique Laurent , Victor Magron , Andries Steenkamp
Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩
Article dans une revue hal-03782934 v1

Stability of Linear Systems under Extended Weakly-Hard Constraints

Nils Vreman , Paolo Pazzaglia , Jie Wang , Victor Magron , Martina Maggio
IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩
Article dans une revue hal-03127108 v1

A Sublevel Moment-SOS Hierarchy for Polynomial Optimization

Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels
Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩
Article dans une revue hal-03109978 v1

Dimension-free entanglement detection in multipartite Werner states

Felix Huber , Igor Klep , Victor Magron , Jurij Volčič
Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩
Article dans une revue hal-03322991 v1

Exploiting Sparsity in Complex Polynomial Optimization

Jie Wang , Victor Magron
Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩
Article dans une revue hal-03178832 v1

Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy

Jie Wang , Victor Magron , Jean-Bernard Lasserre
Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩
Article dans une revue hal-03351160 v1

A sparse version of Reznick's Positivstellensatz

N. H. A. Mai , Victor Magron , Jean-Bernard Lasserre
Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩
Article dans une revue hal-02477339 v1
Image document

On the complexity of Putinar-Vasilescu's Positivstellensatz

Ngoc Hoang Anh Mai , Victor Magron
Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩
Article dans une revue hal-03820206 v1

Exploiting constant trace property in large-scale polynomial optimization

Ngoc Hoang Anh Mai , Jean-Bernard Lasserre , Victor Magron , Jie Wang
ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩
Article dans une revue hal-03079000 v1

TSSOS: A Moment-SOS hierarchy that exploits term sparsity

Jie Wang , Victor Magron , Jean-Bernard Lasserre
SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩
Article dans une revue hal-02448389 v1

Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension

Jie Wang , Victor Magron , Jean-Bernard Lasserre
SIAM Journal on Optimization, 2021, ⟨10.1137/20M1323564⟩
Article dans une revue hal-02502131 v1

Minimizing rational functions: a hierarchy of approximations via pushforward measures

Jean-Bernard Lasserre , Victor Magron , Swann Marx , Olivier Zahm
SIAM Journal on Optimization, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩
Article dans une revue hal-03053386 v1

Exploiting term sparsity in Noncommutative Polynomial Optimization

Jie Wang , Victor Magron
Computational Optimization and Applications, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩
Article dans une revue hal-02967839 v1
Image document

On Exact Reznick, Hilbert-Artin and Putinar's Representations

Victor Magron , Mohab Safey El Din
Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩
Article dans une revue hal-01935727 v1

Optimization over trace polynomials

Igor Klep , Victor Magron , Jurij Volčič
Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩
Article dans une revue hal-02879621 v1

$l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks

Yoshio Ebihara , Hayato Waki , Victor Magron , Ngoc Hoang Anh Mai , Dimitri Peaucelle et al.
European Journal of Control, 2021, 62, pp.99-104. ⟨10.1016/j.ejcon.2021.06.022⟩
Article dans une revue hal-03026445 v1

Positivity certificates and polynomial optimization on non-compact semialgebraic sets

Ngoc Hoang Anh Mai , Jean-Bernard Lasserre , Victor Magron
Mathematical Programming, Series A, 2021, ⟨10.1007/s10107-021-01634-1⟩
Article dans une revue hal-02382059 v1

Sparse Noncommutative Polynomial Optimization

Igor Klep , Victor Magron , Janez Povh
Mathematical Programming, Series A, 2020, ⟨10.1007/s10107-020-01610-1⟩
Article dans une revue hal-02278767 v1

Computing the Hausdorff boundary measure of semi-algebraic sets

Jean-Bernard Lasserre , Victor Magron
SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩
Article dans une revue hal-02448149 v1

Optimal Control of Linear PDEs using Occupation Measures and SDP Relaxations

Victor Magron , Christophe Prieur
IMA Journal of Mathematical Control and Information, 2020, 37 (1), pp.159-174. ⟨10.1093/imamci/dny044⟩
Article dans une revue hal-01966782 v1

Semidefinite Approximations of Invariant Measures for Polynomial Systems

Victor Magron , Marcelo Forets , Didier Henrion
Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
Article dans une revue hal-01828443 v1
Image document

Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials

Victor Magron , Mohab Safey El Din , Markus Schweighofer
Journal of Symbolic Computation, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩
Article dans une revue hal-01538729 v1
Image document

EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS

Victor Magron , Henning Seidler , Timo de Wolff
ACM Communications in Computer Algebra, 2019, ⟨10.1145/3326229.3326271⟩
Article dans une revue hal-02006899 v1
Image document

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Victor Magron , Pierre-Loïc Garoche , Didier Henrion , Xavier Thirioux
SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩
Article dans une revue hal-01490897 v1

In SDP relaxations, inaccurate solvers do robust optimization

Jean-Bernard Lasserre , Victor Magron
SIAM Journal on Optimization, 2019, 29 (3), pp.2128-2145. ⟨10.1137/18M1225677⟩
Article dans une revue hal-01915976 v1

Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations

Victor Magron , Alexandre Rocca , Thao Dang
IEEE Transactions on Computers, 2019, 68 (7), pp.953-966. ⟨10.1109/TC.2018.2851235⟩
Article dans une revue hal-01956817 v1

RealCertify: a Maple package for certifying non-negativity

Victor Magron , Mohab Safey El Din
ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩
Article dans une revue hal-01956812 v1

Optimal data fitting: a moment approach

Jean-Bernard Lasserre , Victor Magron
SIAM Journal on Optimization, 2018, 28 (4), pp.3127-3144. ⟨10.1137/18M1170108⟩
Article dans une revue hal-01706850 v1

Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming

Victor Magron
ACM Transactions on Mathematical Software, 2018, 44 (4), pp.41:1--41:18. ⟨10.1145/3206430⟩
Article dans une revue hal-01956815 v1
Image document

Semidefinite approximations of projections and polynomial images of semialgebraic sets

Victor Magron , Didier Henrion , Jean-Bernard Lasserre
SIAM Journal on Optimization, 2015, 25 (4), pp. 2143-2164
Article dans une revue hal-01075343 v2

Formal Proofs for Nonlinear Optimization

Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner
Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24
Article dans une revue hal-00985675 v1

Certification of real inequalities: templates and sums of squares

Victor Magron , Xavier Allamigeon , Stéphane Gaubert , Benjamin Werner
Mathematical Programming, 2014, 151 (2), pp.30. ⟨10.1007/s10107-014-0834-5⟩
Article dans une revue hal-01096485 v1
Image document

Approximating Pareto Curves using Semidefinite Relaxations

Victor Magron , Didier Henrion , Jean-Bernard Lasserre
Operations Research Letters, 2014, 42 (6-7), pp.432-437
Article dans une revue hal-00980625 v2

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

Victor Magron
Optimization Letters, 2014, ⟨10.1007/s11590-014-0797-8⟩
Article dans une revue hal-00983485 v1

Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation

Shingo Nishinaka , Rin Saeki , Tsuyoshi Yuno , Yoshio Ebihara , Victor Magron et al.
4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON), Sep 2024, Lyon, France
Communication dans un congrès hal-04495314 v1

State polynomial optimization for nonlinear Bell inequalities

Victor Magron
Effective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany
Communication dans un congrès hal-04719283 v1

Upper bound hierarchies for noncommutative polynomial optimization

Igor Klep , Victor Magron , Gaël Massé , Jurij Volčič
26th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Aug 2024, Cambridge (Angleterre), United Kingdom
Communication dans un congrès hal-04440949 v1

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

Yoshio Ebihara , Xin Dai , Victor Magron , Dimitri Peaucelle , Sophie Tarbouriech
European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩
Communication dans un congrès hal-04247204 v1

Trace polynomial optimization with applications in quantum information

Victor Magron
Workshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands
Communication dans un congrès hal-04719307 v1

Peak Estimation of Time Delay Systems using Occupation Measures

Jared Miller , Milan Korda , Victor Magron , Mario Sznaier
2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩
Communication dans un congrès hal-04047493 v1

Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares

Przemysław Koprowski , Victor Magron , Tristan Vaccon
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Dec 2023, Kyoto, Japan. pp.425-433, ⟨10.1145/3597066.3597072⟩
Communication dans un congrès hal-03976836 v1

Exploiting sparsity in polynomial optimization

Victor Magron
Journées nationales de calcul formel (JNCF), Mar 2023, Marseille (CIRM, Centre International de Rencontres Mathématiques), France
Communication dans un congrès hal-04719298 v1

Sparse polynomial optimization: theory and practice

Victor Magron
17th International Symposium on Operations Research in Slovenia, Sep 2023, Bled, Slovenia
Communication dans un congrès hal-04719292 v1

Conic programming for certified polynomial optimization

Victor Magron
Conic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany
Communication dans un congrès hal-04719316 v1
Image document

L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming

Yoshio Ebihara , Hayato Waki , Noboru Sebe , Victor Magron , Dimitri Peaucelle et al.
European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
Communication dans un congrès hal-03740522 v1

Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients

Victor Magron , Mohab Safey El Din , Markus Schweighofer , Trung Hieu Vu
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France
Communication dans un congrès hal-03575157 v1

The Constant Trace Property in Noncommutative Optimization

Ngoc Hoang Anh Mai , Abhishek Bhardwaj , Victor Magron
International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩
Communication dans un congrès hal-03130967 v1
Image document

Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers

Yoshio Ebihara , Hayato Waki , Victor Magron , Ngoc Hoang Anh Mai , Dimitri Peaucelle et al.
Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States. pp.5098-5103, ⟨10.1109/CDC45484.2021.9683530⟩
Communication dans un congrès hal-03564261 v1
Image document

TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization

Victor Magron , Jie Wang
Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway. ⟨10.48550/arXiv.2103.00915⟩
Communication dans un congrès hal-03155742 v1

Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification

Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels
Advances in Neural Information Processing Systems, Dec 2021, Online, France
Communication dans un congrès hal-03265346 v1

SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions

Jie Wang , Martina Maggio , Victor Magron
2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩
Communication dans un congrès hal-02923348 v1

Semialgebraic Optimization for Lipschitz Constants of ReLU Networks

Tong Chen , Jean-Bernard Lasserre , Victor Magron , Edouard Pauwels
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Communication dans un congrès hal-02940488 v1

A second order cone characterization for sums of nonnegative circuits

Victor Magron , Jie Wang
45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩
Communication dans un congrès hal-02473446 v1

On Exact Polya and Putinar's Representations

Victor Magron , Mohab Safey El Din
ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩
Communication dans un congrès hal-01720612 v1

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron
Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116
Communication dans un congrès hal-01371514 v1

Property-based Polynomial Invariant Generation Using Sums-Of-Squares

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron
Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251
Communication dans un congrès hal-01371508 v1

NLCertify: A Tool for Formal Nonlinear Optimization

Victor Magron
International Congress on Mathematical Software (ICMS), Aug 2014, Seoul, South Korea. 6p
Communication dans un congrès hal-00995686 v1

Certification of Bounds of Non-linear Functions: the Templates Method

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner
Conferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩
Communication dans un congrès hal-00932333 v1

Certification of inequalities involving transcendental functions: combining SDP and max-plus approximation

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner
European Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250
Communication dans un congrès hal-00932348 v1

Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations

Srećko Ðurašinović , Perla Azzi , Jean-Bernard Lasserre , Victor Magron , Olga Mula et al.
2025
Pré-publication, Document de travail hal-04913273 v1

On the Complexity of p-Order Cone Programs

Víctor Blanco , Victor Magron , Miguel Martínez-Antón
2025
Pré-publication, Document de travail hal-04896611 v1
Image document

Complete Upper Bound Hierarchies for Spectral Minimum in Noncommutative Polynomial Optimization

Igor Klep , Victor Magron , Jurij Volčič
2025
Pré-publication, Document de travail hal-04875437 v1

Convergence rates for polynomial optimization on set products

Victor Magron
2025
Pré-publication, Document de travail hal-05086019 v1

Detecting Destabilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems

Hibiki Gyotoku , Tsuyoshi Yuno , Yoshio Ebihara , Dimitri Peaucelle , Sophie Tarbouriech et al.
2025
Pré-publication, Document de travail hal-04985724 v1

Induced Norm Analysis of Linear Systems for Nonnegative Input Signals

Yoshio Ebihara , Noboru Sebe , Hayato Waki , Dimitri Peaucelle , Sophie Tarbouriech et al.
2024
Pré-publication, Document de travail hal-04438031 v1

Positivity of state, trace, and moment polynomials, and applications in quantum information

Felix Huber , Victor Magron , Jurij Volčič
2024
Pré-publication, Document de travail hal-04844939 v1
Image document

Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem

Didier Henrion , Adrien Le Franc , Victor Magron
2024
Pré-publication, Document de travail hal-04500960 v4

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

Jianting Yang , Srećko Ðurašinović , Jean-Bernard Lasserre , Victor Magron , Jun Zhao
2024
Pré-publication, Document de travail hal-04589986 v1

On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers

Hibiki Gyotoku , Tsuyoshi Yuno , Yoshio Ebihara , Victor Magron , Dimitri Peaucelle et al.
2024
Pré-publication, Document de travail hal-04797364 v1

Sums of squares certificates for polynomial moment inequalities

Igor Klep , Victor Magron , Jurij Volčič
2023
Pré-publication, Document de travail hal-04125262 v1

Sums of squares representations on singular loci

Ngoc Hoang Anh Mai , Victor Magron
2023
Pré-publication, Document de travail hal-04023980 v1

Tractable semidefinite bounds of positive maximal singular values

Victor Magron , Ngoc Hoang Anh Mai , Yoshio Ebihara , Hayato Waki
2022
Pré-publication, Document de travail hal-03580048 v1

Urysohn in action: separating semialgebraic sets by polynomials

Milan Korda , Jean-Bernard Lasserre , Alexey Lazarev , Victor Magron , Simone Naldi
2022
Pré-publication, Document de travail hal-03712510 v1

Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant

Ngoc Hoang Anh Mai , Victor Magron , Jean-Bernard Lasserre , Kim-Chuan Toh
2022
Pré-publication, Document de travail hal-03776853 v1

Noncommutative Polynomial Optimization

Abhishek Bhardwaj , Igor Klep , Victor Magron
2021
Pré-publication, Document de travail hal-03333504 v1

A hierarchy of spectral relaxations for polynomial optimization

Ngoc Hoang Anh Mai , Victor Magron , Jean-Bernard Lasserre
2021
Pré-publication, Document de travail hal-03149938 v1

Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems

Victor Magron , Jie Wang , Corbinian Schlosser , Milan Korda
2021
Pré-publication, Document de travail hal-03439458 v1

CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization

Jie Wang , Victor Magron , Jean B Lasserre , Ngoc Hoang Anh Mai
2020
Pré-publication, Document de travail hal-02566472 v1

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

Grigory Devadze , Victor Magron , Stefan Streif
2020
Pré-publication, Document de travail hal-02873040 v1
Image document

A Sums-of-Squares Extension of Policy Iterations

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron
2017
Pré-publication, Document de travail hal-01133405 v2
Image document

Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations

Alexandre Rocca , Victor Magron , Thao Dang
2017
Pré-publication, Document de travail hal-01448167 v1
Image document

A Certified Lower Bounds of Roundoff Errors using Semidefinite Programming

Victor Magron , Mountassir Farid
2017
Pré-publication, Document de travail hal-01448160 v1
Image document

Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization

Assalé Adjé , Pierre-Loïc Garoche , Victor Magron
2015
Pré-publication, Document de travail hal-01134816 v1

Polynomial Template Generation using Sum-of-Squares Programming

Assalé Adjé , Victor Magron
2014
Pré-publication, Document de travail hal-01064305 v1
Image document

Formal Proofs for Global Optimization -- Templates and Sums of Squares

Victor Magron
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Thèse pastel-00917779 v1
Image document

The quest of modeling, certification and efficiency in polynomial optimization

Victor Magron
Automatic Control Engineering. Université Toulouse 3 Paul Sabatier, 2021
HDR tel-03246038 v1