Automatic accuracy-guaranteed bit-width optimization for fixed and floating-point systems
WG Osborne, RCC Cheung… - … Conference on Field …, 2007 - ieeexplore.ieee.org
… affine arithmetic are designed to optimize. The range analysis stage in our system combines
interval and affine arithmetic … interval arithmetic, whereas it does if you use affine arithmetic. …
interval and affine arithmetic … interval arithmetic, whereas it does if you use affine arithmetic. …
A generic scheme for combining multiple inclusion representations in numerical constraint propagation
XH Vu, D Sam-Haroud, BV Faltings - 2004 - infoscience.epfl.ch
… In order to illustrate the flexibility and efficiency of the proposed scheme, in Section 4 we
propose improvements on affine arithmetic and then devise from the scheme several new …
propose improvements on affine arithmetic and then devise from the scheme several new …
A mixed interval power flow analysis under rectangular and polar coordinate system
C Zhang, H Chen, H Ngan, P Yang… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
… It is based on affine arithmetic which is a self-validated numerical analysis and serves to
improve the interval results through optimization method. Since no approximation is presumed, …
improve the interval results through optimization method. Since no approximation is presumed, …
[HTML][HTML] On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic
… This paper introduces several linear relaxations using gradient information and Affine
Arithmetic and experimentally studies their efficiency compared to traditional lower bounds …
Arithmetic and experimentally studies their efficiency compared to traditional lower bounds …
Affine Iterations and Wrapping Effect: Various Approaches
N Revol - arXiv preprint arXiv:2201.00513, 2022 - arxiv.org
… The other technique is the use of affine arithmetic, as advocated by Rump in a private
communication. In the experimental results presented below, each technique is associated to a …
communication. In the experimental results presented below, each technique is associated to a …
[PDF][PDF] Verified reachability analysis of continuous systems
F Immler - International Conference on Tools and Algorithms for …, 2015 - Springer
… We build on our formalization of affine arithmetic and the Euler method [15]. The verification
is carried out with respect to the theory of ODEs in the interactive theorem prover Isabelle/…
is carried out with respect to the theory of ODEs in the interactive theorem prover Isabelle/…
Interval power flow calculation algorithm for multi‐terminal dc distribution networks considering distributed generation output uncertainties
Q Liu, S Wang, Q Zhao, K Wang - … Generation, Transmission & …, 2021 - Wiley Online Library
… algorithm and affine arithmetic, an interval PFC algorithm is presented to handle the
uncertainties of distributed generation output powers and loads. The affine arithmetic based interval …
uncertainties of distributed generation output powers and loads. The affine arithmetic based interval …
Affine‐Contractor Approach to Handle Nonlinear Dynamical Problems in Uncertain Environment
NR Mahato, S Rout… - Mathematical Methods in …, 2020 - Wiley Online Library
… interval dependency problem, affine arithmetic, and its applications. … [19] handled interval-type
and affine arithmetic-type … Next, we consider an example to show that how affine arithmetic …
and affine arithmetic-type … Next, we consider an example to show that how affine arithmetic …
[PDF][PDF] AFFINE ANALYSIS FOR UNCERTAINTY OF GAS LOAD IN INTEGRATED ELECTRICAL AND NATURAL-GAS SYSTEM
S Yuan, S Wang, K Wang - 2019 - energy-proceedings.org
… This paper proposes an affine arithmetic-based method to analyze the influence by fluctuation
of gas load for IENGS which is composed of distribution network and low-pressure gas …
of gas load for IENGS which is composed of distribution network and low-pressure gas …
Automatically Generated Nonlinear Analog Circuit Models Enclosing Variations with Intervals and Affine Forms for Reachability Analysis
M Rechmal-Lesse, GA Koroa… - … on Design and …, 2020 - ieeexplore.ieee.org
… This paper is structured as follows: First we describe the necessary background on
reachability analysis, interval arithmetic and affine arithmetic in Sec. II. Then we present the …
reachability analysis, interval arithmetic and affine arithmetic in Sec. II. Then we present the …