Publications HAL de Didier HENRION du labo/EPI LAAS

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

Preprints, Working Papers, ...

titre
Maximal entropy in the moment body
auteur
Didier Henrion
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05092147/file/maxentmom.pdf BibTex
titre
Solving unbounded optimal control problems with the moment-SOS hierarchy *
auteur
Karolı́na Sehnalová, Didier Henrion, Milan Korda, Martin Kružík
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04992776/file/unbounded.pdf BibTex
titre
Approximate D-optimal design and equilibrium measure
auteur
Didier Henrion, Jean Bernard Lasserre
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04688534/file/regoptdes.pdf BibTex
titre
Solving moment and polynomial optimization problems on Sobolev spaces
auteur
Didier Henrion, Alessandro Rudi
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04393205/file/sobolevmoments-arxiv3.pdf BibTex
titre
Fast control allocation algorithm for tilt-rotor VTOL aircraft
auteur
Jan Belák, Didier Henrion, Martin Hromčík
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04962061/file/tiltrotor.pdf BibTex
titre
Optimizing quasi-dissipative evolution equations with the moment-SOS hierarchy
auteur
Saroj Prasad Chhatoi, Didier Henrion, Swann Marx, Nicolas Seguin
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04828131/file/dissipative.pdf BibTex

2024

Journal articles

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

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

Preprints, Working Papers, ...

titre
Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations
auteur
Didier Henrion, Maria Infusino, Salma Kuhlmann, Victor Vinnikov
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04117218/file/heatmom.pdf BibTex
titre
Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions
auteur
Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Mareček
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-03196925/file/arxiv_version.pdf BibTex
titre
Infinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces
auteur
Didier Henrion
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04628265/file/infdimcd.pdf BibTex
titre
Moment-SOS hierarchy and exit location of stochastic processes
auteur
Didier Henrion, Mauricio Junca, Mauricio Velasco
article
2024
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03110452/file/exit.pdf BibTex
titre
Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem
auteur
Didier Henrion, Adrien Le Franc, Victor Magron
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04500960/file/slowunivR3.pdf BibTex

2023

Journal articles

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
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
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

Preprints, Working Papers, ...

titre
Geometry of exactness of moment-SOS relaxations for polynomial optimization
auteur
Didier Henrion
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04258249/file/exactness.pdf BibTex
titre
An infinite-dimensional Christoffel function and detection of abnormal trajectories
auteur
Didier Henrion, Jean-Bernard Lasserre
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04631100/file/trajectory.pdf BibTex
titre
Occupation measure relaxations in variational problems: the role of convexity
auteur
Didier Henrion, Milan Korda, Martin Kružík, Rodolfo Rios-Zertuche
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04118080/file/convexcov.pdf BibTex
titre
Algebraic certificates for the truncated moment problem
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03987123/file/exactmoments.pdf BibTex
titre
POLYNOMIAL ARGMIN FOR RECOVERY AND APPROXIMATION OF MULTIVARIATE DISCONTINUOUS FUNCTIONS
auteur
Didier Henrion, Milan Korda, Jean-Bernard Lasserre
article
2023
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03986252/file/polyargmin.pdf BibTex
titre
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization
auteur
Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier
article
2023
Accès au texte intégral et bibtex
https://hal.univ-grenoble-alpes.fr/hal-04382156/file/2401.00815.pdf BibTex

2022

Journal articles

titre
Graph Recovery From Incomplete Moment Information
auteur
Didier Henrion, Jean B Lasserre
article
Constructive Approximation, 2022, 6, pp.165-187. ⟨10.1007/s00365-022-09563-8⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02990825/file/momgraphcompletion.pdf BibTex
titre
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator
auteur
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomas Pajdla
article
IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02905816/file/main.pdf BibTex
titre
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation
auteur
Marianne Souaiby, Aneel Tanwani, Didier Henrion
article
IEEE Transactions on Automatic Control, 2022, 67 (3), pp.1253 - 1268. ⟨10.1109/TAC.2021.3061557⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02565283/file/sosCertEVIs.pdf BibTex

Book sections

titre
Moments and convex optimization for analysis and control of nonlinear partial differential equations
auteur
Milan Korda, Didier Henrion, Jean-Bernard Lasserre
article
Elsevier. Handbook of Numerical Analysis, 23, Elsevier, pp.339--366, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-01771699/file/PDEs_measures.pdf BibTex

2021

Journal articles

