As spacecraft rendezvous and docking missions become increasingly complex, the need for
advanced solutions has surged. In recent years, the application of reinforcement learning …

Autonomous spacecraft proximity operations represent a key enabler for future mission
architectures such as in-orbit servicing, active debris removal, object inspection, and in-orbit …

This tutorial paper discusses the rising need for safe and constrained spacecraft
Rendezvous, Proximity Operations, and Docking (RPOD). This class of problems brings with …

Constrained zonotopes are equivalent representations for convex polytopes that have
recently enabled tractable implementations of some set-based control methods. We con …

The problem of passive safety between spacecraft is studied in this paper by means of
backward reachable sets and orbital element differences. These reachable sets characterize …

Trajectory optimization, which forms a key component of modern guidance, navigation, and
control (GNC) systems, occupies the middle layer within a three-layer hierarchy, where the …

We study the problem of computing robust controllable sets for discrete-time linear systems
with additive uncertainty. We propose a tractable and scalable approach to inner-and outer …