Didier Henrion
Orcid: 0000-0001-6735-7715Affiliations:
- University of Toulouse, France
According to our database1,
Didier Henrion
authored at least 139 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
SIAM J. Optim., 2024
CoRR, 2024
Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization.
CoRR, 2024
2023
Autom., March, 2023
Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives.
INFORMS J. Comput., 2023
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
IEEE Robotics Autom. Lett., 2022
Found. Comput. Math., 2022
2021
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
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
Appl. Algebra Eng. Commun. Comput., 2020
Proceedings of the 2020 American Control Conference, 2020
2019
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
CoRR, 2019
Autom., 2019
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
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
Proceedings of the Geometric and Numerical Foundations of Movements, 2017
IEEE Trans. Inf. Theory, 2017
Syst. Control. Lett., 2017
Autom., 2017
2016
SIAM J. Control. Optim., 2016
Optim. Lett., 2016
Autom., 2016
Modal occupation measures and LMI relaxations for nonlinear switched systems control.
Autom., 2016
2015
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
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015
2014
IEEE Trans. Autom. Control., 2014
IEEE Trans. Autom. Control., 2014
Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems.
SIAM J. Control. Optim., 2014
On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models.
CoRR, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the Computer Vision - ACCV 2014, 2014
2013
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013
Proceedings of the 12th European Control Conference, 2013
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
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
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
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
Autom., 2012
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
Autom., 2011
2010
Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities.
Int. J. Control, 2010
2009
IEEE Signal Process. Lett., 2009
SIAM J. Control. Optim., 2009
Optim. Methods Softw., 2009
Appl. Math. Comput., 2009
Proceedings of the 9th IFAC Symposium on Robot Control, SyRoCo 2009, Gifu, Japan, 2009
Proceedings of the 10th European Control Conference, 2009
2008
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
SIAM J. Control. Optim., 2008
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
IEEE Trans. Autom. Control., 2007
Int. J. Comput. Vis., 2007
Quadratic separation for feedback connection of an uncertain matrix and an implicit linear transformation.
Autom., 2007
2006
IEEE Trans. Autom. Control., 2006
IEEE Trans. Autom. Control., 2006
LMIs for constrained polynomial interpolation with application in trajectory planning.
Syst. Control. Lett., 2006
2005
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
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
SIAM J. Control. Optim., 2004
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
ACM Trans. Math. Softw., 2003
IEEE Trans. Autom. Control., 2003
IEEE Trans. Autom. Control., 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
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2002
Kybernetika, 2002
An Evaluation of Algorithms for Computing the Covariance Function of a Multivariable Arma Process.
Eur. J. Control, 2002
Proceedings of the Global Optimization and Constraint Satisfaction, 2002
2001
Multidimens. Syst. Signal Process., 2001
Autom., 2001
Proceedings of the 6th European Control Conference, 2001
Proceedings of the 6th European Control Conference, 2001
Proceedings of the 6th European Control Conference, 2001
2000
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
IEEE Trans. Autom. Control., 1999
Eur. J. Control, 1999
Autom., 1999
Proceedings of the 5th European Control Conference, 1999
Proceedings of the 5th European Control Conference, 1999
1998