titre
Semi-algebraic approximation using Christoffel-Darboux kernel
auteur
Swann Marx, Edouard Pauwels, Tillmann Weisser, Didier Henrion, Jean B Lasserre
article
Constructive Approximation, 2021, 54 (3), pp.391-429. ⟨10.1007/s00365-021-09535-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02085835/file/main_final.pdf BibTex
titre
Peak Estimation Recovery and Safety Analysis
auteur
Jared Miller, Didier Henrion, Mario Sznaier
article
IEEE Control Systems Letters, 2021, 5 (6), pp.1982-1987. ⟨10.1109/LCSYS.2020.3047591⟩
Accès au bibtex
BibTex
titre
Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy
auteur
Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion
article
Structural and Multidisciplinary Optimization, 2021, 64 (4), pp.1963-1981. ⟨10.1007/s00158-021-02957-5⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02949791/file/frames.pdf BibTex
titre
Exact algorithms for semidefinite programs with degenerate feasible set
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Journal of Symbolic Computation, 2021, 104, pp.942 - 959. ⟨10.1016/j.jsc.2020.11.001⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03121215/file/Exact-algorithm-V3-JSC.pdf BibTex
titre
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
auteur
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
article
European Journal of Control, 2021, 58, pp.152-167. ⟨10.1016/j.ejcon.2020.08.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02049158/file/main.pdf BibTex
titre
Exploiting Sparsity for Semi-Algebraic Set Volume Computation
auteur
Matteo Tacchi, Tillmann Weisser, Jean-Bernard Lasserre, Didier Henrion
article
Foundations of Computational Mathematics, 2021, 22, pp.161--209. ⟨10.1007/s10208-021-09508-w⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02010175/file/sparsevol.pdf BibTex
titre
Dual optimal design and the Christoffel-Darboux polynomial
auteur
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B Lasserre
article
Optimization Letters, 2021, 15 (1), pp.3-8. ⟨10.1007/s11590-020-01680-2⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02931534/file/dualdesign-v2-arxiv.pdf BibTex
titre
Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes
auteur
Milan Korda, Didier Henrion, Igor Mezic
article
Journal of Nonlinear Science, 2021, 31 (14), ⟨10.1007/s00332-020-09658-1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01841989/file/Invariant_measures.pdf BibTex

Conference papers

titre
Peak Estimation for Uncertain and Switched Systems
auteur
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
article
IEEE Conference on Decision and Control 2021 (CDC 2021), Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683778⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03181056/file/uncertain_hal.pdf BibTex
titre
Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy
auteur
Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion
article
14th World Congress of Structural and Multidisciplinary Optimization (WCSMO 14), Jun 2021, Boulder, Colorado, United States
Accès au bibtex
BibTex
titre
Measures and LMIs for Validation of an Aircraft with MRAC and Uncertain Actuator Dynamics
auteur
Daniel Wagner, Didier Henrion, Martin Hromčík
article
AIAA SciTech Forum, Jan 2021, Virtual event, France
Accès au texte intégral et bibtex
https://hal.science/hal-02943045/file/vvuncertain.pdf BibTex

2020

Journal articles

titre
A moment approach for entropy solutions to nonlinear hyperbolic PDEs *
auteur
Swann Marx, Tillmann Weisser, Didier Henrion, Jean B Lasserre
article
Mathematical Control and Related Fields, 2020, 10 (1), pp.113-140. ⟨10.3934/mcrf.2019032⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01830870/file/burgers.pdf BibTex
titre
Real root finding for low rank linear matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01159210/file/newlowrank.pdf BibTex

Conference papers

titre
Approximating regions of attraction of a sparse polynomial differential system *
auteur
Didier Henrion, Matteo Tacchi, Carmen Cardozo, Jean B Lasserre
article
IFAC World Congress, Jul 2020, virtual, Germany. pp.3266-3271, ⟨10.1016/j.ifacol.2020.12.1488⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02367689/file/sparseroa-ifac2020_preprint.pdf BibTex
titre
Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies
auteur
Marianne Souaiby, Aneel Tanwani, Didier Henrion
article
21st IFAC World Congress, Jul 2020, Berlin virtual), Germany. ⟨10.1016/j.ifacol.2020.12.1746⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02937714/file/algoCompLyap.pdf BibTex
titre
Measures and LMIs for Lateral F-16 MRAC Validation
auteur
Daniel Wagner, Didier Henrion, Martin Hromčík
article
American Control Conference (ACC 2020), Jul 2020, Denver (online), United States. ⟨10.23919/ACC45564.2020.9147855⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02517022/file/ACC2020.pdf BibTex

Books

titre
The Moment-SOS Hierarchy
auteur
Didier Henrion, Milan Korda, Jean-Bernard Lasserre
article
World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Measures and Linear Matrix Inequalities for Verification and Validation of a Flexible Aircraft with Adaptive Control
auteur
Daniel Wagner, Didier Henrion, Martin Hromčík
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02939504/file/vvflexible.pdf BibTex
titre
Peak Estimation and Recovery with Occupation Measures
auteur
Jared Miller, Didier Henrion, Mario Sznaier
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-02937464/file/main.pdf BibTex

2019

Journal articles

