SearcharxivSearch

arXiv subjects

Jay McMahon

Publications and source records attributed to Jay McMahon.

13 recordsLinked to original sources

Physics-informed Learning for Orbital Uncertainty Propagation with Error Bounds

The Fokker-Planck partial differential equation (FP-PDE) governs uncertainty evolution in stochastic dynamical systems. In orbital dynamics, solving the FP-PDE is challenging because of nonlinear motion, high-dimensional states, and large space-time domains. We develop a physics-informed neural network (PINN) approach that approximates the FP-PDE solution as a single space-time probability density, while also quantifying its worst-case approximation error. This approach is, in principle, independent of the choice of state coordinates and neural network architecture. Specifically, to enforce probability density function (PDF) properties into the neural network, we design a Physics-informed Gaussian mixture model (PINN-GMM). Then a companion error PINN learns the dynamics of the approximation error and yields time-dependent bounds that define an ambiguity set of PDFs. This ambiguity set enables rigorous computation of upper and lower bounds on event probabilities through tractable linear programs. Numerical studies on illustrative 1D examples and several 4D--6D orbital test cases demonstrate accurate uncertainty propagation, correct and informative error bounds, and improved reliability over common uncertainty-propagation baseline methods (Gaussian approximation, unscented transform, and Gaussian mixture model). Constructing the PINN-GMM requires offline training, making it costlier than the baseline approximations; once trained, however, a single forward pass returns the density at any time in sub-millisecond time $(0.16~\mathrm{ms}$ in our implementation).

physics.comp-ph

Certified Stochastic Control via Covariance Steering with Pick-to-Learn

We present CS-P2L, a framework coupling covariance steering (CS) with the Pick-to-Learn (P2L) meta-algorithm for certified controller synthesis over high-fidelity stochastic simulators. The method iteratively evaluates policies on simulator rollouts, tightens surrogate constraints using the worst-case violations, and provides compression-based probabilistic guarantees on the true violation probability given a confidence level. On a spacecraft powered-descent problem with uncertain gravity, CS-P2L certifies a violation bound of 4.9\% with 600 rollouts, whereas standalone covariance steering underestimates the violation rate by roughly a factor of two.

eess.SY

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs

Due to their expressive power, neural networks (NNs) are promising templates for functional optimization problems, particularly for reach-avoid certificate generation for systems governed by stochastic differential equations (SDEs). However, ensuring hard-constraint satisfaction remains a major challenge. In this work, we propose two constraint-driven training frameworks with guarantees for supermartingale-based neural certificate construction and controller synthesis for SDEs. The first approach enforces certificate inequalities via domain discretization and a bound-based loss, guaranteeing global validity once the loss reaches zero. We show that this method also enables joint NN controller-certificate synthesis with hard guarantees. For high-dimensional systems where discretization becomes prohibitive, we introduce a partition-free, scenario-based training method that provides arbitrarily tight PAC guarantees for certificate constraint satisfaction. Benchmarks demonstrate scalability of the bound-based method up to 5D, outperforming the state of the art, and scalability of the scenario-based approach to at least 10D with high-confidence guarantees.

eess.SY

Operational Mass Measurement for Flyby Reconnaissance Missions of Potentially Hazardous Asteroid

This study evaluates a technique for determining the mass of a potentially hazardous asteroid from a high-speed flyby in the context of a rapid reconnaissance planetary defense scenario. We consider a host spacecraft that dispenses a small CubeSat, which acts as a test-mass. Both spacecraft perform approach maneuvers to target their flyby locations, with the host targeting a close proximity flyby and the CubeSat targeting a distant flyby. By incorporating short-range intersatellite measurements between the host and the CubeSat, the mass measurement sensitivity is substantially improved. We evaluate a set of proposed host and CubeSat hardware options against the 2023 and 2025 Planetary Defense Conference hypothetical threats, as well as a hypothetical flyby of 2024 YR4. These scenarios differ predominantly in their flyby speeds, which span from 1.7 to 22 km/s. Based on these scenarios, we demonstrate that a typical radio-frequency intersatellite measurement is ineffective for asteroids with diameters relevant to planetary defense (i.e., 50 - 500 m). However, we find that augmenting the system with a laser-based intersatellite ranging system or a high-precision Doppler system can enable mass measurements of asteroids as small as 100 m across all cases, and as small as 50 m for the slower (< 8 km/s) cases. The results are very sensitive to the timing of the final maneuver, which is used to target the low-altitude flyby point. This presents an operational challenge for the smallest objects, where optical detection times are comparatively late and the optical navigation targeting knowledge converges too slowly.

astro-ph.IM

Bayesian Diagnosability and Active Fault Identification

