Determining divisibility between polynomials with inexact coefficients
H Nakayama, H Sekigawa - ACM Communications in Computer Algebra, 2010 - dl.acm.org
… i, and evaluate the lower and upper bounds using affine arithmetic [1, 6]. By partially replacing
the substitutions of intervals with points and using affine arithmetic, the spread of intervals …
the substitutions of intervals with points and using affine arithmetic, the spread of intervals …
Forward inner-approximated reachability of non-linear continuous systems
E Goubault, S Putot - Proceedings of the 20th international conference …, 2017 - dl.acm.org
… The symbolic information included in our model when we evaluate the Taylor models with
affine arithmetic, will allow us to use existing work on the inner-approximation of joint range of …
affine arithmetic, will allow us to use existing work on the inner-approximation of joint range of …
Inner approximated reachability analysis
… We can now use our outer approximation methods using affine arithmetic to get an inner …
real numbers based on generalized affine arithmetic. In SAS, pages 137–152, 2007. [18] E. …
real numbers based on generalized affine arithmetic. In SAS, pages 137–152, 2007. [18] E. …
Performance Bound Analysis of Variational Linearized Analog Circuits
… 2 gives a review on interval arithmetic and affine arithmetic. The presented performance
bound … Next we show how affine arithmetic can be applied to compute the variational transfer …
bound … Next we show how affine arithmetic can be applied to compute the variational transfer …
[HTML][HTML] Arpra: An Arbitrary Precision Range Analysis Library
… network simulations, we have developed the Arpra library: an open source C library for
arbitrary precision range analysis based on the mixed Interval Arithmetic (IA)/Affine Arithmetic (AA…
arbitrary precision range analysis based on the mixed Interval Arithmetic (IA)/Affine Arithmetic (AA…
[HTML][HTML] A reliable computing framework for dynamic line rating of overhead lines
… This is obtained by deploying a solution paradigm based on affine arithmetic (AA), which is
an enhanced paradigm for range analysis. The main benefit of AA is that, unlike standard IM, …
an enhanced paradigm for range analysis. The main benefit of AA is that, unlike standard IM, …
Towards formal validation: Symbolic simulation of SystemC models
C Radojicic, T Purusothaman… - 2015 10th International …, 2015 - ieeexplore.ieee.org
… XAAF implements control- and data flow operations of C++ on (Extended) Affine Arithmetic
Forms. Its basic form is mostly identical to the general form of uncertainties from the previous …
Forms. Its basic form is mostly identical to the general form of uncertainties from the previous …
An efficient hybrid engine to perform range analysis and allocate integer bit-widths for arithmetic circuits
Y Pang, K Radecka, Z Zilic - 16th Asia and South Pacific …, 2011 - ieeexplore.ieee.org
… The affine arithmetic model (AA) is a derivation of IA, in which the quantities of interest are
… following sections that rely on interval and affine arithmetic. 2.1Intervaland Affine Arithmetic …
… following sections that rely on interval and affine arithmetic. 2.1Intervaland Affine Arithmetic …
[PDF][PDF] Hybrid particle swarm optimization and firefly algorithm for distributed generators placements in radial distribution system
G Rajeshkumar - Journal of Computational Mechanics, Power …, 2019 - publisher.resbee.org
… for complex affine multiplication of affine arithmetic based distribution power flow study that
does … The developed enhanced affine arithmetic based distribution power flow analysis was …
does … The developed enhanced affine arithmetic based distribution power flow analysis was …
Computational bit-width allocation for operations in vector calculus
AB Kinsman, N Nicolici - 2009 IEEE International Conference …, 2009 - ieeexplore.ieee.org
… , such as division (common in numerical algorithms), can lead to severe over-allocation
and even indeterminacy for the existing formal methods based on interval or affine arithmetic. …
and even indeterminacy for the existing formal methods based on interval or affine arithmetic. …