-
Towards verification of uncertain cyber-physical systems
C Radojicic, C Grimm,
A Jantsch... - arXiv preprint arXiv ..., 2017 - arxiv.org
... Affine arithmetic has been used in this context for the static analysis of rounding errors in DSP
... Affine Arithmetic Decision Diagrams We represent hybrid uncertainties by affine arithmetic ...
SQNR estimation of fixed-point DSP algorithms
... The proposed estimator is based on the use of Affine Arithmetic (AA) and it is presented in
two versions: (i) a general version suitable for differentiable nonlinear algorithms, and Linear ...
A ne Arithmetic
Interval arithmetic (IA), also known as interval analysis, is a technique for numerical
computation where each quantity is represented by an interval of oatingpoint numbers. Those ...