Skip to Main content Skip to Navigation
Accreditation to supervise research

Validated symbolic-numeric algorithms and practical applications in aerospace

Mioara Maria Joldes 1
1 LAAS-MAC - Équipe Méthodes et Algorithmes en Commande
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : When computing with finite precision, one strives to achieve accurate and/or guaranteed results without compromising efficiency. For this, we combine symbolic and numerical computation, which leads to the development of specific new computer arithmetic and approximation algorithms. Firstly, at the arithmetics level, we focus on high-precision arithmetic operations, using as basic building blocks the available operators for floating-point arithmetic. We are also interested in problems related to the efficient and reliable implementation and evaluation in fixed-precision of elementary and special functions. Secondly, at the symbolic-numeric level, we focus on effective polynomial approximations together with validated error bounds expressed in Taylor or Chebyshev basis. We exploit approximation algorithms mainly related to D-finite functions i.e., solutions of linear differential equations with polynomial coefficients. The theoretical tools developed above are then applied to problems coming from optimal control and aerospace. A first example consists of a new method to compute the orbital collision probability between two spherical objects involved in a short-term encounter, under Gaussian uncertainty. Another one discusses efficient and validated algorithms for impulsive spacecraft rendezvous. Finally, the obtained results are put in perspective: the goal is to bring more reliable computations in the field of optimal control theory and aerospace applications, by making further use of computer arithmetics, computer algebra and approximation theory tools.
Document type :
Accreditation to supervise research
Complete list of metadata

Cited literature [317 references]  Display  Hide  Download
Contributor : Laas Hal-Laas <>
Submitted on : Wednesday, July 10, 2019 - 10:16:50 AM
Last modification on : Thursday, June 10, 2021 - 3:07:01 AM


JOLDES Mioara HDR.pdf
Files produced by the author(s)


  • HAL Id : tel-02178705, version 1


Mioara Maria Joldes. Validated symbolic-numeric algorithms and practical applications in aerospace. Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019. ⟨tel-02178705⟩



Record views


Files downloads