6 research outputs found
Semidefinite approximations of projections and polynomial images of semialgebraic sets
Given a compact semialgebraic set S of R^n and a polynomial map f from R^n to R^m, we consider the problem of approximating the image set F = f(S) in R^m. This includes in particular the projection of S on R^m for n greater than m. Assuming that F is included in a set B which is simple (e.g. a box or a ball), we provide two methods to compute certified outer approximations of F. Method 1 exploits the fact that F can be defined with an existential quantifier, while Method 2 computes approximations of the support of image measures.The two methods output a sequence of superlevel sets defined with a single polynomial that yield explicit outer approximations of F. Finding the coefficients of this polynomial boils down to computing an optimal solution of a convex semidefinite program. We provide guarantees of strong convergence to F in L^1 norm on B, when the degree of the polynomial approximation tends to infinity. Several examples of applications are provided, together with numerical experiments
Deciding Robust Feasibility and Infeasibility Using a Set Containment Approach: An Application to Stationary Passive Gas Network Operations
In this paper we study feasibility and infeasibility of nonlinear two-stage
fully adjustable robust feasibility problems with an empty first stage. This is
equivalent to deciding whether the uncertainty set is contained within the
projection of the feasible region onto the uncertainty-space. Moreover, the
considered sets are assumed to be described by polynomials. For answering this
question, two very general approaches using methods from polynomial
optimization are presented - one for showing feasibility and one for showing
infeasibility. The developed methods are approximated through sum of squares
polynomials and solved using semidefinite programs. Deciding robust feasibility
and infeasibility is important for gas network operations, which is a nonconvex
feasibility problem where the feasible set is described by a composition of
polynomials with the absolute value function. Concerning the gas network
problem, different topologies are considered. It is shown that a tree
structured network can be decided exactly using linear programming.
Furthermore, a method is presented to reduce a tree network with one additional
arc to a single cycle network. In this case, the problem can be decided by
eliminating the absolute value functions and solving the resulting linearly
many polynomial optimization problems. Lastly, the effectivity of the methods
is tested on a variety of small cyclic networks. It turns out that for
instances where robust feasibility or infeasibility can be decided
successfully, level 2 or level 3 of the Lasserre relaxation hierarchy typically
is sufficient
Semidefinite approximations of projections and polynomial images of semialgebraic sets
International audienceGiven a compact semialgebraic set S of R^n and a polynomial map f from R^n to R^m, we consider the problem of approximating the image set F = f(S) in R^m. This includes in particular the projection of S on R^m for n greater than m. Assuming that F is included in a set B which is "simple'' (e.g. a box or a ball), we provide two methods to compute certified outer approximations of F. Method 1 exploits the fact that F can be defined with an existential quantifier, while Method 2 computes approximations of the support of image measures.The two methods output a sequence of superlevel sets defined with a single polynomial that yield explicit outer approximations of F. Finding the coefficients of this polynomial boils down to computing an optimal solution of a convex semidefinite program. We provide guarantees of strong convergence to F in L^1 norm on B, when the degree of the polynomial approximation tends to infinity. Several examples of applications are provided, together with numerical experiments