Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations

Paulo Ricardo Arantes Gilz 1 Florent Bréhard 1, 2, 3 Clément Gazzino 1
1 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : During guidance and control procedures of orbiting spacecraft, the respect of positioning and space constraints is decisive for successful missions achievement. The development of algorithms capable of fulfilling these constraints is directly related to how precisely the spacecraft trajectories are known. Since accuracy is essential for these procedures, the prevention and estimation of errors arising from approximations and numerical computations become critical. In this context, we consider solving linear ordinary differential equations via rigorous polynomial approximations in Chebyshev series. These are polynomials together with an error bound accounting for both approximation and rounding errors. Our method allows for the computation of validated approximations of the transition matrices describing the evolution of spacecraft trajectories. The proposed approach is employed in the following applications: first, we consider the linearized impulsive rendezvous framework, demonstrating how to use rigorous polynomials approximations to provide a validated propagation of the relative dynamics between spacecraft; this is then exploited for the hovering phases of the spacecraft rendezvous, where we conceive a validated model predictive control based on semi-definite programs. Finally, we propose a semi-analytical transition matrix for a simplified model of geostationary station keeping, linearizing the spacecraft dynamics which take into account the J2 Earth oblateness effect.
Complete list of metadatas

Cited literature [51 references]  Display  Hide  Download
Contributor : Florent Bréhard <>
Submitted on : Tuesday, February 6, 2018 - 4:23:59 PM
Last modification on : Friday, June 14, 2019 - 6:31:18 PM
Long-term archiving on : Friday, May 4, 2018 - 10:54:35 AM


Files produced by the author(s)



Paulo Ricardo Arantes Gilz, Florent Bréhard, Clément Gazzino. Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations. SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩. ⟨hal-01540170v3⟩



Record views


Files downloads