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 …

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 …

Inner approximated reachability analysis

E Goubault, O Mullier, S Putot, M Kieffer - Proceedings of the 17th …, 2014 - dl.acm.org
… 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. …

Performance Bound Analysis of Variational Linearized Analog Circuits

R Shen, SXD Tan, H Yu - … and Modeling Techniques for Nanometer VLSI …, 2012 - Springer
… 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 …

[HTML][HTML] Arpra: An Arbitrary Precision Range Analysis Library

JP Turner, T Nowotny - Frontiers in Neuroinformatics, 2021 - frontiersin.org
… 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…

[HTML][HTML] A reliable computing framework for dynamic line rating of overhead lines

EM Carlini, C Pisani, A Vaccaro, D Villacci - Electric Power Systems …, 2016 - Elsevier
… 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, …

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 …

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

[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 …

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. …