Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

141 résultats
Image document

Exact algorithms for linear matrix inequalities

Didier Henrion , Simone Naldi , Mohab Safey El Din
SIAM Journal on Optimization, 2016, 26 (4), pp.2512-2539. ⟨10.1137/15M1036543⟩
Article dans une revue hal-01184320v2
Image document

Polynômes et optimisation convexe en commande robuste

Didier Henrion
Mathématiques [math]. Université Paul Sabatier - Toulouse III, 2007
HDR tel-00246118v1
Image document

Approximating Pareto Curves using Semidefinite Relaxations

Victor Magron , Didier Henrion , Jean-Bernard Lasserre
Operations Research Letters, 2014, 42 (6-7), pp.432-437
Article dans une revue hal-00980625v2

Peak Estimation Recovery and Safety Analysis

Jared Miller , Didier Henrion , Mario Sznaier
IEEE Control Systems Letters, 2021, 5 (6), pp.1982-1987. ⟨10.1109/LCSYS.2020.3047591⟩
Article dans une revue hal-03177567v1

Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy

Marek Tyburec , Jan Zeman , Martin Kružík , Didier Henrion
14th World Congress of Structural and Multidisciplinary Optimization (WCSMO 14), Jun 2021, Boulder, Colorado, United States
Communication dans un congrès hal-03765998v1
Image document

Time-Varying Semidefinite Programming: Geometry of the Trajectory of Solutions

Antonio Bellon , Didier Henrion , Vyacheslav Kungurtsev , Jakub Mareček
2022
Pré-publication, Document de travail hal-03196925v2

The Moment-SOS Hierarchy

Didier Henrion , Milan Korda , Jean-Bernard Lasserre
World Scientific. World Scientific Publishing Europe Ltd., 4, 248p., 2020, Optimization and its Applications, 978-1-78634-853-1. ⟨10.1142/q0252⟩
Ouvrages hal-03009026v1
Image document

Inverse optimal control with polynomial optimization

Edouard Pauwels , Didier Henrion , Jean-Bernard Lasserre
IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp.5581-5586
Communication dans un congrès hal-00961722v1
Image document

Measures and LMI for impulsive optimal control with applications to space rendezvous problems

Mathieu Claeys , Denis Arzelier , Didier Henrion , Jean-Bernard Lasserre
American Control Conference (ACC 2012), Jun 2012, Montreal, Canada. pp.161-166
Communication dans un congrès hal-00633138v1
Image document

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems

Victor Magron , Pierre-Loïc Garoche , Didier Henrion , Xavier Thirioux
SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩
Article dans une revue hal-01490897v1
Image document

Projection methods in conic optimization

Didier Henrion , Jérôme Malick
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⟩
Chapitre d'ouvrage hal-00574437v1
Image document

Algebraic certificates for the truncated moment problem

Didier Henrion , Simone Naldi , Mohab Safey El Din
2023
Pré-publication, Document de travail hal-03987123v1
Image document

Approximate Optimal Designs for Multivariate Polynomial Regression

Yohann de Castro , Fabrice Gamboa , Didier Henrion , Roxana Hess , Jean-Bernard Lasserre
Annals of Statistics, 2019, 47 (1), pp.127-155. ⟨10.1214/18-AOS1683⟩
Article dans une revue hal-01483490v2

D-stability of polynomial matrices

Didier Henrion , Olivier Bachelier , Mickael Sebek
UKACC International Conference on Control 2000, Sep 2000, Cambridge, United Kingdom
Communication dans un congrès hal-04167081v1
Image document

An Inverse Optimality Method to Solve a Class of Optimal Control Problems

Luis Rodrigues , Didier Henrion , Mehdi Abedinpour Fallah
2011
Pré-publication, Document de travail hal-00456509v2
Image document

POCP: a package for polynomial optimal control problems

Didier Henrion , Jean-Bernard Lasserre , Carlo Savorgnan
2008
Pré-publication, Document de travail hal-00325180v1
Image document

