Didier Henrion

Autom., March, 2023

Stokes, Gibbs, and Volume Computation of Semi-Algebraic Sets.

[BibT_eX]

[DOI]

Matteo Tacchi

Discret. Comput. Geom., 2023

Polynomial argmin for recovery and approximation of multivariate discontinuous functions.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation.

[BibT_eX]

[DOI]

Marianne Souaiby

Aneel Tanwani

IEEE Trans. Autom. Control., 2022

Globally Optimal Solution to Inverse Kinematics of 7DOF Serial Manipulator.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Exploiting Sparsity for Semi-Algebraic Set Volume Computation.

[BibT_eX]

[DOI]

Matteo Tacchi

Tillmann Weißer

Found. Comput. Math., 2022

2021

Dual optimal design and the Christoffel-Darboux polynomial.

[BibT_eX]

[DOI]

Yohann de Castro

Fabrice Gamboa

Optim. Lett., 2021

Exact algorithms for semidefinite programs with degenerate feasible set.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

Convex Computation of Extremal Invariant Measures of Nonlinear Dynamical Systems and Markov Processes.

[BibT_eX]

[DOI]

Igor Mezic

J. Nonlinear Sci., 2021

Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint.

[BibT_eX]

[DOI]

Paul Rousse

Pierre-Loïc Garoche

Eur. J. Control, 2021

Peak Estimation Recovery and Safety Analysis.

[BibT_eX]

[DOI]

Jared Miller

Mario Sznaier

IEEE Control. Syst. Lett., 2021

Peak Estimation for Uncertain and Switched Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Peak Estimation and Recovery with Occupation Measures.

[BibT_eX]

[DOI]

Jared Miller

Mario Sznaier

CoRR, 2020

Real root finding for low rank linear matrices.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2020

Measures and LMIs for Lateral F-16 MRAC Validation.

[BibT_eX]

[DOI]

Daniel Wagner

Martin Hromcík

Proceedings of the 2020 American Control Conference, 2020

2019

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2019

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic.

[BibT_eX]

[DOI]

Optim. Methods Softw., 2019

Inner Approximations of the Maximal Positively Invariant Set for Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

Antoine Oustry

Matteo Tacchi

IEEE Control. Syst. Lett., 2019

Approximating regions of attraction of a sparse polynomial differential system.

[BibT_eX]

[DOI]

CoRR, 2019

Optimal control problems with oscillations, concentrations and discontinuities.

[BibT_eX]

[DOI]

Martin Kruzík

Tillmann Weißer

Autom., 2019

Measures and LMIs for Adaptive Control Validation.

[BibT_eX]

[DOI]

Daniel Wagner

Martin Hromcík

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Maximal Positively Invariant Set Determination for Transient Stability Assessment in Power Systems.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets.

[BibT_eX]

[DOI]

Optim. Lett., 2018

Formal verification of an interior point algorithm instanciation.

[BibT_eX]

[DOI]

CoRR, 2018

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Positivity Certificates in Optimal Control.

[BibT_eX]

[DOI]

Edouard Pauwels

Proceedings of the Geometric and Numerical Foundations of Movements, 2017

Exact Solutions to Super Resolution on Semi-Algebraic Domains in Higher Dimensions.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2017

Convergence rates of moment-sum-of-squares hierarchies for optimal control problems.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2017

Approximate Optimal Designs for Multivariate Polynomial Regression.

[BibT_eX]

[DOI]

CoRR, 2017

Simple approximations of semialgebraic sets and their applications to control.

[BibT_eX]

[DOI]

Fabrizio Dabbene

Constantino M. Lagoa

Autom., 2017

2016

Exact Algorithms for Linear Matrix Inequalities.

[BibT_eX]

[DOI]

SIAM J. Optim., 2016

Linear Conic Optimization for Inverse Optimal Control.

[BibT_eX]

[DOI]

Edouard Pauwels

SIAM J. Control. Optim., 2016

Semidefinite Approximations of the Polynomial Abscissa.

[BibT_eX]

[DOI]

Roxana Heß

Tien Son Pham

