92 citations · 246 across the 75 of their papers we have counts for
4 papers · 1 filter
Convergence rates of moment-sum-of-squares hierarchies for volume approximation of semialgebraic sets
Milan Korda, Didier Henrion
Moment-sum-of-squares hierarchies of semidefinite programs can be used to approximate the volume of a given compact basic semialgebraic set K. The idea consists of approximating fr…
SPECTRA -- a Maple library for solving linear matrix inequalities in exact arithmetic
Mohab Safey El Din, Didier Henrion, Simone Naldi +2
This document describes our freely distributed Maple library {\sc spectra}, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear m…
Convergence rates of moment-sum-of-squares hierarchies for optimal control problems
Milan Korda, Didier Henrion, Colin N. Jones
We study the convergence rate of moment-sum-of-squares hierarchies of semidefinite programs for optimal control problems with polynomial data. It is known that these hierarchies ge…
Positivity certificates in optimal control
Edouard Pauwels, Didier Henrion, Jean-Bernard Lasserre
We propose a tutorial on relaxations and weak formulations of optimal control with their semidefinite approximations. We present this approach solely through the prism of positivit…