6,709 research outputs found
A probabilistic interpretation of set-membership filtering: application to polynomial systems through polytopic bounding
Set-membership estimation is usually formulated in the context of set-valued
calculus and no probabilistic calculations are necessary. In this paper, we
show that set-membership estimation can be equivalently formulated in the
probabilistic setting by employing sets of probability measures. Inference in
set-membership estimation is thus carried out by computing expectations with
respect to the updated set of probability measures P as in the probabilistic
case. In particular, it is shown that inference can be performed by solving a
particular semi-infinite linear programming problem, which is a special case of
the truncated moment problem in which only the zero-th order moment is known
(i.e., the support). By writing the dual of the above semi-infinite linear
programming problem, it is shown that, if the nonlinearities in the measurement
and process equations are polynomial and if the bounding sets for initial
state, process and measurement noises are described by polynomial inequalities,
then an approximation of this semi-infinite linear programming problem can
efficiently be obtained by using the theory of sum-of-squares polynomial
optimization. We then derive a smart greedy procedure to compute a polytopic
outer-approximation of the true membership-set, by computing the minimum-volume
polytope that outer-bounds the set that includes all the means computed with
respect to P
Semi-definite programming and functional inequalities for Distributed Parameter Systems
We study one-dimensional integral inequalities, with quadratic integrands, on
bounded domains. Conditions for these inequalities to hold are formulated in
terms of function matrix inequalities which must hold in the domain of
integration. For the case of polynomial function matrices, sufficient
conditions for positivity of the matrix inequality and, therefore, for the
integral inequalities are cast as semi-definite programs. The inequalities are
used to study stability of linear partial differential equations.Comment: 8 pages, 5 figure
Simple Approximations of Semialgebraic Sets and their Applications to Control
Many uncertainty sets encountered in control systems analysis and design can
be expressed in terms of semialgebraic sets, that is as the intersection of
sets described by means of polynomial inequalities. Important examples are for
instance the solution set of linear matrix inequalities or the Schur/Hurwitz
stability domains. These sets often have very complicated shapes (non-convex,
and even non-connected), which renders very difficult their manipulation. It is
therefore of considerable importance to find simple-enough approximations of
these sets, able to capture their main characteristics while maintaining a low
level of complexity. For these reasons, in the past years several convex
approximations, based for instance on hyperrect-angles, polytopes, or
ellipsoids have been proposed. In this work, we move a step further, and
propose possibly non-convex approximations , based on a small volume polynomial
superlevel set of a single positive polynomial of given degree. We show how
these sets can be easily approximated by minimizing the L1 norm of the
polynomial over the semialgebraic set, subject to positivity constraints.
Intuitively, this corresponds to the trace minimization heuristic commonly
encounter in minimum volume ellipsoid problems. From a computational viewpoint,
we design a hierarchy of linear matrix inequality problems to generate these
approximations, and we provide theoretically rigorous convergence results, in
the sense that the hierarchy of outer approximations converges in volume (or,
equivalently, almost everywhere and almost uniformly) to the original set. Two
main applications of the proposed approach are considered. The first one aims
at reconstruction/approximation of sets from a finite number of samples. In the
second one, we show how the concept of polynomial superlevel set can be used to
generate samples uniformly distributed on a given semialgebraic set. The
efficiency of the proposed approach is demonstrated by different numerical
examples
Backstepping PDE Design: A Convex Optimization Approach
Abstract\u2014Backstepping design for boundary linear PDE is
formulated as a convex optimization problem. Some classes of
parabolic PDEs and a first-order hyperbolic PDE are studied,
with particular attention to non-strict feedback structures. Based
on the compactness of the Volterra and Fredholm-type operators
involved, their Kernels are approximated via polynomial
functions. The resulting Kernel-PDEs are optimized using Sumof-
Squares (SOS) decomposition and solved via semidefinite
programming, with sufficient precision to guarantee the stability
of the system in the L2-norm. This formulation allows optimizing
extra degrees of freedom where the Kernel-PDEs are included
as constraints. Uniqueness and invertibility of the Fredholm-type
transformation are proved for polynomial Kernels in the space
of continuous functions. The effectiveness and limitations of the
approach proposed are illustrated by numerical solutions of some
Kernel-PDEs
- …