Showing 1–29 of 29 results for author: Izzo, D

EclipseNETs: Learning Irregular Small Celestial Body Silhouettes

Authors: Giacomo Acciarini, Dario Izzo, Francesco Biscani

Abstract: Accurately predicting eclipse events around irregular small bodies is crucial for spacecraft navigation, orbit determination, and spacecraft systems management. This paper introduces a novel approach leveraging neural implicit representations to model eclipse conditions efficiently and reliably. We propose neural network architectures that capture the complex silhouettes of asteroids and comets wi… ▽ More Accurately predicting eclipse events around irregular small bodies is crucial for spacecraft navigation, orbit determination, and spacecraft systems management. This paper introduces a novel approach leveraging neural implicit representations to model eclipse conditions efficiently and reliably. We propose neural network architectures that capture the complex silhouettes of asteroids and comets with high precision. Tested on four well-characterized bodies - Bennu, Itokawa, 67P/Churyumov-Gerasimenko, and Eros - our method achieves accuracy comparable to traditional ray-tracing techniques while offering orders of magnitude faster performance. Additionally, we develop an indirect learning framework that trains these models directly from sparse trajectory data using Neural Ordinary Differential Equations, removing the requirement to have prior knowledge of an accurate shape model. This approach allows for the continuous refinement of eclipse predictions, progressively reducing errors and improving accuracy as new trajectory data is incorporated. △ Less

Submitted 6 April, 2025; originally announced April 2025.

Continuous Design and Reprogramming of Totimorphic Structures for Space Applications

Authors: Dominik Dold, Amy Thomas, Nicole Rosi, Jai Grover, Dario Izzo

Abstract: Recently, a class of mechanical lattices with reconfigurable, zero-stiffness structures has been proposed, called Totimorphic structures. In this work, we introduce a computational framework that allows continuous reprogramming of a Totimorphic lattice's effective properties, such as mechanical and optical properties, via continuous geometric changes alone. Our approach is differentiable and guara… ▽ More Recently, a class of mechanical lattices with reconfigurable, zero-stiffness structures has been proposed, called Totimorphic structures. In this work, we introduce a computational framework that allows continuous reprogramming of a Totimorphic lattice's effective properties, such as mechanical and optical properties, via continuous geometric changes alone. Our approach is differentiable and guarantees valid Totimorphic lattice configurations throughout the optimisation process, thus providing not only specific configurations with desired properties but also trajectories through configuration space connecting them. It enables re-programmable structures where actuators are controlled via automatic differentiation on an objective-dependent cost function, altering the lattice structure at all times to achieve a given objective - which is interchangeable to achieve different functionalities. Our main interest lies in deep space applications where harsh, extreme, and resource-constrained environments demand solutions that offer flexibility, resource efficiency, and autonomy. We illustrate our framework through two proofs of concept: a re-programmable metamaterial as well as a space telescope mirror with adjustable focal length, both made from Totimorphic structures. The introduced framework is easily adjustable to a variety of Totimorphic designs and objectives, providing a light-weight model for endowing physical prototypes of Totimorphic structures with autonomous self-configuration and self-repair capabilities. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Asteroid Mining: ACT&Friends' Results for the GTOC 12 Problem

Authors: Dario Izzo, Marcus Märtens, Laurent Beauregard, Max Bannach, Giacomo Acciarini, Emmanuel Blazquez, Alexander Hadjiivanov, Jai Grover, Gernot Heißel, Yuri Shimane, Chit Hong Yam

Abstract: In 2023, the 12th edition of Global Trajectory Competition was organised around the problem referred to as "Sustainable Asteroid Mining". This paper reports the developments that led to the solution proposed by ESA's Advanced Concepts Team. Beyond the fact that the proposed approach failed to rank higher than fourth in the final competition leader-board, several innovative fundamental methodologie… ▽ More In 2023, the 12th edition of Global Trajectory Competition was organised around the problem referred to as "Sustainable Asteroid Mining". This paper reports the developments that led to the solution proposed by ESA's Advanced Concepts Team. Beyond the fact that the proposed approach failed to rank higher than fourth in the final competition leader-board, several innovative fundamental methodologies were developed which have a broader application. In particular, new methods based on machine learning as well as on manipulating the fundamental laws of astrodynamics were developed and able to fill with remarkable accuracy the gap between full low-thrust trajectories and their representation as impulsive Lambert transfers. A novel technique was devised to formulate the challenge of optimal subset selection from a repository of pre-existing optimal mining trajectories as an integer linear programming problem. Finally, the fundamental problem of searching for single optimal mining trajectories (mining and collecting all resources), albeit ignoring the possibility of having intra-ship collaboration and thus sub-optimal in the case of the GTOC12 problem, was efficiently solved by means of a novel search based on a look-ahead score and thus making sure to select asteroids that had chances to be re-visited later on. △ Less

Submitted 28 October, 2024; originally announced October 2024.

Journal ref: Astrodynamics Vol. 9, 19-40, 2025

EclipseNETs: a differentiable description of irregular eclipse conditions

Authors: Giacomo Acciarini, Francesco Biscani, Dario Izzo

