1: \begin{abstract}

2: Spacecraft detumbling with magnetic torque coils is an inherently underactuated control problem.

3: Contemporary and classical magnetorquer detumbling methods do not adequately consider this underactuation, and suffer from poor performance as a result.

4: These controllers can get stuck on an uncontrollable manifold, resulting in long detumbling times and high power consumption.

5: This work presents a novel detumble controller based on a non-monotonic Lyapunov function that predicts the future magnetic field along the satellite's orbit and avoids uncontrollable configurations.

6: In comparison to other controllers in the literature, our controller detumbles a satellite in significantly less time while also converging to lower overall angular momentum.

7: We provide a derivation and proof of convergence for our controller as well as Monte-Carlo simulation results demonstrating its performance in representative use cases.

8: \end{abstract}

9: