2024

Pré-publications, documents de travail

Didier Henrion, Mauricio Junca, Mauricio Velasco. Moment-SOS hierarchy and exit location of stochastic processes. 2024. ⟨hal-03110452v3⟩

Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier. Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization. 2023. ⟨hal-04382156⟩

Didier Henrion, Alessandro Rudi. Solving moment and polynomial optimization problems on Sobolev spaces. 2024. ⟨hal-04393205⟩

Didier Henrion, Adrien Le Franc, Victor Magron. Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem. 2024. ⟨hal-04500960⟩

2023

Articles dans une revue

Marianne Souaiby, Aneel Tanwani, Didier Henrion. Ensemble Approximations for Constrained Dynamical Systems using Liouville Equation. Automatica, 2023, 149, pp.110836. ⟨10.1016/j.automatica.2022.110836⟩. ⟨hal-03167458v3⟩

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⟩

Matteo Tacchi, Jean Bernard Lasserre, Didier Henrion. Stokes, Gibbs and volume computation of semi-algebraic sets. Discrete and Computational Geometry, 2023, 69 (1), pp.260-283. ⟨10.1007/s00454-022-00462-0⟩. ⟨hal-02947268v3⟩

Pré-publications, documents de travail

Didier Henrion, Maria Infusino, Salma Kuhlmann, Victor Vinnikov. Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations. 2023. ⟨hal-04117218⟩

Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche. Occupation measure relaxations in variational problems: the role of convexity. 2023. ⟨hal-04118080⟩

Didier Henrion. Geometry of exactness of moment-SOS relaxations for polynomial optimization. 2023. ⟨hal-04258249v3⟩

Nicolas Augier, Didier Henrion, Milan Korda, Victor Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. 2023. ⟨hal-04159304⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Algebraic certificates for the truncated moment problem. 2023. ⟨hal-03987123⟩

Didier Henrion, Milan Korda, Jean-Bernard Lasserre. POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS. 2023. ⟨hal-03986252v2⟩

2022

Articles dans une revue

Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla. Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩. ⟨hal-02905816v2⟩

Marianne Souaiby, Aneel Tanwani, Didier Henrion. Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Transactions on Automatic Control, 2022, 67 (3), pp.1253 - 1268. ⟨10.1109/TAC.2021.3061557⟩. ⟨hal-02565283v2⟩

Didier Henrion, Jean B Lasserre. Graph Recovery From Incomplete Moment Information. Constructive Approximation, 2022, 6, pp.165-187. ⟨10.1007/s00365-022-09563-8⟩. ⟨hal-02990825v2⟩

Chapitres d’ouvrages

Milan Korda, Didier Henrion, Jean-Bernard Lasserre. Moments and convex optimization for analysis and control of nonlinear partial differential equations. Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022. ⟨hal-01771699⟩

Pré-publications, documents de travail

Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Mareček. Time-Varying Semidefinite Programming: Geometry of the Trajectory of Solutions. 2022. ⟨hal-03196925v2⟩

2021

Articles dans une revue

Paul Rousse, Pierre-Loïc Garoche, Didier Henrion. Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. European Journal of Control, 2021, 58, pp.152-167. ⟨10.1016/j.ejcon.2020.08.002⟩. ⟨hal-02049158v2⟩

Jared Miller, Didier Henrion, Mario Sznaier. Peak Estimation Recovery and Safety Analysis. IEEE Control Systems Letters, 2021, 5 (6), pp.1982-1987. ⟨10.1109/LCSYS.2020.3047591⟩. ⟨hal-03177567⟩

Matteo Tacchi, Tillmann Weisser, Jean-Bernard Lasserre, Didier Henrion. Exploiting Sparsity for Semi-Algebraic Set Volume Computation. Foundations of Computational Mathematics, 2021, 22, pp.161--209. ⟨10.1007/s10208-021-09508-w⟩. ⟨hal-02010175v2⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩. ⟨hal-03121215⟩

Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion. Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy. Structural and Multidisciplinary Optimization, 2021, 64 (4), pp.1963-1981. ⟨10.1007/s00158-021-02957-5⟩. ⟨hal-02949791⟩

