Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Quadratic Zonotopes:An extension of Zonotopes to Quadratic Arithmetics
(Submitted on 21 Nov 2014 (v1), last revised 28 Mar 2015 (this version, v2))
Abstract: Affine forms are a common way to represent convex sets of $\mathbb{R}$ using a base of error terms $\epsilon \in [-1, 1]^m$. Quadratic forms are an extension of affine forms enabling the use of quadratic error terms $\epsilon_i \epsilon_j$.
In static analysis, the zonotope domain, a relational abstract domain based on affine forms has been used in a wide set of settings, e.g. set-based simulation for hybrid systems, or floating point analysis, providing relational abstraction of functions with a cost linear in the number of errors terms.
In this paper, we propose a quadratic version of zonotopes. We also present a new algorithm based on semi-definite programming to project a quadratic zonotope, and therefore quadratic forms, to intervals. All presented material has been implemented and applied on representative examples.
Submission history
From: Pierre-Loïc Garoche [view email][v1] Fri, 21 Nov 2014 12:43:01 GMT (52kb)
[v2] Sat, 28 Mar 2015 20:26:26 GMT (170kb)
Link back to: arXiv, form interface, contact.