Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability
  Analysis   We introduce sparse polynomial zonotopes, a new set representation for formal
verification of hybrid systems. Sparse polynomial zonotopes can represent
non-convex sets and are generalizations of zonotopes, polytopes, and Taylor
models. Operations like Minkowski sum, quadratic mapping, and reduction of the
representation size can be computed with polynomial complexity w.r.t. the
dimension of the system. In particular, for reachability analysis of nonlinear
systems, the wrapping effect is substantially reduced using sparse polynomial
zonotopes, as demonstrated by numerical examples. In addition, we can
significantly reduce the computation time compared to zonotopes when dealing
with nonlinear dynamics.

36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
28
The categories of this paper are: alg-geom
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio