Showing 1–12 of 12 results for author: Baù, G

Numerical behavior of the Keplerian Integral methods for initial orbit determination

Authors: Óscar Rodríguez, Giovanni F. Gronchi, Giulio Baù, Robert Jedicke

Abstract: We investigate the behaviour of two recent methods for the computation of preliminary orbits. These methods are based on the conservation laws of Kepler's problem, and enable the linkage of very short arcs of optical observations even when they are separated in time by a few years. Our analysis is performed using both synthetic and real data of 822 main belt asteroids. The differences between comp… ▽ More We investigate the behaviour of two recent methods for the computation of preliminary orbits. These methods are based on the conservation laws of Kepler's problem, and enable the linkage of very short arcs of optical observations even when they are separated in time by a few years. Our analysis is performed using both synthetic and real data of 822 main belt asteroids. The differences between computed and true orbital elements have been analysed for the true linkages, as well as the occurrence of alternative solutions. Some metrics have been introduced to quantify the results, with the aim of discarding as many of the false linkages as possible and kee** the vast majority of true ones. These numerical experiments provide thresholds for the metrics which take advantage of the knowledge of the \emph{ground truth}: the values of these thresholds can be used in normal operation mode, when we do not know the correct values of the orbital elements and whether the linkages are true or false. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Linking tracklets over the years in large datasets

Authors: Óscar Rodríguez, Giovanni F. Gronchi, Giulio Baù, Robert Jedicke

Abstract: We present a new procedure to identify observations of known objects in large data sets of unlinked detections. It begins with a Keplerian integrals method that allows us to link two tracklets, computing preliminary orbits, even when the tracklets are separated in time by a few years. In the second step, we represent the results in a `graph' where the tracklets are the nodes and the preliminary or… ▽ More We present a new procedure to identify observations of known objects in large data sets of unlinked detections. It begins with a Keplerian integrals method that allows us to link two tracklets, computing preliminary orbits, even when the tracklets are separated in time by a few years. In the second step, we represent the results in a `graph' where the tracklets are the nodes and the preliminary orbits are the edges. Then, acceptable `3-cycles' are identified and a least squares orbit is computed for each of them. Finally, we construct sequences of $n \geq 4$ tracklets by searching through the orbits of nearby 3-cycles and attempting to attribute the remaining tracklets. We calculate the technique's efficiency at identifying unknown objects using real detections that attempt to mimic key parameters of the Minor Planet Center's Isolated Tracklet File (ITF) and then apply the procedure to the ITF to identify tens of thousands of new objects. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Orbit determination from one position vector and a very short arc of optical observations

Authors: Erica Scantamburlo, Giovanni F. Gronchi, Giulio Baù

Abstract: In this paper we address the problem of computing a preliminary orbit of a celestial body from one topocentric position vector and a very short arc (VSA) of optical observations. Using the conservation laws of the two-body dynamics, we write the problem as a system of 8 polynomial equations in 6 unknowns. We prove that this system is generically consistent, namely it admits solutions at least in t… ▽ More In this paper we address the problem of computing a preliminary orbit of a celestial body from one topocentric position vector and a very short arc (VSA) of optical observations. Using the conservation laws of the two-body dynamics, we write the problem as a system of 8 polynomial equations in 6 unknowns. We prove that this system is generically consistent, namely it admits solutions at least in the complex field. From this system we derive a univariate polynomial $\mathfrak{v}$ of degree 8 in the unknown topocentric distance at the mean epoch of the VSA. Through Gröbner bases theory, we show that the degree of $\mathfrak{v}$ is minimum among the degrees of all the univariate polynomials solving this problem. The proposed method is relevant for different purposes, e.g. the computation of a preliminary orbit of an Earth satellite with radar and optical observations, the detection of maneuvres of an Earth satellite, and the recovery of asteroids which are lost due to a planetary close encounter. We also show some numerical tests in the case of asteroids undergoing a close encounter with the Earth. △ Less

Submitted 22 December, 2023; originally announced December 2023.

Revisiting the computation of the critical points of the Keplerian distance

Authors: Giovanni F. Gronchi, Giulio Baù, Clara Grassi

