Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Communication Dans Un Congrès Année : 2024

Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm

Résumé

We present an error analysis of an algorithm due to Serra et al. (Journal of Guidance Control and Dynamics, 2016) for computing the orbital collision probability in the short term encounter model. The algorithm reduces the numerical computation of the collision probability to that of the sum of a series whose coecients are produced by a linear recurrence relation, and is specically designed to avoid cancellation issues in the evaluation of the sum. The authors derived a bound on the method error arising from the truncation of the series, and observed experimentally that the computation of the terms of the sum is numerically stable, but did not study the evaluation error. Here we give a rigorous bound on the accumulated rounding error when Serra et al.'s algorithm is implemented in oating-point arithmetic. For a unit roundo u and a truncation order N , the bound is of the form (N + A)u + o(u) where A is an explicit constant depending on the problem parameters and o(u) stands for explicitly bounded small terms compared to u. Our analysis is based on the observation that the generating series of the errors aecting each individual term is solution to a perturbed form of a dierential equation satised by the Laplace transform of a function related to the collision probability.
Fichier principal
Vignette du fichier
arith2024_hal.pdf (632.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04466875 , version 1 (19-02-2024)

Identifiants

Citer

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. 31st IEEE International Symposium on Computer Arithmetic, Jun 2024, Malaga, Spain. pp.96-103, ⟨10.1109/ARITH61463.2024.00025⟩. ⟨hal-04466875⟩
159 Consultations
94 Téléchargements

Altmetric

Partager

More