Publications HAL du labo/EPI LAAS-POP

2025

Journal articles

titre
Evolution of Measures in Nonsmooth Dynamical Systems: Formalisms and Computation
auteur
Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
article
Automatica, 2025, 179, pp.112402. ⟨10.1016/j.automatica.2025.112402⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04570185/file/main.pdf BibTex
titre
Universal complexity bounds based on value iteration for stochastic mean payoff games and entropy games
auteur
Xavier Allamigeon, Stéphane Gaubert, Ricardo Katz, Mateusz Skomra
article
Information and Computation, 2025, 302, pp.105236. ⟨10.1016/j.ic.2024.105236⟩
Accès au bibtex
https://arxiv.org/pdf/2206.09044 BibTex

2024

Journal articles

titre
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
auteur
Jie Wang, Victor Magron
article
Computational Optimization and Applications, 2024, 90, ⟨10.1007/s10589-024-00617-0⟩
Accès au bibtex
https://arxiv.org/pdf/2308.14631 BibTex
titre
The Moment-SOS hierarchy: Applications and related topics
auteur
Jean-Bernard Lasserre
article
Acta Numerica, 2024, 33, pp.841-908. ⟨10.1017/S0962492923000053⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04687963/file/lasserre.pdf BibTex
titre
Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
auteur
Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron
article
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04694171/file/cocv230153.pdf BibTex
titre
Leveraging the Christoffel function for outlier detection in data streams
auteur
Kévin Ducharlet, Louise Travé-Massuyès, Jean-Bernard Lasserre, Marie-Véronique Le Lann, Youssef Miloudi
article
International Journal of Data Science and Analytics, In press, pp.doi.org/10.1007/s41060-024-00581-2. ⟨10.1007/s41060-024-00581-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04630422/file/Int_J_Data_Science_and_Analytics_premium%28version_auteur%29.pdf BibTex
titre
Minimal Sparsity for Second-Order Moment-SOS Relaxations of the AC-OPF Problem
auteur
Adrien Le Franc, Victor Magron, Jean-Bernard Lasserre, Manuel Ruiz, Patrick Panciatici
article
IEEE Transactions on Power Systems, 2024, 39 (3), pp.5408 - 5415. ⟨10.1109/TPWRS.2023.3333691⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04110742/file/minimal_sparsity.pdf BibTex
titre
Convergence rates for sums-of-squares hierarchies with correlative sparsity
auteur
Milan Korda, Victor Magron, Rodolfo Ríos-Zertuche
article
Mathematical Programming, 2024, 209, ⟨10.1007/s10107-024-02071-6⟩
Accès au bibtex
https://arxiv.org/pdf/2303.14824 BibTex
titre
The Christoffel function: Applications, connections and extensions
auteur
Jean-Bernard Lasserre
article
Numerical Algebra, Control and Optimization, In press, ⟨10.3934/naco.2024011⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04488686/file/AIMS-lasserre-revised.pdf BibTex
titre
A Generalized Pell's equation for a class of multivariate orthogonal polynomials
auteur
Jean-Bernard Lasserre, Yuan Xu
article
Transactions of the American Mathematical Society, In press, 23 p. ⟨10.1090/tran/9200⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04163153/file/BX-revised.pdf BibTex
titre
Towards optimal spatio‐temporal decomposition of control‐related sum‐of‐squares programs
auteur
Vít Cibulka, Milan Korda, Tomas Hanis
article
International Journal of Robust and Nonlinear Control, 2024, 34 (18), pp.11847-11867. ⟨10.1002/rnc.7596⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04737856/file/Towards%20optimal%20spatio%E2%80%90temporal%20decomposition%20of%20control%E2%80%90related.pdf BibTex
titre
CHEBYSHEV AND EQUILIBRIUM MEASURE VS BERNSTEIN AND LEBESGUE MEASURE
auteur
Jean-Bernard Lasserre
article
Proceedings of the American Mathematical Society, In press, ⟨10.1090/proc/16739⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04043186/file/comparison-1.pdf BibTex
titre
Gaussian mixtures closest to a given measure via optimal transport
auteur
Jean-Bernard Lasserre
article
Comptes Rendus. Mathématique, 2024, 362, pp.1455-1473. ⟨10.5802/crmath.657⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04560365/file/wasser-gauss.pdf BibTex
titre
Certifying ground-state properties of many-body systems
auteur
Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Acín
article
Physical Review X, 2024, 14 (3), pp.031006. ⟨10.1103/PhysRevX.14.031006⟩
Accès au bibtex
https://arxiv.org/pdf/2310.05844 BibTex

Conference papers

