A Logical Product Approach to Zonotope Intersection

@inproceedings{Ghorbal2010ALP,
  title={A Logical Product Approach to Zonotope Intersection},
  author={Khalil Ghorbal and Eric Goubault and Sylvie Putot},
  booktitle={CAV},
  year={2010}
}
We define and study a new abstract domain which is a fine-graine d combination of zonotopes with polyhedric domains such as th e interval, octagon, linear templates or polyhedron domain. While abstract tran sfer functions are still rather inexpensive and accurate even for interpreting nonli ear computations, we are able to also interpret tests (i.e. intersections) effici ntly. This fixes a known drawback of zonotopic methods, as used for reachability ana lysis for hybrid systems as well as for… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

54 Citations

051015'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…