Abstract: In the field of spaceflight mechanics and astrodynamics, determining eclipse regions is a frequent and critical challenge. This determination impacts various factors, including the acceleration induced by solar radiation pressure, the spacecraft power input, and its thermal state all of which must be accounted for in various phases of the mission design. This study leverages recent advances in neu… ▽ More In the field of spaceflight mechanics and astrodynamics, determining eclipse regions is a frequent and critical challenge. This determination impacts various factors, including the acceleration induced by solar radiation pressure, the spacecraft power input, and its thermal state all of which must be accounted for in various phases of the mission design. This study leverages recent advances in neural image processing to develop fully differentiable models of eclipse regions for highly irregular celestial bodies. By utilizing test cases involving Solar System bodies previously visited by spacecraft, such as 433 Eros, 25143 Itokawa, 67P/Churyumov--Gerasimenko, and 101955 Bennu, we propose and study an implicit neural architecture defining the shape of the eclipse cone based on the Sun's direction. Employing periodic activation functions, we achieve high precision in modeling eclipse conditions. Furthermore, we discuss the potential applications of these differentiable models in spaceflight mechanics computations. △ Less

Submitted 9 August, 2024; originally announced August 2024.

NeuralODEs for VLEO simulations: Introducing thermoNET for Thermosphere Modeling

Authors: Dario Izzo, Giacomo Acciarini, Francesco Biscani

Abstract: We introduce a novel neural architecture termed thermoNET, designed to represent thermospheric density in satellite orbital propagation using a reduced amount of differentiable computations. Due to the appearance of a neural network on the right-hand side of the equations of motion, the resulting satellite dynamics is governed by a NeuralODE, a neural Ordinary Differential Equation, characterized… ▽ More We introduce a novel neural architecture termed thermoNET, designed to represent thermospheric density in satellite orbital propagation using a reduced amount of differentiable computations. Due to the appearance of a neural network on the right-hand side of the equations of motion, the resulting satellite dynamics is governed by a NeuralODE, a neural Ordinary Differential Equation, characterized by its fully differentiable nature, allowing the derivation of variational equations (hence of the state transition matrix) and facilitating its use in connection to advanced numerical techniques such as Taylor-based numerical propagation and differential algebraic techniques. Efficient training of the network parameters occurs through two distinct approaches. In the first approach, the network undergoes training independently of spacecraft dynamics, engaging in a pure regression task against ground truth models, including JB-08 and NRLMSISE-00. In the second paradigm, network parameters are learned based on observed dynamics, adapting through ODE sensitivities. In both cases, the outcome is a flexible, compact model of the thermosphere density greatly enhancing numerical propagation efficiency while maintaining accuracy in the orbital predictions. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: Paper presented and published in the 29th ISSFD Conference, Darmstadt, Germany

Computing low-thrust transfers in the asteroid belt, a comparison between astrodynamical manipulations and a machine learning approach

Authors: Giacomo Acciarini, Laurent Beauregard, Dario Izzo

Abstract: Low-thrust trajectories play a crucial role in optimizing scientific output and cost efficiency in asteroid belt missions. Unlike high-thrust transfers, low-thrust trajectories require solving complex optimal control problems. This complexity grows exponentially with the number of asteroids visited due to orbital mechanics intricacies. In the literature, methods for approximating low-thrust transf… ▽ More Low-thrust trajectories play a crucial role in optimizing scientific output and cost efficiency in asteroid belt missions. Unlike high-thrust transfers, low-thrust trajectories require solving complex optimal control problems. This complexity grows exponentially with the number of asteroids visited due to orbital mechanics intricacies. In the literature, methods for approximating low-thrust transfers without full optimization have been proposed, including analytical and machine learning techniques. In this work, we propose new analytical approximations and compare their accuracy and performance to machine learning methods. While analytical approximations leverage orbit theory to estimate trajectory costs, machine learning employs a more black-box approach, utilizing neural networks to predict optimal transfers based on various attributes. We build a dataset of about 3 million transfers, found by solving the time and fuel optimal control problems, for different time of flights, which we also release open-source. Comparison between the two methods on this database reveals the superiority of machine learning, especially for longer transfers. Despite challenges such as multi revolution transfers, both approaches maintain accuracy within a few percent in the final mass errors, on a database of trajectories involving numerous asteroids. This work contributes to the efficient exploration of mission opportunities in the asteroid belt, providing insights into the strengths and limitations of different approximation strategies. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Comments: Paper presented and published in the proceedings of the 29th ISSFD Conference, Darmstadt, Germany, 2024

Closing the Gap Between SGP4 and High-Precision Propagation via Differentiable Programming

Authors: Giacomo Acciarini, Atılım Güneş Baydin, Dario Izzo

Abstract: The Simplified General Perturbations 4 (SGP4) orbital propagation method is widely used for predicting the positions and velocities of Earth-orbiting objects rapidly and reliably. Despite continuous refinement, SGP models still lack the precision of numerical propagators, which offer significantly smaller errors. This study presents dSGP4, a novel differentiable version of SGP4 implemented using P… ▽ More The Simplified General Perturbations 4 (SGP4) orbital propagation method is widely used for predicting the positions and velocities of Earth-orbiting objects rapidly and reliably. Despite continuous refinement, SGP models still lack the precision of numerical propagators, which offer significantly smaller errors. This study presents dSGP4, a novel differentiable version of SGP4 implemented using PyTorch. By making SGP4 differentiable, dSGP4 facilitates various space-related applications, including spacecraft orbit determination, state conversion, covariance transformation, state transition matrix computation, and covariance propagation. Additionally, dSGP4's PyTorch implementation allows for embarrassingly parallel orbital propagation across batches of Two-Line Element Sets (TLEs), leveraging the computational power of CPUs, GPUs, and advanced hardware for distributed prediction of satellite positions at future times. Furthermore, dSGP4's differentiability enables integration with modern machine learning techniques. Thus, we propose a novel orbital propagation paradigm, ML-dSGP4, where neural networks are integrated into the orbital propagator. Through stochastic gradient descent, this combined model's inputs, outputs, and parameters can be iteratively refined, surpassing SGP4's precision. Neural networks act as identity operators by default, adhering to SGP4's behavior. However, dSGP4's differentiability allows fine-tuning with ephemeris data, enhancing precision while maintaining computational speed. This empowers satellite operators and researchers to train the model using specific ephemeris or high-precision numerical propagation data, significantly advancing orbital prediction capabilities. △ Less