Milan Korda, Didier Henrion, Igor Mezic. Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes. Journal of Nonlinear Science, 2021, 31 (14), ⟨10.1007/s00332-020-09658-1⟩. ⟨hal-01841989v2⟩

Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B Lasserre. Dual optimal design and the Christoffel-Darboux polynomial. Optimization Letters, 2021, 15, pp.3-8. ⟨10.1007/s11590-020-01680-2⟩. ⟨hal-02931534v2⟩

Swann Marx, Edouard Pauwels, Tillmann Weisser, Didier Henrion, Jean B Lasserre. Semi-algebraic approximation using Christoffel-Darboux kernel. Constructive Approximation, 2021, 54 (3), pp.391-429. ⟨10.1007/s00365-021-09535-4⟩. ⟨hal-02085835v3⟩

Communications dans un congrès

Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Validation of an Aircraft with MRAC and Uncertain Actuator Dynamics. AIAA SciTech Forum, Jan 2021, Virtual event, France. ⟨hal-02943045⟩

Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda. Peak Estimation for Uncertain and Switched Systems. IEEE Conference on Decision and Control 2021 (CDC 2021), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683778⟩. ⟨hal-03181056⟩

Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion. Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy. 14th World Congress of Structural and Multidisciplinary Optimization (WCSMO 14), Jun 2021, Boulder, Colorado, United States. ⟨hal-03765998⟩

2020

Articles dans une revue

Swann Marx, Tillmann Weisser, Didier Henrion, Jean B Lasserre. A moment approach for entropy solutions to nonlinear hyperbolic PDEs *. Mathematical Control and Related Fields, 2020, 10 (1), pp.113-140. ⟨10.3934/mcrf.2019032⟩. ⟨hal-01830870⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for low rank linear matrices. Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩. ⟨hal-01159210v2⟩

Livres

Didier Henrion, Milan Korda, Jean-Bernard Lasserre. The Moment-SOS Hierarchy: Lectures in Probability, Statistics, Computational Geometry, Control and Nonlinear PDEs. World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩. ⟨hal-03009026⟩

Communications dans un congrès

Didier Henrion, Matteo Tacchi, Carmen Cardozo, Jean B Lasserre. Approximating regions of attraction of a sparse polynomial differential system *. IFAC World Congress, Jul 2020, virtual, Germany. pp.3266-3271, ⟨10.1016/j.ifacol.2020.12.1488⟩. ⟨hal-02367689v2⟩

Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Lateral F-16 MRAC Validation. American Control Conference (ACC 2020), Jul 2020, Denver (online), United States. ⟨10.23919/ACC45564.2020.9147855⟩. ⟨hal-02517022⟩

Marianne Souaiby, Aneel Tanwani, Didier Henrion. Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies. 21st IFAC World Congress, Jul 2020, Berlin virtual), Germany. ⟨10.1016/j.ifacol.2020.12.1746⟩. ⟨hal-02937714v2⟩

Pré-publications, documents de travail

Jared Miller, Didier Henrion, Mario Sznaier. Peak Estimation and Recovery with Occupation Measures. 2020. ⟨hal-02937464⟩

Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and Linear Matrix Inequalities for Verification and Validation of a Flexible Aircraft with Adaptive Control. 2020. ⟨hal-02939504⟩

2019

Articles dans une revue

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⟩

Didier Henrion, Martin Kružík, Tillmann Weisser. Optimal control problems with oscillations, concentrations and discontinuities. Automatica, 2019, 103, pp.159-165. ⟨10.1016/j.automatica.2019.01.030⟩. ⟨hal-01802883v2⟩

Antoine Oustry, Matteo Tacchi, Didier Henrion. Inner approximations of the maximal positively invariant set for polynomial dynamical systems. IEEE Control Systems Letters, 2019. ⟨hal-02064440v3⟩

Yohann de Castro, Fabrice Gamboa, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre. Approximate Optimal Designs for Multivariate Polynomial Regression. Annals of Statistics, 2019, 47 (1), pp.127-155. ⟨10.1214/18-AOS1683⟩. ⟨hal-01483490v2⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic. Optimization Methods and Software, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩. ⟨hal-01393022v3⟩

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⟩

Communications dans un congrès

Antoine Oustry, Carmen Cardozo, Patrick Panciatici, Didier Henrion. Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. IEEE 58th Conference on Decision and Control (CDC), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029422⟩. ⟨hal-01923135v2⟩

