SearcharxivSearch

arXiv subjects

Francesco Biscani

Publications and source records attributed to Francesco Biscani.

At least 19 recordsLinked to original sources

Probability of collision in nonlinear dynamics by moment propagation

Estimating the probability of collision between spacecraft is crucial for risk management and collision-avoidance strategies. Current methods often rely on Gaussian assumptions and simplifications, which can be inaccurate in highly nonlinear scenarios. This paper presents a general and efficient approach for computing collision probabilities without relying on such assumptions. Using high-order multivariate Taylor polynomials, we propagate statistical moments of initial uncertainties to the point of closest approach between the spacecraft. To compute the probability of collision, we derive a semi-analytical expression for the probability density function (PDF) of the closest approach distance, inferred from the propagated moments using orthogonal polynomials. Tested on various short-term and long-term encounters in low-Earth orbit, our method accurately handles nonlinear dynamics, non-Gaussian uncertainties, and irregular distributions. This versatile framework advances space situational awareness by providing precise collision probability estimates in complex dynamical environments. Moreover, our methodology applies to any dynamical system with uncertainty in its initial state and is therefore not restricted to collision probability estimation.

eess.SY

EclipseNETs: Learning Irregular Small Celestial Body Silhouettes

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.

astro-ph.EP

High-order expansion of Neural Ordinary Differential Equations flows

Artificial neural networks, widely recognised for their role in machine learning, are now transforming the study of ordinary differential equations (ODEs), bridging data-driven modelling with classical dynamical systems and enabling the development of infinitely deep neural models. However, the practical applicability of these models remains constrained by the opacity of their learned dynamics, which operate as black-box systems with limited explainability, thereby hindering trust in their deployment. Existing approaches for the analysis of these dynamical systems are predominantly restricted to first-order gradient information due to computational constraints, thereby limiting the depth of achievable insight. Here, we introduce Event Transition Tensors, a framework based on high-order differentials that provides a rigorous mathematical description of neural ODE dynamics on event manifolds. We demonstrate its versatility across diverse applications: characterising uncertainties in a data-driven prey-predator control model, analysing neural optimal feedback dynamics, and mapping landing trajectories in a three-body neural Hamiltonian system. In all cases, our method enhances the interpretability and rigour of neural ODEs by expressing their behaviour through explicit mathematical structures. Our findings contribute to a deeper theoretical foundation for event-triggered neural differential equations and provide a mathematical construct for explaining complex system dynamics.

math.OC

Certifying Guidance & Control Networks: Uncertainty Propagation to an Event Manifold

We perform uncertainty propagation on an event manifold for Guidance & Control Networks (G&CNETs), aiming to enhance the certification tools for neural networks in this field. This work utilizes three previously solved optimal control problems with varying levels of dynamics nonlinearity and event manifold complexity. The G&CNETs are trained to represent the optimal control policies of a time-optimal interplanetary transfer, a mass-optimal landing on an asteroid and energy-optimal drone racing, respectively. For each of these problems, we describe analytically the terminal conditions on an event manifold with respect to initial state uncertainties. Crucially, this expansion does not depend on time but solely on the initial conditions of the system, thereby making it possible to study the robustness of the G&CNET at any specific stage of a mission defined by the event manifold. Once this analytical expression is found, we provide confidence bounds by applying the Cauchy-Hadamard theorem and perform uncertainty propagation using moment generating functions. While Monte Carlo-based (MC) methods can yield the results we present, this work is driven by the recognition that MC simulations alone may be insufficient for future certification of neural networks in guidance and control applications.

eess.SY

EclipseNETs: a differentiable description of irregular eclipse conditions

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.

cs.LG

NeuralODEs for VLEO simulations: Introducing thermoNET for Thermosphere Modeling

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.

astro-ph.EP

Small Celestial Body Exploration with CubeSat Swarms

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.

cs.RO

Reliable event detection for Taylor methods in astrodynamics

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.

astro-ph.EP

Revisiting high-order Taylor methods for astrodynamics and celestial mechanics

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.

astro-ph.EP