Submitted 20 November, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Journal ref: Acta Astronautica 226(1) (2025) 8

Small Celestial Body Exploration with CubeSat Swarms

Authors: Emmanuel Blazquez, Dario Izzo, Francesco Biscani, Roger Walker, Franco Perez-Lissi

Abstract: This work presents a large-scale simulation study investigating the deployment and operation of distributed swarms of CubeSats for interplanetary missions to small celestial bodies. Utilizing Taylor numerical integration and advanced collision detection techniques, we explore the potential of large CubeSat swarms in capturing gravity signals and reconstructing the internal mass distribution of a s… ▽ More This work presents a large-scale simulation study investigating the deployment and operation of distributed swarms of CubeSats for interplanetary missions to small celestial bodies. Utilizing Taylor numerical integration and advanced collision detection techniques, we explore the potential of large CubeSat swarms in capturing gravity signals and reconstructing the internal mass distribution of a small celestial body while minimizing risks and Delta V budget. Our results offer insight into the applicability of this approach for future deep space exploration missions. △ Less

Submitted 25 August, 2023; originally announced August 2023.

Dark Matter reconstruction from stellar orbits in the Galactic Centre

Authors: Thibault Lechien, Gernot Heißel, Jai Grover, Dario Izzo

Abstract: Context. Current constraints on distributed matter in the innermost Galactic Centre (such as a cluster of faint stars and stellar remnants, Dark Matter or a combination thereof) based on the orbital dynamics of the visible stars closest to the central black hole, typically assume simple functional forms for the distributions. Aims. We take instead a general model agnostic approach in which the for… ▽ More Context. Current constraints on distributed matter in the innermost Galactic Centre (such as a cluster of faint stars and stellar remnants, Dark Matter or a combination thereof) based on the orbital dynamics of the visible stars closest to the central black hole, typically assume simple functional forms for the distributions. Aims. We take instead a general model agnostic approach in which the form of the distribution is not constrained by prior assumptions on the physical composition of the matter. This approach yields unbiased - entirely observation driven - fits for the matter distribution and places constraints on our ability to discriminate between different density profiles (and consequently between physical compositions) of the distributed matter. Methods. We construct a spherical shell model with the flexibility to fit a wide variety of physically reasonable density profiles by modelling the distribution as a series of concentric mass shells. We test this approach in an analysis of mock observations of the star S2. Results. For a sufficiently large and precise data set, we find that it is possible to discriminate between several physically motivated density profiles. However, for data coming from current and expected next generation observational instruments, the potential for profile distinction will remain limited by the precision of the instruments. Future observations will still be able to constrain the overall enclosed distributed mass within the apocentre of the probing orbit in an unbiased manner. We interpret this in the theoretical context of constraining the secular versus non-secular orbital dynamics. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 8 pages, 4 figures, submitted to Astronomy & Astrophysics

Journal ref: A&A 686, A179 (2024)

Investigation of the Robustness of Neural Density Fields

Authors: Jonas Schuhmacher, Fabio Gratl, Dario Izzo, Pablo Gómez

Abstract: Recent advances in modeling density distributions, so-called neural density fields, can accurately describe the density distribution of celestial bodies without, e.g., requiring a shape model - properties of great advantage when designing trajectories close to these bodies. Previous work introduced this approach, but several open questions remained. This work investigates neural density fields and… ▽ More Recent advances in modeling density distributions, so-called neural density fields, can accurately describe the density distribution of celestial bodies without, e.g., requiring a shape model - properties of great advantage when designing trajectories close to these bodies. Previous work introduced this approach, but several open questions remained. This work investigates neural density fields and their relative errors in the context of robustness to external factors like noise or constraints during training, like the maximal available gravity signal strength due to a certain distance exemplified for 433 Eros and 67P/Churyumov-Gerasimenko. It is found that both models trained on a polyhedral and mascon ground truth perform similarly, indicating that the ground truth is not the accuracy bottleneck. The impact of solar radiation pressure on a typical probe affects training neglectable, with the relative error being of the same magnitude as without noise. However, limiting the precision of measurement data by applying Gaussian noise hurts the obtainable precision. Further, pretraining is shown as practical in order to speed up network training. Hence, this work demonstrates that training neural networks for the gravity inversion problem is appropriate as long as the gravity signal is distinguishable from noise. Code and results are available at https://github.com/gomezzz/geodesyNets △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: Will be presented as a poster at the GNC 2023 conference

Optimality Principles in Spacecraft Neural Guidance and Control

Authors: Dario Izzo, Emmanuel Blazquez, Robin Ferede, Sebastien Origer, Christophe De Wagter, Guido C. H. E. de Croon

