Affine Arithmetic

7 February 2014

Abstract

We give a formalization of affine forms as abstract representations of zonotopes. We provide affine operations as well as overapproximations of some non-affine operations like multiplication and division. Expressions involving those operations can automatically be turned into (executable) functions approximating the original expression in affine arithmetic.

Change history

[2015-01-31] added algorithm for zonotope/hyperplane intersection
[2017-09-20] linear approximations for all symbols from the floatarith data type