titre
Semidefinite Approximations of Invariant Measures for Polynomial Systems
auteur
Victor Magron, Marcelo Forets, Didier Henrion
article
Discrete and Continuous Dynamical Systems - Series B, 2019, 24 (12), pp.6745-6770. ⟨10.3934/dcdsb.2019165⟩
Accès au bibtex
https://arxiv.org/pdf/1807.00754 BibTex
titre
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
auteur
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux
article
SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01490897/file/1703.05085.pdf BibTex
titre
Inner approximations of the maximal positively invariant set for polynomial dynamical systems
auteur
Antoine Oustry, Matteo Tacchi, Didier Henrion
article
IEEE Control Systems Letters, 2019
Accès au texte intégral et bibtex
https://hal.science/hal-02064440/file/innermpi-hal-v2.pdf BibTex
titre
Optimal control problems with oscillations, concentrations and discontinuities
auteur
Didier Henrion, Martin Kružík, Tillmann Weisser
article
Automatica, 2019, 103, pp.159-165. ⟨10.1016/j.automatica.2019.01.030⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01802883/file/ocd-hal-2.pdf BibTex
titre
SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Optimization Methods and Software, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01393022/file/spectra-more.pdf BibTex
titre
Approximate Optimal Designs for Multivariate Polynomial Regression
auteur
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre
article
Annals of Statistics, 2019, 47 (1), pp.127-155. ⟨10.1214/18-AOS1683⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01483490/file/AoSv2%20%282%29.pdf BibTex

Conference papers

titre
Measures and LMIs for Adaptive Control Validation
auteur
Daniel Wagner, Didier Henrion, Martin Hromčík
article
IEEE 58th Conference on Decision and Control (CDC 2019 ), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029254⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02612057/file/ieee2019paper.pdf BibTex
titre
Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems
auteur
Antoine Oustry, Carmen Cardozo, Patrick Panciatici, Didier Henrion
article
IEEE 58th Conference on Decision and Control (CDC), Dec 2019, Nice, France. ⟨10.1109/CDC40024.2019.9029422⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01923135/file/powermpi.pdf BibTex
titre
On optimum design of frame structures
auteur
Marek Tyburec, Jan Zeman, Martin Kružík, Didier Henrion
article
Nano and Macro Mechanics Conference, Sep 2019, Prague, Czech Republic
Accès au bibtex
https://arxiv.org/pdf/1909.07179 BibTex
titre
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
auteur
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
article
ECC 2019, Jun 2019, Naples, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04778105/file/CC2019-423.pdf BibTex

Reports

titre
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS
auteur
Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, Didier Henrion, Laurent Houssin, Sophie Tarbouriech, Louise Travé-Massuyès, Luca Zaccarian, Carolina Albea-Sanchez, Lucie Baudouin, Elodie Chanthery, Frédéric Gouaisbaut, Euriell Le Corronc, Christophe Louembet, Sandra Ulrich Ngueveu, Isabelle Queinnec, Pauline Ribot, Alexandre Seuret, Cyril Briand, Michel Combacau, Boutaib Dahhou, Patrick Esquirol, Soheib Fergani, D. Fournier-Prunaret, Germain Garcia, Carine Jauberthie, Mioara Joldes, Milan Korda, Jean-Bernard Lasserre, Françoise Le Gall, Marie-Véronique V Le Lann, Pierre Lopez, Victor Magron, Julien Moncel, Gilles Roux, Mohamed Siala, Audine Subias, Aneel Tanwani
article
2019
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02295816/file/main.pdf BibTex

2018

Conference papers

titre
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
auteur
Guillaume Davy, Eric Féron, Pierre-Loïc Garoche, Didier Henrion
article
22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Nov 2018, Hawassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02384908/file/00-main.pdf BibTex
titre
Exact algorithms for semidefinite programs with degenerate feasible set
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01705590/file/degSDP.pdf BibTex

2017

Journal articles

titre
Simple Approximations of Semialgebraic Sets and their Applications to Control
auteur
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa
article
Automatica, 2017, 78, pp.110-118
Accès au texte intégral et bibtex
https://hal.science/hal-01198948/file/pss.pdf BibTex
titre
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems
auteur
Milan Korda, Didier Henrion, Colin N. Jones
article
Systems and Control Letters, 2017, 100, pp.1-5
Accès au texte intégral et bibtex
https://hal.science/hal-01362456/file/convergeocp.pdf BibTex
titre
Semi-definite relaxations for optimal control problems with oscillation and concentration effects
auteur
Mathieu Claeys, Didier Henrion, Martin Kružík
article
ESAIM: Control, Optimisation and Calculus of Variations, 2017, 23 (1), pp.95-117
Accès au texte intégral et bibtex
https://hal.science/hal-01078217/file/oscillationconcentration.pdf BibTex
titre
Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions
auteur
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean-Bernard Lasserre
article
IEEE Transactions on Information Theory, 2017, 63 (1), pp. 621-630. ⟨10.1109/TIT.2016.2619368⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01114328/file/ArXivHAL.pdf BibTex

Book sections

titre
Linear conic optimization for nonlinear optimal control
auteur
Didier Henrion, Edouard Pauwels
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03109262/file/lpcontrol.pdf BibTex
titre
Positivity certificates in optimal control
auteur
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
article
Springer. Geometric and Numerical Foundations of Movements, 117, Springer, pp.113-131, 2017, Springer Tracts in Advanced Robotics, 978-3-319-51546-5
Accès au texte intégral et bibtex
https://hal.science/hal-01311874/file/draftPositivity.pdf BibTex

Proceedings