Abstract: Spacecraft and drones aimed at exploring our solar system are designed to operate in conditions where the smart use of onboard resources is vital to the success or failure of the mission. Sensorimotor actions are thus often derived from high-level, quantifiable, optimality principles assigned to each task, utilizing consolidated tools in optimal control theory. The planned actions are derived on t… ▽ More Spacecraft and drones aimed at exploring our solar system are designed to operate in conditions where the smart use of onboard resources is vital to the success or failure of the mission. Sensorimotor actions are thus often derived from high-level, quantifiable, optimality principles assigned to each task, utilizing consolidated tools in optimal control theory. The planned actions are derived on the ground and transferred onboard where controllers have the task of tracking the uploaded guidance profile. Here we argue that end-to-end neural guidance and control architectures (here called G&CNets) allow transferring onboard the burden of acting upon these optimality principles. In this way, the sensor information is transformed in real time into optimal plans thus increasing the mission autonomy and robustness. We discuss the main results obtained in training such neural architectures in simulation for interplanetary transfers, landings and close proximity operations, highlighting the successful learning of optimality principles by the neural model. We then suggest drone racing as an ideal gym environment to test these architectures on real robotic platforms, thus increasing confidence in their utilization on future space exploration missions. Drone racing shares with spacecraft missions both limited onboard computational capabilities and similar control structures induced from the optimality principle sought, but it also entails different levels of uncertainties and unmodelled effects. Furthermore, the success of G&CNets on extremely resource-restricted drones illustrates their potential to bring real-time optimal control within reach of a wider variety of robotic systems, both in space and on Earth. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Selected Trends in Artificial Intelligence for Space Applications

Authors: Dario Izzo, Gabriele Meoni, Pablo Gómez, Dominik Dold, Alexander Zoechbauer

Abstract: The development and adoption of artificial intelligence (AI) technologies in space applications is growing quickly as the consensus increases on the potential benefits introduced. As more and more aerospace engineers are becoming aware of new trends in AI, traditional approaches are revisited to consider the applications of emerging AI technologies. Already at the time of writing, the scope of AI-… ▽ More The development and adoption of artificial intelligence (AI) technologies in space applications is growing quickly as the consensus increases on the potential benefits introduced. As more and more aerospace engineers are becoming aware of new trends in AI, traditional approaches are revisited to consider the applications of emerging AI technologies. Already at the time of writing, the scope of AI-related activities across academia, the aerospace industry and space agencies is so wide that an in-depth review would not fit in these pages. In this chapter we focus instead on two main emerging trends we believe capture the most relevant and exciting activities in the field: differentiable intelligence and on-board machine learning. Differentiable intelligence, in a nutshell, refers to works making extensive use of automatic differentiation frameworks to learn the parameters of machine learning or related models. Onboard machine learning considers the problem of moving inference, as well as learning, onboard. Within these fields, we discuss a few selected projects originating from the European Space Agency's (ESA) Advanced Concepts Team (ACT), giving priority to advanced topics going beyond the transposition of established AI techniques and practices to the space domain. △ Less

Submitted 17 December, 2022; v1 submitted 10 December, 2022; originally announced December 2022.

The Fellowship of the Dyson Ring: ACT&Friends' Results and Methods for GTOC 11

Authors: Marcus Märtens, Dario Izzo, Emmanuel Blazquez, Moritz von Looz, Pablo Gómez, Anne Mergy, Giacomo Acciarini, Chit Hong Yam, Javier Hernando Ayuso, Yuri Shimane

Abstract: Dyson spheres are hypothetical megastructures encircling stars in order to harvest most of their energy output. During the 11th edition of the GTOC challenge, participants were tasked with a complex trajectory planning related to the construction of a precursor Dyson structure, a heliocentric ring made of twelve stations. To this purpose, we developed several new approaches that synthesize techniq… ▽ More Dyson spheres are hypothetical megastructures encircling stars in order to harvest most of their energy output. During the 11th edition of the GTOC challenge, participants were tasked with a complex trajectory planning related to the construction of a precursor Dyson structure, a heliocentric ring made of twelve stations. To this purpose, we developed several new approaches that synthesize techniques from machine learning, combinatorial optimization, planning and scheduling, and evolutionary optimization effectively integrated into a fully automated pipeline. These include a machine learned transfer time estimator, improving the established Edelbaum approximation and thus better informing a Lazy Race Tree Search to identify and collect asteroids with high arrival mass for the stations; a series of optimally-phased low-thrust transfers to all stations computed by indirect optimization techniques, exploiting the synodic periodicity of the system; and a modified Hungarian scheduling algorithm, which utilizes evolutionary techniques to arrange a mass-balanced arrival schedule out of all transfer possibilities. We describe the steps of our pipeline in detail with a special focus on how our approaches mutually benefit from each other. Lastly, we outline and analyze the final solution of our team, ACT&Friends, which ranked second at the GTOC 11 challenge. △ Less

Submitted 23 May, 2022; v1 submitted 13 May, 2022; originally announced May 2022.

Reliable event detection for Taylor methods in astrodynamics

Authors: Francesco Biscani, Dario Izzo

