{ "response":{ "numFound":25, "start":0, "numFoundExact":true, "docs":[{ "citationRef_s":"2025", "citationFull_s":"Florent Bréhard, Jasmin Krüger, Adrien Poteaux, Arthur Vinciguerra. Validated numerical Hensel's lifting. 2025. <a target=\"_blank\" href=\"https://hal.science/hal-04955638v1\">&#x27E8;hal-04955638&#x27E9;</a>", "title_s":["Validated numerical Hensel's lifting"], "authFullName_s":["Florent Bréhard","Jasmin Krüger","Adrien Poteaux","Arthur Vinciguerra"], "halId_s":"hal-04955638", "docType_s":"UNDEFINED", "producedDateY_i":2025 },{ "citationRef_s":"2024", "citationFull_s":"Denis Arzelier, Florent Bréhard, Tom Hubrecht, Mioara Joldes. An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations. 2024. <a target=\"_blank\" href=\"https://hal.science/hal-04709615v1\">&#x27E8;hal-04709615&#x27E9;</a>", "title_s":["An Exchange Algorithm for Optimizing both Approximation and Finite-Precision Evaluation Errors in Polynomial Approximations","Un algorithme d'échange pour l'optimisation simultanée des erreur d'approximation et d'évaluation en précision finie de polynômes d'approximation"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Tom Hubrecht","Mioara Joldes"], "halId_s":"hal-04709615", "docType_s":"UNDEFINED", "producedDateY_i":2024 },{ "citationRef_s":"2024", "citationFull_s":"Florent Bréhard, Adrien Poteaux, Jasmin Krüger, Arthur Vinciguerra. Validated numerical Hensel lifting. 2024. <a target=\"_blank\" href=\"https://hal.science/hal-04626388v1\">&#x27E8;hal-04626388&#x27E9;</a>", "title_s":["Validated numerical Hensel lifting","Lemme de Hensel numérique validé"], "authFullName_s":["Florent Bréhard","Adrien Poteaux","Jasmin Krüger","Arthur Vinciguerra"], "halId_s":"hal-04626388", "docType_s":"UNDEFINED", "producedDateY_i":2024 },{ "citationRef_s":"<i>31st IEEE International Symposium on Computer Arithmetic</i>, Jun 2024, Malaga, Spain. pp.96-103, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ARITH61463.2024.00025\">&#x27E8;10.1109/ARITH61463.2024.00025&#x27E9;</a>", "citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes, Marc Mezzarobba. Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm. <i>31st IEEE International Symposium on Computer Arithmetic</i>, Jun 2024, Malaga, Spain. pp.96-103, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/ARITH61463.2024.00025\">&#x27E8;10.1109/ARITH61463.2024.00025&#x27E9;</a>. <a target=\"_blank\" href=\"https://laas.hal.science/hal-04466875v1\">&#x27E8;hal-04466875&#x27E9;</a>", "title_s":["Rounding Error Analysis of an Orbital Collision Probability Evaluation Algorithm"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Mioara Joldes","Marc Mezzarobba"], "halId_s":"hal-04466875", "docType_s":"COMM", "producedDateY_i":2024 },{ "citationRef_s":"<i>Journal of Guidance, Control, and Dynamics</i>, 2024, pp.1-14. <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/1.G008102\">&#x27E8;10.2514/1.G008102&#x27E9;</a>", "citationFull_s":"Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes, Bruno Salvy. Fast and reliable computation of the instantaneous orbital collision probability. <i>Journal of Guidance, Control, and Dynamics</i>, 2024, pp.1-14. <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/1.G008102\">&#x27E8;10.2514/1.G008102&#x27E9;</a>. <a target=\"_blank\" href=\"https://laas.hal.science/hal-04134188v1\">&#x27E8;hal-04134188&#x27E9;</a>", "title_s":["Fast and reliable computation of the instantaneous orbital collision probability"], "authFullName_s":["Matthieu Masson","Denis Arzelier","Florent Bréhard","Mioara Joldes","Bruno Salvy"], "halId_s":"hal-04134188", "docType_s":"ART", "producedDateY_i":2024 },{ "citationRef_s":"<i>ACM Transactions on Mathematical Software</i>, 2024, 50 (1), pp.1 - 38. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3637550\">&#x27E8;10.1145/3637550&#x27E9;</a>", "citationFull_s":"Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. <i>ACM Transactions on Mathematical Software</i>, 2024, 50 (1), pp.1 - 38. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3637550\">&#x27E8;10.1145/3637550&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03561096v2\">&#x27E8;hal-03561096v2&#x27E9;</a>", "title_s":["Efficient and Validated Numerical Evaluation of Abelian Integrals"], "authFullName_s":["Florent Bréhard","Nicolas Brisebarre","Mioara Joldeş","Warwick Tucker"], "halId_s":"hal-03561096", "docType_s":"ART", "producedDateY_i":2024 },{ "citationRef_s":"<i>ISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023</i>, Jul 2023, Tromso, Norway. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3597066.3597122\">&#x27E8;10.1145/3597066.3597122&#x27E9;</a>", "citationFull_s":"Florent Bréhard, Adrien Poteaux, Léo Soudant. Validated Root Enclosures for Interval Polynomials with Multiplicities. <i>ISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023</i>, Jul 2023, Tromso, Norway. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3597066.3597122\">&#x27E8;10.1145/3597066.3597122&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04138791v1\">&#x27E8;hal-04138791&#x27E9;</a>", "title_s":["Validated Root Enclosures for Interval Polynomials with Multiplicities"], "authFullName_s":["Florent Bréhard","Adrien Poteaux","Léo Soudant"], "halId_s":"hal-04138791", "docType_s":"COMM", "producedDateY_i":2023 },{ "citationRef_s":"<i>2nd International Stardust Conference STARCON2</i>, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands", "citationFull_s":"Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fast and reliable computation of the instantaneous orbital collision probability. <i>2nd International Stardust Conference STARCON2</i>, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands. <a target=\"_blank\" href=\"https://laas.hal.science/hal-04240944v1\">&#x27E8;hal-04240944&#x27E9;</a>", "title_s":["Fast and reliable computation of the instantaneous orbital collision probability"], "authFullName_s":["Matthieu Masson","Denis Arzelier","Florent Bréhard","Mioara Joldes"], "halId_s":"hal-04240944", "docType_s":"COMM", "producedDateY_i":2022 },{ "citationRef_s":"<i>60th IEEE Conference on Decision and Control (CDC 2021)</i>, IEEE, Dec 2021, Austin, Texas, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CDC45484.2021.9683445\">&#x27E8;10.1109/CDC45484.2021.9683445&#x27E9;</a>", "citationFull_s":"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. <i>60th IEEE Conference on Decision and Control (CDC 2021)</i>, IEEE, Dec 2021, Austin, Texas, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CDC45484.2021.9683445\">&#x27E8;10.1109/CDC45484.2021.9683445&#x27E9;</a>. <a target=\"_blank\" href=\"https://laas.hal.science/hal-03158347v1\">&#x27E8;hal-03158347&#x27E9;</a>", "title_s":["Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Mioara Joldeş","Jean-Bernard Lasserre","Sohie Laurens","Aude Rondepierre"], "halId_s":"hal-03158347", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"<i>Mathematics in Computer Science</i>, In press", "citationFull_s":"Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. <i>Mathematics in Computer Science</i>, In press. <a target=\"_blank\" href=\"https://hal.science/hal-03161118v1\">&#x27E8;hal-03161118&#x27E9;</a>", "title_s":["A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method"], "authFullName_s":["Florent Bréhard"], "halId_s":"hal-03161118", "docType_s":"ART", "producedDateY_i":2021 },{ "citationRef_s":"2020", "citationFull_s":"Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. 2020. <a target=\"_blank\" href=\"https://hal.science/hal-03161151v1\">&#x27E8;hal-03161151&#x27E9;</a>", "title_s":["A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method"], "authFullName_s":["Florent Bréhard"], "halId_s":"hal-03161151", "docType_s":"UNDEFINED", "producedDateY_i":2020 },{ "citationRef_s":"<i>Journal of Guidance, Control, and Dynamics</i>, 2020, 43 (5), <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/1.G004560\">&#x27E8;10.2514/1.G004560&#x27E9;</a>", "citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes. Comments on \"Series for Collision Probability in Short-Encounter Model\". <i>Journal of Guidance, Control, and Dynamics</i>, 2020, 43 (5), <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/1.G004560\">&#x27E8;10.2514/1.G004560&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02123054v1\">&#x27E8;hal-02123054&#x27E9;</a>", "title_s":["Comments on \"Series for Collision Probability in Short-Encounter Model"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Mioara Joldes"], "halId_s":"hal-02123054", "docType_s":"ART", "producedDateY_i":2020 },{ "citationRef_s":"[Research Report] Rapport LAAS n° 20008, LAAS-CNRS. 2020", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-02444341v1\">&#x27E8;hal-02444341&#x27E9;</a>", "title_s":["Rigorous derivation of Coppola's formula for the computation of the probability of collision between space objects"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Mioara Joldes","Jean-Bernard Lasserre","Aude Rondepierre"], "halId_s":"hal-02444341", "docType_s":"REPORT", "producedDateY_i":2020 },{ "citationRef_s":"<i>ITP 2019 - Tenth International Conference on Interactive Theorem Proving</i>, Sep 2019, Portland, United States. pp.1-19, <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ITP.2019.8\">&#x27E8;10.4230/LIPIcs.ITP.2019.8&#x27E9;</a>", "citationFull_s":"Florent Bréhard, Assia Mahboubi, Damien Pous. A certificate-based approach to formally verified approximations. <i>ITP 2019 - Tenth International Conference on Interactive Theorem Proving</i>, Sep 2019, Portland, United States. pp.1-19, <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ITP.2019.8\">&#x27E8;10.4230/LIPIcs.ITP.2019.8&#x27E9;</a>. <a target=\"_blank\" href=\"https://laas.hal.science/hal-02088529v2\">&#x27E8;hal-02088529v2&#x27E9;</a>", "title_s":["A certificate-based approach to formally verified approximations"], "authFullName_s":["Florent Bréhard","Assia Mahboubi","Damien Pous"], "halId_s":"hal-02088529", "docType_s":"COMM", "producedDateY_i":2019 },{ "citationRef_s":"<i>44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019)</i>, Jul 2019, Pékin, China. pp.66-73", "citationFull_s":"Florent Bréhard, Mioara Joldes, Jean-Bernard Lasserre. On Moment Problems with Holonomic Functions. <i>44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019)</i>, Jul 2019, Pékin, China. pp.66-73. <a target=\"_blank\" href=\"https://hal.science/hal-02006645v1\">&#x27E8;hal-02006645&#x27E9;</a>", "title_s":["On Moment Problems with Holonomic Functions"], "authFullName_s":["Florent Bréhard","Mioara Joldes","Jean-Bernard Lasserre"], "halId_s":"hal-02006645", "docType_s":"COMM", "producedDateY_i":2019 },{ "citationRef_s":"Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. <a target=\"_blank\" href=\"https://www.theses.fr/2019LYSEN032\">&#x27E8;NNT : 2019LYSEN032&#x27E9;</a>", "citationFull_s":"Florent Bréhard. Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle. Numerical Analysis [cs.NA]. Université de Lyon, 2019. English. <a target=\"_blank\" href=\"https://www.theses.fr/2019LYSEN032\">&#x27E8;NNT : 2019LYSEN032&#x27E9;</a>. <a target=\"_blank\" href=\"https://theses.hal.science/tel-02337901v1\">&#x27E8;tel-02337901&#x27E9;</a>", "title_s":["Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle","Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof"], "authFullName_s":["Florent Bréhard"], "halId_s":"tel-02337901", "docType_s":"THESE", "producedDateY_i":2019 },{ "citationRef_s":"<i>ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic</i>, Jun 2019, Kyoto, Japan. pp.1-8", "citationFull_s":"Denis Arzelier, Florent Bréhard, Mioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials. <i>ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic</i>, Jun 2019, Kyoto, Japan. pp.1-8. <a target=\"_blank\" href=\"https://hal.science/hal-02006606v1\">&#x27E8;hal-02006606&#x27E9;</a>", "title_s":["Exchange algorithm for evaluation and approximation error-optimized polynomials"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Mioara Joldes"], "halId_s":"hal-02006606", "docType_s":"COMM", "producedDateY_i":2019 },{ "citationRef_s":"2019", "citationFull_s":"Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker. A New Lower Bound on the Hilbert Number for Quartic Systems. 2019. <a target=\"_blank\" href=\"https://laas.hal.science/hal-02085895v1\">&#x27E8;hal-02085895&#x27E9;</a>", "title_s":["A New Lower Bound on the Hilbert Number for Quartic Systems"], "authFullName_s":["Florent Bréhard","Nicolas Brisebarre","Mioara Joldes","Warwick Tucker"], "halId_s":"hal-02085895", "docType_s":"UNDEFINED", "producedDateY_i":2019 },{ "citationRef_s":"DAJ/AR/EO-2016-6457, LAAS / CNRS; CNES. 2019", "citationFull_s":"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. <a target=\"_blank\" href=\"https://laas.hal.science/hal-02077552v1\">&#x27E8;hal-02077552&#x27E9;</a>", "title_s":["Global Probability of Collision: Problem modeling via occupation measures"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Mioara Joldes","Jean-Bernard Lasserre","Léo Martire","Aude Rondepierre"], "halId_s":"hal-02077552", "docType_s":"REPORT", "producedDateY_i":2019 },{ "citationRef_s":"2019, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:6cdde290b1103523b5da14286df67b8df99b14a4;origin=https://github.com/damien-pous/approx-models;visit=swh:1:snp:0b56d5fef783663a395578bc5fb64f9f8afa0342;anchor=swh:1:rev:2304ba7730fbb293d4cb55f609994d7bdaf4e83f\">&#x27E8;swh:1:dir:6cdde290b1103523b5da14286df67b8df99b14a4;origin=https://github.com/damien-pous/approx-models;visit=swh:1:snp:0b56d5fef783663a395578bc5fb64f9f8afa0342;anchor=swh:1:rev:2304ba7730fbb293d4cb55f609994d7bdaf4e83f&#x27E9;</a>", "citationFull_s":"Damien Pous, Florent Bréhard, Louis Gaillard, Assia Mahboubi. Certified Chebyshev models in Rocq. 2019, <a target=\"_blank\" style=\"word-break: break-all;\" href=\"https://archive.softwareheritage.org/browse/swh:1:dir:6cdde290b1103523b5da14286df67b8df99b14a4;origin=https://github.com/damien-pous/approx-models;visit=swh:1:snp:0b56d5fef783663a395578bc5fb64f9f8afa0342;anchor=swh:1:rev:2304ba7730fbb293d4cb55f609994d7bdaf4e83f\">&#x27E8;swh:1:dir:6cdde290b1103523b5da14286df67b8df99b14a4;origin=https://github.com/damien-pous/approx-models;visit=swh:1:snp:0b56d5fef783663a395578bc5fb64f9f8afa0342;anchor=swh:1:rev:2304ba7730fbb293d4cb55f609994d7bdaf4e83f&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-05008009v1\">&#x27E8;hal-05008009&#x27E9;</a>", "title_s":["Certified Chebyshev models in Rocq"], "authFullName_s":["Damien Pous","Florent Bréhard","Louis Gaillard","Assia Mahboubi"], "halId_s":"hal-05008009", "docType_s":"SOFTWARE", "producedDateY_i":2019 },{ "citationRef_s":"<i>IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium</i>, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9", "citationFull_s":"Romain Serra, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem. <i>IAC 2018 - 69th International Astronautical Congress; IAF Astrodynamics Symposium</i>, International Astronautical Federation, Oct 2018, Bremen, Germany. pp.1-9. <a target=\"_blank\" href=\"https://hal.science/hal-01830253v1\">&#x27E8;hal-01830253&#x27E9;</a>", "title_s":["Fuel-optimal impulsive fixed-time trajectories in the linearized circular restricted 3-body-problem"], "authFullName_s":["Romain Serra","Denis Arzelier","Florent Bréhard","Mioara Joldes"], "halId_s":"hal-01830253", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"<i>ACM Transactions on Mathematical Software</i>, 2018, 44 (4), pp.44:1-44:42. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208103\">&#x27E8;10.1145/3208103&#x27E9;</a>", "citationFull_s":"Florent Bréhard, Nicolas Brisebarre, Mioara Joldes. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations. <i>ACM Transactions on Mathematical Software</i>, 2018, 44 (4), pp.44:1-44:42. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208103\">&#x27E8;10.1145/3208103&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01526272v3\">&#x27E8;hal-01526272v3&#x27E9;</a>", "title_s":["Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations"], "authFullName_s":["Florent Bréhard","Nicolas Brisebarre","Mioara Joldes"], "halId_s":"hal-01526272", "docType_s":"ART", "producedDateY_i":2018 },{ "citationRef_s":"<i>ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation</i>, Jul 2018, New York, United States. pp.103-110, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208976.3209000\">&#x27E8;10.1145/3208976.3209000&#x27E9;</a>", "citationFull_s":"Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems. <i>ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation</i>, Jul 2018, New York, United States. pp.103-110, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3208976.3209000\">&#x27E8;10.1145/3208976.3209000&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01654396v2\">&#x27E8;hal-01654396v2&#x27E9;</a>", "title_s":["A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems"], "authFullName_s":["Florent Bréhard"], "halId_s":"hal-01654396", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"<i>SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting</i>, Jan 2018, Kissimmee, United States. pp.1-23, <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/6.2018-1960\">&#x27E8;10.2514/6.2018-1960&#x27E9;</a>", "citationFull_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. <i>SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting</i>, Jan 2018, Kissimmee, United States. pp.1-23, <a target=\"_blank\" href=\"https://dx.doi.org/10.2514/6.2018-1960\">&#x27E8;10.2514/6.2018-1960&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01540170v3\">&#x27E8;hal-01540170v3&#x27E9;</a>", "title_s":["Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations"], "authFullName_s":["Paulo Ricardo Arantes Gilz","Florent Bréhard","Clément Gazzino"], "halId_s":"hal-01540170", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"<i>20th IFAC Symposium on Automatic Control in Aerospace</i>, Aug 2016, Sherbrooke, Canada. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.ifacol.2016.09.064\">&#x27E8;10.1016/j.ifacol.2016.09.064&#x27E9;</a>", "citationFull_s":"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. <i>20th IFAC Symposium on Automatic Control in Aerospace</i>, Aug 2016, Sherbrooke, Canada. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.ifacol.2016.09.064\">&#x27E8;10.1016/j.ifacol.2016.09.064&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01275427v1\">&#x27E8;hal-01275427&#x27E9;</a>", "title_s":["Linearized Impulsive Fixed-Time Fuel-Optimal Space rendezvous: A New Numerical Approach"], "authFullName_s":["Denis Arzelier","Florent Bréhard","Norbert Deak","Mioara Joldes","Christophe Louembet","Aude Rondepierre","Romain Serra"], "halId_s":"hal-01275427", "docType_s":"COMM", "producedDateY_i":2016 }] } }