SIAM J. Control. Optim., 2016

Strong duality in Lasserre's hierarchy for polynomial optimization.

[BibT_eX]

[DOI]

Cédric Josz

Optim. Lett., 2016

Minimizing the sum of many rational functions.

[BibT_eX]

[DOI]

Florian Bugarin

Math. Program. Comput., 2016

Real root finding for determinants of linear matrices.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

Controller design and value function approximation for nonlinear dynamical systems.

[BibT_eX]

[DOI]

Autom., 2016

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

[BibT_eX]

[DOI]

Jamal Daafouz

Autom., 2016

2015

Optimization Based Robust Control.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Systems and Control, 2015

Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets.

[BibT_eX]

[DOI]

Victor Magron

SIAM J. Optim., 2015

Rank-Constrained Fundamental Matrix Estimation by Polynomial Global Optimization Versus the Eight-Point Algorithm.

[BibT_eX]

[DOI]

Florian Bugarin

Adrien Bartoli

Jean-José Orteu

Thierry Sentenac

J. Math. Imaging Vis., 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Real Root Finding for Rank Defects in Linear Hankel Matrices.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Convex Computation of the Region of Attraction of Polynomial Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Measures and LMIs for Impulsive Nonlinear Optimal Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

Convex Computation of the Maximum Controlled Invariant Set For Polynomial Control Systems.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2014

Approximating Pareto curves using semidefinite relaxations.

[BibT_eX]

[DOI]

Victor Magron

Oper. Res. Lett., 2014

Credible Autocoding of Convex Optimization Algorithms.

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

Design of Marx generators as a structured eigenvalue assignment.

[BibT_eX]

[DOI]

Autom., 2014

Hand-eye and robot-world calibration by global polynomial optimization.

[BibT_eX]

[DOI]

Jan Heller

Tomás Pajdla

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Inverse optimal control with polynomial optimization.

[BibT_eX]

[DOI]

Edouard Pauwels

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Uniform sample generation in semialgebraic sets.

[BibT_eX]

[DOI]

Fabrizio Dabbene

Constantino Lagoa

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Stable Radial Distortion Calibration by Polynomial Matrix Inequalities Programming.

[BibT_eX]

[DOI]

Jan Heller

Tomás Pajdla

Proceedings of the Computer Vision - ACCV 2014, 2014

2013

Finding largest small polygons with GloptiPoly.

[BibT_eX]

[DOI]

Frédéric Messine

J. Glob. Optim., 2013

Inner Approximations of the Region of Attraction for Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

Set approximation via minimum-volume polynomial sublevel sets.

[BibT_eX]

[DOI]

Fabrizio Dabbene

Mohamed Rasheed Abdalmoaty

Proceedings of the 12th European Control Conference, 2013

Measures and LMIs for optimal control of piecewise-affine systems.

[BibT_eX]

[DOI]

Luis Rodrigues

Proceedings of the 12th European Control Conference, 2013

Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Convex computation of the maximum controlled invariant set for discrete-time polynomial control systems.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal switching control design for polynomial systems: an LMI approach.

[BibT_eX]

[DOI]

Jamal Daafouz

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Moment LMI approach to LTV impulsive control.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

Inner Approximations for Polynomial Matrix Inequalities and Robust Stability Regions.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Semidefinite programming for optimizing convex bodies under width constraints.

[BibT_eX]

[DOI]

Térence Bayen

Optim. Methods Softw., 2012

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

[BibT_eX]

[DOI]

Kybernetika, 2012

Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design.

[BibT_eX]

[DOI]

Christophe Louembet

Int. J. Control, 2012

Positive trigonometric polynomials for strong stability of difference equations.

[BibT_eX]

[DOI]

Wouter H. T. M. Aangenent

Tomás Vyhlídal

Autom., 2012

Linear control of time-domain constrained systems.

[BibT_eX]

[DOI]

W. P. M. H. Heemels

M. J. G. van de Molengraft

Maarten Steinbuch

Autom., 2012

Measures and LMI for Space Launcher Robust Control Validation.

[BibT_eX]

[DOI]

