Skip to Main content Skip to Navigation

hal-02384908v3  Conference papers
Guillaume DavyEric FéronPierre-Loïc GarocheDidier 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-00961722v1  Conference papers
Edouard PauwelsDidier HenrionJean-Bernard Lasserre. Inverse optimal control with polynomial optimization
IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp.5581-5586
tel-00246118v1  Habilitation à diriger des recherches
Didier Henrion. Polynômes et optimisation convexe en commande robuste
Mathématiques [math]. Université Paul Sabatier - Toulouse III, 2007
hal-01114378v1  Conference papers
Didier HenrionSimone NaldiMohab 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-00569067v2  Journal articles
Florian BugarinDidier HenrionJean-Bernard Lasserre. Minimizing the sum of many rational functions
Mathematical Programming Computation, Springer, 2015, 8 (1), pp. 83-111. ⟨10.1007/s12532-015-0089-z⟩
hal-00980625v2  Journal articles
Victor MagronDidier HenrionJean-Bernard Lasserre. Approximating Pareto Curves using Semidefinite Relaxations
Operations Research Letters, Elsevier, 2014, 42 (6-7), pp.432-437
hal-00961133v1  Journal articles
Timothy WangRomain JobredeauxMarc PantelPierre-Loïc GarocheEric Féron et al.  Credible Autocoding of Convex Optimization Algorithms
Optimization and Engineering, Springer Verlag, 2016, 17 (4), pp.781-812
hal-00172442v1  Journal articles
Didier HenrionJean-Bernard LasserreJohan Lofberg. GloptiPoly 3: moments, optimization and semidefinite programming
Optimization Methods and Software, Taylor & Francis, 2009, 24 (4-5), pp. 761-779
hal-00495031v1  Journal articles
Térence BayenDidier Henrion. Semidefinite programming for optimizing convex bodies under width constraints
Optimization Methods and Software, Taylor & Francis, 2012, 27 (6), pp.1073-1099. ⟨10.1080/10556788.2010.547580⟩
hal-00725977v1  Journal articles
Didier HenrionJean-Bernard LasserreMartin Mevissen. Mean squared error minimization for inverse moment problems
Applied Mathematics and Optimization, Springer Verlag (Germany), 2014, 70 (1), pp. 83-110
hal-01159210v2  Journal articles
Didier HenrionSimone NaldiMohab Safey El Din. Real root finding for low rank linear matrices
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2020, 31, pp.101-133. ⟨10.1007/s00200-019-00396-w⟩
hal-00214196v1  Journal articles
Didier Henrion. Detecting rigid convexity of bivariate polynomials
Linear Algebra and its Applications, Elsevier, 2010, 432 (5), pp.1218-1233. ⟨10.1016/j.laa.2009.10.033⟩
hal-01184243v1  Book sections
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