Geometric Sets

CORA has a modular design, making it possible to use the capabilities of the various set representations for other purposes besides reachability analysis. The toolbox implements vector set representation, e.g., intervals, zonotopes, Taylor models, and polytopes, as well as matrix set representations such as matrix zonotopes and interval matrices.

Set Representations

$Capsule$ Capsule

$Constrained Polynomial Zonotope$ Constrained Polynomial Zonotope

$Constrained Zonotope$ Constrained Zonotope

$Ellipsoid$ Ellipsoid

$Empty Set$ Empty Set

$Fullspace$ Fullspace

$Interval$ Interval

$Level Set$ Level Set

$Polytope$ Polytope

$Polynomial Zonotope$ Polynomial Zonotope

$Probabilistic Zonotope$ Probabilistic Zonotope

$Taylor Model$ Taylor Model

$Spectrahedral Shadows$ Spectrahedral Shadow

$Zonotope Bundle$ Zonotope Bundle

$Zonotope$ Zonotope

Set Operations

The reachability algorithms implemented in CORA rely on set-based computation. One major design principle is that the same standard set operations are implemented for all set representations so that algorithms can be executed with different set representations. We show some basic set operations here. More information in Section 2.1 in the CORA manual.

Linear Map

The linear map is defined as

mtimes (M, S) = M \otimes S = {M s | s \in S} .

The function $mtimes$ overloads the $*$ operator in MATLAB.

Minkowski Sum

The Minkowski sum is defined as

plus (S_{1}, S_{2}) = S_{1} \oplus S_{2} = {s_{1} + s_{2} | s_{1} \in S_{1}, s_{2} \in S_{2}} .

The function $plus$ overloads the $+$ operator in MATLAB.

Convex Hull

The convex hull is defined as

convHull (S_{1}, S_{2}) = {λ s_{1} + (1 - λ) s_{2} | s_{1} \in S_{1}, s_{2} \in S_{2}, λ \in [0, 1]} .

Plotting

Plotting sets is a useful function to visualize your computations:

plot (S, dims, varargin) .

The function $plot$ allows flexible plotting of your sets, where $dims$ are the dimensions to be plotted and $varargin$ are standard MATLAB plotting parameters.

Further examples can be found at ./examples/contSet on GitHub.

Website by Matthias Althoff, Niklas Kochdumper, Mark Wetzlinger, and Tobias Ladner