Publications HAL de Didier HENRION du labo/EPI LAAS

2020

Journal articles

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, Springer Verlag, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01159210/file/newlowrank.pdf BibTex
titre
A moment approach for entropy solutions to nonlinear hyperbolic PDEs *
auteur
Swann Marx, Tillmann Weisser, Didier Henrion, Jean Lasserre
article
Mathematical Control and Related Fields, AIMS, 2020, 10 (1), pp.113-140. ⟨10.3934/mcrf.2019032⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01830870/file/burgers.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, Elsevier, In press, ⟨10.1016/j.ejcon.2020.08.002⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02049158/file/main.pdf BibTex

Preprints, Working Papers, ...

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
2020
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02949791/file/frames.pdf BibTex
titre
Stokes, Gibbs and volume computation of semi-algebraic sets
auteur
Matteo Tacchi, Jean Lasserre, Didier Henrion
article
2020
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02947268/file/stokes.pdf 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
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02943045/file/vvuncertain.pdf BibTex
titre
Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes
auteur
Milan Korda, Didier Henrion, Igor Mezic
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01841989/file/Invariant_measures.pdf BibTex
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.archives-ouvertes.fr/hal-02939504/file/vvflexible.pdf BibTex
titre
Semi-algebraic approximation using Christoffel-Darboux kernel
auteur
Swann Marx, Edouard Pauwels, Tillmann Weisser, Didier Henrion, Jean Lasserre
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02085835/file/main_revised.pdf BibTex
titre
Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies *
auteur
Marianne Souaiby, Aneel Tanwani, Didier Henrion
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02937714/file/algoCompLyap.pdf BibTex
titre
Dual optimal design and the Christoffel-Darboux polynomial
auteur
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean Lasserre
article
2020
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02931534/file/dualdesign.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
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02905816/file/invkin.pdf BibTex
titre
Exploiting Sparsity for Semi-Algebraic Set Volume Computation
auteur
Matteo Tacchi, Tillmann Weisser, Jean-Bernard Lasserre, Didier Henrion
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02010175/file/sparsevol.pdf BibTex
titre
Measures and LMIs for Adaptive Control Validation
auteur
Daniel Wagner, Didier Henrion, Martin Hromčík
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02612057/file/ieee2019paper.pdf BibTex
titre
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation
auteur
Marianne Souaiby, Aneel Tanwani, Didier Henrion
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02565283/file/sosCertEVIs.pdf BibTex
titre
Measures and LMIs for Lateral F-16 MRAC Validation
auteur
Daniel Wagner, Didier Henrion, Martin Hromčík
article
2020
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02517022/file/ACC2020.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, American Institute of Mathematical Sciences, 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, Society for Industrial and Applied Mathematics, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01490897/file/1703.05085.pdf BibTex
titre
Optimal control problems with oscillations, concentrations and discontinuities
auteur
Didier Henrion, Martin Kružík, Tillmann Weisser
article
Automatica, Elsevier, 2019, 103, pp.159-165. ⟨10.1016/j.automatica.2019.01.030⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Taylor & Francis, 2019, 34 (1), pp.62-78. ⟨10.1080/10556788.2017.1341505⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/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, Institute of Mathematical Statistics, 2019, 47 (1), pp.127-155. ⟨10.1214/18-AOS1683⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01483490/file/AoSv2%20%282%29.pdf BibTex

Conference papers

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.archives-ouvertes.fr/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

Other 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, I. Queinnec, Pauline Ribot, Alexandre Seuret, Cyril Briand, Michel Combacau, Boutaieb 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 Le Lann, Pierre Lopez, Victor Magron, Julien Moncel, Gilles Roux, Mohamed Siala, Audine Subias, Aneel Tanwani
article
Rapport LAAS n° 19270. 2019
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02295816/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Approximating regions of attraction of a sparse polynomial differential system *
auteur
Didier Henrion, Matteo Tacchi, Carmen Cardozo, Jean Lasserre
article
2019
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-02367689/file/sparseroa-ifac2020_preprint.pdf BibTex
titre
Inner approximations of the maximal positively invariant set for polynomial dynamical systems
auteur
Antoine Oustry, Matteo Tacchi, Didier Henrion
article
2019
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02064440/file/innermpi-hal-v2.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, Awassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01705590/file/degSDP.pdf BibTex

Preprints, Working Papers, ...

titre
Moments and convex optimization for analysis and control of nonlinear partial differential equations
auteur
Milan Korda, Didier Henrion, Jean-Bernard Lasserre
article
2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01771699/file/PDEs_measures.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, Elsevier, 2017, 78, pp.110-118
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Elsevier, 2017, 100, pp.1-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01362456/file/convergeocp.pdf BibTex
titre
Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions
auteur
Y de Castro, F. Gamboa, Didier Henrion, Jean-Bernard Lasserre
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2017, 63 (1), pp. 621-630. ⟨10.1109/TIT.2016.2619368⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01114328/file/ArXivHAL.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, EDP Sciences, 2017, 23 (1), pp.95-117
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01078217/file/oscillationconcentration.pdf BibTex