We study fault identification in discrete-time nonlinear systems subject to additive Gaussian white noise. We introduce a Bayesian framework that explicitly accounts for unmodeled faults under reasonable assumptions. Our approach hinges on a new quantitative diagnosability definition, revealing when passive fault identification (FID) is fundamentally limited by the given control sequence. To overcome such limitations, we propose an active FID strategy that designs control inputs for better fault identification. Numerical studies on a two-water tank system and a Mars satellite with complex and discontinuous dynamics demonstrate that our method significantly reduces failure rates with shorter identification delays compared to purely passive techniques.

eess.SY

The Dynamical State of the Didymos System Before and After the DART Impact

NASA's Double Asteroid Redirection Test (DART) spacecraft impacted Dimorphos, the natural satellite of (65803) Didymos, on 2022 September 26, as a first successful test of kinetic impactor technology for deflecting a potentially hazardous object in space. The experiment resulted in a small change to the dynamical state of the Didymos system consistent with expectations and Level 1 mission requirements. In the pre-encounter paper Richardson (2022), predictions were put forward regarding the pre- and post-impact dynamical state of the Didymos system. Here we assess these predictions, update preliminary findings published after the impact, report on new findings related to dynamics, and provide implications for ESA's Hera mission to Didymos, scheduled for launch in 2024 with arrival in late December 2026. Pre-encounter predictions tested to date are largely in line with observations, despite the unexpected, flattened appearance of Didymos compared to the radar model and the apparent pre-impact oblate shape of Dimorphos (with implications for the origin of the system that remain under investigation). New findings include that Dimorphos likely became prolate due to the impact and may have entered a tumbling rotation state. A possible detection of a post-impact transient secular decrease in the binary orbital period suggests possible dynamical coupling with persistent ejecta. Timescales for damping of any tumbling and clearing of any debris are uncertain. The largest uncertainty in the momentum transfer enhancement factor of the DART impact remains the mass of Dimorphos, which will be resolved by the Hera mission.

astro-ph.EP

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs

Stochastic differential equations are commonly used to describe the evolution of stochastic processes. The state uncertainty of such processes is best represented by the probability density function (PDF), whose evolution is governed by the Fokker-Planck partial differential equation (FP-PDE). However, it is generally infeasible to solve the FP-PDE in closed form. In this work, we show that physics-informed neural networks (PINNs) can be trained to approximate the solution PDF. Our main contribution is the analysis of PINN approximation error: we develop a theoretical framework to construct tight error bounds using PINNs. In addition, we derive a practical error bound that can be efficiently constructed with standard training methods. We discuss that this error-bound framework generalizes to approximate solutions of other linear PDEs. Empirical results on nonlinear, high-dimensional, and chaotic systems validate the correctness of our error bounds while demonstrating the scalability of PINNs and their significant computational speedup in obtaining accurate PDF solutions compared to the Monte Carlo approach.

cs.LG

BYORP and Dissipation in Binary Asteroids: Lessons from DART

The Near-Earth binary asteroid Didymos was the target of a planetary defense demonstration mission DART in September 2022. The smaller binary component, Dimorphos, was impacted by the spacecraft in order to measure momentum transfer in kinetic impacts into rubble piles. DART and associated Earth-based observation campaigns have provided a wealth of scientific data on the Didymos-Dimorphos binary. DART revealed a largely oblate and ellipsoidal shape of Dimorphos before the impact, while the post-impact observations suggest that Dimorphos now has a prolate shape. Here we add those data points to the known properties of small binary asteroids and propose new paradigms of the radiative binary YORP (BYORP) effect as well as tidal dissipation in small binaries. We find that relatively spheroidal bodies like Dimorphos made of small debris may experience a weaker and more size-dependent BYORP effect than previously thought. This could explain the observed values of period drift in several well-characterized binaries. We also propose that energy dissipation in small binaries is dominated by relatively brief episodes of large-scale movement of (likely surface) materials, rather than long-term steady-state tidal dissipation. We propose that one such episode was triggered on Dimorphos by the DART impact. Depending on the longevity of this high-dissipation regime, it is possible that Dimorphos will be more dynamically relaxed in time for the Hera mission than it was in the weeks following the impact.

astro-ph.EP

Using Surprise Index for Competency Assessment in Autonomous Decision-Making

This paper considers the problem of evaluating an autonomous system's competency in performing a task, particularly when working in dynamic and uncertain environments. The inherent opacity of machine learning models, from the perspective of the user, often described as a `black box', poses a challenge. To overcome this, we propose using a measure called the Surprise index, which leverages available measurement data to quantify whether the dynamic system performs as expected. We show that the surprise index can be computed in closed form for dynamic systems when observed evidence in a probabilistic model if the joint distribution for that evidence follows a multivariate Gaussian marginal distribution. We then apply it to a nonlinear spacecraft maneuver problem, where actions are chosen by a reinforcement learning agent and show it can indicate how well the trajectory follows the required orbit.

cs.RO

Energy Dissipation in Synchronous Binary Asteroids

