Florent Bréhard
21
Documents
Publications
|
Validated Root Enclosures for Interval Polynomials with MultiplicitiesISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromso, Norway. ⟨10.1145/3597066.3597122⟩
Communication dans un congrès
hal-04138791v1
|
|
Fast and reliable computation of the instantaneous orbital collision probability2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands
Communication dans un congrès
hal-04240944v1
|
|
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩
Communication dans un congrès
hal-03158347v1
|
|
On Moment Problems with Holonomic Functions44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Jul 2019, Pékin, China. pp.66-73
Communication dans un congrès
hal-02006645v1
|
|
A certificate-based approach to formally verified approximationsITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩
Communication dans un congrès
hal-02088529v2
|
|
Exchange algorithm for evaluation and approximation error-optimized polynomialsARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
Communication dans un congrès
hal-02006606v1
|
|
Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problemIAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9
Communication dans un congrès
hal-01830253v1
|
|
Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series ApproximationsSCITECH 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⟩
Communication dans un congrès
hal-01540170v3
|
|
A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential SystemsISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
Communication dans un congrès
hal-01654396v2
|
|
Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach20th IFAC Symposium on Automatic Control in Aerospace, Aug 2016, Sherbrooke, Canada. ⟨10.1016/j.ifacol.2016.09.064⟩
Communication dans un congrès
hal-01275427v1
|
|
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelleNumerical Analysis [cs.NA]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN032⟩
Thèse
tel-02337901v1
|
|
Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm2024
Pré-publication, Document de travail
hal-04466875v1
|
|
Fast and reliable computation of the instantaneous orbital collision probability2023
Pré-publication, Document de travail
hal-04134188v1
|
|
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method2020
Pré-publication, Document de travail
hal-03161151v1
|
A New Lower Bound on the Hilbert Number for Quartic Systems2019
Pré-publication, Document de travail
hal-02085895v1
|
|
Efficient and Validated Numerical Evaluation of Abelian IntegralsACM Transactions on Mathematical Software, inPress, ⟨10.1145/3637550⟩
Article dans une revue
hal-03561096v2
|
|
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard MethodMathematics in Computer Science, In press
Article dans une revue
hal-03161118v1
|
|
Comments on "Series for Collision Probability in Short-Encounter Model"Journal of Guidance, Control, and Dynamics, 2020, 43 (5), ⟨10.2514/1.G004560⟩
Article dans une revue
hal-02123054v1
|
|
Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equationsACM Transactions on Mathematical Software, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
Article dans une revue
hal-01526272v3
|
|
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
Rapport
hal-02444341v1
|
Global Probability of Collision: Problem modeling via occupation measuresDAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019
Rapport
hal-02077552v1
|