2024

Preprints, Working Papers, ...

Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. 2024. ⟨hal-04466875⟩

2023

Journal articles

Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, In press, ⟨10.1145/3637550⟩. ⟨hal-03561096v2⟩

Conference papers

Matthieu Masson, Denis Arzelier, Mioara Joldes, Bruno Revelin, Jérôme Thomassin. Multi-maneuvers algorithms for multi-risk collision avoidance via nonconvex quadratic optimization. IFAC World Congress 2023, Jul 2023, Yokohama, Japan. ⟨hal-03847541⟩

Preprints, Working Papers, ...

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy. Fast and reliable computation of the instantaneous orbital collision probability. 2023. ⟨hal-04134188⟩

2022

Conference papers

Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fast and reliable computation of the instantaneous orbital collision probability. 2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands. ⟨hal-04240944⟩

Mioara Joldes. Validated Numerics:Algorithms and Practical Applications in Aerospace. ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.1-2, ⟨10.1145/3476446.3535505⟩. ⟨hal-03762945⟩

2021

Journal articles

Mioara Joldeş, Bogdan Pasca. Efficient Floating-Point Implementation of the Probit Function on FPGAs. Journal of Signal Processing Systems, 2021, 93 (12), pp.1387-1403. ⟨hal-03385845⟩

Conference papers

Denis Arzelier, Florent Bréhard, Mioara Joldeş, Jean-Bernard Lasserre, Sohie Laurens, et al.. Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. 60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩. ⟨hal-03158347⟩

2020

Journal articles

Nicolas Brisebarre, Mioara Joldes, Jean-Michel Muller, Ana-Maria Naneş, Joris Picot. Error analysis of some operations involved in the Cooley-Tukey Fast Fourier Transform. ACM Transactions on Mathematical Software, 2020, 46 (2), pp.1-34. ⟨10.1145/3368619⟩. ⟨hal-01949458v2⟩

Denis Arzelier, Florent Bréhard, Mioara Joldes. Comments on "Series for Collision Probability in Short-Encounter Model". Journal of Guidance, Control, and Dynamics, 2020, 43 (5), ⟨10.2514/1.G004560⟩. ⟨hal-02123054⟩

Conference papers

Mioara Joldeş, Jean-Michel Muller. Algorithms for manipulating quaternions in floating-point arithmetic. ARITH-2020 - IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.1-8, ⟨10.1109/ARITH48897.2020.00016⟩. ⟨hal-02470766v2⟩

Mioara Joldes, Bogdan Pasca. Efficient Floating-Point Implementation of the Probit Function on FPGAs. 31st IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2020, Jul 2020, Manchester, United Kingdom. ⟨10.1109/ASAP49362.2020.00036⟩. ⟨hal-02875528⟩

Reports

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⟩

2019

Journal articles

Paulo Ricardo Arantes Gilz, Mioara Maria Joldes, Christophe Louembet, Frédéric Camps. Stable Model Predictive Strategy for Rendezvous Hovering Phases Allowing for Control Saturation. Journal of Guidance, Control, and Dynamics, 2019, 42 (8), ⟨10.2514/1.G003558⟩. ⟨hal-01678768v2⟩

Conference papers

Denis Arzelier, Florent Bréhard, Mioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials. ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8. ⟨hal-02006606⟩

Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre. On Moment Problems with Holonomic Functions. 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73. ⟨hal-02006645⟩

Other documents

Dimitri Peaucelle, Marie-José Huguet, Yannick Pencolé, Christian Artigues, Emmanuel Hébrard, et al.. Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS. Rapport LAAS n° 19270. 2019. ⟨hal-02295816⟩

PhD thesis, HDR

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

Reports

Denis Arzelier, Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre, Léo Martire, et al.. Global Probability of Collision: Problem modeling via occupation measures. DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019. ⟨hal-02077552⟩

Preprints, Working Papers, ...

Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker. A New Lower Bound on the Hilbert Number for Quartic Systems. 2019. ⟨hal-02085895⟩

2018

Journal articles

Florent Bréhard, Nicolas Brisebarre, Mioara Joldes. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations. ACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩. ⟨hal-01526272v3⟩