Book sections

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.archives-ouvertes.fr/hal-01311874/file/draftPositivity.pdf BibTex

Directions of work or proceedings

titre
20th IFAC World Congress Toulouse, France, 9–14 July 2017 PROCEEDINGS
auteur
Denis 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, Springer Verlag, 2016, 17 (4), pp.781-812
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2016, 54 (3), pp. 1633-1656
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01181623/file/abscissa.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, Elsevier, 2016, 74, pp.205-238. ⟨10.1016/j.jsc.2015.06.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01077888/file/determinant2.pdf BibTex
titre
Controller design and value function approximation for nonlinear dynamical systems
auteur
Milan Korda, Didier Henrion, Colin N. Jones
article
Automatica, Elsevier, 2016, 67 (5), pp.54-66
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2016, 54 (3), pp.1798-1825
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01080428/file/iocpconicSIAM2.pdf BibTex
titre
Modal occupation measures and LMI relaxations for nonlinear switched systems control
auteur
Mathieu Claeys, Jamal Daafouz, Didier Henrion
article
Automatica, Elsevier, 2016, 64, pp.143-154. ⟨10.1016/j.automatica.2015.11.003⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer Verlag, 2016, 10 (1), pp.3-10. ⟨10.1007/s11590-015-0868-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.laas.fr/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, Springer Verlag, 2015, 53 (1), pp.42-60
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer, 2015, 8 (1), pp. 83-111. ⟨10.1007/s12532-015-0089-z⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2015, 25 (4), pp. 2143-2164
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Elsevier, 2014, 50 (10), pp. 2709-2717
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2014, 52 (5), pp.2944-2969
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Elsevier, 2014, 42 (6-7), pp.432-437
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer Verlag (Germany), 2014, 70 (1), pp. 83-110
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Institute of Electrical and Electronics Engineers, 2014, 59 (2), pp. 297-312
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00961074/file/sampling.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.archives-ouvertes.fr/hal-00910264/file/outermoments.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.archives-ouvertes.fr/hal-00871051/file/roa_inner_controlled.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01064115/file/complexlmi2.pdf BibTex
titre
Linear conic optimization for nonlinear optimal control
auteur
Didier Henrion, Edouard Pauwels
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01019410/file/lpcontrol.pdf BibTex

2013

Journal articles

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

Conference papers

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.archives-ouvertes.fr/hal-00802306/file/estim.pdf BibTex
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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00797951/file/ltvimpulse.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.archives-ouvertes.fr/hal-00740798/file/roainner.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.archives-ouvertes.fr/hal-00740794/file/minvol.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.archives-ouvertes.fr/hal-00751917/file/ocppwa.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00666098/file/odds.pdf BibTex
titre
Semidefinite programming for optimizing convex bodies under width constraints
auteur
Terence Bayen, Didier Henrion
article
Optimization Methods and Software, Taylor & Francis, 2012, 27 (6), pp.1073-1099. ⟨10.1080/10556788.2010.547580⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00495031/file/supsdp.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, Taylor & Francis, 2012, 85 (8), pp. 1083-1092
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00585633/file/inner.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, Institute of Electrical and Electronics Engineers, 2012, 57 (6), p.1456-1467
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Elsevier, 2012, 48 (5), p.736-746. ⟨10.1016/j.automatica.2012.02.017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Elsevier, 2011, 47 (7), pp.1455-1460
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00496527/file/innerlmi.pdf BibTex
titre
Semidefinite representation of convex hulls of rational varieties
auteur
Didier Henrion
article
Acta Applicandae Mathematicae, Springer Verlag, 2011, 115 (3), p 319-327
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00352788/file/surfaces.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-00462301/file/momdiffequ2.pdf BibTex
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.archives-ouvertes.fr/hal-00532796/file/ss.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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Taylor & Francis, 2010, 83 (12), p.2494-2505
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00448915/file/hermitelagrange.pdf BibTex
titre
Detecting rigid convexity of bivariate polynomials
auteur
Didier Henrion
article
Linear Algebra and its Applications, Elsevier, 2010, 432 (5), pp.1218-1233. ⟨10.1016/j.laa.2009.10.033⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2009, 51 (4), pp.722-743
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Taylor & Francis, 2009, 24 (4-5), pp. 761-779
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00172442/file/gloptipoly3.pdf BibTex
titre
Le logo du CNRS est-il convexe ?
auteur
Didier Henrion
article
Matapli, SMAI, 2009, p.63-71
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Taylor & Francis, 2009, 26 (1), p. 23-46
Accès au texte intégral et bibtex
https://hal.inria.fr/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.archives-ouvertes.fr/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, Society for Industrial and Applied Mathematics, 2008, 47 (4), pp.1643--1666
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00206129/file/geometry.pdf BibTex

2007

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://tel.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00021929/file/massspring.pdf BibTex

1999

Theses

titre
Stabilité des systèmes linéaires incertains à commande contrainte
auteur
Didier Henrion
article
Mathématiques [math]. INSA de Toulouse, 1999. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00132065/file/theseHenrion.pdf BibTex