Preprints
The documents available on this page are preliminary
research reports (preprints) issued for early peer distribution.
Highlighted items are hyperlinks to PDF or gzipped PostScript files.
2024
D. Henrion, J. B. Lasserre. Approximate D-optimal design and equilibrium measure. hal-04688534, submitted for publication, September 2024.
D. Henrion, J. B. Lasserre. An infinite-dimensional Christoffel function and detection of abnormal trajectories. hal-04631100, submitted for publication, July 2024.
D. Henrion. Infinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces. hal-04628265, June 2024.
S. P. Chhatoi, A. Tanwani, D. Henrion. Evolution of measures in nonsmooth dynamical systems: formalisms and computation. hal-04570185. Submitted for publication. April 2024.
D. Henrion, J. Miller, M. Safey El Din.
Algebraic proofs of path disconnectedness
using time-dependent barrier functions.
arXiv:2404.06985, April 2024.
D. Henrion. Review of
"Moment and Polynomial Optimization" by Jiawang Nie, MOS-SIAM Series on Optimization, SIAM, 2023. AMS Mathematical Reviews MR4622818, 2024.
S. P. Chhatoi, A. Tanwani, D. Henrion. Optimal control of nonsmooth dynamical systems using measure relaxations. hal-04701838. To be presented at the IEEE Conference on Decision and Control, Milan, Italy, Dec. 2024.
J. Miller, N. Schmid, M. Tacchi, D. Henrion, R. S. Smith.
Peak time-windowed mean estimation using convex optimization.
arXiv:2404.06961, March 2024. To be presented at the IEEE Conference on Decision and Control, Milan, Italy, Dec. 2024.
D. Henrion, A. Le Franc, V. Magron.
Slow convergence of the moment-SOS
hierarchy for an elementary polynomial
optimization problem, hal-04500960, March 2024, updated in August 2024, submitted for publication.
D. Henrion, A. Rudi.
Solving moment and polynomial optimization problems on Sobolev spaces, hal-04393205, submitted for publication, January 2024.
J. Miller, M. Tacchi, D. Henrion, M. Sznaier.
Unsafe probabilities and risk contours for stochastic
processes using convex optimization, hal-04382156, submitted for publication, January 2024.
2023
D. Henrion. Review of
"Basics and Trends in Sensitivity Analysis - Theory and Practice in R" by Sébastien Da Veiga, Fabrice Gamboa, Bertrand Iooss and Clémentine Prieur, SIAM Computational Science and Engineering, 2021. Submitted to Zentralblatt Math, 2023.
D. Henrion. Geometry of exactness of moment-SOS relaxations for polynomial optimization. HAL 04258249, October 2023, last updated in February 2024. Submitted for publication.
D. Henrion. Moments for polynomial optimization -
An illustrated tutorial. Lecture notes of a course given for the programme Recent Trends in Computer Algebra, Institut Henri Poincaré, Paris, October 2023.
N. Augier, D. Henrion, M. Korda, V. Magron. Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations. HAL 04159304, July 2023. To appear in ESAIM: Control, Optimisation and Calculus of Variations, 2024.
D. Henrion, M. Infusino, S. Kuhlmann, V. Vinnikov. Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations. HAL 04117218. Presented at the SIAM Conference on Optimization, Seattle, USA, May 2023.
D. Henrion, S. Kuhlmann, I. Mezic, V. Vinnikov.
Real Algebraic Geometry with a View toward Koopman Operator Methods.
Oberwolfach Report, 20(1):741-811, 2023.
D. Henrion, M. Korda, M. Kruzik, R. Rios-Zertuche.
Occupation measure relaxations in variational problems: the role of convexity. HAL 04118080, March 2023. SIAM Journal on Optimization 34(2):1708-1731, 2024.
D. Henrion, M. Korda, J. B. Lasserre.
Polynomial argmin for recovery and approximation of multivariate discontinuous functions. HAL 03986252, February 2023, revised in August 2023. Presented at the SIAM Conference on Applied Algebraic Geometry, Eindhoven, July 2023. Submitted for publication.
D. Henrion, S. Naldi, M. Safey El Din.
Algebraic certificates for the truncated moment problem. HAL 03987123.
Submitted for publication, February 2023.
2022
E. de Klerk, D. Henrion, F. Vallentin, A. Wiegele. Conic Linear Optimization for Computer-Assisted Proofs. Oberwolfach Report, Vol. 19, No. 2, pp. 1039-1090, 2022.
2021
D. Henrion, F. Kirschner, E. de Klerk, M. Korda, J. B. Lasserre, V. Magron.
Revisiting semidefinite programming approaches to options pricing: complexity and computational perspectives, HAL 03429272, November 2021, modified in March 2022. INFORMS Journal on Computing, Vol. 35, No. 2, pp. 335-349, 2023. M. Laurent found a mistake in our treatment of case 1.3 in section 4.1, see this erratum.
A. Bellon, D. Henrion, V. Kungurstev, J. Marecek.
Time-varying semidefinite programming: geometry of the trajectory of solutions,
HAL 03196925, April 2021, modified in March 2022. To appear in Mathematics of Operations Research, 2024.
J. Miller, D. Henrion, M. Sznaier, M. Korda. Peak Estimation for Uncertain and Switched Systems. HAL 03181056, March 2021. Outstanding Student Paper Award for J. Miller. Presented at the IEEE Conference on Decision and Control, December 2021.
M. Souaiby, A. Tanwani, D. Henrion. Ensemble approximations for constrained dynamical systems using Liouville equation. HAL 03167458, April 2021, last modified in November 2022. Automatica, 149:110836, March 2023.
D. Henrion, M. Junca, M. Velasco. Moment-SOS hierarchy and exit time of stochastic processes. HAL 03110452, January 2021. Presented at the SIAM Conference on Optimization, July 2021. A significantly updated version entitled Moment-SOS hierarchy and exit location of stochastic processes, November 2023, updated in March 2024, is scheduled to appear in AIMS Numerical Algebra, Control and Optimization, 2025.
2020
D. Henrion, S. Kuhlmann, R. Speicher, V. Vinnikov. Real Algebraic Geometry with a View Toward Hyperbolic Programming and Free Probability. Oberwolfach Rep. 12: 639--712, 2020.
D. Henrion, J. B. Lasserre.
Graph recovery from incomplete moment information.
HAL 02990825, November 2020. Constructive Approximation, 56:165-187, 2022.
M. Tyburec, J. Zeman, M. Kruzik, D. Henrion. Global optimality in minimum compliance topology optimization of frames and shells by moment-sum-of-squares hierarchy. HAL 02949791. September 2020. Structural and Multidisciplinary Optimization 64(4):1963-1981, 2021. Shorter version "Global optimality in minimum compliance topology optimization of frame and shell structures" in World Congress on Structural and Multidisciplinary Optimization, June 2021.
M. Tacchi, J. B. Lasserre, D. Henrion.
Stokes, Gibbs and volume computation of semi-algebraic sets.
HAL 02947268, September 2020, modified in February 2022. Discrete and Computational Geometry, 69:260-283, 2023.
J. Miller, D. Henrion, M. Sznaier.
Peak estimation and recovery with occupation measures. HAL 02937464, September 2020. American Control Conference, May 2021. An updated version entitled "Peak Estimation Recovery and Safety Analysis" is published in the IEEE Control Systems Letters, Vol. 5, No. 6, pp. 1982-1987, 2021.
Y. De Castro, F. Gamboa, D. Henrion, J. B. Lasserre.
Dual optimal design and the Christoffel-Darboux polynomial.
HAL 02931534, September 2020. Presented at the SIAM Conference on Applied Algebraic Geometry, August 2021. Optimization Letters, Vol. 15, No. 1, pp. 3-8, 2021.
D. Wagner, D. Henrion, M. Hromcik.
Measures and LMIs for Validation of an Aircraft with MRAC and Uncertain Actuator Dynamics. HAL 02943045, March 2020. AIAA SciTech Forum, 15-20 January 2021.
D. Wagner, D. Henrion, M. Hromcik.
Measures and LMIs for Verification and Validation of a Flexible Aircraft with Model Reference Adaptive Control. HAL 02939504, March 2020. Updated version Advanced Algorithms for Verification and Validation of Flexible
Aircraft with Adaptive Control in AIAA Journal of Guidance, Control and Dynamics, 46(3):600-607, 2023.
D. Henrion, M. Korda, J. B. Lasserre.
The Moment-SOS Hierarchy - Lectures in Probability, Statistics, Computational Geometry, Control and Nonlinear PDEs, Series on Optimization and Its Applications, World Scientific, July 2020.
2019
M. Souaiby, A. Tanwani, D. Henrion.
Computation of Lyapunov functions under state constraints using semidefinite programming hierarchies.
HAL 02937714, November 2019.
Proceedings of the IFAC World Congress, Berlin, Germany, 2020.
M. Tacchi, C. Cardozo, D. Henrion, J. B. Lasserre.
Approximating regions of attraction of a sparse polynomial differential system.
HAL 02367689, November 2019. Proceedings of the IFAC World Congress, Berlin, Germany, 2020.
M. Souaiby, A. Tanwani, D. Henrion.
Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation. HAL 02565283, October 2019. IEEE Transactions on Automatic Control 67(3):1253-1268, 2022.
D. Wagner, D. Henrion, M. Hromcik.
Measures and LMIs for Lateral F-16 MRAC Validation.
HAL 02517022. Proceedings of the American Control Conference, Boulder, Colorado, 2020.
P. Trutman, M. Safey El Din, D. Henrion, T. Pajdla.
Globally optimal solution to inverse kinematics of 7DOF serial manipulator.
HAL 02905816, July 2020, revised in February 2022, to be presented at the IEEE International Conference on Robotics and Automation (ICRA), June 2023, London, UK. IEEE Robotics and Automation Letters 7(3):6012-6019, 2022.
M. Tyburec, J. Zeman, M. Kruzik, D. Henrion. On optimum design of frame structures. HAL 02290530. Acta Polytechnica Czech Technical University in Prague, Proceedings of the Nano and Macro Mechanics Conference, Prague, September 2019.
S. Marx, E. Pauwels, T. Weisser, D. Henrion, J. B. Lasserre. Semi-algebraic approximation using Christoffel-Darboux kernel, HAL 02085835, April 2019, modified in September 2020. Constructive Approximation, 54(3):391-429, 2021.
D. Wagner, D. Henrion, M. Hromcik. Measures and LMIs for Adaptive Control Validation. HAL 02612057. IEEE Conference on Decision and Control, Nice, France, December 2019.
A. Oustry, M. Tacchi, D. Henrion. Inner approximations of the maximal positively invariant set for polynomial dynamical systems. HAL 02064440, March 2019.
IEEE Control Systems Letters, Vol. 3, No. 3, pp. 733-738, 2019. Also presented at the IEEE Conference on Decision and Control, Nice, France, December 2019.
M. Tacchi, T. Weisser, J. B. Lasserre, D. Henrion. Exploiting Sparsity for Semi-Algebraic Set Volume Computation. HAL 02010175, February 2019. Updated in July 2020. Foundations of Computational Mathematics, Vol. 22, pp. 161-209, 2022.
2018
P. Rousse, P.-L. Garoche, D. Henrion. Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. HAL 02049158, November 2018. European Control Conference, Naples, Italy, June 25-28, 2019. Extended version appeared in European Journal of Control, Vol. 58, pp. 152-167, 2021.
A. Oustry, C. Cardozo, P. Panciatici, D. Henrion. Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems. HAL 01923135, November 2018. IEEE Conference on Decision and Control, Nice, France, December 2019.
M. Korda, D. Henrion, I. Mezic. Convex computation of extremal invariant measures of nonlinear dynamical systems and Markov processes. LAAS-CNRS Research Report 18222, HAL 01841989, July 2018, updated in September 2020. Journal of Nonlinear Science, 31:14, 2021
S. Marx, T. Weisser, D. Henrion, J. B. Lasserre. A moment approach for entropy solutions to nonlinear hyperbolic PDEs. HAL 01830870, July 2018. Presented at the PGMO Days (Programme Gaspard Monge in Optimization), Saclay, France, 20-21 November 2018. Mathematical Control and Related Fields, Vol. 10, No. 1, pp. 113-140, 2020.
M. Korda, D. Henrion, J. B. Lasserre. Moments and convex optimization for analysis and control of nonlinear partial differential equations. LAAS-CNRS Research Report 18088, April 2018.
Presented at the SIAM Conference on Applications of Dynamical Systems, Snowbird, Utah, USA, May 2019. Chapter 10 in E. Trélat, E. Zuazua (Editors). Numerical Control - Part A. Vol. 23 of Handbook of Numerical Analysis, North Holland, 2022.
M. Tacchi, T. Weisser, D. Henrion, J. B. Lasserre. Calcul de volumes parcimonieux. Presented at the SMAI-MODE conference, Autrans, France, March 2018.
D. Henrion, S. Naldi, M. Safey El Din. Exact algorithms for semidefinite programs with degenerate feasible set. LAAS-CNRS Research Report 18038, February 2018, HAL 01705590 and HAL 03121215. Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), New York City, July 2018. Extended version published in Journal of Symbolic Computation, Vol. 104, pp. 942-959, 2021.
G. Davy, E. Feron, P.-L. Garoche, D. Henrion.
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.
Updated version of LAAS-CNRS Research Report 18009, January 2018.
Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-22. Awassa, Ethiopia, 16-21 November 2018.
2017
D. Henrion, M. Infusino, S. Kuhlmann, V. Vinnikov. Real Algebraic Geometry With a View Toward Moment Problems and Optimization. Oberwolfach Rep. 14: 771--862, 2017.
D. Henrion, M. Kruzik, T. Weisser. Optimal control problems with oscillations, concentrations and discontinuities. Presented at the ParaOpt Conference, Prague, Czechia, September 19-22, 2017 and at the International Symposium on Mathematical Theory of Networks and Systems (MTNS),
Hong Kong, China, July 2018. LAAS-CNRS Research Report 18218, May 2018. Automatica, 103:159-165, 2019.
D. Henrion, M. Safey El Din, E. Schost. Polynomial optimization tools for answering connectivity queries in real algebraic sets.
Presented at the PGMO Days (Programme Gaspard Monge for Optimization), November 13-14, 2017, Saclay, France.
V. Magron, M. Forets, D. Henrion. Semidefinite approximation of invariant measures for polynomial systems. Presented at the PGMO Days (Programme Gaspard Monge for Optimization), November 13-14, 2017, Saclay, France. LAAS-CNRS Research Report 18183, HAL 01828443, July 2018. Discrete and Continuous Dynamical Systems Series B, Vol. 24, No. 12, pp. 6745-6770, 2019.
D. Henrion. Review of "Genericity in Polynomial Optimization" by Huy-Vui Ha and Tien-Son Pham, World Scientific Publishing Europe, London, UK, 2017. Zentralblatt Math Zbl 1370.14049, 2017.
D. Henrion. Review of
"Optimization of Polynomials in Non-Commutating Variables" by Sabine Burgdorf, Igor Klep and Janez Povh. Springer Brief in Matematics, Springer, 2016.
AMS Math Reviews MR3496028, 2017.
Y. de Castro, F. Gamboa, D. Henrion, R. Hess, J. B. Lasserre.
D-optimal design for multivariate polynomial regression via the Christoffel function and semidefinite relaxations. LAAS-CNRS Research Report 17044, March 2017. An extended version entitled Approximate optimal designs for multivariate polynomial regression appeared in the Annals of Statistics, Vol. 47, No. 1, pp. 127-155, 2019.
2016
D. Henrion, I. Mezic, M. Putinar. Mini-Workshop: Applied Koopmanism. Oberwolfach Rep. 13(1):297-340, 2016.
M. Korda, D. Henrion.
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets. LAAS-CNRS Research Report 16491, December 2016. Presented at the SIAM Conference on Optimization, Vancouver, May 22-25, 2017. Appeared in Optimization Letters, Vol. 12, Issue 3, pp. 453-442, May 2018.
D. Henrion, S. Naldi, M. Safey El Din.
SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic. LAAS-CNRS Research Report 16375, November 2016. An extended version is published in Optimization Methods and Software, Vol. 34, Issue 1, pp. 62-78, 2019.
M. Korda, D. Henrion, C. N. Jones. Convergence rates of moment-sum-of-squares hierarchies for optimal control problems, LAAS-CNRS research report 16267, September 2016. Presented at the PGMO Days (Programme Gaspard Monge for Optimization), November 13-14, 2017, Saclay, France. Systems and Control Letters, Vol. 100, pp. 1-5, February 2017.
E. Pauwels, D. Henrion, J. B. Lasserre. Positivity certificates in optimal control.
LAAS-CNRS Research Report 16159, May 2016.
Pages 113-132 of the book J.P. Laumond, N. Mansard, J.B. Lasserre (Eds).
Geometric and Numerical Foundations of Movements.
Springer Tracts in Advanced Robotics, Vol. 117, 2017.
D. Henrion. Review of
"Robust optimization of active trusses via mixed-integer semidefinite programming"
by Kai Habermehl. Verlag Dr. Hut, Munich, Germany, 2014.
Zentralblatt Math Zbl 1333.74004, 2015.
2015
V. Magron, P.-L. Garoche, D. Henrion, X. Thirioux.
Semidefinite Approximations of Reachability Sets for Discrete-time Polynomial Systems.
Presented at the SMAI-MODE conference, Toulouse, March 23-25, 2016.
An extended version entitled
Semidefinite Approximations of Reachable Sets of Discrete-time Polynomial Systems, LAAS-CNRS Research Report 17059, March 2017, is published in SIAM Journal on Control and Optimization, Vol. 57, No. 4, pages 2799-2820, 2019.
F. Dabbene, D. Henrion, C. Lagoa.
Simple approximations of semialgebraic sets and their applications to control.
LAAS-CNRS Research Report 15322, September 2015, updated in March 2016. Automatica, 78:110-118, 2017.
D. Henrion, S. Naldi, M. Safey El Din.
Exact algorithms for linear matrix inequalities.
LAAS-CNRS Research Report 15275, August 2015.
Presented at the SMAI-MODE conference, Toulouse, March 23-25, 2016 and at the PGMO Days, Paris Saclay, Nov. 8-9, 2016. Published in SIAM Journal on Optimization, Vol. 26, No. 4, pp. 2512-2539, 2016.
R. Hess, D. Henrion, J. B. Lasserre, T. S. Pham.
Semidefinite approximations of the polynomial abscissa.
LAAS-CNRS Research Report 15272, July 2015, updated in March 2016. Presented at
the SMAI-MODE conference, March 23-25, 2016. Published in SIAM Journal on Control and
Optimization, 54(3):1633-1656, 2016.
D. Henrion. Review
of the book "Stability, control, and computation of time-delay systems. An eigenvalue based approach" by Wim Michiels and Silviu-Iulian Niculescu, Advances in Design and Control 27, SIAM, Philadelphia, PA, Second Edition, 2014.
Submitted to Zentralblatt Math, July 2015.
D. Henrion, S. Naldi, M. Safey El Din.
Real root finding for low rank linear matrices.
LAAS-CNRS Research Report 15731, June 2015.
Applicable Algebra in Engineering, Communication and Computing, Vol. 31, pp. 101-133, 2020.
D. Henrion, M. Korda, A. Mauroy, I. Mezic.
Operator theoretical methods for dynamical systems control and optimization, European Control Conference workshop, Linz, Austria, 14 July 2015.
M. Korda, D. Henrion, C. N. Jones.
Controller design and value function approximation for nonlinear dynamical systems.
LAAS-CNRS Research Report 15100, March 2015. Automatica, 67(5):54-66, 2016. See also M. Korda's talk Optimal Control Design and Value Function Estimation for Nonlinear Dynamical Systems at the SIAM Conference on Applications of Dynamical Systems,
Snowbird, Utah, May 2015.
Y. de Castro, F. Gamboa, D. Henrion, J.-B. Lasserre.
Exact solutions to Super Resolution on semi-algebraic domains in higher dimensions.
LAAS-CNRS Research Report 15023, February 2015.
IEEE Transactions on Information Theory, Volume 63, Issue 1, Pages 621-630, January 2017
D. Henrion, S. Naldi, M. Safey El Din.
Real root finding for rank defects in linear Hankel matrices.
LAAS-CNRS Research Report 15025, January 2015.
Proceedings the International Symposium on Symbolic and Algebraic
Computation (ISSAC), Bath, UK, 6-9 July 2015.
2014
D. Henrion, S. Kuhlmann, V. Vinnikov. Real Algebraic Geometry With A View Toward Systems Control and Free Positivity. Oberwolfach Rep. 11: 977--1045, 2014.
E. Pauwels, D. Henrion, J. B. Lasserre.
Linear conic optimization for inverse optimal control.
LAAS-CNRS Research Report 14652., November 2014.
SIAM Journal on Control and Optimization, 54(3):1798-1825, 2016.
D. Henrion, S. Naldi, M. Safey El Din.
Real root finding for determinants of linear matrices.
LAAS-CNRS Research Report 14514, October 2014, updated in December 2014 and May 2015.
Journal of Symbolic Computation, 74:205-238, 2016.
See also this abstract
of a talk given by S. Naldi at the Journées Nationales
de Calcul Formel, CIRM, Luminy, November 2014.
V. Magron, D. Henrion, J. B. Lasserre.
Semidefinite approximations of projections and polynomial images of semialgebraic sets.
October 2014, updated in July 2015. LAAS-CNRS Research Report 15256. SIAM Journal on Optimization,
25(4):2143-2164, 2015. See also this abstract
of a talk given by V. Magron at the Journées Nationales
de Calcul Formel, CIRM, Luminy, November 2014.
D. Henrion. Review of the
book "Functional analysis and applied optimization in Banach spaces -
Applications to non-convex variational problems" by Fabio Botelho,
Springer, Cham, Switzerland, 2014.
Zentralblatt Math Zbl 1302.46001, 2014.
J. Heller, D. Henrion, T. Pajdla.
Stable radial distortion calibration by polynomial matrix inequalities programming.
LAAS-CNRS Research Report 14431, September 2014. Presented at the Asian Conference
on Computer Vision, Singapore, November 2014. Computer Vision - ACCV 2014, PT I. Book Series: Lecture Notes in Computer Science,
Springer. Vol. 9003, pp. 307-321, 2015.
O. Bachelier, D. Henrion, N. Yeganefar, D. Mehdi.
On the solutions to complex parameter-dependent LMIs involved in the stability analysis of 2D discrete models.
LAAS-CNRS Research Report 14419, September 2014, updated in June 2015.
D. Henrion. Optimization on linear matrix inequalities for polynomial systems control.
Lecture notes used for a tutorial course given during the International Summer School of Automatic Control
held at Grenoble, France, in September 2014.
D. Henrion, E. Pauwels.
Linear conic optimization for nonlinear optimal control,
LAAS-CNRS Research Report 14357, July 2014.
Chapter 10 on pages 121-134 in S. Ahmed, M. Anjos, T. Terlaky (Editors).
Advances and Trends in Optimization with Engineering Applications. MOS-SIAM series,
SIAM, Philadelphia, 2017.
L. Rodrigues, D. Henrion, B. Cantwell.
Symmetries and analytical solutions of the Hamilton-Jacobi-Bellman equation
for a class of optimal control problems. LAAS-CNRS Research Report 15263, August 2015. Optimal Control, Applications and Methods, Vol. 37, No. 4, pp. 749-764, 2016.
F. Dabbene, D. Henrion, C. Lagoa, P. Shcherbakov.
Randomized Approximations of the Image Set of Nonlinear Discrete-Time
Systems with Applications to Filtering.
LAAS-CNRS Research Report 15264, June 2014.
Proceedings of the IFAC Symposium on Robust Control Design,
Bratislava, July 2015.
D. Henrion. Review of the
book "Primer on optimal control theory" by Jason L. Speyer and David H. Jacobson,
SIAM, Philadelphia, 2010. Zentralblatt Math Zbl 1242.49002, 2014.
C. Josz, D. Henrion. Strong
duality in Lasserre's hierarchy for polynomial optimization,
May 2014, updated in December 2014. LAAS-CNRS Research Report 14219.
Optimization Letters, No. 1, Vol. 10, pp. 3-10, 2016.
D. Henrion. Review of the
book "Time-delay systems. Lyapunov functionals and matrices" by Vladimir Kharitonov,
Control Engineering, Birkhaeuser, Boston, MA, 2013.
Zentralblatt Math Zbl 1285.93071, 2014.
V. Magron, D. Henrion, J.-B. Lasserre.
Approximating Pareto curves using semidefinite relaxations,
April 2014, modified in June 2014. LAAS-CNRS Research Report 14137.
Operations Research Letters, Vol. 42, No. 6-7, pp. 432-437, 2014.
M. Claeys, J. Daafouz, D. Henrion.
Modal occupation measures and LMI relaxations
for nonlinear switched systems control,
April 2014, modified in December 2014. LAAS-CNRS Research Report 14138.
Automatica, Vol. 64, pp. 143-154, Feb. 2016.
D. Henrion.
Optimization based robust control.
LAAS-CNRS Research Report 14094, March 2014.
Chapter contribution to the Encyclopedia of Systems and Control
edited by John Baillieul and Tariq Samad and published by Springer, 2015.
E. Pauwels, D. Henrion, J.-B. Lasserre.
Inverse optimal control with polynomial optimization,
March 2014. LAAS-CNRS Research Report 14075.
Proceedings of the IEEE Conference on Decision and Control,
Los Angeles, California, December 2014.
T. Wang, R. Jobredeaux, M. Pantel, P.-L. Garoche, E. Feron, D. Henrion.
Credible autocoding of convex optimization algorithms,
March 2014. LAAS-CNRS Research Report 14078.
Optimization and Engineering, Vol. 17, No. 4, pp. 781-812, December 2016.
F. Dabbene, D. Henrion, C. Lagoa.
Uniform sample generation in semialgebraic sets,
March 2014. LAAS-CNRS Research Report 14073.
Proceedings of the IEEE Conference on Decision and Control,
Los Angeles, California, December 2014.
J. Heller, D. Henrion, T. Pajdla.
Hand-Eye and Robot-World Calibration by Global Polynomial Optimization,
February 2014. LAAS-CNRS Research Report 14039. Proceedings of the
IEEE International Conference on Robotics and Automation, Hong-Kong, China,
May 31 - June 7, 2014.
2013
S. Streif, D. Henrion, R. Findeisen.
Probabilistic and set-based model invalidation and estimation using LMIs,
November 2013. LAAS-CNRS Research Report 13515. Proceedings of the IFAC World Congress on Automatic Control,
Cape Town, South Africa, August 2014.
M. Claeys, D. Henrion, M. Kruzik.
Semidefinite relaxations for optimal control problems
with oscillation and concentration effects, LAAS-CNRS Research Report 14653, October 2014.
ESAIM: Control, Optimisation and Calculus of Variations, 23:95-117, 2017.
See also this abstract
dated October 2013,
presented at the International Symposium on Mathematical
Theory of Networks and Systems (MTNS), Groningen, The Netherlands, July 2004.
D. Henrion. Review of the book
"Functional analysis, calculus of variations and optimal control" by Francis Clarke,
Graduate Texts in Mathematics 264, Springer, London, 2013.
Zentralblatt Math Zbl 1277.49001, 2013.
M. Korda, D. Henrion, C. N. Jones.
Controller design and region of attraction estimation for nonlinear dynamical systems.
, October 2013, updated in March 2014, LAAS-CNRS Research Report 13387.
Proceedings at the IFAC World Congress on Automatic Control,
Cape Town, South Africa, August 2014.
D. Henrion. Semidefinite optimization
for measure-valued differential equations, page 229 of the book of abstracts
of the conference Equadiff 13, August 26-30, 2013, Prague, Czech Republic.
Published by the Institute of Mathematics of the Academy of Sciences of
the Czech Republic, 2013.
D. Henrion. Optimization on linear matrix inequalities
for polynomial systems control. Lecture notes written for a tutorial course
given during the conference "Journées Nationales de Calcul Formel"
held at Centre International de Rencontres Mathématiques, Luminy,
Marseille, France, May 2013. LAAS-CNRS Research Report 13353.
Published in Les cours du C.I.R.M., Vol. 3, No. 1,
Cours No. I, pp. 1-44, 2013.
D. Henrion. Review of the
book "From vector spaces to function spaces - Introduction to functional
analysis with applications" by Yutaka Yamamoto, SIAM, Philadelphia, PA, 2012.
Zentralblatt Math Zbl 1269.46001, 2013.
D. Henrion.
Convexity. June 2013. LAAS Research Report 15261. Section II.8 p. 89 in The Princeton Companion to Applied Mathematics
edited by Nicholas J. Higham, Mark Dennis, Paul Glendinning, Paul A. Martin,
Fadil Santosa and Jared Tanner, Princeton University Press, 2015.
D. Henrion.
Support maximization with linear programming in the
cone of nonnegative measures,
summary of a talk given at the workshop
"Structured Function Systems and Applications",
Mathematisches Forschungsinstitut Oberwolfach,
Germany, from 24 February to 2 March 2013.
M. Korda, D. Henrion, C. N. Jones.
Convex computation of the maximum controlled invariant set for
polynomial control systems.
LAAS-CNRS Research Report 13145, March 2013.
SIAM Journal on Control and Optimization, Vol. 52, No. 5, pp. 2944-2969, 2014.
A shorter version focusing only on the discrete-time case
and without the technical proofs appears in the Proceedings
of the IEEE Conference on Decision and Control, Florence, Italy, December 2013.
S. Streif, P. Rumschinski, D. Henrion, R. Findeisen.
Estimation of consistent parameter sets for continuous-time
nonlinear systems using occupation measures and LMI relaxations.
LAAS-CNRS Research Report 13112, March 2013.
Proceedings of the IEEE Conference on Decision and Control, Florence, Italy, December 2013.
D. Henrion, J. Daafouz, M. Claeys.
Optimal switching control design for polynomial systems: an LMI approach,
LAAS-CNRS Research Report 13072, March 2013.
Proceedings of the IEEE Conference on Decision and Control, Florence, Italy, December 2013.
M. Claeys, D. Arzelier, D. Henrion, J. B. Lasserre.
Moment LMI approach to LTV impulsive control,
LAAS-CNRS Research Report 13058, March 2013.
Proceedings of the IEEE Conference on Decision and Control, Florence, Italy, December 2013.
S. Galeani, D. Henrion, A. Jacquemard, L. Zaccarian.
Design of Marx generators as a structured eigenvalue assignment,
LAAS-CNRS Research Report 13188, January 2013. Revised in August 2013.
Automatica, No. 10, Vol. 50, pp. 2709-2717, 2014.
D. Henrion. Review of the
book "Approximation methods for polynomial optimization: models,
algorithms and applications" by Zhening Li, Simai He, Shuzhong Zhang, Springer Briefs in
Optimization, Springer, New York, 2012.
AMS Math Reviews MR 2953209, 2013.
2012
M. R. Abdalmoaty, D. Henrion, L. Rodrigues.
Measures and LMIs for optimal control
of piecewise-affine systems,
LAAS-CNRS Research Report 12633, November 2012. Proceedings of
the European Control Conference, Zurich, Switzerland, July 2013.
D. Henrion. Measures and linear matrix inequalities in polynomial
optimal control. Czech professorship inaugural lecture manuscript.
Committee: Miroslav Simandl, Vladimir Bobal, Miroslav Fikar,
Jiri Matas, Zdenek Strakos. Inaugural course and defense given
on 7 November 2012 at the Czech Technical University in Prague.
M. Korda, D. Henrion, C. N. Jones.
Inner approximations of the region of attraction
for polynomial dynamical systems,
LAAS-CNRS Research Report 12635, October 2012. Proceedings of the
IFAC Symposium on Nonlinear Control Systems, Toulouse, France, September 2013.
F. Dabbene, D. Henrion.
Minimum volume semialgebraic sets for robust estimation,
LAAS-CNRS Research Report 12636, October 2012. An updated version entitled
"Set approximation via minimum-volume polynomial sublevel sets" is included in
the Proceedings of the European Control Conference, Zurich, Switzerland, July 2013.
D. Henrion, J. B. Lasserre, M. Mevissen.
Mean squared error minimization for inverse moment problems,
LAAS-CNRS Research Report 12487, August 2012, modified in June 2013.
Applied Mathematics and Optimization, Vol. 70, No. 1, pp. 83-110, 2014.
D. Henrion, M. Korda.
Convex computation of the region of attraction
of polynomial control systems,
LAAS-CNRS Research Report 12488, August 2012, modified in July 2013.
IEEE Transactions on Automatic Control, Vol. 59, No. 2, pp. 297-312, 2014. A shorter version appears in
the proceedings of the European Control Conference, Zurich, Switzerland, July 2013.
The corresponding Matlab codes (including distributions of YALMIP and GloptiPoly 3,
and using either SeDuMi or MOSEK which should be installed) can be
downloaded here.
F. Bugarin, A. Bartoli, D. Henrion, J. B. Lasserre, J. J. Orteu, T. Sentenac.
Rank-constrained fundamental matrix estimation
by polynomial global optimization versus the eight-point algorithm,
LAAS-CNRS Research Report 12489, August 2012, revised in March 2014.
Journal of Mathematical Imaging and Vision, Vol. 53, No. 1, pp. 42-60, 2015.
D. Henrion. Review of the
book "Calculus of variations and optimal control theory. A concise introduction"
by Daniel Liberzon, Princeton University Press, Princeton, NJ, 2012.
Zentralblatt Math Zbl 1239.49001, 2012.
D. Henrion. Review of the
book "Real Solutions to Equations from Geometry" by Frank Sottile,
University Lecture Series, Vol. 57, American Mathematical Society,
Providence, Rhode Island, 2011. AMS Math Reviews MR2830310, 2012.
D. Henrion. Semidefinite characterisation of invariant measures for
one-dimensional discrete dynamical systems, LAAS-CNRS
Research Report 12052, February 2012. Kybernetika, Vol. 48, No. 6, pp. 1089-1099, 2012
2011
D. Henrion, M. Ganet-Schoeller, S. Bennani.
Measures and LMI for space launcher robust control validation,
LAAS-CNRS Research Report 12237, December 2011, updated in August 2015 (fixing a mistake
in the Matlab script for the ACS 1DOF example).
Proceedings of the IFAC Symposium on Robust Control Design,
Aalborg, Denmark, June 2012.
D. Henrion. Review of the
book "Domain of attraction. Analysis and control via SOS programming"
by Graziano Chesi, Lecture Notes in Control and Information Sciences 415,
Springer, London, 2011. Zentralblatt Math Zbl 1242.93099, 2011.
M. Claeys, D. Arzelier, D. Henrion, J.-B. Lasserre.
Measures and LMI for impulsive optimal control
with applications to space rendezvous problems,
LAAS-CNRS Research Report 11554, October 2011, updated in September 2012.
Proceedings of the American Control Conference, Montreal, Canada, 2012.
A slightly modified version entitled "Measures and LMIs for Impulsive
Nonlinear Optimal Control" appeared in IEEE Transactions on Automatic Control,
Vol. 59, No. 5, pp. 1374-1379, May 2014.
D. Henrion. Positive polynomial matrices for LPV controller
synthesis. LAAS-CNRS Research Report 13173. Contributed chapter in O. Sename, P. Gaspar, J. Bokor (Editors).
Robust control and linear parameter varying approach. Lecture Notes in Control
and Information Sciences, Vol. 437, Springer-Verlag, Berlin, 2013.
D. Henrion. Review of the
book "Optimal Control" by Richard Vinter, Birkhaeuser, 2010.
Zentralblatt Math Zbl 1215.49002, May 2011.
D. Henrion, J. B. Lasserre.
Inner approximations for polynomial matrix inequalities
and robust stability regions,
LAAS-CNRS Research Report 11210, April 2011, updated in October 2011 and September 2014.
IEEE Transactions on Automatic Control, Vol. 57, No. 6, pp. 1456-1467, 2012.
Please also see this corrigendum.
F. Bugarin, D. Henrion, J. B. Lasserre.
Minimizing the sum of many rational functions,
LAAS-CNRS Research Report 11100, February 2011, updated in September 2013
and December 2014. Mathematical Programming Computation, Vol. 8, No. 1, pp. 83-111, 2016.
D. Henrion. Les ovales des spectraèdres (in French),
LAAS-CNRS Research Report 11078, February 2011.
Images des Mathématiques, CNRS, February 2011.
2010
D. Henrion. Les coupes des spectraèdres (in French),
LAAS-CNRS Research Report 10810, December 2010.
Images des Mathématiques, CNRS, December 2010.
D. Henrion, T. Vyhlidal.
Positive trigonometric polynomials for strong stability of
difference equations.
LAAS-CNRS Research Report 10677,
October 2010, updated in January 2012.
Proceedings of the IFAC World Congress on Automatic
control, Milan, Italy, August 2011. Extended version appeared in
Automatica, Vol. 48, No. 9, pp. 2207-2212, September 2012.
D. Arzelier, G. Deaconu, S. Gumussoy, D. Henrion.
H2 for HIFOO. LAAS-CNRS Research Report 10613,
October 2010. Proceedings of the International Conference on Control and
Optimization With Industrial Applications, Bilkent University, Ankara,
Turkey, August 2011.
W. Aangenent, M. Heemels, R. van de Molengraft,
D. Henrion, M. Steinbuch. Linear control of time domain
constrained systems. LAAS-CNRS
Research Report 11560, July 2010. Automatica, Vol. 48, No. 5, pp. 736-746, May 2012.
D. Henrion, J. Malick.
Projection methods in convex optimization.
LAAS-CNRS Research Report 10730, June 2010.
Appeared as a contributed chapter on pages 565-600 of
M. Anjos and J. B. Lasserre (Editors).
"Handbook of Semidefinite, Cone and Polynomial Optimization"
International Series in Operations Research & Management Science
Volume 166, Springer Verlag, Berlin, 2012
T. Bayen, D. Henrion.
Semidefinite programming for optimizing convex bodies under width constraints.
LAAS-CNRS Research Report 10481, June 2010, revised in October 2010.
Optimization Methods and Software, Vol. 27, No. 6, pp. 1073-1099, December 2012.
M. Ait Rami, D. Henrion.
A hierarchy of LMI inner approximations of the set of stable polynomials.
LAAS-CNRS Research Report 10934, June 2010, revised in October 2010.
Automatica, Vol. 47, No. 7, pp. 1455-1460, July 2011.
D. Henrion, F. Messine.
Finding largest small polygons with GloptiPoly.
Extended abstract included in
the proceedings of the Toulouse Global Optimization
workshop, ENSEEIHT and Ecole Polytechnique, 31 August - 3 September 2010.
LAAS-CNRS Research Report 11555, March 2011, updated in October 2011.
Appeared in Journal of Global Optimization, Volume 56, No. 3, pp 1017-1028, 2013.
M. Mevissen, J. B. Lasserre, D. Henrion.
Moment and SDP relaxation techniques for smooth approximations
of nonlinear differential equations,
LAAS-CNRS Research Report 10185, March 2010.
An updated version entitled
Moment and SDP relaxation techniques
for smooth approximations of problems involving nonlinear differential
equations, August 2010, Proceedings of
the IFAC World Congress on Automatic Control, Milan, Italy, 28 August -
2 September, 2011.
L. Rodrigues, D. Henrion.
A two step viscous damping method to solve a class of
second order optimal control problems,
LAAS-CNRS Research Report 10096, February 2010.
The results described in this report have been included into
the paper L. Rodrigues, D. Henrion, M. A. Fallah.
An inverse optimality method to solve a class of optimal control problems,
October 2011.
D. Henrion. Review of the
book "Homogeneous polynomial forms for robustness analysis of
uncertain systems" by Graziano Chesi, Andrea Garulli, Alberto Tesi,
Antonio Vicino, Springer, 2009. AMS Math Reviews MR2527695 (2010g:93002), January 2010.
A. Delibasi, D. Henrion.
Hermite matrix in Lagrange basis for scaling static output feedback polynomial
matrix inequalities,
LAAS-CNRS Research Report 10030, January 2010,
revised in June 2010. Presented at the IMA Conference on Numerical Linear Algebra
and Optimisation, Birmingham, UK, 13-15 September 2010.
Journal version appeared in International Journal of Control,
Vol. 83, No. 12, pp. 2494-2505, December 2010.
2009
D. Henrion, C. Louembet.
Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design.
Proceedings of the International Symposium on Mathematical Theory
of Networks and Systems, Budapest, Hungary, 5-9 July 2010, see this
extended abstract.
LAAS-CNRS Research Report 11213, April 2011, modified in January 2012.
Extended version appear in
International Journal of Control, Vol. 85, No. 8, pp. 1083-1092, August 2012.
Erratum: The main result Theorem 1 is incorrect as revealed by Examples 3.5 and 3.6 of the paper A. Weber, G. Reissig. Classical and strong convexity of sublevel sets and application to attainable sets of nonlinear systems.
SIAM J. Control Optim. 52(5):2857-2876, 2014.
F. Bugarin, D. Henrion, T. Sentenac, J. B. Lasserre, J. J. Orteu.
Optimisation globale polynomiale appliquée à la rectification
projective d'images non calibrées (in French),
LAAS-CNRS Research Report No. 09774, September 2009.
Proceedings of the French Conference on Pattern Recognition and Artificial
Intelligence (RFIA), Caen, France, 19-22 January 2010.
G. Chesi, D. Henrion.
Guest editorial: special
issue on positive polynomials in control,
IEEE Transactions on Automatic Control, Vol. 54, No. 5, pp. 935-936, May 2009.
D. Henrion. Le logo du CNRS - Courbes de Bézier et dessin vectoriel
(in French), LAAS-CNRS Research Report 09660, September 2009.
Images des Mathématiques, CNRS, May 2009.
D. Henrion. Review of the
book "Modelling and Control of Dynamical Systems: Numerical
Implementation in a Behavorial Framework" by R. Zavala Yoe,
Springer, 2008. AMS Math Reviews MR2451050 (2009f:93004),
February 2009.
M. Anderle, S. Celikovsky, D. Henrion, J. Zikmund.
LMI based design for the Acrobot walking,
LAAS-CNRS Research Report 09579, February 2009.
Proceedings of the IFAC Symposium on Robot Control (SYROCO),
Gifu, Japan, 9-12 September 2009. An extended version entitled
"Advanced LMI based analysis and design for Acrobot walking"
appeared in International Journal of Control, vol. 83, no. 8,
pp. 1641-1652, August 2010.
D. Henrion, J. Malick.
Projection methods for conic feasibility problems,
applications to polynomial sum-of-squares decompositions,
LAAS-CNRS Research Report No. 09326, January 2009,
revised in May 2009. Appeared in Optimization Methods and Software,
Vol. 26, No. 1, pp. 23-46, February 2011.
D. Henrion.
Semidefinite representation
of convex hulls of rational varieties,
LAAS-CNRS Research Report No. 09001,
January 2009, revised in March 2010, January 2011 and June 2011.
Acta Applicandae Mathematicae, Vol. 115, No. 3, pp. 319-327, 2011. See also
this extended abstract
presented during the International Symposium on Mathematical Theory
of Networks and Systems, Budapest, Hungary, 5-9 July 2010.
S. Gumussoy, D. Henrion, M. Millstone, M. Overton.
Multiobjective Robust Control with HIFOO 2.0,
LAAS-CNRS Research Report No. 09316,
January 2009. Proceedings of the IFAC Symposium on
Robust Control Design, Haifa, Israel, June 16-18, 2009.
2008
D. Henrion.
Semidefinite geometry of the numerical range,
LAAS-CNRS Research Report No. 08660,
December 2008. Appeared in the Electronic Journal
of Linear Algebra, Vol. 20, pp. 322-332, 2010.
Please see also this erratum.
D. Henrion.
Le logo du CNRS est-il convexe ?
(in French), LAAS-CNRS Research Report No. 09108,
October 2008. Matapli, Vol. 88, pp. 63-71, February 2009.
D. Henrion, J. B. Lasserre, C. Savorgnan.
POCP: a package for
polynomial optimal control problems, LAAS-CNRS
Research Report No. 08647, September 2008.
Proceedings of the European Control Conference,
Budapest, Hungary, August 2009.
J. McKernan, M. Gani, F. Yang, D. Henrion.
Optimal Low-Frequency Filter Design for Uncertain
2-1 Sigma-Delta Modulators.
LAAS-CNRS Research Report No. 08612,
September 2008. IEEE Signal Processing Letters,
vol. 16, no. 5, pp. 362-365, May 2009.
W. Gilbert, D. Henrion, J. Bernussou.
Integration of the MIMO polynomial LPV synthesis to ATOL
(not publicly available).
LAAS-CNRS/SNECMA Contract report 08404, September 2008.
D. Henrion.
On semidefinite representations of plane quartics,
LAAS-CNRS Research Report No. 08444,
September 2008.
D. Henrion, J. B. Lasserre, C. Savorgnan.
Approximate volume and integration
for basic semialgebraic sets, LAAS-CNRS
Research Report No. 08391, July 2008, revised in August 2009.
SIAM Review, Vol. 51, No. 4, pp. 722-743, 2009.
D. Henrion. Review of the
book "Stability and stabilization of time-delay systems" by W. Michiels
and S. I. Niculescu, SIAM, 2007. Zentralblatt Math
Zbl 1140.93026, July 2008.
D. Henrion. Review of the
book "A linear systems primer" by P. J. Antsaklis and A. N. Michel,
Birkhauser, 2007. AMS Math Reviews
MR2375027, June 2008.
D. Henrion. Polynomials and convex optimization for robust control.
Czech habilitation manuscript.
Committee: Frantisek Solc, Josef Janecek, Vladimir
Kucera, Miroslav Simandl, Jan Stecha, Jiri Outrata, Roman Prokop.
Habilitation course and defense given
on 4 June 2008 at the Czech Technical University in Prague.
D. Henrion, J. B. Lasserre, C. Savorgnan.
Nonlinear optimal control synthesis via occupation measures,
LAAS-CNRS Research Report No. 08155, March 2008.
Proceedings of the IEEE Conference on Decision and Control,
Cancun, Mexico, December 2008.
J. McKernan, M. Gani, D. Henrion, F. Yang. Robust filter design for uncertain
2-1 sigma-delta modulators via the central polynomial method. LAAS-CNRS Research Report No. 08176,
February 2008, revised in April 2008. IEEE Signal Processing Letters,
Vol. 15, pp. 737-740, 2008.
D. Henrion. Detecting rigid convexity of bivariate
polynomials, LAAS-CNRS Research Report No. 08038,
January 2008, updated in October 2009. Presented at the International Symposium on
Mathematical Theory of Networks and Systems (MTNS), Blacksburg,
Virginia, July 2008. Appeared in Linear Algebra and its Applications, Vol. 432,
pp. 1218-1233, 2010.
D. Henrion, M. Sebek.
Plane geometry and convexity of polynomial stability regions,
LAAS-CNRS Research Report No. 08004, January 2008.
Proceedings of the International Symposium on Symbolic
and Algebraic Computations (ISSAC), Hagenberg, Austria,
July 2008.
D. Henrion. Review of the
book "Positive Trigonometric Polynomials
and Signal Processing Applications" by B. Dumitrescu, Springer, 2007.
Zentralblatt Math Zbl 1126.93005, January 2008.
2007
D. Henrion. Polynômes et optimisation convexe
en commande robuste (in French). Habilitation à diriger
les recherches, University of Toulouse. Committee: Hisham
Abou-Kandil, Laurent El Ghaoui, Paul Van Dooren,
Jean-Baptiste Hiriart-Urruty, Jean-Bernard Lasserre,
Emmanuel Trélat, Sophie Tarbouriech.
Defended on 17 December 2007 at LAAS-CNRS.
W. Gilbert, D. Henrion, J. Bernussou.
Multivariable LPV polynomial synthesis
(not publicly available),
LAAS-CNRS/SNECMA Contract report 07740, December 2007.
D. Henrion. Review of the
book "Systèmes linéaires" by H. Bourlès,
Hermès-Lavoisier, Paris, 2006. Zentralblatt Math Zbl
1119.93001, September 2007.
D. Henrion
"On convexity of the frequency response of a stable polynomial",
LAAS-CNRS research report 07482, September 2007, revised in December 2007
and February 2008.
IEEE Transactions on Automatic Control, Vol. 53, No. 4, pp. 1062-1066,
May 2008.
W. Michiels, T. Vyhlidal, P. Zitek,
H. Nijmeijer, D. Henrion
"Strong stability of neutral equations with an arbitrary delay
dependency structure", LAAS-CNRS research
report 07477, August 2007, revised in June 2008. Some of the results
were presented during the International Symposium on
Mathematical Theory of Networks and Systems (MTNS), Blacksburg,
Virginia, July 2008.
SIAM Journal on Control and Optimization, Vol. 48,
No. 2, pp. 763-786, 2009.
D. Henrion. Review of the
book "Optimal control and forecasting of complex dynamical systems"
by I. Grigorenko, World Scientific, Hackensack, NJ, 2006.
Zentralblatt Math Zbl 1114.49001, July 2007.
D. Henrion, J. B. Lasserre, J. Lofberg
"GloptiPoly 3: moments, optimization and semidefinite programming",
LAAS-CNRS research report 07536, June 2007. Optimization
Methods and Software, Vol. 24, Nos. 4-5, pp. 761-779, 2009.
D. Henrion, J. Malick "SDLS: a Matlab package
for solving conic least-squares problems", LAAS-CNRS research report
07537, June 2007. Modified in May 2008.
W. Gilbert, D. Henrion, J. Bernussou
"Synthese polynomiale - petit guide d'utilisation",
(not publicly available),
LAAS-CNRS/SNECMA Contract report 07408, May 2007.
D. Knittel, D. Henrion, M. Millstone, M. Vedrines
"Fixed-order and structure H-infinity control with model based
feedforward for elastic web winding systems",
LAAS-CNRS report 07596, May 2007.
Proceedings of the IFAC/IFORS/IMACS/IFIP
Symposium on Large Scale Systems (LSS), Gdansk, Poland,
23-25 July 2007.
J. B. Lasserre, D. Henrion, C. Prieur, E. Trélat
"Nonlinear optimal control via occupation measures and LMI relaxations",
LAAS-CNRS research report 07138, March 2007, modified in January 2008.
SIAM Journal on Control and Optimization, Vol. 47, No. 4, pp. 1643-1666,
2008. Please see this erratum.
2006
F. Yang, M. Gani, D. Henrion
"Fixed-order robust H-infinity controller design with
regional pole assignment", LAAS-CNRS report 07599,
December 2006. IEEE Transactions on Automatic Control, Vol. 52,
No. 10, pp. 1959--1963, 2007.
W. Gilbert, D. Henrion, J. Bernussou, D. Boyer
"Synthese polynomiale appliquée à
la commande d'un moteur d'avion",
LAAS-CNRS report 07393, December 2006. French version
of LAAS-CNRS Research Report No. 06691.
Proceedings of the Journées Doctorales - Journ&ecaute;es Nationales -
Modélisation, Analyse et Conduite des Systèmes
dynamiques (JD-JN-MACS),
9-11 July 2007, Reims, France.
W. Gilbert, D. Henrion, J. Bernussou, D. Boyer
"Polynomial LPV synthesis applied to turbofan engines",
LAAS-CNRS Research Report No. 06691, October 2006.
Proceedings of the IFAC Symposium on Automatic Control in Aerospace,
Toulouse, 25-26 June 2007. Extended
journal version appeared in IFAC Control Engineering Practice,
Vol. 18, No. 9, pp. 1077-1083, 2010.
W. Gilbert, D. Henrion, J. Bernussou
"Polynomial LPV synthesis applied to turbofan engines"
(not publicly available),
LAAS-CNRS/SNECMA Contract report No. 06685, September 2006.
W. Gilbert, D. Henrion, J. Bernussou
"Survey on linear parameter varying systems"
(not publicly available),
LAAS-CNRS/SNECMA Contract report No. 06570, March 2006.
D. Henrion
"Some control design experiments
with HIFOO",
LAAS-CNRS Research Report No. 06570, September 2006.
J. C. Zuniga, D. Henrion
"Algorithmes numeriques en commande: etat
de l'art et perspectives",
LAAS-CNRS Research Report No. 06456, June 2006.
D. Knittel, M. Vedrines, D. Henrion, P. Pagilla
"Robust H-infinity fixed order control strategies for large
scale web winding systems",
LAAS-CNRS Research Report No. 06420, April 2006.
Proceedings of the joint IEEE CCA/CACSD/ISIC Conference,
Munich, Germany, October 2006.
D. Knittel, M. Vedrines, D. Henrion, P. Pagilla
"Fixed-order H-infinity decentralized control with
model based feedforward for elastic web winding systems",
LAAS-CNRS Research Report No. 06421, April 2006.
Proceedings of the IEEE Industry Applications Society
Conference, Tampa, Florida, October 2006.
D. Henrion, M. L. Overton
"Maximizing the closed loop asymptotic
decay rate for the two-mass-spring control problem",
LAAS-CNRS Research Report No. 06342, March 2006. Accepted
for presentation at the International Congress of Mathematicians,
Madrid, 2006, later on withdrawn as no author
could attend the conference.
D. Henrion
"Solving static output feedback
problems by direct search optimization",
LAAS-CNRS Research Report No. 06099, February 2006, revised in April 2006.
Proceedings of the joint IEEE CCA/CACSD/ISIC Conference,
Munich, Germany, October 2006.
D. Peaucelle, D. Arzelier, D. Henrion, F. Gouaisbaut
"Quadratic separation for feedback connection of an uncertain matrix
and an implicit linear transformation", LAAS-CNRS Research Report
No. 06095, February 2006. Updated version of LAAS-CNRS Research Report
No. 04435. Appeared in Automatica, Vol. 43, No. 5, pp. 795-804, 2007.
2005
D. Henrion
"A review of the Global Optimization
Toolbox for Maple",
LAAS-CNRS Research Report No. 05576, October 2005, revised in April 2006.
Appeared in the IEEE Control Systems Magazine, Vol. 26, No. 5,
pp. 106-110, 2006.
D. Henrion
"H-infinity controller design on
the COMPLIB problems with the Robust Control Toolbox for Matlab",
LAAS-CNRS Research Report No. 05581, October 2005.
Proceedings of the IFAC Workshop on Control Applications of
Optimization, Cachan, France, May 2006. Also appeared in
the International Journal of Tomography and Statistics,
Vol. 6, No. S07 (Special Issue on Control Applications of
Optimisation), pp. 69-73, 2006.
J. V. Burke, D. Henrion, A. S. Lewis, M. L. Overton
"HIFOO - A Matlab package
for fixed-order controller design and H-infinity optimization",
LAAS-CNRS Research Report No. 05487, September 2005. Modified in March
2006. Proceedings of the IFAC Symposium on Robust
Control Design, Toulouse, July 2006.
P. Colaneri, D. Henrion
"Switching and periodic control of
the Belgian chocolate problem",
LAAS-CNRS Research Report No. 05486, September 2005. Modified in March
2006. Proceedings of the IFAC Symposium on Robust Control Design,
Toulouse, July 2006.
F. Kahl, D. Henrion "Globally optimal estimates for geometric
reconstruction problems",
LAAS-CNRS Research Report No. 05517, August 2005.
Proceedings of the IEEE International Conference on Computer Vision,
Beijing, China, October 15-21, 2005. This work was awarded the
David Marr Best Paper Prize. Journal version appeared in
the International Journal on Computer Vision, Vol. 74, No. 1,
pp. 3-15, 2007.
J. B. Lasserre, C. Prieur, D. Henrion "Nonlinear optimal control:
numerical approximation via moments and LMI relaxations",
LAAS-CNRS Research Report No. 05120, March 2005. Proceedings of
the joint IEEE Conference on Decision and Control and European Control
Conference, Sevilla, Spain, December 2005. Note that there is an
error in the formulas of Section III.A.1. See LAAS-CNRS
Research Report No. 07138 for correct expressions.
D. Henrion, J. Lofberg, M. Kocvara, M. Stingl "Solving polynomial static output feedback
problems with PENBMI", LAAS-CNRS Research
Report No. 05165, March 2005. Proceedings of
the joint IEEE Conference on Decision and Control and European Control
Conference, Sevilla, Spain, December 2005.
J. V. Burke, D. Henrion, A. S. Lewis, M. L. Overton
"Analysis of a Belgian chocolate
stabilization problem", LAAS-CNRS Research
Report No. 05164, February 2005. A revised version
"Stabilization via nonsmooth, nonconvex
optimization", dated November 2005, modified in April 2006,
appeared in the IEEE Transactions on Automatic Control, Vol. 51,
No. 11, pp. 1760-1769, November 2006.
D. Henrion, A. Garulli (Editors).
Positive polynomials in
control. Lecture Notes on Control and Information Sciences, Vol. 312,
Springer Verlag, Berlin, ISBN 3-540-23948-0, January 2005.
2004
J. C. Zuniga, D. Henrion
"Block Toeplitz algorithms for polynomial matrix null-space
computation",
LAAS-CNRS Research Report No. 04669, December 2004.
Revised in December 2007, version entitled
"An improved algorithm for polynomial matrix null-space computation",
appeared in Applied Mathematics and Computation, Vol. 207,
pp. 256-272, 2009.
D. Henrion
"Inegalités matricielles quadratiques
et stabilité des polynômes" (in French),
LAAS-CNRS Research Report No. 04629 (translation of LAAS-CNRS Research
Report 00524), November 2004, revised in April 2005 and February 2006.
Journal Européen des Systèmes
Automatisés, Vol. 40, No. 2, pp. 163-176, 2006.
Note that the original English manuscript (Report No. 00524) contains an unproved statement.
D. Henrion, J. B. Lasserre
"Convergent relaxations of polynomial matrix inequalities and static
output feedback",
LAAS-CNRS Research Report No. 04620, November 2004, revised in
October 2005. IEEE Transactions on Automatic Control,
Vol. 51, No. 2, pp. 192-202, 2006.
L. Reberga, D. Henrion, J. Bernussou.
"Rapport sur la synthèse de contrôleurs LPV"
(in French, not publically available),
LAAS-CNRS/SNECMA Contract report No. 04446, November 2004.
D. Henrion, J. C. Zuniga
"Detecting infinite zeros in polynomial matrices",
LAAS-CNRS Research Report No. 04556, October 2004.
Revised in February 2005 and April 2005.
IEEE Transactions on Circuits and Systems II, Vol. 52, No. 12,
pp. 744-745, 2005.
M. Kocvara, F. Leibfritz, M. Stingl, D. Henrion
"A nonlinear SDP algorithm for static output feedback problems in
COMPLIB",
LAAS-CNRS Research Report No. 04508, October 2004.
Proceedings of the IFAC World Congress on Automatic Control, Prague,
Czech Republic, July 4-8, 2005.
L. Reberga, D. Henrion, J. Bernussou, F. Vary
"LPV modeling of a turbofan engine",
LAAS-CNRS Research Report No. 04507, October 2004.
Proceedings of the IFAC World Congress on Automatic Control, Prague,
Czech Republic, July 4-8, 2005.
D. Peaucelle, D. Henrion, D. Arzelier
"Quadratic separation for feedback connection of an uncertain matrix
and an implicit linear transformation",
LAAS-CNRS Research Report No. 04435, October 2004.
Proceedings of the IFAC World Congress on Automatic Control, Prague,
Czech Republic, July 4-8, 2005.
J. C. Zuniga, D. Henrion
"Numerical stability of block Toeplitz algorithms in polynomial matrix
computations",
LAAS-CNRS Research Report No. 04506, October 2004.
Proceedings of the IFAC World Congress on Automatic Control, Prague,
Czech Republic, July 4-8, 2005.
L. Reberga, D. Henrion, J. Bernussou
"Rapport sur la création et l'analyse du modèle complet de
turboréacteurs"
(in French, not publically available),
LAAS-CNRS/SNECMA Contract report No. 04179, July 2004.
J. C. Zuniga, D. Henrion
"A Toeplitz algorithm for polynomial J-spectral factorization"
,
LAAS-CNRS Research Report No. 04181, March 2004.
Proceedings of the IFAC Symposium on System Structure and Control,
Oaxaca, Mexico, December 8-10, 2004.
Automatica, Vol. 42, No. 7, pp. 1085-1093, 2006.
D. Henrion. C. Prieur, S. Tliba
"Improving conditioning of polynomial pole placement problems
with application to low-order controller design for a flexible beam",
LAAS-CNRS Research Report No. 04163, February 2004.
D. Henrion, D. Arzelier, D. Peaucelle, J. B. Lasserre
"On parameter-dependent Lyapunov functions for robust stability of
linear systems",
LAAS-CNRS Research Report No. 04126, February 2004.
Proceedings of the IEEE Conference on Decision
and Control, Paradise Island, Bahamas, December 14-17, 2004.
D. Henrion, V. Kucera, A. Molina-Cristobal
"Optimizing simultaneously over the numerator and denominator
polynomials in the Youla-Kucera parametrization",
LAAS-CNRS Research Report No. 04127, February 2004, updated in April 2005.
Proceedings of the IEEE Conference on Decision
and Control, Paradise Island, Bahamas, December 14-17, 2004.
IEEE Transactions on Automatic Control,
Vol. 50, No. 9, pp. 1369-1374, 2005.
J. C. Zuniga, D. Henrion
"On the application of different numerical methods to obtain
null-spaces of polynomial matrices. Part 2: block displacement
structure algorithms",
LAAS-CNRS Research Report No. 04124, February 2004.
A version merging this report and report No. 04125 is included in
the proceedings of the IEEE Conference on Decision
and Control, Paradise Island, Bahamas, December 14-17, 2004.
J. C. Zuniga, D. Henrion
"On the application of different numerical methods to obtain
null-spaces of polynomial matrices. Part 1: block Toeplitz
algorithms",
LAAS-CNRS Research Report No. 04125, February 2004.
A version merging this report and report No. 04124 is included in
the proceedings of the IEEE Conference on Decision
and Control, Paradise Island, Bahamas, December 14-17, 2004.
J. C. Zuniga, D. Henrion
"Block Toeplitz methods in polynomial matrix computations",
LAAS-CNRS Research Report No. 04090, February 2004.
Proceedings of the Symposium on Mathematical Theory of Networks and
Systems (MTNS), Leuven, Belgium, July 5-9, 2004.
D. Henrion, M. Sebek
"Overcoming non-convexity in polynomial robust control design",
LAAS-CNRS Research Report No. 04091, February 2004.
Proceedings of the Symposium on Mathematical Theory of Networks and
Systems (MTNS), Leuven, Belgium, July 5-9, 2004.
D. Henrion, S. Tarbouriech, V. Kucera
"Control of linear systems subject to time-domain constraints with
polynomial pole placement and LMIs",
LAAS-CNRS Research Report No. 04093, February 2004, updated in
January 2005 and April 2005.
Proceedings of the Symposium on Mathematical Theory of Networks and
Systems (MTNS), Leuven, Belgium, July 5-9, 2004.
IEEE Transactions on Automatic Control,
Vol. 50, No. 9, pp. 1360-1364, 2005.
D. Henrion, A. Hansson, R. Wallin
"Reduced LMIs for fixed-order polynomial controller design",
LAAS-CNRS Research Report No. 04092, February 2004.
Proceedings of the Symposium on Mathematical Theory of Networks and
Systems (MTNS), Leuven, Belgium, July 5-9, 2004.
L. Reberga, D. Henrion, J. Bernussou
"Rapport sur les méthodes de modélisation multivariable de
turboréacteurs" (in French, not publically available),
LAAS-CNRS/SNECMA Contract report No. 04073, January 2004.
2003
D. Henrion, M. Kocvara, M. Stingl
"Solving simultaneous stabilization BMI problems with PENNON",
LAAS-CNRS Research Report No. 03549, December 2003.
Extended abstract
included in the proceedings of the IFIP TC 7 Conference on System
Modeling and Optimization, Sophia Antipolis, France, July 21-25, 2003.
D. Peaucelle, D. Henrion, D. Arzelier
"KYP-formulated LMIs for static output feedback",
LAAS-CNRS Research Report No. 03518, December 2003.
D. Henrion, L. Reberga, J. Bernussou, F. Vary
"Linearization and identification of aircraft turbofan engine models",
LAAS-CNRS Research Report No. 03432, October 2003.
Proceedings of the IFAC Symposium on Automatic Control in Aerospace,
June 14-18, 2004, St Petersburg, Russia.
D. Henrion, J. B. Lasserre
"Detecting global optimality and extracting solutions in
GloptiPoly", LAAS-CNRS Research Report No. 03541,
October 2003, updated in September 2005. Appeared as a contributed
chapter in the book D. Henrion, A. Garulli (Editors). Positive
polynomials in control. Lecture Notes on Control and Information
Sciences, Vol. 312, Springer Verlag, Berlin, January 2005. Please also
see the
erratum reporting a minor typo in the published version.
L. Reberga, D. Henrion, J. Bernussou
"Rapport bibliographique sur la commande robuste multivariable
de turbopropulseurs" (in French, not publically available),
LAAS-CNRS/SNECMA Contract report No. 03402, September 2003.
O. Bachelier, D. Henrion, B. Pradin, D. Mehdi
"Root-clustering of a matrix in intersections or unions of
regions",
LAAS-CNRS Research Report No. 03356, July 2003, revised in February
2004. SIAM Journal on Control and Optimization, Vol. 43, No. 3,
pp. 1078--1093, 2004. Updated conference version appeared in
Proceedings of the joint IEEE Conference on Decision and Control and European Control
Conference, Sevilla, Spain, December 2005.
D. Henrion, P. Ghildiyal
"Optimization with polynomials and fixed-order robust controllers:
a design example",
LAAS-CNRS Research Report No. 03357, July 2003. Appeared in the
Views-and-News letter of the SIAM Activity Group on Optimization,
Vol. 15, No. 2, pp. 15--17, October 2004.
L. Jaulin, D. Henrion
"Linear matrix inequalities for interval constraint propagation",
LAAS-CNRS Research Report No. 03291. Proceedings of
the IntCP 2003 Workshop on Interval Analysis and Constraint
Propagation for Applications, Kinsale, County Cork, Ireland, September
2003. A modified journal version entitled
"Contracting optimally an interval matrix without loosing any positive
semi-definite matrix is a tractable problem", LAAS-CNRS Research
Report No. 04142, February 2004. Reliable Computing,
Vol. 11, No. 1, pp. 1-17, 2005.
L. Reberga, D. Henrion, J. Bernussou
"Régulation moteur monovariable par correcteurs PI
et avance de phase: méthodologie par placement de
pôles" (in French, not publically available), LAAS-CNRS/SNECMA Contract
report No. 03321, June 2003.
D. Arzelier, J. Bernussou, D. Henrion, D. Peaucelle
"Optimisation et théorie de la commande robuste"
(in French), LAAS-CNRS Research Report No. 03160, March 2003.
Journal sur l'enseignement des sciences et technologies de
l'information et des systèmes, Vol. 2 (Hors-série 1
Automatique et Optimisation), Article 4, 2003.
P. Apkarian, D. Arzelier, D. Henrion, D. Peaucelle
"Quelques perspectives pour la programmation mathématique
en théorie de la commande robuste" (in French), LAAS-CNRS
Research Report No. 03061, February 2003, Proceedings of
the 5th Conference of the Sociéte Francaise de
Recherche Opérationnelle et d'Aide à la Decision
(ROADEF), pp. 268-270, Avignon, France, February 26-28, 2003.
D. Henrion, M. Sebek, Z. Hurak, S. Celikovsky
"Fixed-order robust controller design with the Polynomial Toolbox 3.0",
LAAS-CNRS Research Report No. 03048, February 2003. Proceedings of the
IEEE Symposium on Computer Aided Control System Design, Taipei,
Taiwan, September 2-4, 2004.
D. Henrion, J. B. Lasserre
"LMIs for constrained polynomial interpolation with application
in trajectory planning",
LAAS-CNRS Research Report No. 03079, February 2003. Proceedings of the
IEEE Symposium on Computer Aided Control System Design, Taipei,
Taiwan, September 2-4, 2004.
Systems and Control Letters, Vol. 55, No. 6, pp. 473-477, 2006.
D. Henrion
"LMI optimization for fixed-order H-infinity controller design",
LAAS-CNRS Research Report No. 03080, February 2003.
Proceedings of the IEEE Conference on Decision and Control, Maui,
Hawaii, pp. 4646-4651, December 9-12, 2003.
Appeared as a contributed chapter in the book
D. Henrion, A. Garulli (Editors). Positive polynomials in
control. Lecture Notes on Control and Information Sciences, Vol. 312,
Springer Verlag, Berlin, January 2005.
D. Henrion, P. Hippe
"Hyperbolic QR factorization for J-spectral factorization of
polynomial matrices",
LAAS-CNRS Research Report No. 03078, February 2003.
Proceedings of the IEEE Conference on Decision and Control, Maui,
Hawaii, pp. 3479-3484, December 9-12, 2003.
D. Henrion. Review of the
book "Computational aspects of linear control" by C. Brezinski, Kluwer
Academic Publishers, 2002. Zentralblatt Math Zbl 1010.93003,
February 2003.
2002
J. C. Zuniga, D. Henrion.
"Comparison of algorithms for computing infinite structural indices of
polynomial matrices",
LAAS-CNRS Research Report No. 02536, November 2002.
Proceedings of the European Control Conference, Cambridge, UK, September
1-4, 2003.
J. C. Zuniga, J. Ruiz-Leon, D. Henrion
"Algorithm for decoupling and complete pole assignment of linear
multivariable systens",
LAAS-CNRS Research Report No. 02537, November 2002.
Proceedings of the European Control Conference, Cambridge, UK,
September 1-4, 2003.
D. Henrion, M. Sebek
"Polynomial methods and LMI optimization:
new robust control functions for the Polynomial
Toolbox 3.0",
LAAS-CNRS Research Report No. 02493, October 2002.
Proceedings of the European Control Conference, Cambridge, UK,
September 1-4, 2003.
D. Henrion, J. B. Lasserre
"Convergent LMI relaxations for non-convex optimization over
polynomials in control",
LAAS-CNRS Research Report No. 02396, September
2002. Modified in November 2002 and July 2003. A revised version
entitled "Solving nonconvex optimization problems - How GloptiPoly is
applied to problems in robust and nonlinear control" appeared in the IEEE
Control Systems Magazine, Vol. 24, No. 3, pp. 72-83, 2004. Please see
the erratum reporting
several typos in the published version.
D. Peaucelle, D. Henrion, Y. Labit, K. Taitz
"User's Guide for SeDuMi Interface 1.04"
LAAS-CNRS Research Report No. 02333, September 2002.
D. Henrion Review of the
book "Industrial Control Systems Design" by M. J. Grimble, Wiley,
2001. IEEE Control Systems Magazine, Vol. 23, No. 2,
pp. 79-80, 2003.
D. Henrion, M. Sebek, V. Kucera
"Robust pole placement for second-order systems: an LMI approach"
LAAS-CNRS Research Report No. 02324,
July 2002. Proceedings of the IFAC Symposium on Robust Control Design,
Milan, Italy, June 2003. Kybernetika,
Vol. 41, No. 1, pp. 1-14, 2005.
D. Henrion, M. Sebek, V. Kucera
"Positive Polynomials and Robust Stabilization with Fixed-Order
Controllers",
LAAS-CNRS Research Report No. 02325, July 2002, revised in November
2002. IEEE Transactions on Automatic
Control, Vol. 48, No. 7, pp. 1178-1186, July 2003.
D. Henrion, J. B. Lasserre
"Solving Global Optimization Problems over Polynomials with GloptiPoly
2.1", LAAS-CNRS Research Report No. 02289, July 2002.
Proceedings of the International Workshop on Global Constrained
Optimization and Constraint Satisfaction (Cocos'02), Sophia Antipolis,
France, October 2-4, 2002. Journal version appeared in C. Bliek,
C. Jermann, A. Neumaier (Editors). Global Optimization and Constraint
Satisfaction. Lecture Notes on Computer Science, Volume 2861,
pp. 43-58, Springer Verlag, Berlin, 2003.
J. Ruiz-Leon, J. L. Orozco, D. Henrion, M. Sebek
"Real-time H-2 and H-infinity control of a gyroscope using a
polynomial approach", LAAS-CNRS Research Report No. 02215, May
2002, updated June 2003. Proceedings of the Latin-american Conference
on Automatic Control, Guadalajara, Mexico, December 3-6, 2002. Journal
version appeared in Latin American Applied Research, Vol. 35, No. 3,
pp. 247-254, July 2005.
G. Meriaux, D. Henrion, J. Bernussou
"Exploitation du modèle OBIDICOTE en vue de la
régulation multivariable de turboréacteurs:
linéarisation et analyse entrée-sortie" (in French, not
publically available), LAAS-CNRS/SNECMA Contract Report No. 02209, March
2002.
J. Ruiz-Leon, D. Henrion
"Lambda-generalized Polynomials with Applications to Multivariable
Decoupling", LAAS-CNRS Research Report No. 02133,
March 2002. A new version entitled
"Application of generalized polynomials to the decoupling of linear
multivariable systems" appeared in IEE Proceedings on Control
Theory, Vol. 152, No. 4, pp. 435-442, July 2005.
D. Henrion, J. B. Lasserre
"GloptiPoly: Global Optimization over Polynomials with Matlab and
SeDuMi",
LAAS-CNRS Research Report No. 02057, January 2002.
Proceedings of the IEEE Conference on Decision and Control, Las
Vegas, Nevada, December 10-13, 2002. Updated to version 2.0, March
2002. Journal version appeared in the ACM Transactions on Mathematical
Software, Vol. 29, No. 2, pp. 165-194, June 2003.
M. Kvasnica, D. Henrion
"Low-order Robust Controller Synthesis for Systems affected by Ellipsoidal
Uncertainty: a Polynomial Approach",
LAAS-CNRS Research Report No. 02034,
February 2002.
2001
Y. Labit, D. Peaucelle, D. Henrion
"SeDuMi Interface 1.02: A tool for solving LMI problems with SeDuMi",
LAAS-CNRS Research Report No. 01616, December 2001.
Proceedings of the IEEE Conference on Computer Aided Control System
Design, Glasgow, Scotland, September 17-20, 2002.
D. Henrion
"Stabilisation robuste de systèmes polytopiques par
contrôleur d'ordre fixe avec la boîte à
outils polynomiale pour Matlab"
(in French), LAAS-CNRS Research Report No. 01538, December
2001. Proceedings of the Conférence Internationale Francophone
d'Automatique, pp. 682-687, Nantes, France, July 8-10, 2002.
D. Peaucelle, D. Henrion, Y. Labit
"User's Guide for SeDuMi Interface 1.01: Solving LMI Problems
with SeDuMi", LAAS-CNRS Research Report No. 01445, October
2001.
D. Henrion, M. Sebek
"Controller Design using Polynomial Matrix Description",
LAAS-CNRS Research Report No. 01394, Chapter
6.43.13.16 in the UNESCO Encyclopedia of Life Support Systems, EOLSS
Publishers, Oxford, UK. September 2001.
D. Henrion, M. Sebek
"Polynomial and Matrix Fraction Description",
LAAS-CNRS Research Report No. 01390, Chapter 6.43.13.5 in the
UNESCO Encyclopedia of Life Support Systems, EOLSS Publishers, Oxford, UK.
September 2001. Please also
see this
erratum reporting typos in the published version.
D. Henrion, D. Arzelier, D. Peaucelle
"Positive Polynomial Matrices and Improved LMI Robustness
Conditions", LAAS-CNRS Research Report No. 01389,
September 2001, modified in October 2002.
Proceedings of the IFAC World Congress on Automatic
Control, Barcelona, Spain, July 21-26, 2002.
Journal version appeared in Automatica, Vol. 39, No. 8, pp. 1479-1485,
August 2003.
D. Henrion, M. Sebek, V. Kucera
"An Algorithm for Static Output Feedback Simultaneous Stabilization of
Scalar Plants",
LAAS-CNRS Research Report No. 01262, March 2001.
Proceedings of the IFAC World Congress on Automatic Control, Barcelona,
Spain, July 21-26, 2002.
D. Henrion
"Discrete Robust SPR Design via Semidefinite Programming",
LAAS-CNRS Research Report No. 01150, March 2001.
K. Sugimoto, M. Sebek, D. Henrion
"Polynomial Matrices and MRACS based on QR Factorization", March 2001.
Proceedings of the Control Division Conference
(Seigyo-Bumon-Taikai), SICE, Kyoto, Japan, May 23-25, 2001.
J. Ruiz-Leon, J. C. Zuniga, D. Henrion
"Computation of the Interactor of a Linear
Multivariable System", March 2001. Proceedings of the
International Conference on Control and Applications, IASTED,
Banff, Canada, June 27-29, 2001.
2000
D. Henrion
"LMIs for Robust SPR Design",
LAAS-CNRS Research Report No. 00571, December 2000.
Proceedings of the Workshop on Electronics, Control, Modelling,
Measurement and Signals, Toulouse, France, May 30 - June 1, 2001.
Journal version appeared in the IEEE Transactions on Circuits and
Systems, Part I: Fundamental Theory and Applications, Vol. 49, No. 7,
pp. 1017-1020, 2002.
D. Henrion, D. Arzelier, D. Peaucelle
"Robust Stabilization of Matrix Polytopes with the Cone Complementarity
Linearization Algorithm: Numerical Issues",
LAAS-CNRS Research Report No. 00528, December 2000.
Proceedings of the Process Control Conference, Strbske Pleso, Slovakia,
June 2001.
D. Henrion, V. Kucera
"Polynomial matrices, LMIs and Static Output Feedback",
LAAS-CNRS Research Report No. 00527, December 2000.
Proceedings of the IFAC/IEEE Symposium on System Structure and
Control, Paper No. B-2, Prague, Czech Republic, August 28-31, 2001.
D. Henrion, M. Hromcik, M. Sebek
"Some Algorithms used in the Polynomial Toolbox for Matlab",
LAAS-CNRS Research Report No. 00526, December 2000.
Proceedings of the NICONET Workshop on Numerical
Control Software in Control Engineering, pp. 71-76,
Louvain-la-Neuve, Belgium, January 2001.
D. Henrion, M. Sebek, V. Kucera
"LMIs for Robust Stabilization of Systems with Ellipsoidal
Uncertainty", LAAS-CNRS Research Report No. 00525,
December 2000.
Proceedings of the Process Control Conference, Strbske Pleso, Slovakia,
June 2001.
D. Henrion
"Quadratic Matrix Inequalities and Stability of Polynomials",
LAAS-CNRS Research Report No. 00524, December 2000.
The original manuscript contains an unproved statement. Please see
the translated French version (Report No. 04629) for a corrected manuscript.
K. Sugimoto, M. Sebek, D. Henrion
"Polynomial Matrices and Recursive QR Factorization",
LAAS-CNRS Research Report No. 00470, October 2000.
Proceedings of the European
Control Conference, EUCA, pp. 3681-3686, Porto, Portugal, September 2001.
D. Henrion, M. Sebek, M. Hromcik
"On Computing the H-infinity norm of a Polynomial Matrix
Fraction",
LAAS-CNRS Research Report No. 00469, October 2000.
Proceedings of the European Control Conference, EUCA, pp. 3703-3708,
Porto, Portugal, September 2001.
T. Soderstrom, M. Sebek, J. Jezek, V. Kucera, D. Henrion
"An Evaluation of Algorithms for Computing the Covariance Function
of a Multivariable ARMA Process", LAAS-CNRS
Research Report No. 00414, October 2000.
Proceedings of the European
Control Conference, EUCA, pp. 3687-3692, Porto, Portugal, September
2001. Journal version appeared in European Journal of Control, Vol. 8,
No. 4, 2002.
D. Henrion, D. Peaucelle, D. Arzelier, M. Sebek
"Ellipsoidal Approximation of the Stability Domain
of a Polynomial",
LAAS-CNRS Research Report No. 00413, October 2000.
Proceedings of the European Control Conference, EUCA,
pp. 384-389, Porto, Portugal, September 2001.
Journal version appeared in IEEE Transactions on Automatic Control,
Vol. 48, No. 12, pp. 2255--2259, December 2003.
Please also
see this
erratum reporting an ambiguity and some notational mistakes.
D. Arzelier, D. Henrion, D. Peaucelle
"Robust state-feedback D-stabilization via a cone complementarity
algorithm", LAAS-CNRS Research Report No. 00356, July 2000.
Proceedings of the European Control Conference, EUCA,
pp. 390-395, Porto, Portugal, September 2001.
D. Arzelier, D. Henrion, D. Peaucelle
"Robust D-stabilization of a polytope of matrices",
LAAS-CNRS Research Report No. 00295, June 2000.
Journal version appeared in International Journal of Control, Vol. 75,
No. 10, pp. 744-752, 2002.
V. Kucera, D. Henrion
"H2 optimization as a pole placement",
LAAS-CNRS Research Report No. 00148, October 1999,
Proceedings of the 2nd EUROPOLY Workshop, IFAC Symposium on
Robust Control Design, Paper No. EUR-11,
Prague, Czech Republic, 21-23 June 2000.
The original manuscript contains two
errors. Here is the
corrected manuscript.
D. Henrion, J. Ruiz-Leon, M. Sebek
"Extraction of Infinite Zeros of Polynomial Matrices",
LAAS-CNRS Research Report No. 00131, February 2000,
Proceedings of the IEEE Conference on Decision and Control, pp. 4221-4226,
Sydney, Australia, December 2000.
D. Henrion, G. Meinsma
"Rank-one LMIs and Lyapunov's Inequality",
LAAS-CNRS Research Report No. 00130, February 2000,
Proceedings of the IEEE Conference on Decision and
Control, pp. 1483-1488, Sydney, Australia, December 2000.
Journal version appeared in the IEEE Transactions on Automatic
Control, Vol. 46, No. 8, pp. 1285-1288, August 2001.
D. Henrion, K. Sugimoto, M. Sebek
"Rank-one LMI Approach to Robust Stability of Polynomial Matrices",
LAAS-CNRS Research Report No. 00129, February 2000.
Proceedings of the IFAC/IEEE Symposium on System Structure and
Control, Paper No. A-113, Prague, Czech Republic, August 28-31, 2001.
Journal version appeared in Kybernetika, Vol. 38, No. 5, pp. 643--656,
2002.
D. Henrion, M. Sebek
"LMIs and Polynomial Methods in Control: Illustrative Examples",
LAAS-CNRS Research Report No. 00075, February 2000,
Proceedings of the IFAC Symposium on Advances in Control Education,
Sea World Nara Resort, Gold Coast, Australia, December 2000.
M. Sebek, S. Celikovsky, J. Ruiz-Leon, D. Henrion
"Robust Stability Analysis via Polynomial Toolbox 2.5:
Complicated Parametric Uncertainties",
Proceedings of the International Conference on Control and
Applications, IASTED, pp. 149-153, Cancun, Mexico, May 2000.
M. Sebek, S. Pejchova, D. Henrion
"Robust Control with Polynomial Toolbox 2: Families with Structured
Uncertainties", LAAS-CNRS Research Report No. 00051, February 2000,
Proceedings of the Process Control Conference RIP 2000,
Kouty nad Desnou, Czech Republic, June 2000.
1999
D. Henrion
"LMIs for Linear Systems Control by Polynomial Methods",
LAAS-CNRS Research Report No. 99461, November 1999,
Proceedings of the 2nd EUROPOLY Workshop, IFAC Symposium on
Robust Control Design, Paper No. EUR-15,
Prague, Czech Republic, 21-23 June 2000.
D. Henrion
"Stabilité des Systèmes Linéaires Incertains
à Commande Contrainte",
Ph. D. Thesis (in French), Institut National des Sciences Appliquées,
Toulouse, France, October 1999. Committee: J. Bernussou,
C. Burgat, L. Dugard, V. Kucera, M. Malabre, B. Pradin,
S. Tarbouriech. LAAS-CNRS Research Report No. 99449.
The thesis defense slides
are also available.
D. Henrion, V. Kucera, M. Sebek
"Stabilization of Affine Polynomial Families: an LMI Approach",
LAAS-CNRS Research Report No. 99427, October 1999,
Proceedings of the IEEE International Symposium on Computer-Aided
Control Systems Design, Anchorage, Alaska, 25-27 September 2000.
D. Henrion, D. Arzelier, D. Peaucelle, M. Sebek
"An LMI Condition for Robust Stability of Polynomial Matrix Polytopes",
LAAS-CNRS Research Report No. 99233,
Proceedings of the IFAC Symposium on Robust Control Design,
Paper No. 2, Prague, Czech Republic, 21-23 June 2000.
Journal version appeared in Automatica, Vol. 37, No. 3, pp. 461-468,
March 2001.
D. Henrion, M. Sebek, O. Bachelier
"Rank-one LMI Approach to stability of 2-D Polynomial Matrices",
LAAS-CNRS Research Report No. 99217, May 1999,
Journal version appeared in Multidimensional Systems and Signal
Processing, Vol. 12, No. 1, pp. 33-48, 2001.
D. Henrion, S. Tarbouriech, V. Kucera
"Control of Linear Systems subject to Input Constraints: a Polynomial
Approach.",
LAAS-CNRS Research Report No. 99187,
Proceedings of the American Control Conference,
AACC, pp. 1774-1778, Chicago, Illinois, July 2000.
Journal version appeared in Automatica, Vol. 37, No. 4, pp. 597-604,
April 2001.
D. Henrion, M. Sebek
"Improved Polynomial Matrix Determinant Computation",
LAAS-CNRS Research Report No. 99186, April 1999,
Proceedings of the IEEE Mediterranean Conference on Control and Automation,
Patras, Greece, June 2000. Journal version appeared in IEEE
Transactions on Circuits and Systems, Part I: Fundamental Theory and
Applications, Vol. 46, No. 10, pp. 1307-1308, 1999.
D. Henrion, O. Bachelier, M. Sebek
"D-Stability of Polynomial Matrices",
LAAS-CNRS Research Report No. 99180, Proceedings of the
Control 2000 Conference, UKACC, Cambridge, United Kingdom, September 2000.
Journal version appeared in International Journal of Control, Vol. 74,
No. 8, pp. 845--856, May 2001.
M. Sebek, H. Kwakernaak, D. Henrion, R. Strijbos
"Control Design via Polynomial Toolbox for Matlab Version 2.0",
LAAS-CNRS Research Report No. 99156,
Proceedings of the European Control Conference, EUCA, Session DA-1, Paper 5,
Karlsruhe, Germany, September 1999.
D. Henrion, S. Tarbouriech, V. Kucera
"Polynomial Methods and Convex Optimization for the Control of Input
Constrained Systems", LAAS-CNRS Research Report No. 99107,
Proceedings of the 1st EUROPOLY Workshop, pp. 57-71, University of
Strathclyde, Glasgow, Scotland, April 1999.
V. Kucera, M. Sebek, D. Henrion
"State Regulation and Estimation via Polynomial Toolbox",
Proceedings of the 1st EUROPOLY Workshop, pp. 7-17,
University of Strathclyde, Glasgow, Scotland, April 1999.
D. Henrion, S. Tarbouriech, V. Kucera
"Control of Linear Systems subject to Input Constraints: a Polynomial
Approach. SISO Case",
LAAS-CNRS Research Report No. 99060,
Proceedings of the IEEE Conference on Decision and Control,
pp. 2774-2779, Phoenix, Arizona, December 1999.
D. Henrion, S. Tarbouriech
"Relaxations LMI pour la stabilite robuste des systèmes
linéaires à commande saturée"
(in French), LAAS-CNRS Research Report No. 99059,
Proceedings of the Journées Doctorales d'Automatique, CNRS,
pp. 157-160, Nancy, France, September 1999.
V. Kucera, M. Sebek, D. Henrion
"Polynomial Toolbox and State Feedback Control",
LAAS-CNRS Research Report No. 99025,
Proceedings of the IEEE International Symposium on Computed-Aided
Control System Design, pp. 380-385,
Kohala Coast, Hawaii, August 1999.
D. Henrion, M. Sebek, V. Kucera
"Links Between Robust and Quadratic Stability of Uncertain
Discrete-Time Polynomials",
LAAS-CNRS Research Report No. 99016,
Proceedings of the IEEE Mediterranean
Conference on Control and Automation, pp. 2078-2086,
Haifa, Israel, June 1999.
D. Henrion
"Reliable Algorithms for Polynomial Matrices",
Ph. D. Thesis,
Institute of Information Theory and Automation,
Czech Academy of Sciences, Prague, Czech Republic, December 1998.
Committee: Jaroslav Dolezal, Jiri Gregor, Jan Jezek, Michael Sebek.
LAAS-CNRS Research Report No. 99003.
A short summary booklet and the thesis
defense slides are also available.
1998
M. Sebek, H. Kwakernaak, D. Henrion, S. Pejchova
"Recent Progress in Polynomial Methods and
Polynomial Toolbox for Matlab Version 2.0",
LAAS-CNRS Research Report No. 98578,
Proceedings of the IEEE Conference on Decision and Control,
pp. 3661-3668, Tampa, Florida, December 1998.
D. Henrion, M. Sebek
"An Algorithm for Polynomial Matrix Factor Extraction",
LAAS-CNRS Research Report No. 98497,
Proceedings of the IEEE Conference on Decision and Control, pp. 1875-1880,
Phoenix, Arizona, December 1999. Journal version
appeared in International Journal of
Control, Vol. 73, No. 8, pp. 686-695, 2000.
D. Peaucelle, D. Arzelier, D. Henrion
"Dynamic Output Feedback For Mixed Robust Performance with
H-dissipative Uncertainties",
LAAS-CNRS Research Report No. 98477, November 1998.
D. Henrion, O. Bachelier
"Low-Order Robust Controller Synthesis for Interval Plants",
LAAS-CNRS Research Report No. 98469, November 1998.
Journal version appeared in International Journal of Control, Vol. 74, No. 1,
pp. 1-9, 2001.
D. Henrion, J. Jezek, M. Sebek
"Efficient Algorithms for Discrete-Time Symmetric Polynomial Equations
with Complex Coefficients",
LAAS-CNRS Research Report No. 98402,
Proceedings of the IFAC World Congress, Beijing, China,
Vol. D, p. 159-164, July 1999.
Journal version appeared in Kybernetika, Vol. 38, No. 2, pp. 113-139, 2002.
D. Henrion, S. Tarbouriech, M. Sebek
"Rank-one LMI Approach to Simultaneous Stabilization of Linear
Systems",
LAAS-CNRS Research Report No. 98401,
Proceedings of the European Control Conference, EUCA, Session AM-2, Paper 1,
Karlsruhe, Germany, September 1999.
Journal version appeared in Systems and Control Letters, Vol. 38,
No. 2, pp. 79-89, October 1999.
D. Peaucelle, D. Arzelier, D. Henrion
"Performance and Quadratic Stabilizability via Dynamic Output Feedback
for Uncertain Generalized Models", LAAS-CNRS Research Report No. 98267,
Proceedings of the IFAC World Congress, Beijing, China,
Vol. G, pp. 449-454, July 1999.
S. Tarbouriech, G. Garcia, D. Henrion
"Local Stabilization of Linear Systems with Position and Rate Bounded
Actuators", LAAS-CNRS Research Report No. 98261,
Proceedings of the IFAC World Congress, Beijing, China, Vol. F,
pp. 459-464, July 1999.
D. Henrion, S. Tarbouriech
"LMI Relaxations for Robust Stability of Linear Systems with
Saturating Controls",
LAAS-CNRS Research Report No. 98070, Journal version appeared in
Automatica, Vol. 35, No. 9, pp. 1599-1604, September 1999.
D. Henrion, S. Tarbouriech, D. Arzelier
"LMI Approximations for the Radius of the Intersection
of Ellipsoids: Survey",
LAAS-CNRS Research Report No. 98056,
Proceedings of the IEEE Conference on Decision and Control,
pp. 1759-1764, Tampa, Florida, December 1998. Journal version appeared in
Journal of Optimization Theory and Applications, Vol. 108, No. 1,
pp. 1-28, January 2001.
D. Henrion, M. Sebek
"Reliable Numerical Methods for Polynomial Matrix Triangularization",
LAAS-CNRS Research Report No. 98018 (formerly No. 97048),
in A. Tornambe, G. Conte, A. M. Perdon (Editors)
"Theory and Practice of Control and Systems",
Proceedings of the IEEE Mediterranean Conference on Control and
Automation,
Session SWEC3, Paper No. 3, Alghero, Sardinia, Italy, June 1998.
Journal version appeared in IEEE Transactions on Automatic Control,
Vol. 44, No. 3, pp. 497-508, March 1999.
1997
D. Henrion, M. Sebek
"Numerical Methods for Polynomial Rank Evaluation",
LAAS-CNRS Research Report No. 97356,
Proceedings of the IFAC Conference on Systems Structure and Control,
pp. 385-390, Nantes, France, July 1998.
D. Henrion, G. Garcia, S. Tarbouriech
"Piecewise-linear Robust Control of Systems with Input Saturation",
LAAS-CNRS Research Report No. 97321,
Proceedings of the American Control Conference, AACC,
pp. 3545-3549, Philadelphia, Pennsylvania, June 1998.
Journal version appeared in European Journal of Control, Vol. 5,
No. 1, pp. 157-166, 1999.
D. Henrion, M. Sebek, S. Tarbouriech
"Algebraic Approach to Robust Controller Design: A Geometric
Interpretation",
LAAS-CNRS Research Report No. 97316, Proceedings of the
American Control Conference, AACC, pp. 2703-2707,
Philadelphia, Pennsylvania, June 1998.
D. Henrion, S. Tarbouriech, G. Garcia
"Output Feedback Robust Stabilization of Uncertain Linear Systems
with Saturating Controls",
LAAS-CNRS Research Report No. 97043,
Proceedings of the IEEE Conference on Decision and Control,
pp. 193-198,
San Diego, California, December 1997. Journal version appeared in
IEEE Transactions on Automatic Control, Vol. 44, No. 11, pp. 2230-2237,
November 1999.
D. Henrion, M. Sebek
"Symmetric Matrix Polynomial Equation : Interpolation Results",
LAAS-CNRS Research Report No. 97040,
Journal version appeared in
Automatica, Vol. 34, No. 7, pp. 811-824, July 1998.
1996
D. Henrion, M. Sebek
"An Efficient Numerical Method for the Discrete Time Symmetric
Matrix Polynomial Equation",
LAAS-CNRS Research Report No. 96433,
Proceedings of the European Control Conference, EUCA, Brussels, Belgium,
Vol. 6, Part B, FR-A H6, July 1997.
Journal version appeared in IEE Proceedings, Control Theory and
Applications, Vol. 145, No. 5, pp. 443-448, September 1998.
M. Sebek, S. Pejchova, R.C.W. Strijbos, D. Henrion
"Polynomial Matrix Operations in Matlab",
Extended Abstracts of the International Conference on Computer Aided
Systems Theory and Technology EUROCAST '97, pp. 139-141,
Las Palmas de Gran Canaria, Spain, February 1997.
M. Sebek, S. Pejchova, D. Henrion, H. Kwakernaak
"Numerical Methods for Zeros and Determinant of Polynomial Matrix",
Proceedings of the IEEE Mediterranean Symposium on New
Directions in Control and Automation, pp. 488-491,
Chania, Crete, Greece, June 1996.
W. Colmenares, D. Henrion
"Necessary and Sufficient Conditions for the Quadratic Stabilization
by Dynamic Feedback of a Class of Uncertain Systems",
Proceedings of the World Automation Congress, Montpellier, France, May
27-30, 1996.
1995
W. Colmenares, D. Henrion, J. Bernussou, G. Garcia,
O. Perez-Lopez
"Necessary Conditions and Sufficient Conditions for the Quadratic
Stabilization by Dynamic Output Feedback of a Class of Uncertain
Systems",
LAAS-CNRS Research Report No. 95467,
Proceedings of the Latin American Seminar on Advanced
Control, pp. 57-60, Santiago de Chile, Chile, September 1995.
W. Colmenares, O. Perez-Lopez, D. Henrion, J. Bernussou,
E. Granado "Synthesis of Dynamic Feedback Controllers for Uncertain
Linear Systems", LAAS-CNRS Research Report No. 95466,
Proceedings of the IEEE International Conference on Devices,
Circuits and Systems, pp. 239-243, Caracas, Venezuela, December 1995.
W. Colmenares, E. Granado, D. Henrion,
"Synthesis of Feedback Controllers for Uncertain Discrete Linear
Systems by Linear Programming", LAAS-CNRS Research Report No. 95465,
Proceedings of the IFAC Symposium on Low Cost Automation, pp. 335-339,
Buenos Aires, Argentina, September 1995.
1994
D. Henrion
"Problème du rejet de perturbations affectant
un système linéaire contraint sur la commande" (in French),
Diplome d'Etudes Approfondies, Institut National des Sciences
Appliquées, Toulouse, France, September 1994.