References in raw/Page_91.html

-
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 ...
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 ...
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 ...
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 ...
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] ...
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, ...
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 ...
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," ...
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 ...
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 ...