Didier Henrion

Orcid: 0000-0001-6735-7715

Affiliations:
  • University of Toulouse, France


According to our database1, Didier Henrion authored at least 139 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Occupation Measure Relaxations in Variational Problems: The Role of Convexity.
SIAM J. Optim., 2024

Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions.
CoRR, 2024

Peak Time-Windowed Risk Estimation of Stochastic Processes.
CoRR, 2024

Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization.
CoRR, 2024

2023
Ensemble approximations for constrained dynamical systems using Liouville equation.
Autom., March, 2023

Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives.
INFORMS J. Comput., 2023

Stokes, Gibbs, and Volume Computation of Semi-Algebraic Sets.
Discret. Comput. Geom., 2023

Polynomial argmin for recovery and approximation of multivariate discontinuous functions.
CoRR, 2023

2022
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation.
IEEE Trans. Autom. Control., 2022

Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator.
IEEE Robotics Autom. Lett., 2022

Exploiting Sparsity for Semi-Algebraic Set Volume Computation.
Found. Comput. Math., 2022

2021
Dual optimal design and the Christoffel-Darboux polynomial.
Optim. Lett., 2021

Exact algorithms for semidefinite programs with degenerate feasible set.
J. Symb. Comput., 2021

Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes.
J. Nonlinear Sci., 2021

Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint.
Eur. J. Control, 2021

Peak Estimation Recovery and Safety Analysis.
IEEE Control. Syst. Lett., 2021

Peak Estimation for Uncertain and Switched Systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Peak Estimation and Recovery with Occupation Measures.
CoRR, 2020

Real root finding for low rank linear matrices.
Appl. Algebra Eng. Commun. Comput., 2020

Measures and LMIs for Lateral F-16 MRAC Validation.
Proceedings of the 2020 American Control Conference, 2020

2019
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems.
SIAM J. Control. Optim., 2019

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic.
Optim. Methods Softw., 2019

Inner Approximations of the Maximal Positively Invariant Set for Polynomial Dynamical Systems.
IEEE Control. Syst. Lett., 2019

Approximating regions of attraction of a sparse polynomial differential system.
CoRR, 2019

Optimal control problems with oscillations, concentrations and discontinuities.
Autom., 2019

Measures and LMIs for Adaptive Control Validation.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets.
Optim. Lett., 2018

Formal verification of an interior point algorithm instanciation.
CoRR, 2018

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017
Positivity Certificates in Optimal Control.
Proceedings of the Geometric and Numerical Foundations of Movements, 2017

Exact Solutions to Super Resolution on Semi-Algebraic Domains in Higher Dimensions.
IEEE Trans. Inf. Theory, 2017

Convergence rates of moment-sum-of-squares hierarchies for optimal control problems.
Syst. Control. Lett., 2017

Approximate Optimal Designs for Multivariate Polynomial Regression.
CoRR, 2017

Simple approximations of semialgebraic sets and their applications to control.
Autom., 2017

2016
Exact Algorithms for Linear Matrix Inequalities.
SIAM J. Optim., 2016

Linear Conic Optimization for Inverse Optimal Control.
SIAM J. Control. Optim., 2016

Semidefinite Approximations of the Polynomial Abscissa.
SIAM J. Control. Optim., 2016

Strong duality in Lasserre's hierarchy for polynomial optimization.
Optim. Lett., 2016

Minimizing the sum of many rational functions.
Math. Program. Comput., 2016

Real root finding for determinants of linear matrices.
J. Symb. Comput., 2016

Controller design and value function approximation for nonlinear dynamical systems.
Autom., 2016

Modal occupation measures and LMI relaxations for nonlinear switched systems control.
Autom., 2016

2015
Optimization Based Robust Control.
Proceedings of the Encyclopedia of Systems and Control, 2015

Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets.
SIAM J. Optim., 2015

Rank-Constrained Fundamental Matrix Estimation by Polynomial Global Optimization Versus the Eight-Point Algorithm.
J. Math. Imaging Vis., 2015

Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering.
CoRR, 2015

Real Root Finding for Rank Defects in Linear Hankel Matrices.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014
Convex Computation of the Region of Attraction of Polynomial Control Systems.
IEEE Trans. Autom. Control., 2014