Martine Ganet-Schoeller

Samir Bennani

Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

Measures and LMI for impulsive optimal control with applications to space rendezvous problems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Projection methods for conic feasibility problems: applications to polynomial sum-of-squares decompositions.

[BibT_eX]

[DOI]

Jérôme Malick

Optim. Methods Softw., 2011

A hierarchy of LMI inner approximations of the set of stable polynomials.

[BibT_eX]

[DOI]

Mustapha Ait Rami

Autom., 2011

2010

Hermite matrix in Lagrange basis for scaling static output feedback polynomial matrix inequalities.

[BibT_eX]

[DOI]

Akin Delibasi

Int. J. Control, 2010

Advanced LMI based analysis and design for Acrobot walking.

[BibT_eX]

[DOI]

Int. J. Control, 2010

2009

Optimal Low-Frequency Filter Design for Uncertain 2-1 Sigma-Delta Modulators.

[BibT_eX]

[DOI]

IEEE Signal Process. Lett., 2009

Approximate Volume and Integration for Basic Semialgebraic Sets.

[BibT_eX]

[DOI]

Carlo Savorgnan

SIAM Rev., 2009

Strong Stability of Neutral Equations with an Arbitrary Delay Dependency Structure.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2009

GloptiPoly 3: moments, optimization and semidefinite programming.

[BibT_eX]

[DOI]

Johan Löfberg

Optim. Methods Softw., 2009

Semidefinite representation of convex hulls of rational varieties.

[BibT_eX]

[DOI]

CoRR, 2009

An improved Toeplitz algorithm for polynomial matrix null-space computation.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2009

LMI based design for the Acrobot walking*.

[BibT_eX]

[DOI]

Proceedings of the 9th IFAC Symposium on Robot Control, SyRoCo 2009, Gifu, Japan, 2009

POCP: A package for polynomial optimal control problems.

[BibT_eX]

[DOI]

Carlo Savorgnan

Proceedings of the 10th European Control Conference, 2009

2008

On Convexity of the Frequency Response of a Stable Polynomial.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Robust Filter Design for Uncertain 2-1 Sigma-Delta Modulators via the Central Polynomial Method.

[BibT_eX]

[DOI]

IEEE Signal Process. Lett., 2008

Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2008

Plane geometry and convexity of polynomial stability regions.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

Nonlinear optimal control synthesis via occupation measures.

[BibT_eX]

[DOI]

Carlo Savorgnan

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Fixed-Order Robust H∞ Controller Design With Regional Pole Assignment.

[BibT_eX]

[DOI]

Fuwen Yang

Mahbub Gani

IEEE Trans. Autom. Control., 2007

Globally Optimal Estimates for Geometric Reconstruction Problems.

[BibT_eX]

[DOI]

Fredrik Kahl

Int. J. Comput. Vis., 2007

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

[BibT_eX]

[DOI]

Autom., 2007

2006

Convergent relaxations of polynomial matrix inequalities and static output feedback.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Stabilization via Nonsmooth, Nonconvex Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

LMIs for constrained polynomial interpolation with application in trajectory planning.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2006

A Toeplitz algorithm for polynomial J-spectral factorization.

[BibT_eX]

[DOI]

Autom., 2006

2005

Detecting infinite zeros in polynomial matrices.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2005

Control of linear systems subject to time-domain constraints with polynomial pole placement and LMIs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2005

Optimizing simultaneously over the numerator and denominator polynomials in the Youla-Kučera parametrization.

[BibT_eX]

[DOI]

Arturo Molina-Cristobal

IEEE Trans. Autom. Control., 2005

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

[BibT_eX]

[DOI]

Luc Jaulin

Reliab. Comput., 2005

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

[BibT_eX]

[DOI]

Kybernetika, 2005

Nonlinear optimal control: approximations via moments and LMI-relaxations.

[BibT_eX]

[DOI]

Christophe Prieur

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Solving polynomial static output feedback problems with PENBMI.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Robust root-clustering of a matrix in intersections or unions of regions: Addendum.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Robust Root-Clustering of a Matrix in Intersections or Unions of Regions.