titre
20th IFAC World Congress Toulouse, France, 9–14 July 2017 PROCEEDINGS
auteur
Denis D. Dochain, Didier Henrion, Dimitri Peaucelle
article
IFAC World Congress, Jul 2017, Toulouse, France. 50 (1), , 2017, IFAC-PapersOnLine
Accès au bibtex
BibTex

2016

Journal articles

titre
Credible Autocoding of Convex Optimization Algorithms
auteur
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Féron, Didier Henrion
article
Optimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00961133/file/crediblesdp.pdf BibTex
titre
Exact algorithms for linear matrix inequalities
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
SIAM Journal on Optimization, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01184320/file/exactLMIarXiv.pdf BibTex
titre
Semidefinite approximations of the polynomial abscissa
auteur
Roxana Hess, Didier Henrion, Jean-Bernard Lasserre, Tien Son Pham
article
SIAM Journal on Control and Optimization, 2016, 54 (3), pp. 1633-1656
Accès au texte intégral et bibtex
https://hal.science/hal-01181623/file/abscissa.pdf BibTex
titre
Controller design and value function approximation for nonlinear dynamical systems
auteur
Milan Korda, Didier Henrion, Colin N. Jones
article
Automatica, 2016, 67 (5), pp.54-66
Accès au texte intégral et bibtex
https://hal.science/hal-01136669/file/liouvillesos.pdf BibTex
titre
Linear conic optimization for inverse optimal control
auteur
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
article
SIAM Journal on Control and Optimization, 2016, 54 (3), pp.1798-1825. ⟨10.1137/14099454X⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01080428/file/iocpconicSIAM2.pdf BibTex
titre
Real root finding for determinants of linear matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
Journal of Symbolic Computation, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01077888/file/determinant2.pdf BibTex
titre
Modal occupation measures and LMI relaxations for nonlinear switched systems control
auteur
Mathieu Claeys, Jamal Daafouz, Didier Henrion
article
Automatica, 2016, 64, pp.143-154. ⟨10.1016/j.automatica.2015.11.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00980355/file/switch.pdf BibTex
titre
Strong duality in Lasserre's hierarchy for polynomial optimization
auteur
Cédric Josz, Didier Henrion
article
Optimization Letters, 2016, 10 (1), pp.3-10. ⟨10.1007/s11590-015-0868-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00997726/file/nogap.pdf BibTex

Preprints, Working Papers, ...

titre
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
auteur
Milan Korda, Didier Henrion
article
2016
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01415327/file/convergevol.pdf BibTex

2015

Journal articles

titre
Rank-constrained fundamental matrix estimation by polynomial global optimization versus the eight-point algorithm
auteur
Florian Bugarin, Adrien Bartoli, Didier Henrion, Jean-Bernard Lasserre, Jean-José Orteu, Thierry Sentenac
article
Journal of Mathematical Imaging and Vision, 2015, 53 (1), pp.42-60
Accès au texte intégral et bibtex
https://hal.science/hal-00723015/file/articleJMIV_DH.pdf BibTex
titre
Minimizing the sum of many rational functions
auteur
Florian Bugarin, Didier Henrion, Jean-Bernard Lasserre
article
Mathematical Programming Computation, 2015, 8 (1), pp. 83-111. ⟨10.1007/s12532-015-0089-z⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00569067/file/rational.pdf BibTex
titre
Semidefinite approximations of projections and polynomial images of semialgebraic sets
auteur
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
article
SIAM Journal on Optimization, 2015, 25 (4), pp. 2143-2164
Accès au texte intégral et bibtex
https://hal.science/hal-01075343/file/image.pdf BibTex

Conference papers

titre
Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering
auteur
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa, Pavel Shcherbakov
article
IFAC Symposium on Robust Control Design (ROCOND 2015), Jul 2015, Bratislava, Russia
Accès au texte intégral et bibtex
https://hal.science/hal-01180735/file/filtering.pdf BibTex
titre
Real root finding for rank defects in linear Hankel matrices
auteur
Didier Henrion, Simone Naldi, Mohab Safey El Din
article
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2015, Bath, United Kingdom. pp.221-228, ⟨10.1145/2755996.2756667⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01114378/file/hankel.pdf BibTex

Book sections

titre
Convexity
auteur
Didier Henrion
article
Edited by Nicholas J. Higham. The Princeton Companion to Applied Mathematics, Princeton University Press, Part II.8 ; pp.89-90, 2015, 9780691150390
Accès au texte intégral et bibtex
https://hal.science/hal-01184243/file/convexity.pdf BibTex
titre
Optimization based robust control
auteur
Didier Henrion
article
Baillieul, John, Samad, Tariq (Eds.). Encyclopedia of Systems and Control, Springer, 2015, 978-1-4471-5057-2
Accès au texte intégral et bibtex
https://hal.science/hal-00967051/file/esc.pdf BibTex

2014

Journal articles