Measures and LMIs for Impulsive Nonlinear Optimal Control.
IEEE Trans. Autom. Control., 2014

Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems.
SIAM J. Control. Optim., 2014

Approximating Pareto curves using semidefinite relaxations.
Oper. Res. Lett., 2014

Credible Autocoding of Convex Optimization Algorithms.
CoRR, 2014

On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models.
CoRR, 2014

Design of Marx generators as a structured eigenvalue assignment.
Autom., 2014

Hand-eye and robot-world calibration by global polynomial optimization.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Inverse optimal control with polynomial optimization.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Uniform sample generation in semialgebraic sets.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Stable Radial Distortion Calibration by Polynomial Matrix Inequalities Programming.
Proceedings of the Computer Vision - ACCV 2014, 2014

2013
Finding largest small polygons with GloptiPoly.
J. Glob. Optim., 2013

Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems.
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

Set approximation via minimum-volume polynomial sublevel sets.
Proceedings of the 12th European Control Conference, 2013

Measures and LMIs for optimal control of piecewise-affine systems.
Proceedings of the 12th European Control Conference, 2013

Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal switching control design for polynomial systems: an LMI approach.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Moment LMI approach to LTV impulsive control.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions.
IEEE Trans. Autom. Control., 2012

Semidefinite programming for optimizing convex bodies under width constraints.
Optim. Methods Softw., 2012

Semidefinite characterisation of invariant measures for one-dimensional discrete dynamical systems.
Kybernetika, 2012

Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design.
Int. J. Control, 2012

Positive trigonometric polynomials for strong stability of difference equations.
Autom., 2012

Linear control of time-domain constrained systems.
Autom., 2012

Measures and LMI for Space Launcher Robust Control Validation.
Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

Measures and LMI for impulsive optimal control with applications to space rendezvous problems.
Proceedings of the American Control Conference, 2012

2011
Projection methods for conic feasibility problems: applications to polynomial sum-of-squares decompositions.
Optim. Methods Softw., 2011

A hierarchy of LMI inner approximations of the set of stable polynomials.
Autom., 2011

2010
Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities.
Int. J. Control, 2010

Advanced LMI based analysis and design for Acrobot walking.
Int. J. Control, 2010

2009
Optimal Low-Frequency Filter Design for Uncertain 2-1 Sigma-Delta Modulators.
IEEE Signal Process. Lett., 2009

Approximate Volume and Integration for Basic Semialgebraic Sets.
SIAM Rev., 2009

Strong Stability of Neutral Equations with an Arbitrary Delay Dependency Structure.
SIAM J. Control. Optim., 2009

GloptiPoly 3: moments, optimization and semidefinite programming.
Optim. Methods Softw., 2009

Semidefinite representation of convex hulls of rational varieties.
CoRR, 2009

An improved Toeplitz algorithm for polynomial matrix null-space computation.
Appl. Math. Comput., 2009

LMI based design for the Acrobot walking<sup>*</sup>.
Proceedings of the 9th IFAC Symposium on Robot Control, SyRoCo 2009, Gifu, Japan, 2009

POCP: A package for polynomial optimal control problems.
Proceedings of the 10th European Control Conference, 2009

2008
On Convexity of the Frequency Response of a Stable Polynomial.
IEEE Trans. Autom. Control., 2008

Robust Filter Design for Uncertain 2-1 Sigma-Delta Modulators via the Central Polynomial Method.
IEEE Signal Process. Lett., 2008

Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations.
SIAM J. Control. Optim., 2008

Plane geometry and convexity of polynomial stability regions.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

Nonlinear optimal control synthesis via occupation measures.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Fixed-Order Robust H<sub>∞</sub> Controller Design With Regional Pole Assignment.
IEEE Trans. Autom. Control., 2007

Globally Optimal Estimates for Geometric Reconstruction Problems.
Int. J. Comput. Vis., 2007

Quadratic separation for feedback connection of an uncertain matrix and an implicit linear transformation.
Autom., 2007

2006
Convergent relaxations of polynomial matrix inequalities and static output feedback.
IEEE Trans. Autom. Control., 2006

Stabilization via Nonsmooth, Nonconvex Optimization.
IEEE Trans. Autom. Control., 2006