Abstract: We consider the Keplerian distance $d$ in the case of two elliptic orbits, i.e. the distance between one point on the first ellipse and one point on the second one, assuming they have a common focus. The absolute minimum $d_{\rm min}$ of this function, called MOID or orbit distance in the literature, is relevant to detect possible impacts between two objects following approximately these elliptic… ▽ More We consider the Keplerian distance $d$ in the case of two elliptic orbits, i.e. the distance between one point on the first ellipse and one point on the second one, assuming they have a common focus. The absolute minimum $d_{\rm min}$ of this function, called MOID or orbit distance in the literature, is relevant to detect possible impacts between two objects following approximately these elliptic trajectories. We revisit and compare two different approaches to compute the critical points of $d^2$, where we squared the distance $d$ to include crossing points among the critical ones. One approach uses trigonometric polynomials, the other uses ordinary polynomials. A new way to test the reliability of the computation of $d_{\rm min}$ is introduced, based on optimal estimates that can be found in the literature. The planar case is also discussed: in this case we present an estimate for the maximal number of critical points of $d^2$, together with a conjecture supported by numerical tests. △ Less

Submitted 24 May, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Abstract interpretation of Michelson smart-contracts

Authors: Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz

Abstract: Static analysis of smart-contracts is becoming more widespread on blockchain platforms. Analyzers rely on techniques like symbolic execution or model checking, but few of them can provide strong soundness properties and guarantee the analysis termination at the same time. As smart-contracts often manipulate economic assets, proving numerical properties beyond the absence of runtime errors is also… ▽ More Static analysis of smart-contracts is becoming more widespread on blockchain platforms. Analyzers rely on techniques like symbolic execution or model checking, but few of them can provide strong soundness properties and guarantee the analysis termination at the same time. As smart-contracts often manipulate economic assets, proving numerical properties beyond the absence of runtime errors is also desirable. Smart-contract execution models differ considerably from mainstream programming languages and vary from one blockchain to another, making state-of-the-art analyses hard to adapt. For instance, smart-contract calls may modify a persistent storage impacting subsequent calls. This makes it difficult for tools to infer invariants required to formally ensure the absence of exploitable vulnerabilities. The Michelson smart-contract language, used in the Tezos blockchain, is strongly typed, stack-based, and has a strict execution model leaving few opportunities for implicit runtime errors. We present a work in progress static analyzer for Michelson based on Abstract Interpretation and implemented within MOPSA, a modular static analyzer. Our tool supports the Michelson semantic features, including inner calls to external contracts. It can prove the absence of runtime errors and infer invariants on the persistent storage over an unbounded number of calls. It is also being extended to prove high-level numerical and security properties. CCS Concepts: $\bullet$ Security and privacy $\rightarrow$ Logic and verification; $\bullet$ Software and its engineering $\rightarrow$ Automated static analysis. △ Less

Submitted 11 October, 2022; originally announced October 2022.

Journal ref: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2022, San Diego, CA, United States. pp.36-43

A dynamical definition of the sphere of influence of the Earth

Authors: Irene Cavallari, Clara Grassi, Giovanni F. Gronchi, Giulio Baù, Giovanni B. Valsecchi

Abstract: The concept of sphere of influence of a planet is useful in both the context of impact monitoring of asteroids with the Earth and of the design of interplanetary trajectories for spacecrafts. After reviewing the classical results, we propose a new definition for this sphere that depends on the position and velocity of the small body for given values of the Jacobi constant $C$. Here we compare the… ▽ More The concept of sphere of influence of a planet is useful in both the context of impact monitoring of asteroids with the Earth and of the design of interplanetary trajectories for spacecrafts. After reviewing the classical results, we propose a new definition for this sphere that depends on the position and velocity of the small body for given values of the Jacobi constant $C$. Here we compare the orbit of the small body obtained in the framework of the circular restricted three-body problem, with orbits obtained by patching two-body solutions. Our definition is based on an optimisation process, minimizing a suitable target function with respect to the assumed radius of the sphere of influence. For different values of $C$ we represent the results in the planar case: we show the values of the selected radius as a function of two angles characterising the orbit. In this case, we also produce a database of radii of the sphere of influence for several initial conditions, allowing an interpolation. △ Less

Submitted 19 May, 2022; originally announced May 2022.

Comments: 35 pages, 32 figures

Near-Linear Orbit Uncertainty Propagation in the Perturbed Two-Body Problem

Authors: Javier Hernando-Ayuso, Claudio Bombardelli, Giulio Baù, Alicia Martínez-Cacho

