Didier Henrion

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 53

Top Venues

CoRR

Autom.

CDC

SIAM J. Control. Optim.

Publications

Jared Miller, Niklas Schmid, Matteo Tacchi, Didier Henrion, Roy S. Smith
Peak Time-Windowed Risk Estimation of Stochastic Processes. CoRR (2024)
Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization. CoRR (2024)
Didier Henrion, Milan Korda, Martin Kruzík, Rodolfo Rios-Zertuche
Occupation Measure Relaxations in Variational Problems: The Role of Convexity. SIAM J. Optim. 34 (2) (2024)
Didier Henrion, Jared Miller, Mohab Safey El Din
Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions. CoRR (2024)
Didier Henrion, Milan Korda, Jean-Bernard Lasserre
Polynomial argmin for recovery and approximation of multivariate discontinuous functions. CoRR (2023)
Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives. INFORMS J. Comput. 35 (2) (2023)
Marianne Souaiby, Aneel Tanwani, Didier Henrion
Ensemble approximations for constrained dynamical systems using Liouville equation. Autom. 149 (2023)
Matteo Tacchi, Jean-Bernard Lasserre, Didier Henrion
Stokes, Gibbs, and Volume Computation of Semi-Algebraic Sets. Discret. Comput. Geom. 69 (1) (2023)
Marianne Souaiby, Aneel Tanwani, Didier Henrion
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Trans. Autom. Control. 67 (3) (2022)
Matteo Tacchi, Tillmann Weißer, Jean-Bernard Lasserre, Didier Henrion
Exploiting Sparsity for Semi-Algebraic Set Volume Computation. Found. Comput. Math. 22 (1) (2022)
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics Autom. Lett. 7 (3) (2022)
Jared Miller, Didier Henrion, Mario Sznaier
Peak Estimation Recovery and Safety Analysis. IEEE Control. Syst. Lett. 5 (6) (2021)
Milan Korda, Didier Henrion, Igor Mezic
Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes. J. Nonlinear Sci. 31 (1) (2021)
Jared Miller, Didier Henrion, Mario Sznaier
Peak Estimation Recovery and Safety Analysis. ACC (2021)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact algorithms for semidefinite programs with degenerate feasible set. J. Symb. Comput. 104 (2021)
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint. Eur. J. Control 58 (2021)
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean-Bernard Lasserre
Dual optimal design and the Christoffel-Darboux polynomial. Optim. Lett. 15 (1) (2021)
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
Peak Estimation for Uncertain and Switched Systems. CoRR (2021)
Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
Peak Estimation for Uncertain and Switched Systems. CDC (2021)
Jared Miller, Didier Henrion, Mario Sznaier
Peak Estimation and Recovery with Occupation Measures. CoRR (2020)
Daniel Wagner, Didier Henrion, Martin Hromcík
Measures and LMIs for Adaptive Control Validation. CoRR (2020)
Daniel Wagner, Didier Henrion, Martin Hromcík
Measures and LMIs for Lateral F-16 MRAC Validation. ACC (2020)
Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. CoRR (2020)
Daniel Wagner, Didier Henrion, Martin Hromcík
Measures and LMIs for Lateral F-16 MRAC Validation. CoRR (2020)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for low rank linear matrices. Appl. Algebra Eng. Commun. Comput. 31 (2) (2020)
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. ECC (2019)
Didier Henrion, Simone Naldi, Mohab Safey El Din
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic. Optim. Methods Softw. 34 (1) (2019)
Antoine Oustry, Matteo Tacchi, Didier Henrion
Inner approximations of the maximal positively invariant set for polynomial dynamical systems. CoRR (2019)
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. CoRR (2019)
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM J. Control. Optim. 57 (4) (2019)
Matteo Tacchi, Carmen Cardozo, Didier Henrion, Jean B. Lasserre
Approximating regions of attraction of a sparse polynomial differential system. CoRR (2019)
Antoine Oustry, Matteo Tacchi, Didier Henrion
Inner Approximations of the Maximal Positively Invariant Set for Polynomial Dynamical Systems. IEEE Control. Syst. Lett. 3 (3) (2019)
Daniel Wagner, Didier Henrion, Martin Hromcík
Measures and LMIs for Adaptive Control Validation. CDC (2019)
Didier Henrion, Martin Kruzík, Tillmann Weißer
Optimal control problems with oscillations, concentrations and discontinuities. Autom. 103 (2019)
Antoine Oustry, Carmen Cardozo, Patrick Pantiatici, Didier Henrion
Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. CDC (2019)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. ISSAC (2018)
Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
Formal verification of an interior point algorithm instanciation. CoRR (2018)
Milan Korda, Didier Henrion
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. Optim. Lett. 12 (3) (2018)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact algorithms for semidefinite programs with degenerate feasible set. CoRR (2018)
Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. LPAR (2018)
Milan Korda, Didier Henrion, Colin N. Jones
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Syst. Control. Lett. 100 (2017)
Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa
Simple approximations of semialgebraic sets and their applications to control. Autom. 78 (2017)
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre
Approximate Optimal Designs for Multivariate Polynomial Regression. CoRR (2017)
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B. Lasserre
Exact Solutions to Super Resolution on Semi-Algebraic Domains in Higher Dimensions. IEEE Trans. Inf. Theory 63 (1) (2017)
Mathieu Claeys, Jamal Daafouz, Didier Henrion
Modal occupation measures and LMI relaxations for nonlinear switched systems control. Autom. 64 (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for determinants of linear matrices. J. Symb. Comput. 74 (2016)
Cédric Josz, Didier Henrion
Strong duality in Lasserre's hierarchy for polynomial optimization. Optim. Lett. 10 (1) (2016)
Florian Bugarin, Didier Henrion, Jean-Bernard Lasserre
Minimizing the sum of many rational functions. Math. Program. Comput. 8 (1) (2016)
Milan Korda, Didier Henrion, Colin N. Jones
Controller design and value function approximation for nonlinear dynamical systems. Autom. 67 (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic. CoRR (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact Algorithms for Linear Matrix Inequalities. SIAM J. Optim. 26 (4) (2016)
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
Linear Conic Optimization for Inverse Optimal Control. SIAM J. Control. Optim. 54 (3) (2016)
Roxana Heß, Didier Henrion, Jean-Bernard Lasserre, Tien Son Pham
Semidefinite Approximations of the Polynomial Abscissa. SIAM J. Control. Optim. 54 (3) (2016)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Exact algorithms for linear matrix inequalities. CoRR (2015)
Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa, Pavel S. Shcherbakov
Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering. CoRR (2015)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for low rank linear matrices. CoRR (2015)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real Root Finding for Rank Defects in Linear Hankel Matrices. ISSAC (2015)
Florian Bugarin, Adrien Bartoli, Didier Henrion, Jean-Bernard Lasserre, Jean-José Orteu, Thierry Sentenac
Rank-Constrained Fundamental Matrix Estimation by Polynomial Global Optimization Versus the Eight-Point Algorithm. J. Math. Imaging Vis. 53 (1) (2015)
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa
Simple Approximations of Semialgebraic Sets and their Applications to Control. CoRR (2015)
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets. SIAM J. Optim. 25 (4) (2015)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for rank defects in linear Hankel matrices. CoRR (2015)
Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B. Lasserre
Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions. CoRR (2015)
Jan Heller, Didier Henrion, Tomás Pajdla
Hand-Eye and Robot-World Calibration by Global Polynomial Optimization. CoRR (2014)
Didier Henrion, Milan Korda
Convex Computation of the Region of Attraction of Polynomial Control Systems. IEEE Trans. Autom. Control. 59 (2) (2014)
Milan Korda, Didier Henrion, Colin N. Jones
Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems. SIAM J. Control. Optim. 52 (5) (2014)
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
Credible Autocoding of Convex Optimization Algorithms. CoRR (2014)
Sergio Galeani, Didier Henrion, Alain Jacquemard, Luca Zaccarian
Design of Marx generators as a structured eigenvalue assignment. Autom. 50 (10) (2014)
Mathieu Claeys, Jamal Daafouz, Didier Henrion
Modal occupation measures and LMI relaxations for nonlinear switched systems control. CoRR (2014)
Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi
On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models. CoRR (2014)
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
Inverse optimal control with polynomial optimization. CoRR (2014)
Jan Heller, Didier Henrion, Tomás Pajdla
Hand-eye and robot-world calibration by global polynomial optimization. ICRA (2014)
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
Approximating Pareto curves using semidefinite relaxations. Oper. Res. Lett. 42 (6-7) (2014)
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa
Uniform sample generation in semialgebraic sets. CDC (2014)
Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
Measures and LMIs for Impulsive Nonlinear Optimal Control. IEEE Trans. Autom. Control. 59 (5) (2014)
Didier Henrion, Simone Naldi, Mohab Safey El Din
Real root finding for determinants of linear matrices. CoRR (2014)
Jan Heller, Didier Henrion, Tomás Pajdla
Stable Radial Distortion Calibration by Polynomial Matrix Inequalities Programming. ACCV (1) (2014)
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
Inverse optimal control with polynomial optimization. CDC (2014)
Victor Magron, Didier Henrion, Jean-Bernard Lasserre
Approximating Pareto Curves using Semidefinite Relaxations. CoRR (2014)
Didier Henrion, Jamal Daafouz, Mathieu Claeys
Optimal switching control design for polynomial systems: an LMI approach. CDC (2013)
Didier Henrion, Frédéric Messine
Finding largest small polygons with GloptiPoly. J. Glob. Optim. 56 (3) (2013)
Milan Korda, Didier Henrion, Colin N. Jones
Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. NOLCOS (2013)
Didier Henrion, Milan Korda
Convex computation of the region of attraction of polynomial control systems? ECC (2013)
Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
Moment LMI approach to LTV impulsive control. CDC (2013)
Mohamed Rasheed Abdalmoaty, Didier Henrion, Luis Rodrigues
Measures and LMIs for optimal control of piecewise-affine systems. ECC (2013)
Milan Korda, Didier Henrion, Colin N. Jones
Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems. CDC (2013)
Stefan Streif, Philipp Rumschinski, Didier Henrion, Rolf Findeisen
Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations. CDC (2013)
Fabrizio Dabbene, Didier Henrion
Set approximation via minimum-volume polynomial sublevel sets. ECC (2013)
Didier Henrion, Christophe Louembet
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design. Int. J. Control 85 (8) (2012)
Didier Henrion, Tomás Vyhlídal
Positive trigonometric polynomials for strong stability of difference equations. Autom. 48 (9) (2012)
Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
Measures and LMI for impulsive optimal control with applications to space rendezvous problems. ACC (2012)
Didier Henrion, Jean B. Lasserre
Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions. IEEE Trans. Autom. Control. 57 (6) (2012)
Didier Henrion
Semidefinite characterisation of invariant measures for one-dimensional discrete dynamical systems. Kybernetika 48 (6) (2012)
Wouter H. T. M. Aangenent, W. P. M. H. Heemels, M. J. G. van de Molengraft, Didier Henrion, Maarten Steinbuch
Linear control of time-domain constrained systems. Autom. 48 (5) (2012)
Térence Bayen, Didier Henrion
Semidefinite programming for optimizing convex bodies under width constraints. Optim. Methods Softw. 27 (6) (2012)
Didier Henrion, Martine Ganet-Schoeller, Samir Bennani
Measures and LMI for Space Launcher Robust Control Validation. ROCOND (2012)
Mustapha Ait Rami, Didier Henrion
A hierarchy of LMI inner approximations of the set of stable polynomials. Autom. 47 (7) (2011)
Didier Henrion, Jérôme Malick
Projection methods for conic feasibility problems: applications to polynomial sum-of-squares decompositions. Optim. Methods Softw. 26 (1) (2011)
Didier Henrion, Jean B. Lasserre
Inner approximations for polynomial matrix inequalities and robust stability regions CoRR (2011)
Florian Bugarin, Didier Henrion, Jean B. Lasserre
Minimizing the sum of many rational functions CoRR (2011)
Didier Henrion, Christophe Louembet
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design CoRR (2011)

Didier Henrion.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Didier Henrion