LMIs for constrained polynomial interpolation with application in trajectory planning.
Syst. Control. Lett., 2006

A Toeplitz algorithm for polynomial J-spectral factorization.
Autom., 2006

2005
Detecting infinite zeros in polynomial matrices.
IEEE Trans. Circuits Syst. II Express Briefs, 2005

Control of linear systems subject to time-domain constraints with polynomial pole placement and LMIs.
IEEE Trans. Autom. Control., 2005

Optimizing simultaneously over the numerator and denominator polynomials in the Youla-Kučera parametrization.
IEEE Trans. Autom. Control., 2005

Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem.
Reliab. Comput., 2005

Robust pole placement for second-order systems: an LMI approach.
Kybernetika, 2005

Nonlinear optimal control: approximations via moments and LMI-relaxations.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Solving polynomial static output feedback problems with PENBMI.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Robust root-clustering of a matrix in intersections or unions of regions: Addendum.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004
Robust Root-Clustering of a Matrix in Intersections or Unions of Regions.
SIAM J. Control. Optim., 2004

On parameter-dependent Lyapunov functions for robust stability of linear systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

On the application of displacement structure methods to obtain null-spaces of polynomial matrices.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi.
ACM Trans. Math. Softw., 2003

Positive polynomials and robust stabilization with fixed-order controllers.
IEEE Trans. Autom. Control., 2003

Ellipsoidal approximation of the stability domain of a polynomial.
IEEE Trans. Autom. Control., 2003

Positive polynomial matrices and improved LMI robustness conditions.
Autom., 2003

Polynomial methods and LMI optimization: New robust control functions for the polynomial toolbox 3.0.
Proceedings of the 7th European Control Conference, 2003

Algorithm for decoupling and complete pole assignment of linear multivariable systems.
Proceedings of the 7th European Control Conference, 2003

Comparison of algorithms for computing infinite structural indices of polynomial matrices.
Proceedings of the 7th European Control Conference, 2003

Hyperbolic QR factorization for J-spectral factorization of polynomial matrices.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

LMI optimization for fixed-order H<sub>∞</sub> controller design.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
Rank-one LMI approach to robust stability of polynomial matrices.
Kybernetika, 2002

Discrete-time symmetric polynomial equations with complex coefficients.
Kybernetika, 2002

An Evaluation of Algorithms for Computing the Covariance Function of a Multivariable Arma Process.
Eur. J. Control, 2002

Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1.
Proceedings of the Global Optimization and Constraint Satisfaction, 2002

2001
Rank-one LMIs and Lyapunov's inequality.
IEEE Trans. Autom. Control., 2001

Rank-one LMI Approach to Stability of 2-D Polynomial Matrices.
Multidimens. Syst. Signal Process., 2001

Control of linear systems subject to input constraints: a polynomial approach.
Autom., 2001

An LMI condition for robust stability of polynomial matrix polytopes.
Autom., 2001

Polynomial matrices and recursive QR factorization.
Proceedings of the 6th European Control Conference, 2001

On computing the H∞-norm of a polynomial matrix fraction.
Proceedings of the 6th European Control Conference, 2001

Robust state feedback D stabilization via a cone complementary algorithm.
Proceedings of the 6th European Control Conference, 2001

2000
Extraction of infinite zeros of polynomial matrices.
Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Control of linear systems subject to input constraints: a polynomial approach. MIMO case.
Proceedings of the American Control Conference, 2000

1999
Output feedback robust stabilization of uncertain linear systems with saturating controls: an LMI approach.
IEEE Trans. Autom. Control., 1999

Reliable numerical methods for polynomial matrix triangularization.
IEEE Trans. Autom. Control., 1999

Piecewise-Linear Robust Control of Systems with Input Constraints.
Eur. J. Control, 1999

LMI relaxations for robust stability of linear systems with saturating controls.
Autom., 1999

Control design via polynomial toolbox for Matlab version 2.0.
Proceedings of the 5th European Control Conference, 1999

Rank-one LMI approach to simultaneous stabilization of linear systems.
Proceedings of the 5th European Control Conference, 1999

1998
Symmetric Matrix Polynomial Equation: Interpolation Results.
Autom., 1998


  Loading...