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
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 ...
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...
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 ...
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. ...
Generated on 2022-05-21 12:15:46 by cleanup_scholar_page_pass_1.sh