Abstract: We present a novel approach for the detection of events in systems of ordinary differential equations. The new method combines the unique features of Taylor integrators with state-of-the-art polynomial root finding techniques to yield a novel algorithm ensuring strong event detection guarantees at a modest computational overhead. Detailed tests and benchmarks focused on problems in astrodynamics a… ▽ More We present a novel approach for the detection of events in systems of ordinary differential equations. The new method combines the unique features of Taylor integrators with state-of-the-art polynomial root finding techniques to yield a novel algorithm ensuring strong event detection guarantees at a modest computational overhead. Detailed tests and benchmarks focused on problems in astrodynamics and celestial mechanics (such as collisional N-body systems, spacecraft dynamics around irregular bodies accounting for eclipses, computation of Poincare' sections, etc.) show how our approach is superior in both performance and detection accuracy to strategies commonly employed in modern numerical integration works. The new algorithm is available in our open source Taylor integration package heyoka. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: Accepted for publication in MNRAS

Neural representation of a time optimal, constant acceleration rendezvous

Authors: Dario Izzo, Sebastien Origer

Abstract: We train neural models to represent both the optimal policy (i.e. the optimal thrust direction) and the value function (i.e. the time of flight) for a time optimal, constant acceleration low-thrust rendezvous. In both cases we develop and make use of the data augmentation technique we call backward generation of optimal examples. We are thus able to produce and work with large dataset and to fully… ▽ More We train neural models to represent both the optimal policy (i.e. the optimal thrust direction) and the value function (i.e. the time of flight) for a time optimal, constant acceleration low-thrust rendezvous. In both cases we develop and make use of the data augmentation technique we call backward generation of optimal examples. We are thus able to produce and work with large dataset and to fully exploit the benefit of employing a deep learning framework. We achieve, in all cases, accuracies resulting in successful rendezvous (simulated following the learned policy) and time of flight predictions (using the learned value function). We find that residuals as small as a few m/s, thus well within the possibility of a spacecraft navigation $ΔV$ budget, are achievable for the velocity at rendezvous. We also find that, on average, the absolute error to predict the optimal time of flight to rendezvous from any orbit in the asteroid belt to an Earth-like orbit is small (less than 4\%) and thus also of interest for practical uses, for example, during preliminary mission design phases. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Deterministic Conjunction Tracking in Long-term Space Debris Simulations

Authors: Pablo Gómez, Fabio Gratl, Oliver Bösing, Dario Izzo

Abstract: Numerical simulations are at the center of predicting the space debris environment of the upcoming decades. In light of debris generating events, such as continued anti-satellite weapon tests and planned mega-constellations, accurate predictions of the space debris environment are critical to ensure the long-term sustainability of critical satellite orbits. Given the computational complexity of… ▽ More Numerical simulations are at the center of predicting the space debris environment of the upcoming decades. In light of debris generating events, such as continued anti-satellite weapon tests and planned mega-constellations, accurate predictions of the space debris environment are critical to ensure the long-term sustainability of critical satellite orbits. Given the computational complexity of accurate long-term trajectory propagation for a large number of particles, numerical models usually rely on Monte-Carlo approaches for stochastic conjunction assessment. On the other hand, deterministic methods bear the promise of higher accuracy and can serve to validate stochastic approaches. However, they pose a substantial challenge to computational feasibility. In this work, we present the architecture and proof of concept results for a numerical simulation capable of modeling the long term debris evolution over decades with a deterministic conjunction tracking model. For the simulation, we developed an efficient propagator in modern C++ accounting for Earth's gravitational anomalies, solar radiation pressure, and atmospheric drag. We utilized AutoPAS, a sophisticated particle container, which automatically selects the most efficient data structures and algorithms. We present results from a simulation of 16 024 particles in low-Earth orbit over 20 years. Overall, conjunctions are tracked for predicted collisions and close encounters to allow a detailed study of both. We analyze the runtime and computational cost of the simulation in detail. In summary, the obtained results show that modern computational tools finally enable deterministic conjunction tracking and can serve to validate prior results and build higher-fidelity numerical simulations of the long-term debris environment. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Study of the asteroid Bennu using geodesyANNs and Osiris-Rex data

Authors: Moritz von Looz, Pablo Gomez, Dario Izzo

Abstract: Asteroids and other small bodies in the solar system tend to have irregular shapes, owing to their low gravity. This irregularity does not only apply to the topology, but also to the underlying geology, potentially containing regions of different densities and materials. The topology can be derived from optical observations, while the mass density distribution of an object is only observable, to s… ▽ More Asteroids and other small bodies in the solar system tend to have irregular shapes, owing to their low gravity. This irregularity does not only apply to the topology, but also to the underlying geology, potentially containing regions of different densities and materials. The topology can be derived from optical observations, while the mass density distribution of an object is only observable, to some extent, in its gravitational field. In a companion paper, we presented geodesyNets, a neural network approach to infer the mass density distribution of an object from measurements of its gravitational field. In the present work, we apply this approach to the asteroid Bennu using real data from the Osiris Rex mission. The mission measured the trajectories of not only the Osiris Rex spacecraft itself, but also of numerous pebble-sized rock particles which temporarily orbited Bennu. From these trajectory data, we obtain a representation of Bennu's mass density and validate it by propagating, in the resulting gravity field, multiple pebbles not used in the training process. The performance is comparable to that of a polyhedral gravity model of uniform density, but does not require a shape model. As little additional information is needed, we see this as a step towards autonomous on-board inversion of gravitational fields. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Geodesy of irregular small bodies via neural density fields: geodesyNets

Authors: Dario Izzo, Pablo Gómez

Abstract: We present a novel approach based on artificial neural networks, so-called geodesyNets, and present compelling evidence of their ability to serve as accurate geodetic models of highly irregular bodies using minimal prior information on the body. The approach does not rely on the body shape information but, if available, can harness it. GeodesyNets learn a three-dimensional, differentiable, functio… ▽ More We present a novel approach based on artificial neural networks, so-called geodesyNets, and present compelling evidence of their ability to serve as accurate geodetic models of highly irregular bodies using minimal prior information on the body. The approach does not rely on the body shape information but, if available, can harness it. GeodesyNets learn a three-dimensional, differentiable, function representing the body density, which we call neural density field. The body shape, as well as other geodetic properties, can easily be recovered. We investigate six different shapes including the bodies 101955 Bennu, 67P Churyumov-Gerasimenko, 433 Eros and 25143 Itokawa for which shape models developed during close proximity surveys are available. Both heterogeneous and homogeneous mass distributions are considered. The gravitational acceleration computed from the trained geodesyNets models, as well as the inferred body shape, show great accuracy in all cases with a relative error on the predicted acceleration smaller than 1\% even close to the asteroid surface. When the body shape information is available, geodesyNets can seamlessly exploit it and be trained to represent a high-fidelity neural density field able to give insights into the internal structure of the body. This work introduces a new unexplored approach to geodesy, adding a powerful tool to consolidated ones based on spherical harmonics, mascon models and polyhedral gravity. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Revisiting high-order Taylor methods for astrodynamics and celestial mechanics

Authors: Francesco Biscani, Dario Izzo

Abstract: We present heyoka, a new, modern and general-purpose implementation of Taylor's integration method for the numerical solution of ordinary differential equations. Detailed numerical tests focused on difficult high-precision gravitational problems in astrodynamics and celestial mechanics show how our general-purpose integrator is competitive with and often superior to state-of-the-art specialised sy… ▽ More We present heyoka, a new, modern and general-purpose implementation of Taylor's integration method for the numerical solution of ordinary differential equations. Detailed numerical tests focused on difficult high-precision gravitational problems in astrodynamics and celestial mechanics show how our general-purpose integrator is competitive with and often superior to state-of-the-art specialised symplectic and non-symplectic integrators in both speed and accuracy. In particular, we show how Taylor methods are capable of satisfying Brouwer's law for the conservation of energy in long-term integrations of planetary systems over billions of dynamical timescales. We also show how close encounters are modelled accurately during simulations of the formation of the Kirkwood gaps and of Apophis' 2029 close encounter with the Earth (where heyoka surpasses the speed and accuracy of domain-specific methods). heyoka can be used from both C++ and Python, and it is publicly available as an open-source project. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Journal ref: Monthly Notices of the Royal Astronomical Society, Volume 504, Issue 2, June 2021, Pages 2614-2628

Target selection for a small low-thrust mission to near-Earth asteroids

Authors: Alessio Mereta, Dario Izzo

Abstract: The preliminary mission design of spacecraft missions to asteroids often involves, in the early phases, the selection of candidate target asteroids. The final result of such an analysis is a list of asteroids, ranked with respect to the necessary propellant to be used, that the spacecraft could potentially reach. In this paper we investigate the sensitivity of the produced asteroids rank to the em… ▽ More The preliminary mission design of spacecraft missions to asteroids often involves, in the early phases, the selection of candidate target asteroids. The final result of such an analysis is a list of asteroids, ranked with respect to the necessary propellant to be used, that the spacecraft could potentially reach. In this paper we investigate the sensitivity of the produced asteroids rank to the employed trajectory model in the specific case of a small low-thrust propelled spacecraft beginning its journey from the Sun-Earth $L_2$ Lagrangian point and heading to a rendezvous with some near-Earth asteroid. We consider five increasingly complex trajectory models: impulsive, Lambert, nuclear electric propulsion, nuclear electric propulsion including the Earth's gravity, solar electric propulsion including the Earth's gravity and we study the final correlation between the obtained target rankings. We find that the use of a low-thrust trajectory model is of great importance for target selection, since the use of chemical propulsion surrogates leads to favouring less attractive options 19\% of times, a percentage that drops to 8\% already using a simple nuclear electric propulsion model that neglects the Earth's gravity effects and thrust dependence on the solar distance. We also find that for the study case considered, a small interplanetary CubeSat named M-ARGO, the inclusion of the Earth's gravity in the considered dynamics does not affect the target selection significantly. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: submitted to Astrodynamics

Optimal Orderings of k-subsets for Star Identification

Authors: Joerg H. Mueller, Carlos Sánchez-Sánchez, Luís F. Simões, Dario Izzo

Abstract: Finding the optimal ordering of k-subsets with respect to an objective function is known to be an extremely challenging problem. In this paper we introduce a new objective for this task, rooted in the problem of star identification on spacecrafts: subsets of detected spikes are to be generated in an ordering that minimizes time to detection of a valid star constellation. We carry out an extensive… ▽ More Finding the optimal ordering of k-subsets with respect to an objective function is known to be an extremely challenging problem. In this paper we introduce a new objective for this task, rooted in the problem of star identification on spacecrafts: subsets of detected spikes are to be generated in an ordering that minimizes time to detection of a valid star constellation. We carry out an extensive analysis of the combinatorial optimization problem, and propose multiple algorithmic solutions, offering different quality-complexity trade-offs. Three main approaches are investigated: exhaustive search (branch and prune), goal-driven (greedy scene elimination, minimally intersecting subsets), and stateless algorithms which implicitly seek to satisfy the problem's goals (pattern shifting, base unrank). In practical terms, these last algorithms are found to provide satisfactory approximations to the ideal performance levels, at small computational costs. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Journal ref: 2016 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 1-8, IEEE, 2016

GTOC8: Results and Methods of ESA Advanced Concepts Team and JAXA-ISAS

Authors: Dario Izzo, Daniel Hennes, Marcus Märtens, Ingmar Getzner, Krzysztof Nowak, Anna Heffernan, Stefano Campagnola, Chit Hong Yam, Naoya Ozaki, Yoshihide Sugimoto

Abstract: We consider the interplanetary trajectory design problem posed by the 8th edition of the Global Trajectory Optimization Competition and present the end-to-end strategy developed by the team ACT-ISAS (a collaboration between the European Space Agency's Advanced Concepts Team and JAXA's Institute of Space and Astronautical Science). The resulting interplanetary trajectory won 1st place in the compet… ▽ More We consider the interplanetary trajectory design problem posed by the 8th edition of the Global Trajectory Optimization Competition and present the end-to-end strategy developed by the team ACT-ISAS (a collaboration between the European Space Agency's Advanced Concepts Team and JAXA's Institute of Space and Astronautical Science). The resulting interplanetary trajectory won 1st place in the competition, achieving a final mission value of $J=146.33$ [Mkm]. Several new algorithms were developed in this context but have an interest that go beyond the particular problem considered, thus, they are discussed in some detail. These include the Moon-targeting technique, allowing one to target a Moon encounter from a low Earth orbit; the 1-$k$ and 2-$k$ fly-by targeting techniques, enabling one to design resonant fly-bys while ensuring a targeted future formation plane% is acquired at some point after the manoeuvre ; the distributed low-thrust targeting technique, admitting one to control the spacecraft formation plane at 1,000,000 [km]; and the low-thrust optimization technique, permitting one to enforce the formation plane's orientations as path constraints. △ Less

Submitted 3 February, 2016; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: Presented at the 26th AAS/AIAA Space Flight Mechanics Meeting, Napa, CA. Paper AAS 16-275

On the astrodynamics applications of Weierstrass elliptic and related functions

Authors: Dario Izzo, Francesco Biscani

Abstract: Weierstrass elliptic and related functions have been recently shown to enable analytical explicit solutions to classical problems in astrodynamics. These include the constant radial acceleration problem, the Stark problem and the two-fixed center (or Euler's) problem. In this paper we review the basic technique that allows for these results and we discuss the limits and merits of the approach. App… ▽ More Weierstrass elliptic and related functions have been recently shown to enable analytical explicit solutions to classical problems in astrodynamics. These include the constant radial acceleration problem, the Stark problem and the two-fixed center (or Euler's) problem. In this paper we review the basic technique that allows for these results and we discuss the limits and merits of the approach. Applications to interplanetary trajectory design are then discussed including low-thrust planetary fly-bys and the motion of an artificial satellite under the influence of an oblate primary including $J_2$ and $J_3$ harmonics. △ Less

Submitted 20 January, 2016; v1 submitted 19 January, 2016; originally announced January 2016.

Comments: Presented at the AAS/AIAA Space Flight Mechanics Meeting, Napa, CA in February 14, 2016

A complete and explicit solution to the three-dimensional problem of two fixed centres

Authors: Francesco Biscani, Dario Izzo

Abstract: We present for the first time an explicit, complete and closed-form solution to the three-dimensional problem of two fixed centres, based on Weierstrass elliptic and related functions. With respect to previous treatments of the problem, our solution is exact, valid for all initial conditions and physical parameters of the system (including unbounded orbits and repulsive forces), and expressed via… ▽ More We present for the first time an explicit, complete and closed-form solution to the three-dimensional problem of two fixed centres, based on Weierstrass elliptic and related functions. With respect to previous treatments of the problem, our solution is exact, valid for all initial conditions and physical parameters of the system (including unbounded orbits and repulsive forces), and expressed via a unique set of formulae. Various properties of the three-dimensional problem of two fixed centres are investigated and analysed, with a particular emphasis on quasi-periodic and periodic orbits, regions of motion and equilibrium points. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Comments: Accepted for publication in MNRAS. 15 pages, 12 figures

Revisiting Lambert's Problem

Authors: Dario Izzo

Abstract: The orbital boundary value problem, also known as Lambert Problem, is revisited. Building upon Lancaster and Blanchard approach, new relations are revealed and a new variable representing all problem classes, under L-similarity, is used to express the time of flight equation. In the new variable, the time of flight curves have two oblique asymptotes and they mostly appear to be conveniently approx… ▽ More The orbital boundary value problem, also known as Lambert Problem, is revisited. Building upon Lancaster and Blanchard approach, new relations are revealed and a new variable representing all problem classes, under L-similarity, is used to express the time of flight equation. In the new variable, the time of flight curves have two oblique asymptotes and they mostly appear to be conveniently approximated by piecewise continuous lines. We use and invert such a simple approximation to provide an efficient initial guess to an Householder iterative method that is then able to converge, for the single revoltuion case, in only two iterations. The resulting algorithm is compared to Gooding's procedure revealing to be numerically as accurate, while having a smaller computational complexity. △ Less

Submitted 24 June, 2014; v1 submitted 11 March, 2014; originally announced March 2014.

Comments: The Lambert algorithm described in this paper is an update to what has been named by other researchers as Izzo's Lambert algorithm (in works appeared in 2010-2013). The updated algorithm is ~1.8 times faster than its previous version

Explicit Solution to the Constant Radial Acceleration Problem

Authors: Dario Izzo, Francesco Biscani

Abstract: While the constant radial acceleration problem is known to be integrable and has received some recent attention in an orbital mechanics context, a closed form explicit solution, relating the state variables to a time parameter, has eluded all researchers so far. It is here shown how such a solution exists and is elegantly expressed in terms of the Weierstrass elliptic and related functions. Previo… ▽ More While the constant radial acceleration problem is known to be integrable and has received some recent attention in an orbital mechanics context, a closed form explicit solution, relating the state variables to a time parameter, has eluded all researchers so far. It is here shown how such a solution exists and is elegantly expressed in terms of the Weierstrass elliptic and related functions. Previously known facts can be derived from the new explicit solution and new insights are revealed. △ Less

Submitted 26 October, 2015; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: 19 pages, 6 figures

Journal ref: Journal of Guidance, Control, and Dynamics 38.4 (2014): 733-739

The Stark problem in the Weierstrassian formalism

Authors: Francesco Biscani, Dario Izzo

Abstract: We present a new general, complete closed-form solution of the Stark problem in terms of Weierstrass elliptic and related functions. With respect to previous treatments of the problem, our analysis is exact and valid for all values of the external force field, and it is expressed via unique formulæ valid for all initial conditions and parameters of the system. The simple form of the solution allow… ▽ More We present a new general, complete closed-form solution of the Stark problem in terms of Weierstrass elliptic and related functions. With respect to previous treatments of the problem, our analysis is exact and valid for all values of the external force field, and it is expressed via unique formulæ valid for all initial conditions and parameters of the system. The simple form of the solution allows us to perform a thorough investigation of the properties of the dynamical system, including the identification of quasi-periodic and periodic orbits, the formulation of a simple analytical criterion to determine the boundness of the trajectory, and the characterisation of the equilibrium points. △ Less

Submitted 12 March, 2014; v1 submitted 27 June, 2013; originally announced June 2013.

Comments: 14 pages, 6 figures

Quantum Physics Exploring Gravity in the Outer Solar System: The Sagas Project

Authors: P. Wolf, Ch. J. Bordé, A. Clairon, L. Duchayne, A. Landragin, P. Lemonde, G. Santarelli, W. Ertmer, E. Rasel, F. S. Cataliotti, M. Inguscio, G. M. Tino, P. Gill, H. Klein, S. Reynaud, C. Salomon, E. Peik, O. Bertolami, P. Gil, J. Páramos, C. Jentsch, U. Johann, A. Rathke, P. Bouyer, L. Cacciapuoti , et al. (30 additional authors not shown)

Abstract: We summarise the scientific and technological aspects of the SAGAS (Search for Anomalous Gravitation using Atomic Sensors) project, submitted to ESA in June 2007 in response to the Cosmic Vision 2015-2025 call for proposals. The proposed mission aims at flying highly sensitive atomic sensors (optical clock, cold atom accelerometer, optical link) on a Solar System escape trajectory in the 2020 to… ▽ More We summarise the scientific and technological aspects of the SAGAS (Search for Anomalous Gravitation using Atomic Sensors) project, submitted to ESA in June 2007 in response to the Cosmic Vision 2015-2025 call for proposals. The proposed mission aims at flying highly sensitive atomic sensors (optical clock, cold atom accelerometer, optical link) on a Solar System escape trajectory in the 2020 to 2030 time-frame. SAGAS has numerous science objectives in fundamental physics and Solar System science, for example numerous tests of general relativity and the exploration of the Kuiper belt. The combination of highly sensitive atomic sensors and of the laser link well adapted for large distances will allow measurements with unprecedented accuracy and on scales never reached before. We present the proposed mission in some detail, with particular emphasis on the science goals and associated measurements. △ Less

Submitted 12 August, 2008; v1 submitted 2 November, 2007; originally announced November 2007.

Comments: 39 pages. Submitted in abridged version to Experimental Astronomy

Journal ref: Exper.Astron.23:651-687,2009

Options for a nondedicated mission to test the Pioneer anomaly

Authors: Dario Izzo, Andreas Rathke

Abstract: The Doppler-tracking data of the Pioneer 10 and 11 spacecraft show an unmodelled constant acceleration in the direction of the inner Solar System. Serious efforts have been undertaken to find a conventional explanation for this effect, all without success at the time of writing. Hence the effect, commonly dubbed the Pioneer anomaly, is attracting considerable attention. Unfortunately, no other s… ▽ More The Doppler-tracking data of the Pioneer 10 and 11 spacecraft show an unmodelled constant acceleration in the direction of the inner Solar System. Serious efforts have been undertaken to find a conventional explanation for this effect, all without success at the time of writing. Hence the effect, commonly dubbed the Pioneer anomaly, is attracting considerable attention. Unfortunately, no other space mission has reached the long-term navigation accuracy to yield an independent test of the effect. To fill this gap we discuss strategies for an experimental verification of the anomaly via an upcoming space mission. Emphasis is put on two plausible scenarios: nondedicated concepts employing either a planetary exploration mission to the outer Solar System or a piggybacked micro-spacecraft to be launched from a mother spacecraft travelling to Saturn or Jupiter. The study analyses the impact of a Pioneer anomaly test on the system and trajectory design for these two paradigms. It is found that both paradigms are capable of verifying the Pioneer anomaly and determine its magnitude at 10% level. Moreover the concepts can discriminate between the most plausible classes of models of the anomaly, a central force, a blueshift of the radio signal and a drag-like force. The necessary adaptions of the system and mission design do not impair the planetary exploration goals of the missions. △ Less

Submitted 1 June, 2006; v1 submitted 28 April, 2005; originally announced April 2005.

Comments: 29 pages, uses AIAA style files. Improved presentation, shortened, some technicalities from v1 omitted, updated references, to appear in Journal of Spacecraft and Rockets