Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDidier Henrion
Person information
- affiliation: University of Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j82]Marianne Souaiby, Aneel Tanwani, Didier Henrion:
Ensemble approximations for constrained dynamical systems using Liouville equation. Autom. 149: 110836 (2023)- [j81]Matteo Tacchi
, Jean-Bernard Lasserre, Didier Henrion:
Stokes, Gibbs, and Volume Computation of Semi-Algebraic Sets. Discret. Comput. Geom. 69(1): 260-283 (2023) - [i30]Didier Henrion, Milan Korda, Jean-Bernard Lasserre:
Polynomial argmin for recovery and approximation of multivariate discontinuous functions. CoRR abs/2302.06945 (2023) - 2022
- [j80]Matteo Tacchi, Tillmann Weißer, Jean-Bernard Lasserre, Didier Henrion:
Exploiting Sparsity for Semi-Algebraic Set Volume Computation. Found. Comput. Math. 22(1): 161-209 (2022) - [j79]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): 6012-6019 (2022) - [j78]Marianne Souaiby, Aneel Tanwani, Didier Henrion:
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Trans. Autom. Control. 67(3): 1253-1268 (2022) - 2021
- [j77]Jared Miller, Didier Henrion, Mario Sznaier:
Peak Estimation Recovery and Safety Analysis. IEEE Control. Syst. Lett. 5(6): 1982-1987 (2021) - [j76]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: 152-167 (2021) - [j75]Milan Korda, Didier Henrion, Igor Mezic:
Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes. J. Nonlinear Sci. 31(1): 14 (2021) - [j74]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Exact algorithms for semidefinite programs with degenerate feasible set. J. Symb. Comput. 104: 942-959 (2021) - [j73]Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean-Bernard Lasserre:
Dual optimal design and the Christoffel-Darboux polynomial. Optim. Lett. 15(1): 3-8 (2021) - [c51]Jared Miller, Didier Henrion, Mario Sznaier:
Peak Estimation Recovery and Safety Analysis. ACC 2021: 2400-2405 - [c50]Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda:
Peak Estimation for Uncertain and Switched Systems. CDC 2021: 3222-3228 - [i29]Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda:
Peak Estimation for Uncertain and Switched Systems. CoRR abs/2103.13017 (2021) - 2020
- [j72]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Real root finding for low rank linear matrices. Appl. Algebra Eng. Commun. Comput. 31(2): 101-133 (2020) - [c49]Daniel Wagner, Didier Henrion, Martin Hromcík:
Measures and LMIs for Lateral F-16 MRAC Validation. ACC 2020: 3840-3845 - [i28]Daniel Wagner, Didier Henrion, Martin Hromcík:
Measures and LMIs for Lateral F-16 MRAC Validation. CoRR abs/2003.11292 (2020) - [i27]Daniel Wagner, Didier Henrion, Martin Hromcík:
Measures and LMIs for Adaptive Control Validation. CoRR abs/2005.09313 (2020) - [i26]Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla:
Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. CoRR abs/2007.12550 (2020) - [i25]Jared Miller, Didier Henrion, Mario Sznaier:
Peak Estimation and Recovery with Occupation Measures. CoRR abs/2009.06120 (2020)
2010 – 2019
- 2019
- [j71]Didier Henrion, Martin Kruzík, Tillmann Weißer:
Optimal control problems with oscillations, concentrations and discontinuities. Autom. 103: 159-165 (2019) - [j70]Antoine Oustry, Matteo Tacchi, Didier Henrion:
Inner Approximations of the Maximal Positively Invariant Set for Polynomial Dynamical Systems. IEEE Control. Syst. Lett. 3(3): 733-738 (2019) - [j69]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): 62-78 (2019) - [j68]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): 2799-2820 (2019) - [c48]Daniel Wagner, Didier Henrion, Martin Hromcík:
Measures and LMIs for Adaptive Control Validation. CDC 2019: 1001-1006 - [c47]Antoine Oustry, Carmen Cardozo, Patrick Pantiatici, Didier Henrion:
Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. CDC 2019: 6572-6577 - [c46]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: 4301-4306 - [i24]Paul Rousse, Pierre-Loïc Garoche, Didier Henrion:
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. CoRR abs/1902.10982 (2019) - [i23]Antoine Oustry, Matteo Tacchi, Didier Henrion:
Inner approximations of the maximal positively invariant set for polynomial dynamical systems. CoRR abs/1903.04798 (2019) - [i22]Matteo Tacchi, Carmen Cardozo, Didier Henrion, Jean B. Lasserre:
Approximating regions of attraction of a sparse polynomial differential system. CoRR abs/1911.09500 (2019) - 2018
- [j67]Milan Korda, Didier Henrion:
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. Optim. Lett. 12(3): 435-442 (2018) - [c45]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. ISSAC 2018: 191-198 - [c44]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: 290-306 - [i21]Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion:
Formal verification of an interior point algorithm instanciation. CoRR abs/1801.03833 (2018) - [i20]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Exact algorithms for semidefinite programs with degenerate feasible set. CoRR abs/1802.02834 (2018) - 2017
- [j66]Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa:
Simple approximations of semialgebraic sets and their applications to control. Autom. 78: 110-118 (2017) - [j65]Milan Korda, Didier Henrion, Colin N. Jones:
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Syst. Control. Lett. 100: 1-5 (2017) - [j64]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): 621-630 (2017) - [p1]Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre:
Positivity Certificates in Optimal Control. Geometric and Numerical Foundations of Movements 2017: 113-131 - [i19]Yohann de Castro, Fabrice Gamboa, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre:
Approximate Optimal Designs for Multivariate Polynomial Regression. CoRR abs/1706.04059 (2017) - 2016
- [j63]Mathieu Claeys, Jamal Daafouz, Didier Henrion:
Modal occupation measures and LMI relaxations for nonlinear switched systems control. Autom. 64: 143-154 (2016) - [j62]Milan Korda, Didier Henrion, Colin N. Jones:
Controller design and value function approximation for nonlinear dynamical systems. Autom. 67: 54-66 (2016) - [j61]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Real root finding for determinants of linear matrices. J. Symb. Comput. 74: 205-238 (2016) - [j60]Florian Bugarin, Didier Henrion, Jean-Bernard Lasserre:
Minimizing the sum of many rational functions. Math. Program. Comput. 8(1): 83-111 (2016) - [j59]Cédric Josz, Didier Henrion:
Strong duality in Lasserre's hierarchy for polynomial optimization. Optim. Lett. 10(1): 3-10 (2016) - [j58]Roxana Heß, Didier Henrion, Jean-Bernard Lasserre, Tien Son Pham:
Semidefinite Approximations of the Polynomial Abscissa. SIAM J. Control. Optim. 54(3): 1633-1656 (2016) - [j57]Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre:
Linear Conic Optimization for Inverse Optimal Control. SIAM J. Control. Optim. 54(3): 1798-1825 (2016) - [j56]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Exact Algorithms for Linear Matrix Inequalities. SIAM J. Optim. 26(4): 2512-2539 (2016) - [i18]Didier Henrion, Simone Naldi, Mohab Safey El Din:
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic. CoRR abs/1611.01947 (2016) - 2015
- [j55]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): 42-60 (2015) - [j54]Victor Magron, Didier Henrion, Jean-Bernard Lasserre:
Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets. SIAM J. Optim. 25(4): 2143-2164 (2015) - [c43]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Real Root Finding for Rank Defects in Linear Hankel Matrices. ISSAC 2015: 221-228 - [r1]Didier Henrion:
Optimization Based Robust Control. Encyclopedia of Systems and Control 2015 - [i17]Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B. Lasserre:
Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions. CoRR abs/1502.02436 (2015) - [i16]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Real root finding for rank defects in linear Hankel matrices. CoRR abs/1502.02473 (2015) - [i15]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Real root finding for low rank linear matrices. CoRR abs/1506.05897 (2015) - [i14]Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa, Pavel S. Shcherbakov:
Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering. CoRR abs/1507.08032 (2015) - [i13]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Exact algorithms for linear matrix inequalities. CoRR abs/1508.03715 (2015) - [i12]Fabrizio Dabbene, Didier Henrion, Constantino Lagoa:
Simple Approximations of Semialgebraic Sets and their Applications to Control. CoRR abs/1509.04200 (2015) - 2014
- [j53]Sergio Galeani, Didier Henrion, Alain Jacquemard, Luca Zaccarian:
Design of Marx generators as a structured eigenvalue assignment. Autom. 50(10): 2709-2717 (2014) - [j52]Victor Magron, Didier Henrion, Jean-Bernard Lasserre:
Approximating Pareto curves using semidefinite relaxations. Oper. Res. Lett. 42(6-7): 432-437 (2014) - [j51]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): 2944-2969 (2014) - [j50]Didier Henrion, Milan Korda:
Convex Computation of the Region of Attraction of Polynomial Control Systems. IEEE Trans. Autom. Control. 59(2): 297-312 (2014) - [j49]Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre:
Measures and LMIs for Impulsive Nonlinear Optimal Control. IEEE Trans. Autom. Control. 59(5): 1374-1379 (2014) - [c42]Jan Heller, Didier Henrion, Tomás Pajdla:
Stable Radial Distortion Calibration by Polynomial Matrix Inequalities Programming. ACCV (1) 2014: 307-321 - [c41]Fabrizio Dabbene, Didier Henrion, Constantino Lagoa:
Uniform sample generation in semialgebraic sets. CDC 2014: 5177-5182 - [c40]Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre:
Inverse optimal control with polynomial optimization. CDC 2014: 5581-5586 - [c39]Jan Heller, Didier Henrion, Tomás Pajdla:
Hand-eye and robot-world calibration by global polynomial optimization. ICRA 2014: 3157-3164 - [i11]Jan Heller, Didier Henrion, Tomás Pajdla:
Hand-Eye and Robot-World Calibration by Global Polynomial Optimization. CoRR abs/1402.3261 (2014) - [i10]Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion:
Credible Autocoding of Convex Optimization Algorithms. CoRR abs/1403.1861 (2014) - [i9]Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre:
Inverse optimal control with polynomial optimization. CoRR abs/1403.5180 (2014) - [i8]Mathieu Claeys, Jamal Daafouz, Didier Henrion:
Modal occupation measures and LMI relaxations for nonlinear switched systems control. CoRR abs/1404.4699 (2014) - [i7]Victor Magron, Didier Henrion, Jean-Bernard Lasserre:
Approximating Pareto Curves using Semidefinite Relaxations. CoRR abs/1404.4772 (2014) - [i6]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 abs/1409.4321 (2014) - [i5]Didier Henrion, Simone Naldi, Mohab Safey El Din:
Real root finding for determinants of linear matrices. CoRR abs/1412.5873 (2014) - 2013
- [j48]Didier Henrion, Frédéric Messine:
Finding largest small polygons with GloptiPoly. J. Glob. Optim. 56(3): 1017-1028 (2013) - [c38]Didier Henrion, Jamal Daafouz, Mathieu Claeys:
Optimal switching control design for polynomial systems: an LMI approach. CDC 2013: 1349-1354 - [c37]Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre:
Moment LMI approach to LTV impulsive control. CDC 2013: 5810-5815 - [c36]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: 6379-6384 - [c35]Milan Korda, Didier Henrion, Colin N. Jones:
Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems. CDC 2013: 7107-7112 - [c34]Didier Henrion, Milan Korda:
Convex computation of the region of attraction of polynomial control systems? ECC 2013: 676-681 - [c33]Fabrizio Dabbene, Didier Henrion:
Set approximation via minimum-volume polynomial sublevel sets. ECC 2013: 1114-1119 - [c32]Mohamed Rasheed Abdalmoaty, Didier Henrion, Luis Rodrigues:
Measures and LMIs for optimal control of piecewise-affine systems. ECC 2013: 3173-3178 - [c31]Milan Korda, Didier Henrion, Colin N. Jones:
Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. NOLCOS 2013: 534-539 - 2012
- [j47]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): 736-746 (2012) - [j46]Didier Henrion, Tomás Vyhlídal:
Positive trigonometric polynomials for strong stability of difference equations. Autom. 48(9): 2207-2212 (2012) - [j45]Didier Henrion, Christophe Louembet:
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design. Int. J. Control 85(8): 1083-1092 (2012) - [j44]Didier Henrion:
Semidefinite characterisation of invariant measures for one-dimensional discrete dynamical systems. Kybernetika 48(6): 1089-1099 (2012) - [j43]Térence Bayen, Didier Henrion:
Semidefinite programming for optimizing convex bodies under width constraints. Optim. Methods Softw. 27(6): 1073-1099 (2012) - [j42]Didier Henrion, Jean B. Lasserre:
Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions. IEEE Trans. Autom. Control. 57(6): 1456-1467 (2012) - [c30]Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre:
Measures and LMI for impulsive optimal control with applications to space rendezvous problems. ACC 2012: 161-166 - [c29]Didier Henrion, Martine Ganet-Schoeller, Samir Bennani:
Measures and LMI for Space Launcher Robust Control Validation. ROCOND 2012: 236-241 - 2011
- [j41]Mustapha Ait Rami, Didier Henrion:
A hierarchy of LMI inner approximations of the set of stable polynomials. Autom. 47(7): 1455-1460 (2011) - [j40]Didier Henrion, Jérôme Malick:
Projection methods for conic feasibility problems: applications to polynomial sum-of-squares decompositions. Optim. Methods Softw. 26(1): 23-46 (2011) - [i4]Florian Bugarin, Didier Henrion, Jean B. Lasserre:
Minimizing the sum of many rational functions. CoRR abs/1102.4954 (2011) - [i3]Didier Henrion, Christophe Louembet:
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design. CoRR abs/1104.2679 (2011) - [i2]Didier Henrion, Jean B. Lasserre:
Inner approximations for polynomial matrix inequalities and robust stability regions. CoRR abs/1104.4905 (2011) - 2010
- [j39]Milan Anderle, Sergej Celikovský, Didier Henrion, Jirí Zikmund:
Advanced LMI based analysis and design for Acrobot walking. Int. J. Control 83(8): 1641-1652 (2010) - [j38]Akin Delibasi, Didier Henrion:
Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities. Int. J. Control 83(12): 2494-2505 (2010)
2000 – 2009
- 2009
- [j37]Juan Carlos Zúñiga Anaya, Didier Henrion:
An improved Toeplitz algorithm for polynomial matrix null-space computation. Appl. Math. Comput. 207(1): 256-272 (2009) - [j36]Didier Henrion, Jean-Bernard Lasserre, Johan Löfberg:
GloptiPoly 3: moments, optimization and semidefinite programming. Optim. Methods Softw. 24(4-5): 761-779 (2009) - [j35]Wim Michiels, Tomás Vyhlídal, Pavel Zítek, Henk Nijmeijer, Didier Henrion:
Strong Stability of Neutral Equations with an Arbitrary Delay Dependency Structure. SIAM J. Control. Optim. 48(2): 763-786 (2009) - [j34]Didier Henrion, Jean B. Lasserre, Carlo Savorgnan:
Approximate Volume and Integration for Basic Semialgebraic Sets. SIAM Rev. 51(4): 722-743 (2009) - [j33]John McKernan, Mahbub Gani, Fuwen Yang, Didier Henrion:
Optimal Low-Frequency Filter Design for Uncertain 2-1 Sigma-Delta Modulators. IEEE Signal Process. Lett. 16(5): 362-365 (2009) - [c28]Didier Henrion, Jean B. Lasserre, Carlo Savorgnan:
POCP: A package for polynomial optimal control problems. ECC 2009: 1173-1178 - [c27]Milan Anderle, Sergej Celikovský, Didier Henrion, Jirí Zikmund:
LMI based design for the Acrobot walking*. SyRoCo 2009: 461-466 - [i1]Didier Henrion:
Semidefinite representation of convex hulls of rational varieties. CoRR abs/0901.1821 (2009) - 2008
- [j32]Jean B. Lasserre, Didier Henrion, Christophe Prieur, Emmanuel Trélat:
Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations. SIAM J. Control. Optim. 47(4): 1643-1666 (2008) - [j31]John McKernan, Mahbub Gani, Didier Henrion, Fuwen Yang:
Robust Filter Design for Uncertain 2-1 Sigma-Delta Modulators via the Central Polynomial Method. IEEE Signal Process. Lett. 15: 737-740 (2008) - [j30]Didier Henrion:
On Convexity of the Frequency Response of a Stable Polynomial. IEEE Trans. Autom. Control. 53(4): 1062-1066 (2008) - [c26]Didier Henrion, Jean B. Lasserre, Carlo Savorgnan:
Nonlinear optimal control synthesis via occupation measures. CDC 2008: 4749-4754 - [c25]Didier Henrion, Michael Sebek:
Plane geometry and convexity of polynomial stability regions. ISSAC 2008: 111-116 - 2007
- [j29]Dimitri Peaucelle, Denis Arzelier, Didier Henrion, Frédéric Gouaisbaut:
Quadratic separation for feedback connection of an uncertain matrix and an implicit linear transformation. Autom. 43(5): 795-804 (2007) - [j28]Fredrik Kahl, Didier Henrion:
Globally Optimal Estimates for Geometric Reconstruction Problems. Int. J. Comput. Vis. 74(1): 3-15 (2007) - [j27]Fuwen Yang, Mahbub Gani, Didier Henrion:
Fixed-Order Robust H∞ Controller Design With Regional Pole Assignment. IEEE Trans. Autom. Control. 52(10): 1959-1963 (2007) - 2006
- [j26]Juan Carlos Zúñiga Anaya, Didier Henrion:
A Toeplitz algorithm for polynomial J-spectral factorization. Autom. 42(7): 1085-1093 (2006) - [j25]Didier Henrion, Jean B. Lasserre:
LMIs for constrained polynomial interpolation with application in trajectory planning. Syst. Control. Lett. 55(6): 473-477 (2006) - [j24]Didier Henrion, Jean B. Lasserre:
Convergent relaxations of polynomial matrix inequalities and static output feedback. IEEE Trans. Autom. Control. 51(2): 192-202 (2006) - [j23]James V. Burke, Didier Henrion, Adrian S. Lewis, Michael L. Overton:
<