titre
Optimal Control of Nonsmooth Dynamical Systems using Measure Relaxations
auteur
Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
article
IEEE Conference on Decision and Control, IEEE, Dec 2024, Milan, Italy. ⟨10.1109/CDC56724.2024.10885896⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04701838/file/optimal_control_nsd%20%283%29.pdf BibTex
titre
Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation
auteur
Shingo Nishinaka, Rin Saeki, Tsuyoshi Yuno, Yoshio Ebihara, Victor Magron, Dimitri Peaucelle, Samuele Zoboli, Sophie Tarbouriech
article
4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON), Sep 2024, Lyon, France
Accès au bibtex
https://arxiv.org/pdf/2403.04016 BibTex
titre
Trace polynomial optimization with applications in quantum information
auteur
Victor Magron
article
Workshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands
Accès au bibtex
BibTex
titre
Upper bound hierarchies for noncommutative polynomial optimization
auteur
Igor Klep, Victor Magron, Gaël Massé, Jurij Volčič
article
26th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Aug 2024, Cambridge (Angleterre), United Kingdom
Accès au bibtex
https://arxiv.org/pdf/2402.02126 BibTex
titre
State polynomial optimization for nonlinear Bell inequalities
auteur
Victor Magron
article
Effective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany
Accès au bibtex
https://arxiv.org/pdf/2301.12513 BibTex
titre
Uncertainty Quantification of Set-Membership Estimation in Control and Perception: Revisiting the Minimum Enclosing Ellipsoid
auteur
Yukai Tang, Jean-Bernard Lasserre, Heng Yang
article
L4DC 2024, Jul 2024, Oxford (UK), France. pp.1--36
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04697144/file/2311.15962v4.pdf BibTex
titre
Smoothed Analysis of Deterministic Discounted and Mean-Payoff Games
auteur
Bruno Loff, Mateusz Skomra
article
51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Jul 2024, Tallinn, Estonia. pp.147:1-147:16, ⟨10.4230/LIPIcs.ICALP.2024.147⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04762619/file/icalp2024.pdf BibTex
titre
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
auteur
Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
article
European Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩
Accès au bibtex
https://arxiv.org/pdf/2310.11104 BibTex
titre
Leveraging the properties of the Christoffel function for anomaly detection in data streams
auteur
Louise Travé-Massuyès, Kévin Ducharlet, Jean-Bernard Lasserre
article
Congrès Annuel de la SAGIP, SAGIP, May 2024, Lyon, France
Accès au bibtex
BibTex

Books

titre
Games on Graphs
auteur
Nathanaël Fijalkow, Nathalie Bertrand, Patricia Bouyer, Romain Brenguier, Arnaud Carayol, John Fearnley, Hugo Gimbert, Florian Horn, Rasmus Ibsen-Jensen, Nicolas Markey, Benjamin Monmege, Petr Novotny, Mickael Randour, Ocan Sankur, Sylvain Schmitz, Olivier Serre, Mateusz Skomra
article
pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04273394/file/2305.10546.pdf BibTex

2023

Journal articles

titre
A modified Christoffel function and its asymptotic properties
auteur
Jean-Bernard Lasserre
article
Journal of Approximation Theory, 2023, 295, pp.105955. ⟨10.1016/j.jat.2023.105955⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03949201/file/extension-jat.pdf BibTex
titre
Volumes of sublevel sets of nonnegative forms and complete monotonicity
auteur
Khazhgali Kozhasov, Jean-Bernard Lasserre
article
SIAM Journal on Applied Algebra and Geometry, 2023, 7 (4), ⟨10.1137/22M1502458⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03693810/file/main.pdf BibTex
titre
Correlations constrained by composite measurements
auteur
John Selby, Ana Belén Sainz, Victor Magron, Łukasz Czekaj, Michał Horodecki
article
Quantum, 2023, 7, pp.1080. ⟨10.22331/q-2023-08-10-1080⟩
Accès au bibtex
https://arxiv.org/pdf/2009.04994 BibTex
titre
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
auteur
Milan Korda, Monique Laurent, Victor Magron, Andries Steenkamp
article
Mathematical Programming, 2023, 205, pp.703-744. ⟨10.1007/s10107-023-01993-x⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03782934/file/s10107-023-01993-x.pdf BibTex
titre
Ensemble Approximations for Constrained Dynamical Systems using Liouville Equation
auteur
Marianne Souaiby, Aneel Tanwani, Didier Henrion
article
Automatica, 2023, 149, pp.110836. ⟨10.1016/j.automatica.2022.110836⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03167458/file/singleColVer3.pdf BibTex
titre
Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives
auteur
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
article
INFORMS Journal on Computing, 2023, 35 (2), pp.265-517. ⟨10.1287/ijoc.2022.1220⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03429272/file/options_rev_arxiv_submission.pdf BibTex
titre
State polynomials: positivity, optimization and nonlinear Bell inequalities
auteur
Igor Klep, Victor Magron, Jurij Volčič, Jie Wang
article
Mathematical Programming, 2023, 207 (1-2), pp.645-691. ⟨10.1007/s10107-023-02024-5⟩
Accès au bibtex
https://arxiv.org/pdf/2301.12513 BibTex
titre
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
auteur
Victor Magron, Mohab Safey El Din, Trung-Hieu Vu
article
SIAM Journal on Optimization, 2023, 33 (1), ⟨10.1137/21M1436245⟩
Accès au bibtex
https://arxiv.org/pdf/2107.11825 BibTex
titre
Stokes, Gibbs and volume computation of semi-algebraic sets
auteur
Matteo Tacchi, Jean Bernard Lasserre, Didier Henrion
article
Discrete and Computational Geometry, 2023, 69 (1), pp.260-283. ⟨10.1007/s00454-022-00462-0⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02947268/file/stokes.pdf BibTex
titre
Noncommutative Christoffel-Darboux Kernels
auteur
Serban Belinschi, Victor Magron, Victor Vinnikov
article
Transactions of the American Mathematical Society, 2023, 376, pp.181-230. ⟨10.1090/tran/8648⟩
Accès au bibtex
https://arxiv.org/pdf/2106.06212 BibTex
titre
Pell's equation, sum-of-squares and equilibrium measures of a compact set
auteur
Jean-Bernard Lasserre
article
Comptes Rendus. Mathématique, 2023, 361 (1), pp.935-952. ⟨10.5802/crmath.465⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03813195/file/Pell-final-arxiv.pdf BibTex

