Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects

Denis Arzelier (1) , Florent Bréhard (2) , Mioara Joldes (2) , Jean-Bernard Lasserre (2) , Aude Rondepierre (2)

1 LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes
2 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande

Mots clés: collision probability; measure theory

Domaines: Automatique; Probabilités [math.PR]

Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre. Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects. [Research Report] Rapport LAAS n° 20008, LAAS-CNRS. 2020. ⟨hal-02444341⟩