Exact Sum
LazySets.API.exact_sum
— Methodexact_sum(P1::SparsePolynomialZonotope, P2::SparsePolynomialZonotope)
Compute the exact sum of sparse polyomial zonotopes $P₁$ and $P₂$.
Input
P1
– sparse polynomial zonotopeP2
– 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.