Daniel Wagner, Didier Henrion, Martin Hromčík. Measures and LMIs for Adaptive Control Validation. IEEE 58th Conference on Decision and Control (CDC 2019 ), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029254⟩. ⟨hal-02612057⟩

Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion. On optimum design of frame structures. Nano and Macro Mechanics Conference, Sep 2019, Prague, Czech Republic. ⟨hal-02290530⟩

Autres documents

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. Rapport LAAS n° 19270. 2019. ⟨hal-02295816⟩

2018

Communications dans un congrès

Guillaume Davy, Eric Féron, Pierre-Loïc Garoche, Didier Henrion. Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Nov 2018, Awassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩. ⟨hal-02384908v3⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩. ⟨hal-01705590v2⟩

2017

Articles dans une revue

Milan Korda, Didier Henrion, Colin N. Jones. Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Systems and Control Letters, 2017, 100, pp.1-5. ⟨hal-01362456⟩

Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean-Bernard Lasserre. Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions. IEEE Transactions on Information Theory, 2017, 63 (1), pp. 621-630. ⟨10.1109/TIT.2016.2619368⟩. ⟨hal-01114328v2⟩

Mathieu Claeys, Didier Henrion, Martin Kružík. Semi-definite relaxations for optimal control problems with oscillation and concentration effects. ESAIM: Control, Optimisation and Calculus of Variations, 2017, 23 (1), pp.95-117. ⟨hal-01078217⟩

Fabrizio Dabbene, Didier Henrion, Constantino Lagoa. Simple Approximations of Semialgebraic Sets and their Applications to Control. Automatica, 2017, 78, pp.110-118. ⟨hal-01198948⟩

Chapitres d’ouvrages

Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre. Positivity certificates in optimal control. Springer. Geometric and Numerical Foundations of Movements, 117, Springer, pp.113-131, 2017, Springer Tracts in Advanced Robotics, 978-3-319-51546-5. ⟨hal-01311874⟩

Didier Henrion, Edouard Pauwels. Linear conic optimization for nonlinear optimal control. Terlaky, Tamas; Anjos, Miguel; Ahmed, Shabbir. Advances and Trends in Optimization with Engineering Applications, Chapitre 10, SIAM, pp.121-133, 2017, 978-1-61197-467-6. ⟨10.1137/1.9781611974683.ch10⟩. ⟨hal-03109262v2⟩

Comptes rendus de conférences

Denis D. Dochain, Didier Henrion, Dimitri Peaucelle. 20th IFAC World Congress Toulouse, France, 9–14 July 2017 PROCEEDINGS. IFAC World Congress, Jul 2017, Toulouse, France. 50 (1), , 2017, IFAC-PapersOnLine. ⟨hal-01762813⟩

2016

Articles dans une revue

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Féron, et al.. Credible Autocoding of Convex Optimization Algorithms. Optimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩. ⟨hal-00961133⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Exact algorithms for linear matrix inequalities. SIAM Journal on Optimization, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩. ⟨hal-01184320v2⟩

Roxana Hess, Didier Henrion, Jean-Bernard Lasserre, Tien Son Pham. Semidefinite approximations of the polynomial abscissa. SIAM Journal on Control and Optimization, 2016, 54 (3), pp. 1633-1656. ⟨hal-01181623⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for determinants of linear matrices. Journal of Symbolic Computation, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩. ⟨hal-01077888v3⟩

Milan Korda, Didier Henrion, Colin N. Jones. Controller design and value function approximation for nonlinear dynamical systems. Automatica, 2016, 67 (5), pp.54-66. ⟨hal-01136669⟩

Mathieu Claeys, Jamal Daafouz, Didier Henrion. Modal occupation measures and LMI relaxations for nonlinear switched systems control. Automatica, 2016, 64, pp.143-154. ⟨10.1016/j.automatica.2015.11.003⟩. ⟨hal-00980355v2⟩

Cédric Josz, Didier Henrion. Strong duality in Lasserre's hierarchy for polynomial optimization. Optimization Letters, 2016, 10 (1), pp.3-10. ⟨10.1007/s11590-015-0868-5⟩. ⟨hal-00997726v2⟩

Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre. Linear conic optimization for inverse optimal control. SIAM Journal on Control and Optimization, 2016, 54 (3), pp.1798-1825. ⟨10.1137/14099454X⟩. ⟨hal-01080428v3⟩

Pré-publications, documents de travail