Books

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, et al.. Handbook of Floating-point Arithmetic (2nd edition). Birkhäuser Basel, pp.1-627, 2018, 978-3319765259. ⟨10.1007/978-3-319-76526-6⟩. ⟨hal-01766584⟩

Conference papers

Frédéric Camps, Paulo Ricardo Arantes Gilz, Mioara Joldes, Christophe Louembet. Embedding a SDP-based control algorithm for the orbital rendezvous hovering phases. International Conference on Integrated Navigation Systems (ICINS 2018), May 2018, Saint Petersburg, Russia. 10p. ⟨hal-01729956⟩

Romain Serra, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem. IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9. ⟨hal-01830253⟩

2017

Journal articles

Mioara Maria Joldes, Jean-Michel Muller, Valentina Popescu. Tight and rigorous error bounds for basic building blocks of double-word arithmetic. ACM Transactions on Mathematical Software, 2017, 44 (2), pp.1 - 27. ⟨10.1145/3121432⟩. ⟨hal-01351529v3⟩

Alexandre Benoit, Mioara Joldes, Marc Mezzarobba. Rigorous uniform approximation of D-finite functions using Chebyshev expansions. Mathematics of Computation, 2017, 86 (305), pp.1303-1341. ⟨hal-01022420⟩

Conference papers

Paulo Ricardo Arantes Gilz, Mioara Joldes, Christophe Louembet, Frédéric Camps. Model predictive control for rendezvous hovering phases based on a novel description of constrained trajectories. IFAC World Congress, Jul 2017, Toulouse, France. pp.7490-7495. ⟨hal-01484764⟩

Sylvie Boldo, Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Formal Verification of a Floating-Point Expansion Renormalization Algorithm. 8th International Conference on Interactive Theorem Proving (ITP'2017), Sep 2017, Brasilia, Brazil. ⟨hal-01512417⟩

Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming. IEEE Symposium on Computer Arithmetic (Arith24), Jul 2017, London, United Kingdom. ⟨hal-01491255v2⟩

2016

Journal articles

Mioara Joldes, Olivier Marty, Jean-Michel Muller, Valentina Popescu. Arithmetic algorithms for extended precision using floating-point expansions. IEEE Transactions on Computers, 2016, 65 (4), pp.1197 - 1210. ⟨10.1109/TC.2015.2441714⟩. ⟨hal-01111551v2⟩

Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters. Journal of Guidance, Control, and Dynamics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩. ⟨hal-01132149⟩

Conference papers

Denis Arzelier, Florent Bréhard, Norbert Deak, Mioara Joldes, Christophe Louembet, et al.. Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach. 20th IFAC Symposium on Automatic Control in Aerospace, Aug 2016, Sherbrooke, Canada. ⟨10.1016/j.ifacol.2016.09.064⟩. ⟨hal-01275427⟩

Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker. CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. 5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany. ⟨hal-01312858⟩

Caroline Collange, Mioara Joldes, Jean-Michel Muller, Valentina Popescu. Parallel floating-point expansions for extended-precision GPU computations. The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom. ⟨hal-01298206⟩

2015

Book sections

Romain Serra, Denis Arzelier, Mioara Joldes, Aude Rondepierre. Probabilistic Collision Avoidance for Long-term Space Encounters via Risk Selection. Advances in Aerospace Guidance, Navigation and Control, 2015. ⟨hal-01995936⟩

Reports

Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. A Power Series Expansion based Method to compute the Probability of Collision for Short-term Space Encounters. [Research Report] LAAS-CNRS. 2015. ⟨hal-01131384v2⟩

2014

Conference papers

Mioara Joldes, Jean-Michel Muller, Valentina Popescu. On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration. 25th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP, Jun 2014, Zurich, Switzerland. pp.8. ⟨hal-00957379⟩

Romain Serra, Denis Arzelier, Mioara Joldes, Jean-Bernard Lasserre, Aude Rondepierre, et al.. A New Method to Compute the Probability of Collision for Short-term Space Encounters. AIAA/AAS Astrodynamics Specialist Conference, Aug 2014, San Diego, United States. 6p., ⟨10.2514/6.2014-4366⟩. ⟨hal-01092420⟩