Didier Henrion

181 papers A* 2B 4C 4Journal 125Unranked 44

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Unsafe probabilities and risk contours for stochastic processes using convex optimization. Autom. Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier
2025	J	`jnl`	Erratum to "Solving Unbounded Optimal Control Problems With the Moment-SOS Hierarchy". IEEE Control. Syst. Lett. Karolína Sehnalová, Didier Henrion, Milan Korda, Martin Kruzík
2025	J	`jnl`	Evolution of measures in nonsmooth dynamical systems: Formalisms and computation. Autom. Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
2025	J	`jnl`	Geometry of exactness of moment-SOS relaxations for polynomial optimization. Optim. Lett. Didier Henrion
2025	—	`conf`	Optimal Control of 1D Semilinear Heat Equations with Moment-SOS Relaxations ECC Charlie Lebarbé, Émilien Flayac, Michel Fournié, Didier Henrion, Milan Korda
2025	J	`jnl`	Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions. Math. Oper. Res. Antonio Bellon, Didier Henrion, Vyacheslav Kungurtsev, Jakub Marecek
2025	J	`jnl`	Slow Convergence of the Moment-SOS Hierarchy for an Elementary Polynomial Optimization Problem. SIAM J. Appl. Algebra Geom. Didier Henrion, Adrien Le Franc, Victor Magron
2025	J	`jnl`	Solving Moment and Polynomial Optimization Problems on Sobolev Spaces. SIAM J. Optim. Didier Henrion, Alessandro Rudi
2025	J	`jnl`	Solving Unbounded Optimal Control Problems With the Moment-SOS Hierarchy. IEEE Control. Syst. Lett. Karolína Sehnalová, Didier Henrion, Milan Korda, Martin Kruzík
2024	J	`jnl`	Algebraic Proofs of Path Disconnectedness using Time-Dependent Barrier Functions. CoRR Didier Henrion, Jared Miller, Mohab Safey El Din
2024	J	`jnl`	Occupation Measure Relaxations in Variational Problems: The Role of Convexity. SIAM J. Optim. Didier Henrion, Milan Korda, Martin Kruzík, Rodolfo Rios-Zertuche
2024	—	`conf`	Optimal Control of Nonsmooth Dynamical Systems using Measure Relaxations. CDC Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
2024	—	`conf`	Peak Time-Windowed Mean Estimation using Convex Optimization. CDC Jared Miller, Niklas Schmid, Matteo Tacchi, Didier Henrion, Roy S. Smith
2024	J	`jnl`	Peak Time-Windowed Risk Estimation of Stochastic Processes. CoRR Jared Miller, Niklas Schmid, Matteo Tacchi, Didier Henrion, Roy S. Smith
2024	J	`jnl`	Unsafe Probabilities and Risk Contours for Stochastic Processes using Convex Optimization. CoRR Jared Miller, Matteo Tacchi, Didier Henrion, Mario Sznaier
2023	J	`jnl`	Ensemble approximations for constrained dynamical systems using Liouville equation. Autom. Marianne Souaiby, Aneel Tanwani, Didier Henrion
2023	J	`jnl`	Polynomial argmin for recovery and approximation of multivariate discontinuous functions. CoRR Didier Henrion, Milan Korda, Jean-Bernard Lasserre
2023	J	`jnl`	Revisiting Semidefinite Programming Approaches to Options Pricing: Complexity and Computational Perspectives. INFORMS J. Comput. Didier Henrion, Felix Kirschner, Etienne de Klerk, Milan Korda, Jean-Bernard Lasserre, Victor Magron
2023	J	`jnl`	Stokes, Gibbs, and Volume Computation of Semi-Algebraic Sets. Discret. Comput. Geom. Matteo Tacchi, Jean-Bernard Lasserre, Didier Henrion
2022	J	`jnl`	Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. IEEE Trans. Autom. Control. Marianne Souaiby, Aneel Tanwani, Didier Henrion
2022	J	`jnl`	Exploiting Sparsity for Semi-Algebraic Set Volume Computation. Found. Comput. Math. Matteo Tacchi, Tillmann Weißer, Jean-Bernard Lasserre, Didier Henrion
2022	J	`jnl`	Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. IEEE Robotics Autom. Lett. Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla
2021	J	`jnl`	Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes. J. Nonlinear Sci. Milan Korda, Didier Henrion, Igor Mezic
2021	J	`jnl`	Dual optimal design and the Christoffel-Darboux polynomial. Optim. Lett. Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean-Bernard Lasserre
2021	J	`jnl`	Exact algorithms for semidefinite programs with degenerate feasible set. J. Symb. Comput. Didier Henrion, Simone Naldi, Mohab Safey El Din
2021	J	`jnl`	Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint. Eur. J. Control Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
2021	C	`conf`	Peak Estimation Recovery and Safety Analysis. ACC Jared Miller, Didier Henrion, Mario Sznaier
2021	J	`jnl`	Peak Estimation Recovery and Safety Analysis. IEEE Control. Syst. Lett. Jared Miller, Didier Henrion, Mario Sznaier
2021	—	`conf`	Peak Estimation for Uncertain and Switched Systems. CDC Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
2021	J	`jnl`	Peak Estimation for Uncertain and Switched Systems. CoRR Jared Miller, Didier Henrion, Mario Sznaier, Milan Korda
2020	J	`jnl`	Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator. CoRR Pavel Trutman, Mohab Safey El Din, Didier Henrion, Tomás Pajdla
2020	J	`jnl`	Measures and LMIs for Adaptive Control Validation. CoRR Daniel Wagner, Didier Henrion, Martin Hromcík
2020	C	`conf`	Measures and LMIs for Lateral F-16 MRAC Validation. ACC Daniel Wagner, Didier Henrion, Martin Hromcík
2020	J	`jnl`	Measures and LMIs for Lateral F-16 MRAC Validation. CoRR Daniel Wagner, Didier Henrion, Martin Hromcík
2020	J	`jnl`	Peak Estimation and Recovery with Occupation Measures. CoRR Jared Miller, Didier Henrion, Mario Sznaier
2020	J	`jnl`	Real root finding for low rank linear matrices. Appl. Algebra Eng. Commun. Comput. Didier Henrion, Simone Naldi, Mohab Safey El Din
2019	J	`jnl`	Approximating regions of attraction of a sparse polynomial differential system. CoRR Matteo Tacchi, Carmen Cardozo, Didier Henrion, Jean B. Lasserre
2019	J	`jnl`	Inner Approximations of the Maximal Positively Invariant Set for Polynomial Dynamical Systems. IEEE Control. Syst. Lett. Antoine Oustry, Matteo Tacchi, Didier Henrion
2019	J	`jnl`	Inner approximations of the maximal positively invariant set for polynomial dynamical systems. CoRR Antoine Oustry, Matteo Tacchi, Didier Henrion
2019	—	`conf`	Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. CDC Antoine Oustry, Carmen Cardozo, Patrick Pantiatici, Didier Henrion
2019	—	`conf`	Measures and LMIs for Adaptive Control Validation. CDC Daniel Wagner, Didier Henrion, Martin Hromcík
2019	J	`jnl`	Optimal control problems with oscillations, concentrations and discontinuities. Autom. Didier Henrion, Martin Kruzík, Tillmann Weißer
2019	—	`conf`	Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. ECC Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
2019	J	`jnl`	Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. CoRR Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
2019	J	`jnl`	SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic. Optim. Methods Softw. Didier Henrion, Simone Naldi, Mohab Safey El Din
2019	J	`jnl`	Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM J. Control. Optim. Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux
2018	J	`jnl`	Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. Optim. Lett. Milan Korda, Didier Henrion
2018	B	`conf`	Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. ISSAC Didier Henrion, Simone Naldi, Mohab Safey El Din
2018	J	`jnl`	Exact algorithms for semidefinite programs with degenerate feasible set. CoRR Didier Henrion, Simone Naldi, Mohab Safey El Din
2018	B	`conf`	Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. LPAR Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
2018	J	`jnl`	Formal verification of an interior point algorithm instanciation. CoRR Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
2017	J	`jnl`	Approximate Optimal Designs for Multivariate Polynomial Regression. CoRR Yohann de Castro, Fabrice Gamboa, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre
2017	J	`jnl`	Convergence rates of moment-sum-of-squares hierarchies for optimal control problems. Syst. Control. Lett. Milan Korda, Didier Henrion, Colin N. Jones
2017	J	`jnl`	Exact Solutions to Super Resolution on Semi-Algebraic Domains in Higher Dimensions. IEEE Trans. Inf. Theory Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B. Lasserre
2017	—	`ch.`	Positivity Certificates in Optimal Control. Geometric and Numerical Foundations of Movements Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
2017	J	`jnl`	Simple approximations of semialgebraic sets and their applications to control. Autom. Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa
2016	J	`jnl`	Controller design and value function approximation for nonlinear dynamical systems. Autom. Milan Korda, Didier Henrion, Colin N. Jones
2016	J	`jnl`	Exact Algorithms for Linear Matrix Inequalities. SIAM J. Optim. Didier Henrion, Simone Naldi, Mohab Safey El Din
2016	J	`jnl`	Linear Conic Optimization for Inverse Optimal Control. SIAM J. Control. Optim. Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
2016	J	`jnl`	Minimizing the sum of many rational functions. Math. Program. Comput. Florian Bugarin, Didier Henrion, Jean-Bernard Lasserre
2016	J	`jnl`	Modal occupation measures and LMI relaxations for nonlinear switched systems control. Autom. Mathieu Claeys, Jamal Daafouz, Didier Henrion
2016	J	`jnl`	Real root finding for determinants of linear matrices. J. Symb. Comput. Didier Henrion, Simone Naldi, Mohab Safey El Din
2016	J	`jnl`	SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic. CoRR Didier Henrion, Simone Naldi, Mohab Safey El Din
2016	J	`jnl`	Semidefinite Approximations of the Polynomial Abscissa. SIAM J. Control. Optim. Roxana Heß, Didier Henrion, Jean-Bernard Lasserre, Tien Son Pham
2016	J	`jnl`	Strong duality in Lasserre's hierarchy for polynomial optimization. Optim. Lett. Cédric Josz, Didier Henrion
2015	J	`jnl`	Exact algorithms for linear matrix inequalities. CoRR Didier Henrion, Simone Naldi, Mohab Safey El Din
2015	J	`jnl`	Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions. CoRR Yohann de Castro, Fabrice Gamboa, Didier Henrion, Jean B. Lasserre
2015	—	`ch.`	Optimization Based Robust Control. Encyclopedia of Systems and Control Didier Henrion
2015	J	`jnl`	Randomized Approximations of the Image Set of Nonlinear Mappings with Applications to Filtering. CoRR Fabrizio Dabbene, Didier Henrion, Constantino M. Lagoa, Pavel S. Shcherbakov
2015	J	`jnl`	Rank-Constrained Fundamental Matrix Estimation by Polynomial Global Optimization Versus the Eight-Point Algorithm. J. Math. Imaging Vis. Florian Bugarin, Adrien Bartoli, Didier Henrion, Jean-Bernard Lasserre, Jean-José Orteu, Thierry Sentenac
2015	B	`conf`	Real Root Finding for Rank Defects in Linear Hankel Matrices. ISSAC Didier Henrion, Simone Naldi, Mohab Safey El Din
2015	J	`jnl`	Real root finding for low rank linear matrices. CoRR Didier Henrion, Simone Naldi, Mohab Safey El Din
2015	J	`jnl`	Real root finding for rank defects in linear Hankel matrices. CoRR Didier Henrion, Simone Naldi, Mohab Safey El Din
2015	J	`jnl`	Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets. SIAM J. Optim. Victor Magron, Didier Henrion, Jean-Bernard Lasserre
2015	J	`jnl`	Simple Approximations of Semialgebraic Sets and their Applications to Control. CoRR Fabrizio Dabbene, Didier Henrion, Constantino Lagoa
2014	J	`jnl`	Approximating Pareto Curves using Semidefinite Relaxations. CoRR Victor Magron, Didier Henrion, Jean-Bernard Lasserre
2014	J	`jnl`	Approximating Pareto curves using semidefinite relaxations. Oper. Res. Lett. Victor Magron, Didier Henrion, Jean-Bernard Lasserre
2014	J	`jnl`	Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems. SIAM J. Control. Optim. Milan Korda, Didier Henrion, Colin N. Jones
2014	J	`jnl`	Convex Computation of the Region of Attraction of Polynomial Control Systems. IEEE Trans. Autom. Control. Didier Henrion, Milan Korda
2014	J	`jnl`	Credible Autocoding of Convex Optimization Algorithms. CoRR Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
2014	J	`jnl`	Design of Marx generators as a structured eigenvalue assignment. Autom. Sergio Galeani, Didier Henrion, Alain Jacquemard, Luca Zaccarian
2014	J	`jnl`	Hand-Eye and Robot-World Calibration by Global Polynomial Optimization. CoRR Jan Heller, Didier Henrion, Tomás Pajdla
2014	A*	`conf`	Hand-eye and robot-world calibration by global polynomial optimization. ICRA Jan Heller, Didier Henrion, Tomás Pajdla
2014	—	`conf`	Inverse optimal control with polynomial optimization. CDC Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
2014	J	`jnl`	Inverse optimal control with polynomial optimization. CoRR Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
2014	J	`jnl`	Measures and LMIs for Impulsive Nonlinear Optimal Control. IEEE Trans. Autom. Control. Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
2014	J	`jnl`	Modal occupation measures and LMI relaxations for nonlinear switched systems control. CoRR Mathieu Claeys, Jamal Daafouz, Didier Henrion
2014	J	`jnl`	On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models. CoRR Olivier Bachelier, Didier Henrion, Nima Yeganefar, Driss Mehdi
2014	J	`jnl`	Real root finding for determinants of linear matrices. CoRR Didier Henrion, Simone Naldi, Mohab Safey El Din
2014	—	`conf`	Stable Radial Distortion Calibration by Polynomial Matrix Inequalities Programming. ACCV (1) Jan Heller, Didier Henrion, Tomás Pajdla
2014	—	`conf`	Uniform sample generation in semialgebraic sets. CDC Fabrizio Dabbene, Didier Henrion, Constantino Lagoa
2013	—	`conf`	Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems. CDC Milan Korda, Didier Henrion, Colin N. Jones
2013	—	`conf`	Convex computation of the region of attraction of polynomial control systems? ECC Didier Henrion, Milan Korda
2013	—	`conf`	Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations. CDC Stefan Streif, Philipp Rumschinski, Didier Henrion, Rolf Findeisen
2013	J	`jnl`	Finding largest small polygons with GloptiPoly. J. Glob. Optim. Didier Henrion, Frédéric Messine
2013	—	`conf`	Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems. NOLCOS Milan Korda, Didier Henrion, Colin N. Jones
2013	—	`conf`	Measures and LMIs for optimal control of piecewise-affine systems. ECC Mohamed Rasheed Abdalmoaty, Didier Henrion, Luis Rodrigues
2013	—	`conf`	Moment LMI approach to LTV impulsive control. CDC Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
2013	—	`conf`	Optimal switching control design for polynomial systems: an LMI approach. CDC Didier Henrion, Jamal Daafouz, Mathieu Claeys
2013	—	`conf`	Set approximation via minimum-volume polynomial sublevel sets. ECC Fabrizio Dabbene, Didier Henrion
2012	J	`jnl`	Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design. Int. J. Control Didier Henrion, Christophe Louembet
2012	J	`jnl`	Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions. IEEE Trans. Autom. Control. Didier Henrion, Jean B. Lasserre
2012	J	`jnl`	Linear control of time-domain constrained systems. Autom. Wouter H. T. M. Aangenent, W. P. M. H. Heemels, M. J. G. van de Molengraft, Didier Henrion, Maarten Steinbuch
2012	—	`conf`	Measures and LMI for Space Launcher Robust Control Validation. ROCOND Didier Henrion, Martine Ganet-Schoeller, Samir Bennani
2012	C	`conf`	Measures and LMI for impulsive optimal control with applications to space rendezvous problems. ACC Mathieu Claeys, Denis Arzelier, Didier Henrion, Jean-Bernard Lasserre
2012	J	`jnl`	Positive trigonometric polynomials for strong stability of difference equations. Autom. Didier Henrion, Tomás Vyhlídal
2012	J	`jnl`	Semidefinite characterisation of invariant measures for one-dimensional discrete dynamical systems. Kybernetika Didier Henrion
2012	J	`jnl`	Semidefinite programming for optimizing convex bodies under width constraints. Optim. Methods Softw. Térence Bayen, Didier Henrion
2011	J	`jnl`	A hierarchy of LMI inner approximations of the set of stable polynomials. Autom. Mustapha Ait Rami, Didier Henrion
2011	J	`jnl`	Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design CoRR Didier Henrion, Christophe Louembet
2011	J	`jnl`	Inner approximations for polynomial matrix inequalities and robust stability regions CoRR Didier Henrion, Jean B. Lasserre
2011	J	`jnl`	Minimizing the sum of many rational functions CoRR Florian Bugarin, Didier Henrion, Jean B. Lasserre
2011	J	`jnl`	Projection methods for conic feasibility problems: applications to polynomial sum-of-squares decompositions. Optim. Methods Softw. Didier Henrion, Jérôme Malick
2010	J	`jnl`	Advanced LMI based analysis and design for Acrobot walking. Int. J. Control Milan Anderle, Sergej Celikovský, Didier Henrion, Jirí Zikmund
2010	J	`jnl`	Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities. Int. J. Control Akin Delibasi, Didier Henrion
2009	J	`jnl`	An improved Toeplitz algorithm for polynomial matrix null-space computation. Appl. Math. Comput. Juan Carlos Zúñiga Anaya, Didier Henrion
2009	J	`jnl`	Approximate Volume and Integration for Basic Semialgebraic Sets. SIAM Rev. Didier Henrion, Jean B. Lasserre, Carlo Savorgnan
2009	J	`jnl`	GloptiPoly 3: moments, optimization and semidefinite programming. Optim. Methods Softw. Didier Henrion, Jean-Bernard Lasserre, Johan Löfberg
2009	—	`conf`	LMI based design for the Acrobot walking SyRoCo Milan Anderle, Sergej Celikovský, Didier Henrion, Jirí Zikmund
2009	J	`jnl`	Optimal Low-Frequency Filter Design for Uncertain 2-1 Sigma-Delta Modulators. IEEE Signal Process. Lett. John McKernan, Mahbub Gani, Fuwen Yang, Didier Henrion
2009	—	`conf`	POCP: A package for polynomial optimal control problems. ECC Didier Henrion, Jean B. Lasserre, Carlo Savorgnan
2009	J	`jnl`	Semidefinite representation of convex hulls of rational varieties. CoRR Didier Henrion
2009	J	`jnl`	Strong Stability of Neutral Equations with an Arbitrary Delay Dependency Structure. SIAM J. Control. Optim. Wim Michiels, Tomás Vyhlídal, Pavel Zítek, Henk Nijmeijer, Didier Henrion
2008	J	`jnl`	Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations. SIAM J. Control. Optim. Jean B. Lasserre, Didier Henrion, Christophe Prieur, Emmanuel Trélat
2008	—	`conf`	Nonlinear optimal control synthesis via occupation measures. CDC Didier Henrion, Jean B. Lasserre, Carlo Savorgnan
2008	J	`jnl`	On Convexity of the Frequency Response of a Stable Polynomial. IEEE Trans. Autom. Control. Didier Henrion
2008	B	`conf`	Plane geometry and convexity of polynomial stability regions. ISSAC Didier Henrion, Michael Sebek
2008	J	`jnl`	Robust Filter Design for Uncertain 2-1 Sigma-Delta Modulators via the Central Polynomial Method. IEEE Signal Process. Lett. John McKernan, Mahbub Gani, Didier Henrion, Fuwen Yang
2007	J	`jnl`	Fixed-Order Robust H IEEE Trans. Autom. Control. Fuwen Yang, Mahbub Gani, Didier Henrion
2007	J	`jnl`	Globally Optimal Estimates for Geometric Reconstruction Problems. Int. J. Comput. Vis. Fredrik Kahl, Didier Henrion
2007	J	`jnl`	Quadratic separation for feedback connection of an uncertain matrix and an implicit linear transformation. Autom. Dimitri Peaucelle, Denis Arzelier, Didier Henrion, Frédéric Gouaisbaut
2006	J	`jnl`	A Toeplitz algorithm for polynomial J-spectral factorization. Autom. Juan Carlos Zúñiga Anaya, Didier Henrion
2006	J	`jnl`	Convergent relaxations of polynomial matrix inequalities and static output feedback. IEEE Trans. Autom. Control. Didier Henrion, Jean B. Lasserre
2006	J	`jnl`	LMIs for constrained polynomial interpolation with application in trajectory planning. Syst. Control. Lett. Didier Henrion, Jean B. Lasserre
2006	J	`jnl`	Stabilization via Nonsmooth, Nonconvex Optimization. IEEE Trans. Autom. Control. James V. Burke, Didier Henrion, Adrian S. Lewis, Michael L. Overton
2005	J	`jnl`	Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem. Reliab. Comput. Luc Jaulin, Didier Henrion
2005	J	`jnl`	Control of linear systems subject to time-domain constraints with polynomial pole placement and LMIs. IEEE Trans. Autom. Control. Didier Henrion, Sophie Tarbouriech, Vladimír Kucera
2005	J	`jnl`	Detecting infinite zeros in polynomial matrices. IEEE Trans. Circuits Syst. II Express Briefs Didier Henrion, Juan Carlos Zúñiga Anaya
2005	A*	`conf`	Globally Optimal Estimates for Geometric Reconstruction Problems. ICCV Fredrik Kahl, Didier Henrion
2005	—	`conf`	Nonlinear optimal control: approximations via moments and LMI-relaxations. CDC/ECC Jean B. Lasserre, Christophe Prieur, Didier Henrion
2005	J	`jnl`	Optimizing simultaneously over the numerator and denominator polynomials in the Youla-Kučera parametrization. IEEE Trans. Autom. Control. Didier Henrion, Vladimír Kucera, Arturo Molina-Cristobal
2005	J	`jnl`	Robust pole placement for second-order systems: an LMI approach. Kybernetika Didier Henrion, Michael Sebek, Vladimír Kucera
2005	—	`conf`	Robust root-clustering of a matrix in intersections or unions of regions: Addendum. CDC/ECC Olivier Bachelier, Didier Henrion, Bernard Pradin, Driss Mehdi
2005	—	`conf`	Solving polynomial static output feedback problems with PENBMI. CDC/ECC Didier Henrion, Johan Löfberg, Michal Kocvara, Michael Stingl
2004	—	`conf`	On parameter-dependent Lyapunov functions for robust stability of linear systems. CDC Didier Henrion, Denis Arzelier, Dimitri Peaucelle, Jean-Bernard Lasserre
2004	—	`conf`	On the application of displacement structure methods to obtain null-spaces of polynomial matrices. CDC Juan Carlos Zúñiga Anaya, Didier Henrion
2004	—	`conf`	Optimizing simultaneously over the numerator and denominator polynomials in the Youla-Kucera parametrization. CDC Didier Henrion, Vladimír Kucera, Arturo Molina-Cristobal
2004	J	`jnl`	Robust Root-Clustering of a Matrix in Intersections or Unions of Regions. SIAM J. Control. Optim. Olivier Bachelier, Didier Henrion, Bernard Pradin, Driss Mehdi
2003	—	`conf`	Algorithm for decoupling and complete pole assignment of linear multivariable systems. ECC Juan Carlos Zúñiga Anaya, Javier Ruiz-León, Didier Henrion
2003	—	`conf`	Comparison of algorithms for computing infinite structural indices of polynomial matrices. ECC Juan Carlos Zúñiga Anaya, Didier Henrion
2003	J	`jnl`	Ellipsoidal approximation of the stability domain of a polynomial. IEEE Trans. Autom. Control. Didier Henrion, Dimitri Peaucelle, Denis Arzelier, Michael Sebek
2003	J	`jnl`	GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi. ACM Trans. Math. Softw. Didier Henrion, Jean B. Lasserre
2003	—	`conf`	Hyperbolic QR factorization for J-spectral factorization of polynomial matrices. CDC Didier Henrion, Peter Hippe
2003	—	`conf`	LMI optimization for fixed-order H CDC Didier Henrion
2003	—	`conf`	Polynomial methods and LMI optimization: New robust control functions for the polynomial toolbox 3.0. ECC Didier Henrion, Michael Sebek
2003	J	`jnl`	Positive polynomial matrices and improved LMI robustness conditions. Autom. Didier Henrion, Denis Arzelier, Dimitri Peaucelle
2003	J	`jnl`	Positive polynomials and robust stabilization with fixed-order controllers. IEEE Trans. Autom. Control. Didier Henrion, Michael Sebek, Vladimír Kucera
2002	J	`jnl`	An Evaluation of Algorithms for Computing the Covariance Function of a Multivariable Arma Process. Eur. J. Control Torsten Söderström, Michael Sebek, Jan Jezek, Vladimír Kucera, Didier Henrion
2002	J	`jnl`	Discrete-time symmetric polynomial equations with complex coefficients. Kybernetika Didier Henrion, Jan Jezek, Michael Sebek
2002	—	`conf`	GloptiPoly: global optimization over polynomials with Matlab and SeDuMi. CDC Didier Henrion, Jean-Bernard Lasserre
2002	J	`jnl`	Rank-one LMI approach to robust stability of polynomial matrices. Kybernetika Didier Henrion, Kenji Sugimoto, Michael Sebek
2002	—	`conf`	Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1. COCOS Didier Henrion, Jean B. Lasserre
2001	J	`jnl`	An LMI condition for robust stability of polynomial matrix polytopes. Autom. Didier Henrion, Denis Arzelier, Dimitri Peaucelle, Michael Sebek
2001	—	`conf`	An evaluation of algorithms for computing the covariance function of a multivariable ARMA process. ECC Torsten Söderström, Michael Sebek, Jan Jezek, Vladimír Kucera, Didier Henrion
2001	J	`jnl`	Control of linear systems subject to input constraints: a polynomial approach. Autom. Didier Henrion, Sophie Tarbouriech, Vladimír Kucera
2001	—	`conf`	Ellipsoidal approximation of the stability domain of a polynomial. ECC Didier Henrion, Dimitri Peaucelle, Denis Arzelier, Michael Sebek
2001	—	`conf`	On computing the H∞-norm of a polynomial matrix fraction. ECC Didier Henrion, Michael Sebek, Martin Hromcík
2001	—	`conf`	Polynomial matrices and recursive QR factorization. ECC Kenji Sugimoto, Michael Sebek, Didier Henrion
2001	J	`jnl`	Rank-one LMI Approach to Stability of 2-D Polynomial Matrices. Multidimens. Syst. Signal Process. Didier Henrion, Michael Sebek, Olivier Bachelier
2001	J	`jnl`	Rank-one LMIs and Lyapunov's inequality. IEEE Trans. Autom. Control. Didier Henrion, Gjerrit Meinsma
2001	—	`conf`	Robust state feedback D stabilization via a cone complementary algorithm. ECC Denis Arzelier, Didier Henrion, Dimitri Peaucelle
2000	C	`conf`	Control of linear systems subject to input constraints: a polynomial approach. MIMO case. ACC Didier Henrion, Sophie Tarbouriech, Vladimír Kucera
2000	—	`conf`	Extraction of infinite zeros of polynomial matrices. CDC Didier Henrion, Javier Ruiz-León, Michael Sebek
2000	—	`conf`	Rank-one LMIs and Lyapunov's inequality. CDC Didier Henrion, Gjerrit Meinsma
1999	—	`conf`	Control design via polynomial toolbox for Matlab version 2.0. ECC Michael Sebek, Huibert Kwakernaak, Didier Henrion, R. C. W. Strijbos
1999	J	`jnl`	LMI relaxations for robust stability of linear systems with saturating controls. Autom. Didier Henrion, Sophie Tarbouriech
1999	J	`jnl`	Output feedback robust stabilization of uncertain linear systems with saturating controls: an LMI approach. IEEE Trans. Autom. Control. Didier Henrion, Sophie Tarbouriech, Germain Garcia
1999	J	`jnl`	Piecewise-Linear Robust Control of Systems with Input Constraints. Eur. J. Control Didier Henrion, Germain Garcia, Sophie Tarbouriech
1999	—	`conf`	Rank-one LMI approach to simultaneous stabilization of linear systems. ECC Didier Henrion, Sophie Tarbouriech, Michael Sebek
1999	J	`jnl`	Reliable numerical methods for polynomial matrix triangularization. IEEE Trans. Autom. Control. Didier Henrion, Michael Sebek
1998	J	`jnl`	Symmetric Matrix Polynomial Equation: Interpolation Results. Autom. Didier Henrion, Michael Sebek