Zonotope overapproximation of zonotope-polyhedron intersection

[schillic]

• ~Ghorbal, Goubault, Putot - The zonotope abstract domain Taylor1+ (2009).~
• ~Ghorbal, Goubault, Putot - A logical product approach to zonotope intersection (2010).~

EDIT: I checked these references and could not find an algorithm for this problem in there.

• Zonotope-based recursive estimation of the feasible solution set for linear static systems with additive and multiplicative uncertainties
  • arXiv: 1706.06027
• A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems

[mforets]

somehow related reference: http://www-ljk.imag.fr/membres/Antoine.Girard/Publications/hscc2008b.pdf