Differentiable Genetic Programming

We introduce the use of high order automatic differentiation, implemented via the algebra of truncated Taylor polynomials, in genetic programming. Using the Cartesian Genetic Programming encoding we obtain a high-order Taylor representation of the program output that is then used to back-propagate errors during learning. The resulting machine learning framework is called differentiable Cartesian Genetic Programming (dCGP). In the context of symbolic regression, dCGP offers a new approach to the long unsolved problem of constant representation in GP expressions. On several problems of increasing complexity we find that dCGP is able to find the exact form of the symbolic expression as well as the constants values. We also demonstrate the use of dCGP to solve a large class of differential equations and to find prime integrals of dynamical systems, presenting, in both cases, results that confirm the efficacy of our approach.

cs.NE

Insights from Synthetic Star-forming Regions: I. Reliable Mock Observations from SPH Simulations

Through synthetic observations of a hydrodynamical simulation of an evolving star-forming region, we assess how the choice of observational techniques affects the measurements of properties which trace star formation. Testing and calibrating observational measurements requires synthetic observations which are as realistic as possible. In this part of the paper series (Paper I), we explore different techniques for how to map the distributions of densities and temperatures from the particle-based simulations onto a Voronoi mesh suitable for radiative transfer and consequently explore their accuracy. We further test different ways to set up the radiative transfer in order to produce realistic synthetic observations. We give a detailed description of all methods and ultimately recommend techniques. We have found that the flux around 20 microns is strongly overestimated when blindly coupling the dust radiative transfer temperature with the hydrodynamical gas temperature. We find that when instead assuming a constant background dust temperature in addition to the radiative transfer heating, the recovered flux is consistent with actual observations. We present around 5800 realistic synthetic observations for Spitzer and Herschel bands, at different evolutionary time-steps, distances and orientations. In the upcoming papers of this series (Paper II, Paper III and Paper IV), we will test and calibrate measurements of the star-formation rate (SFR), gas mass and the star-formation efficiency (SFE) using our realistic synthetic observations.

astro-ph.SR

On the astrodynamics applications of Weierstrass elliptic and related functions

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.

astro-ph.EP

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

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.

astro-ph.EP

Explicit Solution to the Constant Radial Acceleration Problem

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.

math-ph

The Stark problem in the Weierstrassian formalism

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.

math-ph

A first-order secular theory for the post-Newtonian two-body problem with spin -- I: The restricted case

We revisit the relativistic restricted two-body problem with spin employing a perturbation scheme based on Lie series. Starting from a post-Newtonian expansion of the field equations, we develop a first-order secular theory that reproduces well-known relativistic effects such as the precession of the pericentre and the Lense-Thirring and geodetic effects. Additionally, our theory takes into full account the complex interplay between the various relativistic effects, and provides a new explicit solution of the averaged equations of motion in terms of elliptic functions. Our analysis reveals the presence of particular configurations for which non-periodical behaviour can arise. The application of our results to real astrodynamical systems (such as Mercury-like and pulsar planets) highlights the contribution of relativistic effects to the long-term evolution of the spin and orbit of the secondary body.

gr-qc

Towards a High Fidelity Direct Transcription Method for Optimisation of Low-Thrust Trajectories

We build upon some new ideas in direct transcription methods developed within the Advanced Concepts Team to introduce two improvements to the Sims-Flanagan transcription for low-thrust trajectories. The obtained new algorithm is able to produce an operational trajectory accounting for the real spacecraft dynamics and adapting the segment duration on-line improving the final trajectory optimality.

math.OC

On the Impact of the Migration Topology on the Island Model

Parallel Global Optimization Algorithms (PGOA) provide an efficient way of dealing with hard optimization problems. One method of parallelization of GOAs that is frequently applied and commonly found in the contemporary literature is the so-called Island Model (IM). In this paper we analyze the impact of the migration topology on the performance of a PGOA which uses the Island Model. In particular we consider parallel Differential Evolution and Simulated Annealing with Adaptive Neighborhood and draw first conclusions that emerge from the conducted experiments.

cs.DC