Affine Arithmetic

Fabian Immler 🌐

February 7, 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.

License

BSD License

History

September 20, 2017
linear approximations for all symbols from the floatarith data type
January 31, 2015
added algorithm for zonotope/hyperplane intersection

Topics

Session Affine_Arithmetic