Reachability with polynomial zonotopes for nonlinear ODEs (KA19)

[mforets]

Set representations

• PolynomialZonotopes.jl in JuliaReach Polynomial Zonotope in LazySets

• new SparsePolynomialZonotope in LazySets (?)

• Representation of Polytopes as Polynomial Zonotopes, https://arxiv.org/pdf/1910.07271.pdf

Algorithms

• Reachability analysis of nonlinear systems using conservative polynomialization and nonconvex sets (A13)

• Utilizing Dependencies to Obtain Subsets of Reachable Sets, https://arxiv.org/pdf/1910.08354.pdf

• Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis, https://arxiv.org/abs/1901.01780 <<< see section III A

[mforets]

cc: @SebastianGuadalupe