@inproceedings{gor-gou-put-10-aa-zonint,
  author = {Ghorbal, Khalil and Goubault, Eric and Putot, Sylvie},
  title = {A Logical Product Approach to Zonotope Intersection},
  booktitle = {Proceedings of the 22nd International Conference on Computer Aided Verification (CAV 2010)},
  year = 2010,
  isbn = {364214294X},
  url = {https://doi.org/10.1007/978-3-642-14295-6_22},
  doi = {10.1007/978-3-642-14295-6_22},
  pages = {212--226},
  numpages = {15},
  location = {Edinburgh, UK},
  comment = {Important: affine domain intersection},
  abstract = {We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, octagon, linear template or polyhedron domains While abstract transfer functions are still rather inexpensive and accurate even for interpreting non-linear computations, we are able to also interpret tests (i.e intersections) efficiently This fixes a known drawback of zonotopic methods, as used for reachability analysis for hybrid systems as well as for invariant generation in abstract interpretation: intersection of zonotopes are not always zonotopes, and there is not even a best zonotopic over-approximation of the intersection We describe some examples and an implementation of our method in the APRON library, and discuss some further interesting combinations of zonotopes with non-linear or non-convex domains such as quadratic templates and maxplus polyhedra.}
}