Hanspeter Schaub

Robert Reed, Hanspeter Schaub, Morteza Lahijanian

Autonomous spacecraft control via Shielded Deep Reinforcement Learning (SDRL) has become a rapidly growing research area. However, the construction of shields and the definition of tasking remains informal, resulting in policies with no guarantees on safety and ambiguous goals for the RL agent. In this paper, we first explore the use of formal languages, namely Linear Temporal Logic (LTL), to formalize spacecraft tasks and safety requirements. We then define a manner in which to construct a reward function from a co-safe LTL specification automatically for effective training in SDRL framework. We also investigate methods for constructing a shield from a safe LTL specification for spacecraft applications and propose three designs that provide probabilistic guarantees. We show how these shields interact with different policies and the flexibility of the reward structure through several experiments.

John Martin, Hanspeter Schaub

Scientific machine learning and the advent of the Physics-Informed Neural Network (PINN) have shown high potential in their ability to solve complex differential equations. One example is the use of PINNs to solve the gravity field modeling problem -- learning convenient representations of the gravitational potential from position and acceleration data. These PINN gravity models, or PINN-GMs, have demonstrated advantages in model compactness, robustness to noise, and sample efficiency when compared to popular alternatives; however, further investigation has revealed various failure modes for these and other machine learning gravity models which this manuscript aims to address. Specifically, this paper introduces the third generation Physics-Informed Neural Network Gravity Model (PINN-GM-III) which includes design changes that solve the problems of feature divergence, bias towards low-altitude samples, numerical instability, and extrapolation error. Six evaluation metrics are proposed to expose these past pitfalls and illustrate the PINN-GM-III's robustness to them. This study concludes by evaluating the PINN-GM-III modeling accuracy on a heterogeneous density asteroid, and comparing its performance to other analytic and machine learning gravity models.

Ethan Burnett, Hanspeter Schaub

Understanding natural relative motion trajectories is critical to enable fuel-efficient multi-satellite missions operating in complex environments. This paper studies the problem of computing and efficiently parameterizing satellite relative motion solutions for linearization about a closed chief orbit. By identifying the analytic relationship between Lyapunov-Floquet transformations of the relative motion dynamics in different coordinate systems, new means are provided for rapid computation and exploration of the types of close-proximity natural relative motion available in various applications. The approach is demonstrated for the Keplerian relative motion problem with general eccentricities in multiple coordinate representations. The Keplerian assumption enables an analytic approach, leads to new geometric insights, and allows for comparison to prior linearized relative motion solutions.