titre
Design of Marx generators as a structured eigenvalue assignment
auteur
Sergio Galeani, Didier Henrion, Alain Jacquemard, Luca Zaccarian
article
Automatica, 2014, 50 (10), pp. 2709-2717
Accès au texte intégral et bibtex
https://hal.science/hal-00783183/file/marx2.pdf BibTex
titre
Convex computation of the maximum controlled invariant set for polynomial control systems
auteur
Milan Korda, Didier Henrion, Colin N. Jones
article
SIAM Journal on Control and Optimization, 2014, 52 (5), pp.2944-2969
Accès au texte intégral et bibtex
https://hal.science/hal-00804816/file/mciouter.pdf BibTex
titre
Approximating Pareto Curves using Semidefinite Relaxations
auteur
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
article
Operations Research Letters, 2014, 42 (6-7), pp.432-437
Accès au texte intégral et bibtex
https://hal.science/hal-00980625/file/paretosdp.pdf BibTex
titre
Mean squared error minimization for inverse moment problems
auteur
Didier Henrion, Jean-Bernard Lasserre, Martin Mevissen
article
Applied Mathematics and Optimization, 2014, 70 (1), pp. 83-110
Accès au texte intégral et bibtex
https://hal.science/hal-00725977/file/density.pdf BibTex
titre
Convex computation of the region of attraction of polynomial control systems
auteur
Didier Henrion, Milan Korda
article
IEEE Transactions on Automatic Control, 2014, 59 (2), pp. 297-312
Accès au texte intégral et bibtex
https://hal.science/hal-00723019/file/roa.pdf BibTex

Conference papers

titre
Inverse optimal control with polynomial optimization
auteur
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
article
IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp.5581-5586
Accès au texte intégral et bibtex
https://hal.science/hal-00961722/file/iocp.pdf BibTex
titre
Uniform sample generation in semialgebraic sets
auteur
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa
article
IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp. 5177-5182
Accès au texte intégral et bibtex
https://hal.science/hal-00961074/file/sampling.pdf BibTex
titre
Controller design and region of attraction estimation for nonlinear dynamical systems
auteur
Milan Korda, Didier Henrion, Colin N. Jones
article
19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 20p., Paper MoC13.6
Accès au texte intégral et bibtex
https://hal.science/hal-00871051/file/roa_inner_controlled.pdf BibTex
titre
Probabilistic and Set-based Model Invalidation and Estimation using LMIs
auteur
Stefan Streif, Didier Henrion, Rolf Findeisen
article
19th World Congress of the International Federation of Automatic Control (IFAC 2014), Aug 2014, Le Cap, South Africa. 15p. ; Paper TuB14.3
Accès au texte intégral et bibtex
https://hal.science/hal-00910264/file/outermoments.pdf BibTex
titre
Hand-Eye and Robot-World Calibration by Global Polynomial Optimization
auteur
Jan Heller, Didier Henrion, Tomas Pajdla
article
IEEE International Conference on Robotics and Automation (ICRA 2014), May 2014, Hong Kong, China. 18p
Accès au texte intégral et bibtex
https://hal.science/hal-00946579/file/calibration.pdf BibTex

Poster communications