Conference papers

titre
Peak Estimation of Time Delay Systems using Occupation Measures
auteur
Jared Miller, Milan Korda, Victor Magron, Mario Sznaier
article
2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩
Accès au bibtex
https://arxiv.org/pdf/2303.12863 BibTex
titre
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
auteur
Przemysław Koprowski, Victor Magron, Tristan Vaccon
article
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Dec 2023, Kyoto, Japan. pp.425-433, ⟨10.1145/3597066.3597072⟩
Accès au bibtex
https://arxiv.org/pdf/2302.02202 BibTex
titre
Controlling Microgrids Without External Data: A Benchmark of Stochastic Programming Methods
auteur
Alban Puech, Tristan Rigaut, Adrien Le Franc, William Templier, Jean-Christophe Alais, Maud Tournoud, Victor Bossard, Alejandro Yousef, Elena Stolyarova
article
IEEE PES Innovative Smart Grid Technologies Europe (ISGT EUROPE 2023), Oct 2023, Grenoble, France. ⟨10.1109/ISGTEUROPE56780.2023.10407934⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04083666/file/Controlling%20Microgrids%20Without%20External%20Data.pdf BibTex
titre
Sparse polynomial optimization: theory and practice
auteur
Victor Magron
article
17th International Symposium on Operations Research in Slovenia, Sep 2023, Bled, Slovenia
Accès au bibtex
https://arxiv.org/pdf/2208.11158 BibTex
titre
Exploiting sparsity in polynomial optimization
auteur
Victor Magron
article
Journées nationales de calcul formel (JNCF), Mar 2023, Marseille (CIRM, Centre International de Rencontres Mathématiques), France
Accès au bibtex
BibTex

Book sections

titre
Polynomial Optimization, Certificates of Positivity, and Christoffel Function
auteur
Jean-Bernard Lasserre
article
Michal Kočvara; Bernard Mourrain; Cordian Riener. Polynomial Optimization, Moments, and Applications, Springer, pp.1-20, 2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04076663/file/poema-HAL-lasserre.pdf BibTex

Books

titre
Sparse Polynomial Optimization: Theory and Practice
auteur
Victor Magron, Jie Wang
article
World Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5. ⟨10.1142/q0382⟩
Accès au bibtex
https://arxiv.org/pdf/2208.11158 BibTex

2022

Journal articles

