GitHub

Minkowski Sum

LazySets.API.minkowski_sum — Method
minkowski_sum(X::LazySet, Y::LazySet)

Compute the Minkowski sum of two sets.

Input

  • X – set
  • Y – set

Output

A set representing the Minkowski sum $X ⊕ Y$.

Notes

The Minkowski sum of two sets $X$ and $Y$ is defined as

\[ X ⊕ Y = \{x + y \mid x ∈ X, y ∈ Y\}.\]

source
LazySets.API.minkowski_sum — Method

Extended help

minkowski_sum(PZ::DensePolynomialZonotope, Z::AbstractZonotope)

Output

A DensePolynomialZonotope.

Algorithm

The polynomial zonotope's center is the sum of the centers of PZ and Z, and its generators are the concatenation of the generators of PZ and Z.

source