titre
Stable radial distortion calibration by polynomial matrix inequalities programming
auteur
Jan Heller, Didier Henrion, Tomas Pajdla
article
Asian Conference on Computer Vision (ACCV°, Nov 2014, Singapour, Singapore
Accès au texte intégral et bibtex
https://hal.science/hal-01066168/file/distortion.pdf BibTex

Preprints, Working Papers, ...

titre
On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models
auteur
Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi
article
2014
Accès au texte intégral et bibtex
https://hal.science/hal-01064115/file/complexlmi2.pdf BibTex

2013

Journal articles

titre
Finding largest small polygons with GloptiPoly
auteur
Didier Henrion, Frédéric Messine
article
Journal of Global Optimization, 2013, 56 (3), pp.1017-1028. ⟨10.1007/s10898-011-9818-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00578944/file/polygons.pdf BibTex

Conference papers

titre
Optimal switching control design for polynomial systems: an LMI approach
auteur
Didier Henrion, Jamal Daafouz, Mathieu Claeys
article
52nd IEEE Conference on Decision and Control, CDC 2013, Dec 2013, Florence, Italy. CDROM, pp. 1349-1354
Accès au texte intégral et bibtex
https://hal.science/hal-00798196/file/switch.pdf BibTex
titre
Moment LMI approach to LTV impulsive control
auteur
Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
article
IEEE Conference on Decision and Control ( CDC ), Dec 2013, Florence, Italy. pp. 5810-5815
Accès au texte intégral et bibtex
https://hal.science/hal-00797951/file/ltvimpulse.pdf BibTex
titre
Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations
auteur
Stefan Streif, Philipp Rumschinski, Didier Henrion, Rolf Findeisen
article
IEEE Conference on Decision and Control ( CDC ), Dec 2013, Florence, Italy. pp. 6379-6384
Accès au texte intégral et bibtex
https://hal.science/hal-00802306/file/estim.pdf BibTex
titre
Inner approximations of the region of attraction for polynomial dynamical systems
auteur
Milan Korda, Didier Henrion, Colin N. Jones
article
IFAC Symposium on Nonlinear Control Systems ( NOLCOS ), Sep 2013, Toulouse, France. 15p
Accès au texte intégral et bibtex
https://hal.science/hal-00740798/file/roainner.pdf BibTex
titre
Measures and LMIs for optimal control of piecewise-affine systems
auteur
M. Rasheed Abdalmoaty, Didier Henrion, Luis Rodrigues
article
European Control Conference (ECC 2013), Jul 2013, Zurich, Switzerland. 18p
Accès au texte intégral et bibtex
https://hal.science/hal-00751917/file/ocppwa.pdf BibTex
titre
Set approximation via minimum-volume polynomial sublevel sets
auteur
Fabrizio Dabbene, Didier Henrion
article
European Control Conference (ECC), Jul 2013, Zurich, Switzerland. 11p
Accès au texte intégral et bibtex
https://hal.science/hal-00740794/file/minvol.pdf BibTex
titre
Optimization on linear matrix inequalities for polynomial systems control
auteur
Didier Henrion
article
Journées Nationales de Calcul Formel, May 2013, Luminy, France
Accès au texte intégral et bibtex
https://hal.science/hal-00860856/file/jncf2013-henrion.pdf BibTex

Book sections

titre
Positive polynomial matrices for LPV controller synthesis
auteur
Didier Henrion
article
Olivier Sename, Peter Gaspar, Jozsef Bokor. Robust Control and Linear Parameter Varying Approaches, Springer Verlag, pp.87-96, 2013, Lecture Notes in Control and Information Sciences, Volume 437, 978-3-642-36109-8. ⟨10.1007/978-3-642-36110-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00825152/file/polylpv.pdf BibTex

2012

Journal articles

titre
Semidefinite characterisation of invariant measures for one-dimensional discrete dynamical systems
auteur
Didier Henrion
article
Kybernetika, 2012, 48 (6), pp. 1089-1099
Accès au texte intégral et bibtex
https://hal.science/hal-00666098/file/odds.pdf BibTex
titre
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design
auteur
Didier Henrion, Christophe Louembet
article
International Journal of Control, 2012, 85 (8), pp. 1083-1092
Accès au texte intégral et bibtex
https://hal.science/hal-00585633/file/inner.pdf BibTex
titre
Semidefinite programming for optimizing convex bodies under width constraints
auteur
Terence Bayen, Didier Henrion
article
Optimization Methods and Software, 2012, 27 (6), pp.1073-1099. ⟨10.1080/10556788.2010.547580⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00495031/file/supsdp.pdf BibTex
titre
Inner approximations for polynomial matrix inequalities and robust stability regions
auteur
Didier Henrion, Jean-Bernard Lasserre
article
IEEE Transactions on Automatic Control, 2012, 57 (6), p.1456-1467
Accès au texte intégral et bibtex
https://hal.science/hal-00588754/file/innerpmi.pdf BibTex
titre
Linear Control of Time-Domain Constrained Systems
auteur
W.H.T.M. Aangenent, W.P.M.H. Heemels, M.J.G. van de Molengraft, Didier Henrion, Maarten Steinbuch
article
Automatica, 2012, 48 (5), p.736-746. ⟨10.1016/j.automatica.2012.02.017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00635378/file/timeresponse.pdf BibTex

Conference papers

titre
Measures and LMI for impulsive optimal control with applications to space rendezvous problems
auteur
Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
article
American Control Conference (ACC 2012), Jun 2012, Montreal, Canada. pp.161-166
Accès au texte intégral et bibtex
https://hal.science/hal-00633138/file/impulse.pdf BibTex
titre
Measures and LMI for space launcher robust control validation
auteur
Didier Henrion, Martine Ganet-Schoeller, Samir Bennani
article
IFAC Symposium on Robust Control Design (ROCOND 2012), Jun 2012, Aalborg, Denmark. pp. 230-235
Accès au texte intégral et bibtex
https://hal.science/hal-00695588/file/safev.pdf BibTex

Book sections

titre
Projection methods in conic optimization
auteur
Didier Henrion, Jérôme Malick
article
Miguel F. Anjos and Jean B. Lasserre. Handbook on Semidefinite, Conic and Polynomial Optimization, Springer, pp.565-600, 2012, International Series in Operations Research & Management Science Volume 166, 9781461407683. ⟨10.1007/978-1-4614-0769-0_20⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00574437/file/henrion-malick-revision.pdf BibTex

2011

Journal articles

titre
A hierarchy of LMI inner approximations of the set of stable polynomials}
auteur
Mustapha Ait Rami, Didier Henrion
article
Automatica, 2011, 47 (7), pp.1455-1460
Accès au texte intégral et bibtex
https://hal.science/hal-00496527/file/innerlmi.pdf BibTex
titre
Semidefinite representation of convex hulls of rational varieties
auteur
Didier Henrion
article
Acta Applicandae Mathematicae, 2011, 115 (3), p 319-327
Accès au texte intégral et bibtex
https://hal.science/hal-00352788/file/surfaces.pdf BibTex

Conference papers