[BibT_eX]

[DOI]

SIAM J. Control. Optim., 2004

On parameter-dependent Lyapunov functions for robust stability of linear systems.

[BibT_eX]

[DOI]

Dimitri Peaucelle

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

On the application of displacement structure methods to obtain null-spaces of polynomial matrices.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi.

[BibT_eX]

[DOI]

ACM Trans. Math. Softw., 2003

Positive polynomials and robust stabilization with fixed-order controllers.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Ellipsoidal approximation of the stability domain of a polynomial.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Positive polynomial matrices and improved LMI robustness conditions.

[BibT_eX]

[DOI]

Dimitri Peaucelle

Autom., 2003

Polynomial methods and LMI optimization: New robust control functions for the polynomial toolbox 3.0.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Algorithm for decoupling and complete pole assignment of linear multivariable systems.

[BibT_eX]

[DOI]

Javier Ruiz-León

Proceedings of the 7th European Control Conference, 2003

Comparison of algorithms for computing infinite structural indices of polynomial matrices.

[BibT_eX]

[DOI]

Proceedings of the 7th European Control Conference, 2003

Hyperbolic QR factorization for J-spectral factorization of polynomial matrices.

[BibT_eX]

[DOI]

Peter Hippe

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

LMI optimization for fixed-order H∞ controller design.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

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

[BibT_eX]

[DOI]

Kenji Sugimoto

Kybernetika, 2002

Discrete-time symmetric polynomial equations with complex coefficients.

[BibT_eX]

[DOI]

Jan Jezek

Kybernetika, 2002

An Evaluation of Algorithms for Computing the Covariance Function of a Multivariable Arma Process.

[BibT_eX]

[DOI]

Eur. J. Control, 2002

Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1.

[BibT_eX]

[DOI]

Proceedings of the Global Optimization and Constraint Satisfaction, 2002

2001

Rank-one LMIs and Lyapunov's inequality.

[BibT_eX]

[DOI]

Gjerrit Meinsma

IEEE Trans. Autom. Control., 2001

Rank-one LMI Approach to Stability of 2-D Polynomial Matrices.

[BibT_eX]

[DOI]

Olivier Bachelier

Multidimens. Syst. Signal Process., 2001

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

[BibT_eX]

[DOI]

Autom., 2001

An LMI condition for robust stability of polynomial matrix polytopes.

[BibT_eX]

[DOI]

Autom., 2001

Polynomial matrices and recursive QR factorization.

[BibT_eX]

[DOI]

Kenji Sugimoto

Proceedings of the 6th European Control Conference, 2001

On computing the H∞-norm of a polynomial matrix fraction.

[BibT_eX]

[DOI]

Martin Hromcík

Proceedings of the 6th European Control Conference, 2001

Robust state feedback D stabilization via a cone complementary algorithm.

[BibT_eX]

[DOI]

Dimitri Peaucelle

Proceedings of the 6th European Control Conference, 2001

2000

Extraction of infinite zeros of polynomial matrices.

[BibT_eX]

[DOI]

Javier Ruiz-León

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Control of linear systems subject to input constraints: a polynomial approach. MIMO case.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2000

1999

Output feedback robust stabilization of uncertain linear systems with saturating controls: an LMI approach.

[BibT_eX]

[DOI]

Germain Garcia

IEEE Trans. Autom. Control., 1999

Reliable numerical methods for polynomial matrix triangularization.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1999

Piecewise-Linear Robust Control of Systems with Input Constraints.

[BibT_eX]

[DOI]

Germain Garcia

Eur. J. Control, 1999

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

[BibT_eX]

[DOI]

Autom., 1999

Control design via polynomial toolbox for Matlab version 2.0.

[BibT_eX]

[DOI]

Proceedings of the 5th European Control Conference, 1999

Rank-one LMI approach to simultaneous stabilization of linear systems.

[BibT_eX]

[DOI]

Proceedings of the 5th European Control Conference, 1999

1998

Symmetric Matrix Polynomial Equation: Interpolation Results.

[BibT_eX]

[DOI]