10271 Abstracts Collection--Verification over discrete-continuous boundaries

B Becker, L Cardelli, H Hermanns… - Dagstuhl Seminar …, 2010 - drops.dagstuhl.de
… In this approach, parameter variations and tolerances are maintained as symbolic ranges
during numerical simulation runs by using affine arithmetic. Maintaining parameter variations …

Numerical stability analysis of floating-point computations using software model checking

F Ivančić, MK Ganai… - Eighth ACM/IEEE …, 2010 - ieeexplore.ieee.org
Affine arithmetic. Affine arithmetic (AA) is an improvement over IA by tracking dependencies
between variables, thus often providing more precise results than IA [1]. In AA, a quantity x is …

[PDF][PDF] Synthesis and verification of mixed-signal systems with asynchronous control

V Dubikhin, D Sokolov, A Yakovlev - 2019 - async.org.uk
… to the symbolic simulation approach utilizing affine arithmetic to allow the representation of
… Another approach using affine arithmetic, described in [31], tackles the problems of device …

Static analysis of numerical programs: constrained affine sets abstract domain

K Ghorbal - 2011 - pastel.archives-ouvertes.fr
… The affine arithmetic as well as most of its known extensions are covered by Section 3.3.
The Perturbed Affine Sets abstract domain is briefly introduced in Section 3.3. The last section …

Distributed Energy Sources Planning for Micro-Grid Using Slime Mould Algorithm Considering the Uncertainty of the Resources

R Horri, HM Roudsari - 2021 25th Electrical Power Distribution …, 2021 - ieeexplore.ieee.org
Using of distributed generation resources is increasing to improve reliability in power
systems. Benefits such as reducing network losses and pollution have increased the focus on …

Sensitivity analysis of regularised orbit formulations with interval arithmetic

H Urrutxua, Y Souied, J Pelaez Alvarez - Advances in the Astronautical …, 2019 - oa.upm.es
… operation is performed in affine arithmetic, a similar … Hansen’s generalized and affine arithmetic
approximate the … on the input values, affine arithmetic also describes the dependence of …

A non-parametric approach for dynamic range estimation of nonlinear systems

B Wu, FN Najm - Proceedings of the 42nd annual Design Automation …, 2005 - dl.acm.org
… to either no treatment of signal correlation, as in the cases of bitwidth or moment propagation
method, or inadequate treatment of signal correlation, as in the case of affine arithmetic

[PDF][PDF] Multiphase Systems Enhanced DC-Link Capacitor Voltage Balancing Control of DCYAC Multilevel Multileg Converters......... S. Busquets-Monge, R …

AM Rauf, V Khadkikar - researchgate.net
Input-series–output-series(ISOS) system connection of dc–dc converters is suitable for high-input–voltage
and high-output-voltage applications. Input voltage sharing and output voltage …

On the normalization of interval data

R Santiago, F Bergamaschi, H Bustince, G Dimuro… - Mathematics, 2020 - mdpi.com
Affine Arithmetic Developed by Jorge Stolfi and Luiz Figueiredo [4,14], Affine arithmetic (AA)
is a method proposed to overcome the overestimation. The ideal quantities are represented …

Towards the development of a cad tool for the implementation of high-speed embedded mpcs on fpgas

A del Rio Ruiz, K Basterretxea - 2020 European Control …, 2020 - ieeexplore.ieee.org
… The use of affine arithmetic static-analysis models to track and bound round-off errors inside
… -point Designer built-in functions or affine arithmetic (AA) static analysis models to replace …