Optimal Covariance Steering on Hypercomplex Number Lie Groups for Astrodynamics Applications

This project extends optimal covariance steering from Euclidean spaces to the hypercomplex number Lie groups on which rigid-body motion naturally evolves, with application to spacecraft attitude and relative motion problems

Most problems of interest to the US Space Force and to AFRL involve systems with strong nonlinear effects — orbital motion, rigid-body dynamics and kinematics — and it is precisely those nonlinearities that make uncertainty hard to propagate and harder to mitigate. Such effects are, however, best described by equations that evolve natively on Lie groups, which hypercomplex numbers coordinatize compactly and elegantly: quaternions for rotation, dual quaternions for pose.

A shaded sphere labelled S squared, with a point p marked on its upper surface by a blue dot and a flat plane drawn tangent to the sphere at that point, labelled T sub p S squared The obstacle in one picture: a distribution on a curved space cannot be described as it would be on a flat one. The tangent space at a point is the flat approximation available there, and only there.

A parallel line of work in control theory has been devoted to the distributional control of stochastic systems. It is now possible to control the whole distribution of trajectories rather than a single trajectory, under a variety of conditions and even subject to probabilistic constraints. That theory, though, is fully developed only for linear systems, and does not carry over to the non-Euclidean spaces in which systems on Lie groups live.

The objective of this project is to supply the missing theoretical foundation: control of distributions for systems evolving natively on Lie groups, including those coordinatized by hypercomplex numbers and, more generally, by Clifford algebras, as advanced astrodynamics applications require. The work is organized as three separate but closely aligned tasks. The first concerns modeling and the second control design; the third addresses numerical and experimental validation, so that the resulting theory is usable by practitioners rather than only provable.

Sponsors

This project is sponsored by AFOSR.

Selected Publications and Presentations

None listed yet.