titre
Positive trigonometric polynomials for strong stability of difference equations
auteur
Didier Henrion, Tomas Vyhlidal
article
World IFAC Congress (IFAC 2011), Aug 2011, Milan, Italy. p.296-301
Accès au texte intégral et bibtex
https://hal.science/hal-00532796/file/ss.pdf BibTex
titre
Moment and SDP relaxation techniques for smooth approximations of problems involving nonlinear differential equations
auteur
Martin Mevissen, Jean-Bernard Lasserre, Didier Henrion
article
World IFAC Congress (IFAC 2011), Aug 2011, Milan, Italy. p. 10887-10892
Accès au texte intégral et bibtex
https://hal.science/hal-00462301/file/momdiffequ2.pdf BibTex
titre
H2 for HIFOO
auteur
Denis Arzelier, Georgia Deaconu, Suat Gumussoy, Didier Henrion
article
International Conference on Control and Optimization With Industrial Applications (COIA 2011), Aug 2011, Ankara, Turkey
Accès au texte intégral et bibtex
https://hal.science/hal-00524325/file/h2hifoo.pdf BibTex
titre
Application de l'optimisation globale par théorie des moments aux problèmes d'estimation issus de la vision artificielle
auteur
Florian Bugarin, Didier Henrion, Jean-José Orteu, Thierry Sentenac, Jean-Bernard Lasserre
article
Congrès de l'École Doctorale Systèmes (EDSYS), Toulouse (France), 10-11 mai 2011, 2011, Toulouse, France
Accès au bibtex
BibTex
titre
Application de l'optimisation globale par théorie des moments aux problèmes d'estimation issus de la vision artificielle
auteur
Florian Bugarin, Didier Henrion, Jean-José Orteu, Thierry Sentenac, Jean-Bernard Lasserre
article
Ecole de Printemps en Traitement d'Image, Martel (France), 18-22 avril 2011, 2011, Martel, France
Accès au bibtex
BibTex
titre
Application de l'optimisation globale par théorie des moments aux problèmes d'estimation issus de la vision artificielle
auteur
Florian Bugarin, Didier Henrion, Jean-José Orteu, Thierry Sentenac, Jean-Bernard Lasserre
article
Journée GDR ISIS, Paris (France), 2011., 2011, Paris, France
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
An Inverse Optimality Method to Solve a Class of Optimal Control Problems
auteur
Luis Rodrigues, Didier Henrion, Mehdi Abedinpour Fallah
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00456509/file/invopt.pdf BibTex

2010

Journal articles

titre
Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities
auteur
Akin Delibasi, Didier Henrion
article
International Journal of Control, 2010, 83 (12), p.2494-2505
Accès au texte intégral et bibtex
https://hal.science/hal-00448915/file/hermitelagrange.pdf BibTex
titre
Detecting rigid convexity of bivariate polynomials
auteur
Didier Henrion
article
Linear Algebra and its Applications, 2010, 432 (5), pp.1218-1233. ⟨10.1016/j.laa.2009.10.033⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00214196/file/rz.pdf BibTex

Conference papers

titre
Optimisation globale polynomiale appliquée à la rectification projective d'images non calibrées
auteur
Florian Bugarin, Didier Henrion, Thierry Sentenac, Jean-Bernard Lasserre, Jean-José Orteu
article
French Conference on Pattern Recognition and Artificial Intelligence (RFIA 2010), Jan 2010, Caen, France. 8p
Accès au texte intégral et bibtex
https://hal.science/hal-00420081/file/rectif.pdf BibTex

2009

Journal articles

titre
Approximate volume and integration for basic semi-algebraic sets
auteur
Didier Henrion, Jean-Bernard Lasserre, Carlo Savorgnan
article
SIAM Review, 2009, 51 (4), pp.722-743
Accès au texte intégral et bibtex
https://hal.science/hal-00297384/file/volume.pdf BibTex
titre
GloptiPoly 3: moments, optimization and semidefinite programming
auteur
Didier Henrion, Jean-Bernard Lasserre, Johan Lofberg
article
Optimization Methods and Software, 2009, 24 (4-5), pp. 761-779
Accès au texte intégral et bibtex
https://hal.science/hal-00172442/file/gloptipoly3.pdf BibTex
titre
Le logo du CNRS est-il convexe ?
auteur
Didier Henrion
article
Matapli, 2009, n° 88, p.63-71
Accès au texte intégral et bibtex
https://hal.science/hal-00331530/file/bezier.pdf BibTex
titre
Projection methods for conic feasibility problems; applications to sum-of-squares decompositions
auteur
Didier Henrion, Jérôme Malick
article
Optimization Methods and Software, 2009, 26 (1), p. 23-46
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00389553/file/sdlsos.pdf BibTex

Conference papers