Milan Korda, Didier Henrion. Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. 2016. ⟨hal-01415327v2⟩

2015

Articles dans une revue

Florian Bugarin, Adrien Bartoli, Didier Henrion, Jean-Bernard Lasserre, Jean-José Orteu, et al.. Rank-constrained fundamental matrix estimation by polynomial global optimization versus the eight-point algorithm. Journal of Mathematical Imaging and Vision, 2015, 53 (1), pp.42-60. ⟨hal-00723015v2⟩

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⟩

Florian Bugarin, Didier Henrion, Jean-Bernard Lasserre. Minimizing the sum of many rational functions. Mathematical Programming Computation, 2015, 8 (1), pp. 83-111. ⟨10.1007/s12532-015-0089-z⟩. ⟨hal-00569067v2⟩

Chapitres d’ouvrages

Didier Henrion. Convexity. Edited by Nicholas J. Higham. The Princeton Companion to Applied Mathematics, Princeton University Press, Part II.8 ; pp.89-90, 2015, 9780691150390. ⟨hal-01184243⟩

Didier Henrion. Optimization based robust control. Baillieul, John, Samad, Tariq (Eds.). Encyclopedia of Systems and Control, Springer, 2015, 978-1-4471-5057-2. ⟨hal-00967051⟩

Communications dans un congrès

Fabrizio Dabbene, Didier Henrion, Constantino Lagoa, Pavel Shcherbakov. Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering. IFAC Symposium on Robust Control Design (ROCOND 2015), Jul 2015, Bratislava, Russia. ⟨hal-01180735⟩

Didier Henrion, Simone Naldi, Mohab Safey El Din. Real root finding for rank defects in linear Hankel matrices. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. pp.221-228, ⟨10.1145/2755996.2756667⟩. ⟨hal-01114378⟩

2014

Articles dans une revue

Didier Henrion, Milan Korda. Convex computation of the region of attraction of polynomial control systems. IEEE Transactions on Automatic Control, 2014, 59 (2), pp. 297-312. ⟨hal-00723019v2⟩

Milan Korda, Didier Henrion, Colin N. Jones. Convex computation of the maximum controlled invariant set for polynomial control systems. SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2944-2969. ⟨hal-00804816⟩

Didier Henrion, Jean-Bernard Lasserre, Martin Mevissen. Mean squared error minimization for inverse moment problems. Applied Mathematics and Optimization, 2014, 70 (1), pp. 83-110. ⟨hal-00725977⟩

Sergio Galeani, Didier Henrion, Alain Jacquemard, Luca Zaccarian. Design of Marx generators as a structured eigenvalue assignment. Automatica, 2014, 50 (10), pp. 2709-2717. ⟨hal-00783183v2⟩

Victor Magron, Didier Henrion, Jean-Bernard Lasserre. Approximating Pareto Curves using Semidefinite Relaxations. Operations Research Letters, 2014, 42 (6-7), pp.432-437. ⟨hal-00980625v2⟩

Communications dans un congrès

Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre. Inverse optimal control with polynomial optimization. IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp.5581-5586. ⟨hal-00961722⟩

Jan Heller, Didier Henrion, Tomas Pajdla. Hand-Eye and Robot-World Calibration by Global Polynomial Optimization. IEEE International Conference on Robotics and Automation (ICRA 2014), May 2014, Hong Kong, China. 18p. ⟨hal-00946579⟩

Milan Korda, Didier Henrion, Colin N. Jones. Controller design and region of attraction estimation for nonlinear dynamical systems. 19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 20p., Paper MoC13.6. ⟨hal-00871051v2⟩

Stefan Streif, Didier Henrion, Rolf Findeisen. Probabilistic and Set-based Model Invalidation and Estimation using LMIs. 19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 15p. ; Paper TuB14.3. ⟨hal-00910264⟩

Fabrizio Dabbene, Didier Henrion, Constantino Lagoa. Uniform sample generation in semialgebraic sets. IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp. 5177-5182. ⟨hal-00961074⟩

Autres documents

Jan Heller, Didier Henrion, Tomas Pajdla. Stable radial distortion calibration by polynomial matrix inequalities programming. Asian Conference on Computer Vision (ACCV°, Nov 2014, Singapour, Singapore. ⟨hal-01066168⟩

Pré-publications, documents de travail

Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi. On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models. 2014. ⟨hal-01064115v2⟩