-
Numerical analysis of robot dynamics algorithms
M Li - 2012 - openresearch-repository.anu.edu.au
... In addition, we use the CESTAC (Controle et Estimation Stochastique des Arrondic de
Calculs) and the affine arithmetic (AA) to estimate the propagation of round-off errors in robot ...
Mathematical programming based debugging
... The main innovation proposed in this paper is that, at least for computer programs with
integer affine arithmetic, our approach provides both an optimality guarantee for all such ...
Hyson: Set-based simulation of hybrid systems
... Of course as xk and xk+1 are sets encoded in affine arithmetic, we will compute a time
interval [tl, tr] that contains all the possible zero-crossing instants for any approximate trajectory ...