-
Simulation and verification of hybrid systems using hyson
O Bouissou,
A Chapoutot... - ... International Workshop on ..., 2014 - lix.polytechnique.fr
... In order to represent sets of reals, we use affine arithmetic [9]: it is a refinement over interval
arithmetic [18] which is able to keep track of linear correlations between variables. A set of ...
MESTRADO EM ENGENHARIA ELÉTRICA
AIAÀS DO, FDEPVIAE DE, I DE CORRENTE - repositorio.ufjf.br
... , based on the use of affine arithmetic. This alternative technique has been developed to
improve the self-validated numerical analysis. Within affine arithmetic, the quantities of interest ...
Sound compilation of reals
... For completeness of presentation, we first review interval and affine arithmetic which are ...
that can be a more precise substitute for interval or affine arithmetic. Finally, we continue with a ...