Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Computing the Minkowski Difference of Zonotopes   Zonotopes are becoming an increasingly popular set representation for formal
verification techniques. This is mainly due to their efficient representation
and their favorable computational complexity of important operations in
high-dimensional spaces. In particular, zonotopes are closed under Minkowski
addition and linear maps, which can be very efficiently implemented.
Unfortunately, zonotopes are not closed under Minkowski difference for
dimensions greater than two. However, we present an algorithm that efficiently
computes a halfspace representation of the Minkowski difference of two
zonotopes. In addition, we present an efficient algorithm that computes an
approximation of the Minkowski difference in generator representation. The
efficiency of the proposed solution is demonstrated by numerical experiments.
These experiments show a reduced computation time in comparison to that when
first the halfspace representation of zonotopes is obtained and the Minkowski
difference is performed subsequently.

37
The categories of this paper are: supr-con
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
28
The categories of this paper are: alg-geom
18
The categories of this paper are: econ