Abstract: The paper addresses the problem of minimizing the impact of non-linearities when dealing with uncertainty propagation in the perturbed two-body problem. The recently introduced generalized equinoctial orbital element set (GEqOE) is employed as a means to reduce non-linear effects stemming from J$_2$ and higher order gravity field harmonics. The uncertainty propagation performance of the proposed s… ▽ More The paper addresses the problem of minimizing the impact of non-linearities when dealing with uncertainty propagation in the perturbed two-body problem. The recently introduced generalized equinoctial orbital element set (GEqOE) is employed as a means to reduce non-linear effects stemming from J$_2$ and higher order gravity field harmonics. The uncertainty propagation performance of the proposed set of elements in different Earth orbit scenarios, including low-thrust orbit raising, is evaluated using a Cramér-von Mises test on the Mahalanobis distance of the uncertainty distribution. A considerable improvement compared to all sets of elements proposed so far is obtained. △ Less

Submitted 1 April, 2022; originally announced April 2022.

A generalization of the equinoctial orbital elements

Authors: Giulio Baù, Javier Hernando-Ayuso, Claudio Bombardelli

Abstract: We introduce six quantities that generalize the equinoctial orbital elements when some or all the perturbing forces that act on the propagated body are derived from a disturbing potential. Three of the elements define a non-osculating ellipse on the orbital plane, other two fix the orientation of the equinoctial reference frame, and the last allows one to determine the true longitude of the body.… ▽ More We introduce six quantities that generalize the equinoctial orbital elements when some or all the perturbing forces that act on the propagated body are derived from a disturbing potential. Three of the elements define a non-osculating ellipse on the orbital plane, other two fix the orientation of the equinoctial reference frame, and the last allows one to determine the true longitude of the body. The Jacobian matrices of the transformations between the new elements and the position and velocity are explicitly given. As a possible application we investigate their use in the propagation of Earth's artificial satellites showing a remarkable improvement compared to the equinoctial orbital elements. △ Less

Submitted 27 August, 2021; v1 submitted 7 May, 2021; originally announced May 2021.

Generalization of a method by Mossotti for initial orbit determination

Authors: Giovanni F. Gronchi, Giulio Baù, Óscar Rodríguez, Robert Jedicke, Joachim Moeyens

Abstract: Here we revisit an initial orbit determination method introduced by O. F. Mossotti employing four geocentric sky-plane observations and a linear equation to compute the angular momentum of the observed body. We then extend the method to topocentric observations, yielding a quadratic equation for the angular momentum. The performance of the two versions are compared through numerical tests with syn… ▽ More Here we revisit an initial orbit determination method introduced by O. F. Mossotti employing four geocentric sky-plane observations and a linear equation to compute the angular momentum of the observed body. We then extend the method to topocentric observations, yielding a quadratic equation for the angular momentum. The performance of the two versions are compared through numerical tests with synthetic asteroid data using different time intervals between consecutive observations and different astrometric errors. We also show a comparison test with Gauss's method using simulated observations with the expected cadence of the VRO-LSST telescope. △ Less

Submitted 1 September, 2021; v1 submitted 1 April, 2021; originally announced April 2021.

Comments: 22 pages, 9 figures

MSC Class: 70-XX

Uniform formulation for orbit computation: the intermediate elements

Authors: Giulio Baù, Javier Roa

Abstract: We present a new method for computing orbits in the perturbed two-body problem: the position and velocity vectors of the propagated object in Cartesian coordinates are replaced by eight orbital elements, i.e., constants of the unperturbed motion. The proposed elements are uniformly valid for any value of the total energy. Their definition stems from the idea of applying Sundman's time transformati… ▽ More We present a new method for computing orbits in the perturbed two-body problem: the position and velocity vectors of the propagated object in Cartesian coordinates are replaced by eight orbital elements, i.e., constants of the unperturbed motion. The proposed elements are uniformly valid for any value of the total energy. Their definition stems from the idea of applying Sundman's time transformation in the framework of the projective decomposition of motion, which is the starting point of the Burdet-Ferrándiz linearisation, combined with the Stumpff functions. In analogy with Deprit's ideal elements, the formulation relies on a special reference frame that evolves slowly under the action of external perturbations. We call it the intermediate frame, hence the name of the elements. Two of them are related to the radial motion, the next four, given by Euler parameters, fix the orientation of the intermediate frame. The total energy and a time element complete the state vector. All the necessary formulae for extending the method to orbit determination and uncertainty propagation are provided. For example, the partial derivatives of the position and velocity with respect to the intermediate elements are obtained explicitly together with the inverse partial derivatives. Numerical tests are included to assess the performance of the proposed special perturbation method when propagating the orbit of comets C/2003~T4 (LINEAR) and C/1985~K1 (Machholz). △ Less

