Exact Sum

⊞(X::LazySet, Y::LazySet)

Unicode alias constructor for the (concrete) exact_sum function.

Notes

Write \boxplus[TAB] to enter this symbol.

exact_sum(P1::SparsePolynomialZonotope, P2::SparsePolynomialZonotope)

Compute the exact sum of sparse polyomial zonotopes $P₁$ and $P₂$.

Input

• P1 – sparse polynomial zonotope
• P2 – sparse polynomial zonotope

Output

A SparsePolynomialZonotope representing the exact sum $P₁ ⊞ P₂$.

Algorithm

This method implements Proposition 3.1.20 in [1].

[1] Kochdumper, Niklas. Extensions of polynomial zonotopes and their application to verification of cyber-physical systems. PhD diss., Technische Universität München, 2022.