2025
Pré-publications, documents de travail
Víctor Blanco, Victor Magron, Miguel Martínez-Antón. On the Complexity of p-Order Cone Programs. 2025. ⟨hal-04896611⟩
Igor Klep, Victor Magron, Jurij Volčič. Complete Upper Bound Hierarchies for Spectral Minimum in Noncommutative Polynomial Optimization. 2025. ⟨hal-04875437⟩
Srećko Ðurašinović, Perla Azzi, Jean-Bernard Lasserre, Victor Magron, Olga Mula, et al.. Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations. 2025. ⟨hal-04913273⟩
2024
Articles dans une revue
Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre, Manuel Ruiz, Patrick Panciatici. Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem. IEEE Transactions on Power Systems, 2024, 39 (3), pp.5408 - 5415. ⟨10.1109/TPWRS.2023.3333691⟩. ⟨hal-04110742v2⟩
Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩. ⟨hal-04694171v2⟩
Jie Wang, Victor Magron. A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients. Computational Optimization and Applications, 2024, 90, ⟨10.1007/s10589-024-00617-0⟩. ⟨hal-04189927⟩
Milan Korda, Victor Magron, Rodolfo Ríos-Zertuche. Convergence rates for sums-of-squares hierarchies with correlative sparsity. Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩. ⟨hal-04049383⟩
Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, et al.. Certifying ground-state properties of many-body systems. Physical Review X, 2024, 14 (3), pp.031006. ⟨10.1103/PhysRevX.14.031006⟩. ⟨hal-04264341⟩
Communications dans un congrès
Victor Magron. Trace polynomial optimization with applications in quantum information. Workshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands. ⟨hal-04719307⟩
Shingo Nishinaka, Rin Saeki, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, et al.. Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation. 4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON), Sep 2024, Lyon, France. ⟨hal-04495314⟩
Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech. Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification. European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩. ⟨hal-04247204⟩
Igor Klep, Victor Magron, Gaël Massé, Jurij Volčič. Upper bound hierarchies for noncommutative polynomial optimization. 26th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Aug 2024, Cambridge (Angleterre), United Kingdom. ⟨hal-04440949⟩
Victor Magron. State polynomial optimization for nonlinear Bell inequalities. Effective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany. ⟨hal-04719283⟩
Autres documents
Srećko Đurašinović, Jianting Yang, Jean-Bernard Lasserre, Victor Magron, Jun Zhao. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. R&T Days 2024, Jul 2024, Toulouse (FRANCE), France. 2024. ⟨hal-04720757⟩
@softwareversion
Victor Magron, Jie Wang. TSSOS. 2024, ⟨swh:1:dir:cbf2ecc0d62a29200571c1fefaab9e97d62fb6a4;origin=https://hal.archives-ouvertes.fr/hal-04719510;visit=swh:1:snp:99ab25528c5694b6e3de07baa33fab62d9ba3b25;anchor=swh:1:rel:7933a8a0093f3fae2d54c3bb5c3edd84b6ed16b5;path=/⟩. ⟨hal-04719510⟩
Victor Magron. RealCertify. 2024, ⟨swh:1:dir:65138ea897686eed5531074255caa4dd21d087b4;origin=https://hal.archives-ouvertes.fr/hal-04719526;visit=swh:1:snp:e32a3b48f1744a2714f5f9ddbf411cc278807f96;anchor=swh:1:rel:c474cafbf7034e92b0fe2e165b1355af844bf4c2;path=/⟩. ⟨hal-04719526⟩
Pré-publications, documents de travail
Yoshio Ebihara, Noboru Sebe, Hayato Waki, Dimitri Peaucelle, Sophie Tarbouriech, et al.. Induced Norm Analysis of Linear Systems for Nonnegative Input Signals. 2024. ⟨hal-04438031⟩
Felix Huber, Victor Magron, Jurij Volčič. Positivity of state, trace, and moment polynomials, and applications in quantum information. 2024. ⟨hal-04844939⟩
Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre, Victor Magron, Jun Zhao. Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization. 2024. ⟨hal-04589986⟩
Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, Dimitri Peaucelle, et al.. On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers. 2024. ⟨hal-04797364⟩
Didier Henrion, Adrien Le Franc, Victor Magron. Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem. 2024. ⟨hal-04500960v4⟩
2023
Articles dans une revue
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp. Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks. Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩. ⟨hal-03782934⟩
Victor Magron, Mohab Safey El Din, Trung-Hieu Vu. Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients. SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩. ⟨hal-03312392⟩
Victor Magron, Jie Wang. SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming. Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩. ⟨hal-03070864⟩
Serban Belinschi, Victor Magron, Victor Vinnikov. Noncommutative Christoffel-Darboux Kernels. Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩. ⟨hal-03433869⟩
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, et al.. Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives. INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩. ⟨hal-03429272v2⟩
John Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki. Correlations constrained by composite measurements. Quantum, 2023, 7, pp.1080. ⟨10.22331/q-2023-08-10-1080⟩. ⟨hal-04117038⟩
Igor Klep, Victor Magron, Jurij Volčič, Jie Wang. State polynomials: positivity, optimization and nonlinear Bell inequalities. Mathematical Programming, 2023, 207 (1-2), pp.645-691. ⟨10.1007/s10107-023-02024-5⟩. ⟨hal-03964830⟩
Livres
Victor Magron, Jie Wang. Sparse Polynomial Optimization: Theory and Practice. World Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5. ⟨10.1142/q0382⟩. ⟨hal-03760501⟩
Communications dans un congrès
Victor Magron. Exploiting sparsity in polynomial optimization. Journées nationales de calcul formel (JNCF), Mar 2023, Marseille (CIRM, Centre International de Rencontres Mathématiques), France. ⟨hal-04719298⟩
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier. Peak Estimation of Time Delay Systems using Occupation Measures. 2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩. ⟨hal-04047493⟩
Przemysław Koprowski, Victor Magron, Tristan Vaccon. Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Dec 2023, Kyoto, Japan. pp.425-433, ⟨10.1145/3597066.3597072⟩. ⟨hal-03976836⟩
Victor Magron. Sparse polynomial optimization: theory and practice. 17th International Symposium on Operations Research in Slovenia, Sep 2023, Bled, Slovenia. ⟨hal-04719292⟩
Pré-publications, documents de travail
Ngoc Hoang Anh Mai, Victor Magron. Sums of squares representations on singular loci. 2023. ⟨hal-04023980⟩
Igor Klep, Victor Magron, Jurij Volčič. Sums of squares certificates for polynomial moment inequalities. 2023. ⟨hal-04125262⟩
Victor Magron. Exploiting sparsity in polynomial optimization. École thématique. Luminy, France. 2023. ⟨hal-04193936⟩
2022
Articles dans une revue
Jie Wang, Victor Magron. Exploiting Sparsity in Complex Polynomial Optimization. Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩. ⟨hal-03178832⟩
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. A Sublevel Moment-SOS Hierarchy for Polynomial Optimization. Computational Optimization and Applications, 2022, 81 (1), pp.31-66. ⟨10.1007/s10589-021-00325-z⟩. ⟨hal-03109978⟩
Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio. Stability of Linear Systems under Extended Weakly-Hard Constraints. IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩. ⟨hal-03127108⟩
Felix Huber, Igor Klep, Victor Magron, Jurij Volčič. Dimension-free entanglement detection in multipartite Werner states. Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩. ⟨hal-03322991⟩
N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre. A sparse version of Reznick's Positivstellensatz. Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩. ⟨hal-02477339⟩
Ngoc Hoang Anh Mai, Victor Magron. On the complexity of Putinar-Vasilescu's Positivstellensatz. Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩. ⟨hal-03820206⟩
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang. Exploiting constant trace property in large-scale polynomial optimization. ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩. ⟨hal-03079000⟩
Jie Wang, Victor Magron, Jean-Bernard Lasserre. Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy. Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩. ⟨hal-03351160⟩
Communications dans un congrès
Yoshio Ebihara, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, et al.. L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming. European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩. ⟨hal-03740522⟩
Victor Magron. Conic programming for certified polynomial optimization. Conic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany. ⟨hal-04719316⟩
Victor Magron, Mohab Safey El Din, Markus Schweighofer, Trung Hieu Vu. Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian Coefficients. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France. ⟨hal-03575157⟩
Pré-publications, documents de travail
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre, Kim-Chuan Toh. Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant. 2022. ⟨hal-03776853⟩
Milan Korda, Jean-Bernard Lasserre, Alexey Lazarev, Victor Magron, Simone Naldi. Urysohn in action: separating semialgebraic sets by polynomials. 2022. ⟨hal-03712510⟩
Victor Magron, Ngoc Hoang Anh Mai, Yoshio Ebihara, Hayato Waki. Tractable semidefinite bounds of positive maximal singular values. 2022. ⟨hal-03580048⟩
2021
Articles dans une revue
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron. Positivity certificates and polynomial optimization on non-compact semialgebraic sets. Mathematical Programming, Series A, 2021, ⟨10.1007/s10107-021-01634-1⟩. ⟨hal-02382059⟩
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, et al.. $l_2$ Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks. European Journal of Control, 2021, 62, pp.99-104. ⟨10.1016/j.ejcon.2021.06.022⟩. ⟨hal-03026445⟩
Igor Klep, Victor Magron, Jurij Volčič. Optimization over trace polynomials. Annales Henri Poincaré, 2021, ⟨10.1007/s00023-021-01095-4⟩. ⟨hal-02879621⟩
Jie Wang, Victor Magron. Exploiting term sparsity in Noncommutative Polynomial Optimization. Computational Optimization and Applications, 2021, 80, pp.483-521. ⟨10.1007/s10589-021-00301-7⟩. ⟨hal-02967839⟩
Jie Wang, Victor Magron, Jean-Bernard Lasserre. TSSOS: A Moment-SOS hierarchy that exploits term sparsity. SIAM Journal on Optimization, 2021, 31 (1), pp.30--58. ⟨10.1137/19M1307871⟩. ⟨hal-02448389⟩
Jean-Bernard Lasserre, Victor Magron, Swann Marx, Olivier Zahm. Minimizing rational functions: a hierarchy of approximations via pushforward measures. SIAM Journal on Optimization, 2021, 31 (3), pp.2285-2306. ⟨10.1137/20M138541X⟩. ⟨hal-03053386⟩
Jie Wang, Victor Magron, Jean-Bernard Lasserre. Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension. SIAM Journal on Optimization, 2021, ⟨10.1137/20M1323564⟩. ⟨hal-02502131⟩
Victor Magron, Mohab Safey El Din. On Exact Reznick, Hilbert-Artin and Putinar's Representations. Journal of Symbolic Computation, 2021, 107, pp.221-250. ⟨10.1016/j.jsc.2021.03.005⟩. ⟨hal-01935727⟩
Communications dans un congrès
Ngoc Hoang Anh Mai, Abhishek Bhardwaj, Victor Magron. The Constant Trace Property in Noncommutative Optimization. International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩. ⟨hal-03130967⟩
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification. Advances in Neural Information Processing Systems, Dec 2021, Online, France. ⟨hal-03265346⟩
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, et al.. Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers. Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States. pp.5098-5103, ⟨10.1109/CDC45484.2021.9683530⟩. ⟨hal-03564261⟩
Victor Magron, Jie Wang. TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization. Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway. ⟨10.48550/arXiv.2103.00915⟩. ⟨hal-03155742⟩
Jie Wang, Martina Maggio, Victor Magron. SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions. 2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩. ⟨hal-02923348⟩
Thèse de doctorat, Habilitation à diriger des recherches
Victor Magron. The quest of modeling, certification and efficiency in polynomial optimization. Automatic Control Engineering. Université Toulouse 3 Paul Sabatier, 2021. ⟨tel-03246038⟩
Pré-publications, documents de travail
Victor Magron, Jie Wang, Corbinian Schlosser, Milan Korda. Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems. 2021. ⟨hal-03439458⟩
Abhishek Bhardwaj, Igor Klep, Victor Magron. Noncommutative Polynomial Optimization. 2021. ⟨hal-03333504⟩
Ngoc Hoang Anh Mai, Victor Magron, Jean-Bernard Lasserre. A hierarchy of spectral relaxations for polynomial optimization. 2021. ⟨hal-03149938⟩
2020
Articles dans une revue
Jean-Bernard Lasserre, Victor Magron. Computing the Hausdorff boundary measure of semi-algebraic sets. SIAM Journal on Applied Algebra and Geometry, 2020, 4 (3), pp.441-469. ⟨10.1137/20M1314392⟩. ⟨hal-02448149⟩
Victor Magron, Christophe Prieur. Optimal Control of Linear PDEs using Occupation Measures and SDP Relaxations. IMA Journal of Mathematical Control and Information, 2020, 37 (1), pp.159-174. ⟨10.1093/imamci/dny044⟩. ⟨hal-01966782⟩
Igor Klep, Victor Magron, Janez Povh. Sparse Noncommutative Polynomial Optimization. Mathematical Programming, Series A, 2020, ⟨10.1007/s10107-020-01610-1⟩. ⟨hal-02278767⟩
Communications dans un congrès
Tong Chen, Jean-Bernard Lasserre, Victor Magron, Edouard Pauwels. Semialgebraic Optimization for Lipschitz Constants of ReLU Networks. Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada. ⟨hal-02940488⟩
Victor Magron, Jie Wang. A second order cone characterization for sums of nonnegative circuits. 45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩. ⟨hal-02473446⟩
Pré-publications, documents de travail
Jie Wang, Victor Magron, Jean B Lasserre, Ngoc Hoang Anh Mai. CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization. 2020. ⟨hal-02566472⟩
Grigory Devadze, Victor Magron, Stefan Streif. Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. 2020. ⟨hal-02873040⟩
2019
Articles dans une revue
Victor Magron, Mohab Safey El Din, Markus Schweighofer. Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials. Journal of Symbolic Computation, 2019, 93, pp.200-220. ⟨10.1016/j.jsc.2018.06.005⟩. ⟨hal-01538729⟩
Jean-Bernard Lasserre, Victor Magron. In SDP relaxations, inaccurate solvers do robust optimization. SIAM Journal on Optimization, 2019, 29 (3), pp.2128-2145. ⟨10.1137/18M1225677⟩. ⟨hal-01915976⟩
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩. ⟨hal-01490897⟩
Victor Magron, Marcelo Forets, Didier Henrion. Semidefinite Approximations of Invariant Measures for Polynomial Systems. Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩. ⟨hal-01828443⟩
Victor Magron, Henning Seidler, Timo de Wolff. EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS. ACM Communications in Computer Algebra, 2019, ⟨10.1145/3326229.3326271⟩. ⟨hal-02006899⟩
Victor Magron, Alexandre Rocca, Thao Dang. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. IEEE Transactions on Computers, 2019, 68 (7), pp.953-966. ⟨10.1109/TC.2018.2851235⟩. ⟨hal-01956817⟩
Livres
Victor Magron, Alexandre Rocca, Thao Dang. Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. 68 (7), pp.953-966, 2019, ⟨10.1109/TC.2018.2851235⟩. ⟨hal-02402354⟩
Rapports
Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, et al.. Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS. 2019. ⟨hal-02295816⟩
2018
Articles dans une revue
Victor Magron. Interval Enclosures of Upper Bounds of Roundoff Errors using Semidefinite Programming. ACM Transactions on Mathematical Software, 2018, 44 (4), pp.41:1--41:18. ⟨10.1145/3206430⟩. ⟨hal-01956815⟩
Jean-Bernard Lasserre, Victor Magron. Optimal data fitting: a moment approach. SIAM Journal on Optimization, 2018, 28 (4), pp.3127-3144. ⟨10.1137/18M1170108⟩. ⟨hal-01706850⟩
Victor Magron, Mohab Safey El Din. RealCertify: a Maple package for certifying non-negativity. ACM Communications in Computer Algebra, 2018, 52 (2), pp.34-37. ⟨10.1145/3282678.3282681⟩. ⟨hal-01956812⟩
Communications dans un congrès
Victor Magron, Mohab Safey El Din. On Exact Polya and Putinar's Representations. ISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩. ⟨hal-01720612⟩
2017
Pré-publications, documents de travail
Victor Magron, Mountassir Farid. A Certified Lower Bounds of Roundoff Errors using Semidefinite Programming. 2017. ⟨hal-01448160⟩
Alexandre Rocca, Victor Magron, Thao Dang. Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations. 2017. ⟨hal-01448167⟩
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. A Sums-of-Squares Extension of Policy Iterations. 2017. ⟨hal-01133405v2⟩
2015
Articles dans une revue
Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Formal Proofs for Nonlinear Optimization. Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24. ⟨hal-00985675⟩
Victor Magron, Didier Henrion, Jean-Bernard Lasserre. Semidefinite approximations of projections and polynomial images of semialgebraic sets. SIAM Journal on Optimization, 2015, 25 (4), pp. 2143-2164. ⟨hal-01075343v2⟩
Chapitres d’ouvrages
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩. ⟨hal-01369974⟩
Communications dans un congrès
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-Of-Squares . Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251. ⟨hal-01371508⟩
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116. ⟨hal-01371514⟩
Pré-publications, documents de travail
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. 2015. ⟨hal-01134816⟩