Submitted 22 January, 2020; v1 submitted 29 November, 2019; originally announced December 2019.

Non-averaged regularized formulations as an alternative to semi-analytical orbit propagation methods

Authors: Davide Amato, Claudio Bombardelli, Giulio Baù, Vincent Morand, Aaron J. Rosengren

Abstract: This paper is concerned with the comparison of semi-analytical and non-averaged propagation methods for Earth satellite orbits. We analyse the total integration error for semi-analytical methods and propose a novel decomposition into dynamical, model truncation, short-periodic, and numerical error components. The first three are attributable to distinct approximations required by the method of ave… ▽ More This paper is concerned with the comparison of semi-analytical and non-averaged propagation methods for Earth satellite orbits. We analyse the total integration error for semi-analytical methods and propose a novel decomposition into dynamical, model truncation, short-periodic, and numerical error components. The first three are attributable to distinct approximations required by the method of averaging, which fundamentally limit the attainable accuracy. In contrast, numerical error, the only component present in non-averaged methods, can be significantly mitigated by employing adaptive numerical algorithms and regularized formulations of the equations of motion. We present a collection of non-averaged methods based on the integration of existing regularized formulations of the equations of motion through an adaptive solver. We implemented the collection in the orbit propagation code THALASSA, which we make publicly available, and we compared the non-averaged methods to the semi-analytical method implemented in the orbit propagation tool STELA through numerical tests involving long-term propagations (on the order of decades) of LEO, GTO, and high-altitude HEO orbits. For the test cases considered, regularized non-averaged methods were found to be up to two times slower than semi-analytical for the LEO orbit, to have comparable speed for the GTO, and to be ten times as fast for the HEO (for the same accuracy). We show for the first time that efficient implementations of non-averaged regularized formulations of the equations of motion, and especially of non-singular element methods, are attractive candidates for the long-term study of high-altitude and highly elliptical Earth satellite orbits. △ Less

Submitted 21 May, 2019; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: 33 pages, 10 figures, 7 tables. Part of the CMDA Topical Collection on "50 years of Celestial Mechanics and Dynamical Astronomy". Comments and feedback are encouraged

Journal ref: Celestial Mechanics and Dynamical Astronomy, Vol. 131, Issue 5, May 2019

Keplerian integrals, elimination theory and identification of very short arcs in a large database of optical observations

Authors: Giovanni Federico Gronchi, Giulio Bau, Andrea Milani

Abstract: The modern optical telescopes produce a huge number of asteroid observations, that are grouped into very short arcs (VSAs), each containing a few observations of the same object in one single night. To decide whether two VSAs, collected in different nights, refer to the same observed object we can attempt to compute an orbit with the observations of both arcs: this is called the linkage problem. S… ▽ More The modern optical telescopes produce a huge number of asteroid observations, that are grouped into very short arcs (VSAs), each containing a few observations of the same object in one single night. To decide whether two VSAs, collected in different nights, refer to the same observed object we can attempt to compute an orbit with the observations of both arcs: this is called the linkage problem. Since the number of orbit computations to be performed is very large, we need efficient methods of orbit determination. Using the first integrals of Kepler's motion we can write algebraic equations for the linkage problem, which can be put in polynomial form. The equations introduced in (Gronchi et al. 2015) can be reduced to a univariate polynomial of degree 9: the unknown is the topocentric distance $ρ$ of the observed body at the mean epoch of one of the VSAs. Using elimination theory we show an optimal property of this polynomial: it has the least degree among the univariate polynomials in the same variable that are consequence of the algebraic conservation laws and are obtained without squaring operations, that can be used to bring these algebraic equations in polynomial form. In this paper we also introduce a procedure to join three VSAs belonging to different nights: from the conservation of angular momentum at the three mean epochs of the VSAs, we obtain a univariate polynomial equation of degree 8 in the topocentric distance $ρ_2$ at the intermediate epoch. This algorithm has the same computational complexity as the classical method by Gauss, but uses more information, therefore we expect that it can produce more accurate results. For both methods, linking two and three VSAs, we also discuss how to select the solutions, making use of the full two-body dynamics, and show some numerical tests comparing the results with the ones obtained by Gauss' method. △ Less

Submitted 30 March, 2016; originally announced April 2016.

Comments: 20 pages, 1 figure