titre
Multiobjective Robust Control with HIFOO 2.0
auteur
Suat Gumussoy, Didier Henrion, Marc Millstone, Michael Overton
article
IFAC Symposium on Robust Control Design (Rocond'09), Jun 2009, Haifa, Israel. 12p
Accès au texte intégral et bibtex
https://hal.science/hal-00385733/file/hifoo2.pdf BibTex

2008

Journal articles

titre
Nonlinear optimal control via occupation measures and LMI-relaxations
auteur
Jean-Bernard Lasserre, Didier Henrion, Christophe Prieur, Emmanuel Trélat
article
SIAM Journal on Control and Optimization, 2008, 47 (4), pp.1643--1666
Accès au texte intégral et bibtex
https://hal.science/hal-00136032/file/ocp.pdf BibTex

Conference papers

titre
Nonlinear optimal control synthesis via occupation measures
auteur
Didier Henrion, Jean-Bernard Lasserre, Carlo Savorgnan
article
47th IEEE Conference on Decision and Control, Dec 2008, Cancun, Mexico. 16p
Accès au texte intégral et bibtex
https://hal.science/hal-00262309/file/ocpdesign.pdf BibTex

Preprints, Working Papers, ...

titre
Semidefinite geometry of the numerical range
auteur
Didier Henrion
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00345031/file/nr.pdf BibTex
titre
POCP: a package for polynomial optimal control problems
auteur
Didier Henrion, Jean-Bernard Lasserre, Carlo Savorgnan
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00325180/file/pocp.pdf BibTex
titre
On semidefinite representations of plane quartics
auteur
Didier Henrion
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00320368/file/quartics.pdf BibTex
titre
Plane geometry and convexity of polynomial stability regions
auteur
Didier Henrion, Michael Sebek
article
2008
Accès au texte intégral et bibtex
https://hal.science/hal-00206129/file/geometry.pdf BibTex

2007

Journal articles

titre
Quadratic separation for feedback connection of an uncertain matrix and an implicit linear transformation
auteur
Dimitri Peaucelle, Denis Arzelier, Didier Henrion, Frédéric Gouaisbaut
article
Automatica, 2007, 43 (5), pp.795-804. ⟨10.1016/j.automatica.2006.11.005⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03311077/file/Automatica07.pdf BibTex

Habilitation à diriger des recherches

titre
Polynômes et optimisation convexe en commande robuste
auteur
Didier Henrion
article
Mathématiques [math]. Université Paul Sabatier - Toulouse III, 2007
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00246118/file/hdr-henrion.pdf BibTex

Preprints, Working Papers, ...

titre
SDLS: a Matlab package for solving conic least-squares problems
auteur
Didier Henrion, Jérôme Malick
article
2007
Accès au texte intégral et bibtex
https://hal.science/hal-00172439/file/sdls.pdf BibTex
titre
On convexity of the frequency response of a stable polynomial
auteur
Didier Henrion
article
2007
Accès au texte intégral et bibtex
https://hal.science/hal-00170355/file/convexpoly.pdf BibTex

2006

Preprints, Working Papers, ...

titre
Some control design experiments with HIFOO
auteur
Didier Henrion
article
2006
Accès au texte intégral et bibtex
https://hal.science/hal-00090683/file/hifoo-examples.pdf BibTex
titre
Maximizing the Closed Loop Asymptotic Decay Rate for the Two-Mass-Spring Control Problem
auteur
Didier Henrion, Michael Overton
article
2006
Accès au texte intégral et bibtex
https://hal.science/hal-00021929/file/massspring.pdf BibTex

2005

Conference papers

titre
Root-clustering of a matrix in intersections or unions of regions: addendum
auteur
Olivier Bachelier, Didier Henrion, Bernard Pradin, Driss Mehdi
article
Conference on Decision and Control (CDC 2005), Dec 2005, Sevilla, Spain. ⟨10.1109/CDC.2005.1582879⟩
Accès au bibtex
BibTex

2004

Journal articles

titre
Root-Clustering of a Matrix in Intersections or Unions of Regions
auteur
Olivier Bachelier, Didier Henrion, Bernard Pradin, Driss Mehdi
article
SIAM Journal on Control and Optimization, 2004, 43 (3), pp.1078--1093. ⟨10.1137/S0363012903432365⟩
Accès au bibtex
BibTex

2001

Journal articles

titre
D-Stability of Polynomial Matrices
auteur
Didier Henrion, Olivier Bachelier, Mickael Sebek
article
International Journal of Control, 2001, 74 (8), pp.845--856. ⟨10.1080/00207170110041006⟩
Accès au bibtex
BibTex
titre
Low-Order Robust Controller Synthesis for Interval Plants
auteur
Didier Henrion, Olivier Bachelier
article
International Journal of Control, 2001, 74 (1), pp.1--9. ⟨10.1080/00207170150202643⟩
Accès au bibtex
BibTex
titre
Rank-one LMI approach to stability of 2-D polynomial matrices
auteur
Didier Henrion, Michael Sebek, Olivier Bachelier
article
Multidimensional Systems and Signal Processing, 2001, 12 (1), pp.33-48. ⟨10.1023/A:1008464726878⟩
Accès au bibtex
BibTex

2000

Conference papers

titre
D-stability of polynomial matrices
auteur
Didier Henrion, Olivier Bachelier, Mickael Sebek
article
UKACC International Conference on Control 2000, Sep 2000, Cambridge, United Kingdom
Accès au bibtex
BibTex

1999

Theses

titre
No english title
auteur
Didier Henrion
article
Mathématiques [math]. INSA de Toulouse, 1999. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00132065/file/theseHenrion.pdf BibTex