Synchronous binary asteroids can experience libration about their tidally-locked equilibrium, which will result in energy dissipation. This is an important topic to the Asteroid Impact and Deflection Assessment, where excitation caused by the DART kinetic impact in the Didymos binary asteroid system may be reduced through dissipation before Hera arrives to survey the effects of the impact. We develop a numeric model for energy dissipation in binary asteroids to explore how different system configurations affect the rate of energy dissipation. We find tumbling within the synchronous state eliminates a systematic trend in libration damping on short timescales (several years), but not over long times (hundreds of years) depending on the material conditions. Furthermore, damping of libration, eccentricity, and fluctuations in the semimajor axis are primarily dependent on the stiffness of the secondary, whereas the semimajor axis secular expansion rate is dictated by the stiffness of the primary, as expected. Systems experiencing stable planar libration in the secondary can see a noticeable reduction in libration amplitude after only a few years depending on the stiffness of the secondary, and thus dissipation should be considered during Hera's survey of Didymos. For a very dissipative secondary undergoing stable libration, Hera may be able to calculate the rate of libration damping in Dimorphos and therefore constrain its tidal parameters.

astro-ph.EP

Predictions for the Dynamical States of the Didymos System before and after the Planned DART Impact

NASA's Double Asteroid Redirection Test (DART) spacecraft is planned to impact the natural satellite of (65803) Didymos, Dimorphos, around 23:14 UTC on 26 September 2022, causing a reduction in its orbital period that will be measurable with ground-based observations. This test of kinetic impactor technology will provide the first estimate of the momentum transfer enhancement factor $β$ at a realistic scale, wherein ejecta from the impact provides an additional deflection to the target. Earth-based observations, the LICIACube spacecraft (to be detached from DART prior to impact), and ESA's follow-up Hera mission to launch in 2024, will provide additional characterization of the deflection test. Together Hera and DART comprise the Asteroid Impact and Deflection Assessment (AIDA) cooperation between NASA and ESA. Here the predicted dynamical states of the binary system upon arrival and after impact are presented. The assumed dynamically relaxed state of the system will be excited by the impact, leading to an increase in eccentricity and slight tilt of the orbit together with enhanced libration of Dimorphos with amplitude dependent on the currently poorly known target shape. Free rotation around the moon's long axis may also be triggered and the orbital period will experience variations from seconds to minutes over timescales of days to months. Shape change of either body due to cratering or mass wasting triggered by crater formation and ejecta may affect $β$ but can be constrained through additional measurements. Both BYORP and gravity tides may cause measurable orbital changes on the timescale of Hera's rendezvous.

astro-ph.EP

Gravity Estimation at Small Bodies via Optical Tracking of Hopping Artificial Probes

Despite numerous successful missions to small celestial bodies, the gravity field of such targets has been poorly characterized so far. Gravity estimates can be used to infer the internal structure and composition of small bodies and, as such, have strong implications in the fields of planetary science, planetary defense, and in-situ resource utilization. Current gravimetry techniques at small bodies mostly rely on tracking the spacecraft orbital motion, where the gravity observability is low. To date, only lower-degree and order spherical harmonics of small-body gravity fields could be resolved. In this paper, we evaluate gravimetry performance for a novel mission architecture where artificial probes repeatedly hop across the surface of the small body and perform low-altitude, suborbital arcs. Such probes are tracked using optical measurements from the mothership's onboard camera and orbit determination is performed to estimate the probe trajectories, the small body's rotational kinematics, and the gravity field. The suborbital motion of the probes provides dense observations at low altitude, where the gravity signal is stronger. We assess the impact of observation parameters and mission duration on gravity observability. Results suggest that the gravitational spherical harmonics of a small body with the same mass as the asteroid Bennu, can be observed at least up to degree 40 within months of observations. Measurement precision and frequency are key to achieve high-performance gravimetry.

astro-ph.IM

The Formation of the Wide Asynchronous Binary Asteroid Population

We propose and analyze a new mechanism for the formation of the wide asynchronous binary population. These binary asteroids have wide semi-major axes relative to most near-Earth and Main Belt asteroid systems. Confirmed members have rapidly rotating primaries and satellites that are not tidally locked. Previously suggested formation mechanisms from impact ejecta, planetary flybys and directly from rotational fission events cannot satisfy all of the observations. The newly hypothesized mechanism works as follows: (i) these systems are formed from rotational fission, (ii) their satellites are tidally locked, (iii) their orbits are expanded by the BYORP effect, (iv) their satellites de-synchronize due to the adiabatic invariance between the libration of the secondary and the mutual orbit, and (v) the secondary avoids resynchronization due to the the YORP effect. This seemingly complex chain of events is a natural pathway for binaries with satellites that have particular shapes, which define the BYORP effect torque that acts on the system. After detailing the theory, we analyze each of the wide asynchronous binary members and candidates to assess their most likely formation mechanism. Finally, we suggest possible future observations to check and constrain our hypothesis.

astro-ph.EP