titre
Certifying Global Optimality of AC-OPF Solutions via the CS-TSSOS Hierarchy
auteur
Jie Wang, Victor Magron, Jean-Bernard Lasserre
article
Electric Power Systems Research, 2022, 213, pp.108683. ⟨10.1016/j.epsr.2022.108683⟩
Accès au bibtex
https://arxiv.org/pdf/2109.10005 BibTex
titre
Dimension-free entanglement detection in multipartite Werner states
auteur
Felix Huber, Igor Klep, Victor Magron, Jurij Volčič
article
Communications in Mathematical Physics, 2022, 396, pp.1051-1070. ⟨10.1007/s00220-022-04485-9⟩
Accès au bibtex
https://arxiv.org/pdf/2108.08720 BibTex
titre
Koopman and Perron–Frobenius operators on reproducing kernel Banach spaces
auteur
Masahiro Ikeda, Isao Ishikawa, Corbinian Schlosser
article
Chaos: An Interdisciplinary Journal of Nonlinear Science, 2022, 32 (12), pp.123143. ⟨10.1063/5.0094889⟩
Accès au bibtex
https://arxiv.org/pdf/2203.12231 BibTex
titre
Exploiting constant trace property in large-scale polynomial optimization
auteur
Ngoc Hoang Anh Mai, Jean-Bernard Lasserre, Victor Magron, Jie Wang
article
ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩
Accès au bibtex
https://arxiv.org/pdf/2012.08873 BibTex
titre
A DISINTEGRATION OF THE CHRISTOFFEL FUNCTION
auteur
Jean-Bernard Lasserre
article
Comptes Rendus. Mathématique, 2022, 360, pp.1071--1079. ⟨10.5802/crmath.380⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03624003/file/Cras-disintegration.pdf BibTex
titre
ON THE CHRISTOFFEL FUNCTION AND CLASSIFICATION IN DATA ANALYSIS
auteur
Jean-Bernard Lasserre
article
Comptes Rendus. Mathématique, 2022, 360, pp.919--928. ⟨10.5802/crmath.358⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03620965/file/Cras-classif.pdf BibTex
titre
On the complexity of Putinar-Vasilescu's Positivstellensatz
auteur
Ngoc Hoang Anh Mai, Victor Magron
article
Journal of Complexity, 2022, ⟨10.1016/j.jco.2022.101663⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03820206/file/S0885064X22000280.pdf BibTex
titre
Stability of Linear Systems under Extended Weakly-Hard Constraints
auteur
Nils Vreman, Paolo Pazzaglia, Jie Wang, Victor Magron, Martina Maggio
article
IEEE Control Systems Letters, 2022, 6, pp.2900-2905. ⟨10.1109/LCSYS.2022.3179960⟩
Accès au bibtex
https://arxiv.org/pdf/2101.11312 BibTex
titre
Converging Approximations of Attractors via Almost Lyapunov Functions and Semidefinite Programming
auteur
Corbinian Schlosser
article
IEEE Control Systems Letters, 2022, 6, pp.2912-2917. ⟨10.1109/LCSYS.2022.3180110⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03740699/file/root.pdf BibTex
titre
Optimization on the Euclidean Unit Sphere
auteur
Jean-Bernard Lasserre
article
SIAM Journal on Optimization, 2022, 32 (2), pp.1430--1445. ⟨10.1137/21M1433150⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03291242/file/linear-forms-RR.pdf BibTex
titre
Exploiting Sparsity in Complex Polynomial Optimization
auteur
Jie Wang, Victor Magron
article
Journal of Optimization Theory and Applications, 2022, 192, pp.335-359. ⟨10.1007/s10957-021-01975-z⟩
Accès au bibtex
https://arxiv.org/pdf/2103.12444 BibTex
titre
A sparse version of Reznick's Positivstellensatz
auteur
N. H. A. Mai, Victor Magron, Jean-Bernard Lasserre
article
Mathematics of Operations Research, 2022, ⟨10.1287/moor.2022.1284⟩
Accès au bibtex
https://arxiv.org/pdf/2002.05101 BibTex

Conference papers

titre
Signed Tropicalizations of Convex Semialgebraic Sets
auteur
Mateusz Skomra
article
Extended Abstracts presented at the 25th International Symposium on Mathematical Theory of Networks and Systems MTNS 2022, Sep 2022, Bayreuth, Germany. pp.697-700, ⟨10.15495/EPub_UBT_00006809⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04273455/file/MTNS22_final_submission.pdf BibTex
titre
Optimization of Polynomials with Sparsity Encoded in a Few Linear Forms
auteur
Jean-Bernard Lasserre
article
25th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2022), Sep 2022, Beyreuth, Germany. pp.383-387
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03628891/file/few-lin.pdf BibTex
titre
L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
auteur
Yoshio Ebihara, Hayato Waki, Noboru Sebe, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech
article
European Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03740522/file/YHNVDS-ecc22.pdf BibTex
titre
Conic programming for certified polynomial optimization
auteur
Victor Magron
article
Conic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany
Accès au bibtex
BibTex

2021

Conference papers

titre
Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers
auteur
Yoshio Ebihara, Hayato Waki, Victor Magron, Ngoc Hoang Anh Mai, Dimitri Peaucelle, Sophie Tarbouriech
article
Control and Decision Conference (CDC) 2021, Dec 2021, Austin, United States. pp.5098-5103, ⟨10.1109/CDC45484.2021.9683530⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03564261/file/2202.04592v1.pdf BibTex

2020

Journal articles

titre
Optimal Control of Linear PDEs using Occupation Measures and SDP Relaxations
auteur
Victor Magron, Christophe Prieur
article
IMA Journal of Mathematical Control and Information, 2020, 37 (1), pp.159-174. ⟨10.1093/imamci/dny044⟩
Accès au bibtex
https://arxiv.org/pdf/1710.04520 BibTex