A verified enclosure for the Lorenz attractor (rough diamond)
F Immler - International Conference on Interactive Theorem …, 2015 - Springer
… Instead of rectangles we use zonotopes (our algorithm is based on affine arithmetic [1] instead
of interval arithmetic). Numerical computations are carried out with software floating point …
of interval arithmetic). Numerical computations are carried out with software floating point …
Applications of Interval-Based Simulations to the Analysis and Design of Digital LTI Systems
JA López, E Sedano, L Esteban… - … of Digital Signal …, 2011 - books.google.com
… Intervals (DIs) and Modal Intervals (MIs); in the second group, Generalized IA (GIA); and in
the third group, Mean Value Forms (MVFs), slopes, Taylor Models (TMs) and Affine Arithmetic …
the third group, Mean Value Forms (MVFs), slopes, Taylor Models (TMs) and Affine Arithmetic …
[HTML][HTML] A review of enabling methodologies for information processing in smart grids
A Vaccaro, I Pisica, LL Lai, AF Zobaa - … Journal of Electrical Power & Energy …, 2019 - Elsevier
The deployment of traditional computing, control and monitoring paradigms in modern smart
grids is characterized by several severe limitations. These could restrict their capability to …
grids is characterized by several severe limitations. These could restrict their capability to …
Improvements on the applicability of nonlinear constraint solvers
L De Koninck, B Demoen - Proceedings of the CP 2006 Doctoral …, 2006 - lirias.kuleuven.be
… We plan to investigate further improvements on amongst others interval extensions, other
representations connected to interval arithmetic like affine arithmetic [5], scheduling algorithms …
representations connected to interval arithmetic like affine arithmetic [5], scheduling algorithms …
On harmonic state estimation of power system with uncertain network parameters
C Rakpenthai, S Uatrongjit, NR Watson… - … on power systems, 2013 - ieeexplore.ieee.org
… is rarely known, in many situations, one could consider the network parameters to be within
some certain bounds, ie, the network parameter can be represented in affine arithmetic [24] …
some certain bounds, ie, the network parameter can be represented in affine arithmetic [24] …
[HTML][HTML] Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
I Araya, V Reyes - Journal of Global Optimization, 2016 - Springer
… Soares [113] proposes using affine arithmetic instead of interval arithmetic to maintain the
linear dependence among variables. There are several different ways to linearize the system, …
linear dependence among variables. There are several different ways to linearize the system, …
Parameter domain pruning for improving convergence of synthesis algorithms
H Tang, A Doboli - 2005 IEEE International Symposium on …, 2005 - ieeexplore.ieee.org
This paper presents a parameter domain pruning method. Parameter domain pruning aims
to identify parameter sub-domains that are more likely to produce feasible and good design …
to identify parameter sub-domains that are more likely to produce feasible and good design …
A symbolic noise analysis approach to word-length optimization in DSP hardware
A Ahmadi, M Zwolinski - 2007 International Symposium on …, 2007 - ieeexplore.ieee.org
… with affine arithmetic model," in ASP-DAC'06, 2006, pp. 886-891. Design IV A … Kreinovich,
and SA Starks, "Interval arithmetic, affine arithmetic, taylor series methods: Why, what next," …
and SA Starks, "Interval arithmetic, affine arithmetic, taylor series methods: Why, what next," …
Efi5ff,* iii ff T wff
Y Lan, I Lily, S Chamber - ieeexplore.ieee.org
The following papers are dealt with: nanometer digital circuits thermal-aware design; signal
processing for communications; RF IC design; MEMS & computer-aided design; circuits and …
processing for communications; RF IC design; MEMS & computer-aided design; circuits and …
Verification of loop and arithmetic transformations of array-intensive behaviors
C Karfa, K Banerjee, D Sarkar… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
… A symbolic simulation-based approach is proposed in [17] for verification of loop transformations
for programs with no recurrence and with affine arithmetic on indices and bounds. This …
for programs with no recurrence and with affine arithmetic on indices and bounds. This …