417 research outputs found
Exact Characterization of the Convex Hulls of Reachable Sets
We study the convex hulls of reachable sets of nonlinear systems with bounded
disturbances. Reachable sets play a critical role in control, but remain
notoriously challenging to compute, and existing over-approximation tools tend
to be conservative or computationally expensive. In this work, we exactly
characterize the convex hulls of reachable sets as the convex hulls of
solutions of an ordinary differential equation from all possible initial values
of the disturbances. This finite-dimensional characterization unlocks a tight
estimation algorithm to over-approximate reachable sets that is significantly
faster and more accurate than existing methods. We present applications to
neural feedback loop analysis and robust model predictive control
Set Estimation Under Biconvexity Restrictions
A set in the Euclidean plane is said to be biconvex if, for some angle
, all its sections along straight lines with inclination
angles and are convex sets (i.e, empty sets or
segments). Biconvexity is a natural notion with some useful applications in
optimization theory. It has also be independently used, under the name of
"rectilinear convexity", in computational geometry. We are concerned here with
the problem of asymptotically reconstructing (or estimating) a biconvex set
from a random sample of points drawn on . By analogy with the classical
convex case, one would like to define the "biconvex hull" of the sample points
as a natural estimator for . However, as previously pointed out by several
authors, the notion of "hull" for a given set (understood as the "minimal"
set including and having the required property) has no obvious, useful
translation to the biconvex case. This is in sharp contrast with the well-known
elementary definition of convex hull. Thus, we have selected the most commonly
accepted notion of "biconvex hull" (often called "rectilinear convex hull"): we
first provide additional motivations for this definition, proving some useful
relations with other convexity-related notions. Then, we prove some results
concerning the consistent approximation of a biconvex set and and the
corresponding biconvex hull. An analogous result is also provided for the
boundaries. A method to approximate, from a sample of points on , the
biconvexity angle is also given
Polyhedral Surface Approximation of Non-Convex Voxel Sets and Improvements to the Convex Hull Computing Method
In this paper we introduce an algorithm for the creation of polyhedral approximations for objects represented as strongly connected sets of voxels in three-dimensional binary images. The algorithm generates the convex hull of a given object and modifies the hull afterwards by recursive repetitions of generating convex hulls of subsets of the given voxel set or subsets of the background voxels. The result of this method is a polyhedron which separates object voxels from background voxels. The objects processed by this algorithm and also the background voxel components inside the convex hull of the objects are restricted to have genus 0. The second aim of this paper is to present some improvements to our convex hull algorithm to reduce computation time
Minimum Convex Partitions and Maximum Empty Polytopes
Let be a set of points in . A Steiner convex partition
is a tiling of with empty convex bodies. For every integer ,
we show that admits a Steiner convex partition with at most tiles. This bound is the best possible for points in general
position in the plane, and it is best possible apart from constant factors in
every fixed dimension . We also give the first constant-factor
approximation algorithm for computing a minimum Steiner convex partition of a
planar point set in general position. Establishing a tight lower bound for the
maximum volume of a tile in a Steiner convex partition of any points in the
unit cube is equivalent to a famous problem of Danzer and Rogers. It is
conjectured that the volume of the largest tile is .
Here we give a -approximation algorithm for computing the
maximum volume of an empty convex body amidst given points in the
-dimensional unit box .Comment: 16 pages, 4 figures; revised write-up with some running times
improve
Stability and Error Analysis for Optimization and Generalized Equations
Stability and error analysis remain challenging for problems that lack
regularity properties near solutions, are subject to large perturbations, and
might be infinite dimensional. We consider nonconvex optimization and
generalized equations defined on metric spaces and develop bounds on solution
errors using the truncated Hausdorff distance applied to graphs and epigraphs
of the underlying set-valued mappings and functions. In the process, we extend
the calculus of such distances to cover compositions and other constructions
that arise in nonconvex problems. The results are applied to constrained
problems with feasible sets that might have empty interiors, solution of KKT
systems, and optimality conditions for difference-of-convex functions and
composite functions
Singular Continuation: Generating Piece-wise Linear Approximations to Pareto Sets via Global Analysis
We propose a strategy for approximating Pareto optimal sets based on the
global analysis framework proposed by Smale (Dynamical systems, New York, 1973,
pp. 531-544). The method highlights and exploits the underlying manifold
structure of the Pareto sets, approximating Pareto optima by means of
simplicial complexes. The method distinguishes the hierarchy between singular
set, Pareto critical set and stable Pareto critical set, and can handle the
problem of superposition of local Pareto fronts, occurring in the general
nonconvex case. Furthermore, a quadratic convergence result in a suitable
set-wise sense is proven and tested in a number of numerical examples.Comment: 29 pages, 12 figure
- âŚ