Optimization-Based Formation Flight on Libration Point Orbits

This paper proposes a sequential convex programming-based Model Predictive Control framework for station-keeping spacecraft formations on libration point orbits that ensures recursive feasibility and prevents inter-sample constraint violations while maintaining propellant efficiency comparable to existing methods.

Yuri Shimane, Purnanand Elango, Avishai Weiss

Published Wed, 11 Ma
📖 5 min read🧠 Deep dive

Imagine you are the director of a high-stakes space ballet. Instead of dancers on a stage, you have a fleet of spacecraft performing a delicate routine around a "libration point"—a gravitational sweet spot between the Earth and the Moon where objects can float in a stable, looping orbit.

The challenge? You aren't just choreographing one dancer; you are managing a whole troupe. They need to stay in a specific formation (like a V-shape or a circle), they must never crash into each other, and they must always keep their "eyes" (sensors and antennas) pointed away from the blinding glare of the Sun.

This paper presents a new, smarter way to conduct this space ballet using a method called Model Predictive Control (MPC). Here is how it works, broken down into simple concepts:

1. The Problem: Dancing in a Stormy Room

Space isn't empty; it's full of invisible forces. The Moon's gravity isn't perfectly smooth, the Sun pushes on the ships with radiation pressure, and the Earth tugs at them too. Plus, your sensors aren't perfect, and your thrusters might fire slightly off-target.

If you just tell the ships "stay here," they will drift apart or crash because of these tiny errors. Previous methods tried to use complex mathematical "maps" (called Quasi-Periodic Tori) to predict where the ships should go. But in the real, messy world of space, these maps are only approximations. If you rely on them too strictly, your formation might break, or you might waste a lot of fuel trying to force the ships back onto a map that doesn't quite fit reality.

2. The Solution: The "Crystal Ball" Strategy

The authors propose a strategy where the computer acts like a crystal ball. Instead of just reacting to the present, the computer constantly looks ahead.

  • The Vision: At every moment, the computer simulates the next few weeks of the mission. It asks, "If I fire the thrusters now, where will the ships be in 5 days? Will they be too close? Will the Sun be blocking their view?"
  • The Optimization: It then solves a giant math puzzle to find the best set of thruster burns that keeps the ships safe, in formation, and fuel-efficient.
  • The Loop: It executes the first step, then immediately looks ahead again, correcting for any new errors. This happens over and over, like a GPS that recalculates your route every time you miss a turn.

3. The "Safety Margin" Trick (Constraint Tightening)

Here is the clever part. Imagine you are walking a tightrope. If you tell a tightrope walker, "Stay exactly on the line," a tiny gust of wind will knock them off.

Instead, this paper tells the computer to pretend the tightrope is narrower than it actually is as it looks further into the future.

  • Now: The computer says, "Okay, you have a wide safety zone."
  • In 3 days: It says, "By then, you must be in a much narrower zone."
  • In 1 week: "You must be in a tiny zone."

This is called Constraint Tightening. By forcing the ships to stay "extra safe" in the near future, the computer builds in a buffer. If a wind gust (an error) hits them, they still have room to maneuver back to the center without crashing. It's like driving a car and staying in the middle of the lane rather than hugging the white line, just in case you drift.

4. The "No-Violation" Guarantee (Isoperimetric Reformulation)

Usually, computers check rules only at specific moments (like checking a student's homework only at the end of the day). But in space, a ship could drift into a dangerous zone between those checks and then drift back out before the next check. The computer wouldn't see the violation!

The authors use a mathematical trick called Isoperimetric Reformulation.

  • The Analogy: Instead of just checking if the student was late at 3:00 PM, this method calculates the total amount of time the student spent late during the whole day. If the total "lateness" is zero, then they were never late at any single moment.
  • The Result: This ensures the ships never violate safety rules, even for a split second between the computer's checks. It guarantees continuous safety.

5. The Results: A Tightrope Walk with Savings

The team tested this on a computer simulation of a "Near-Rectilinear Halo Orbit" (a very long, egg-shaped orbit used by the Gateway space station). They simulated a fleet of two ships over 65 days, throwing in all kinds of realistic errors (bad sensors, shaky thrusters, solar wind).

  • Success Rate: The new method kept the ships safe and in formation 100% of the time, even when the "tightrope" was narrow.
  • Fuel Efficiency: Surprisingly, being this careful didn't cost much extra fuel. In fact, because the computer planned the whole path at once (rather than fixing problems one by one), it actually saved fuel compared to older, "step-by-step" methods.
  • Sun Safety: They successfully kept the ships from pointing their antennas at the Sun, a constraint that is very hard to manage with older methods.

The Bottom Line

This paper introduces a "smart conductor" for space formations. It doesn't just tell the ships where to go; it constantly looks ahead, builds in safety buffers, and guarantees that the ships never break the rules, all while using less fuel than before. It turns a chaotic, dangerous dance in space into a smooth, predictable, and safe performance.