Uniform sample generation in semialgebraic sets

Fabrizio Dabbene , Didier Henrion , Constantino Lagoa
IEEE Conference on Decision and Control ( CDC ), Dec 2014, Los Angeles, United States. pp. 5177-5182
Communication dans un congrès hal-00961074v1
Image document

Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator

Pavel Trutman , Mohab Safey El Din , Didier Henrion , Tomas Pajdla
IEEE Robotics and Automation Letters, 2022, 7 (3), pp.6012 - 6019. ⟨10.1109/LRA.2022.3163444⟩
Article dans une revue hal-02905816v2
Image document

Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions

Yohann de Castro , Fabrice Gamboa , Didier Henrion , Jean-Bernard Lasserre
IEEE Transactions on Information Theory, 2017, 63 (1), pp. 621-630. ⟨10.1109/TIT.2016.2619368⟩
Article dans une revue hal-01114328v2
Image document

Convexity

Didier Henrion
Edited by Nicholas J. Higham. The Princeton Companion to Applied Mathematics, Princeton University Press, Part II.8 ; pp.89-90, 2015, 9780691150390
Chapitre d'ouvrage hal-01184243v1
Image document

Convergence rates of moment-sum-of-squares hierarchies for optimal control problems

Milan Korda , Didier Henrion , Colin N. Jones
Systems and Control Letters, 2017, 100, pp.1-5
Article dans une revue hal-01362456v1
Image document

Positivity certificates in optimal control

Edouard Pauwels , Didier Henrion , Jean-Bernard Lasserre
Springer. Geometric and Numerical Foundations of Movements, 117, Springer, pp.113-131, 2017, Springer Tracts in Advanced Robotics, 978-3-319-51546-5
Chapitre d'ouvrage hal-01311874v1
Image document

Measures and Linear Matrix Inequalities for Verification and Validation of a Flexible Aircraft with Adaptive Control

Daniel Wagner , Didier Henrion , Martin Hromčík
2020
Pré-publication, Document de travail hal-02939504v1
Image document

Computation of Lyapunov Functions under State Constraints using Semidefinite Programming Hierarchies

Marianne Souaiby , Aneel Tanwani , Didier Henrion
21st IFAC World Congress, Jul 2020, Berlin virtual), Germany. ⟨10.1016/j.ifacol.2020.12.1746⟩
Communication dans un congrès hal-02937714v2

Linear matrix inequalities for interval constraint propagation

Luc Jaulin , Didier Henrion
Workshop IntCP 2003 Interval Analysis and Constraint Propagation for Appliactions, Sep 2003, Kinsale, Ireland
Communication dans un congrès hal-00861679v1
Image document

Exact algorithms for semidefinite programs with degenerate feasible set

Didier Henrion , Simone Naldi , Mohab Safey El Din
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York City, United States. 17p., ⟨10.1145/3208976.3209022⟩
Communication dans un congrès hal-01705590v2
Image document

Hand-Eye and Robot-World Calibration by Global Polynomial Optimization

Jan Heller , Didier Henrion , Tomas Pajdla
IEEE International Conference on Robotics and Automation (ICRA 2014), May 2014, Hong Kong, China. 18p
Communication dans un congrès hal-00946579v1
Image document

Measures and LMIs for optimal control of piecewise-affine systems

M. Rasheed Abdalmoaty , Didier Henrion , Luis Rodrigues
European Control Conference (ECC 2013), Jul 2013, Zurich, Switzerland. 18p
Communication dans un congrès hal-00751917v1
Image document

Semidefinite geometry of the numerical range

Didier Henrion
2008
Pré-publication, Document de travail hal-00345031v2
Image document

Inner approximations of the region of attraction for polynomial dynamical systems

Milan Korda , Didier Henrion , Colin N. Jones
IFAC Symposium on Nonlinear Control Systems ( NOLCOS ), Sep 2013, Toulouse, France. 15p
Communication dans un congrès hal-00740798v1