Control and maintenance of fully-constrained and underconstrained rigid body motion on Lie groups and their tangent bundles

Presented herein are a class of methodologies for conducting constrained motion analysis of rigid bodies within the Udwadia-Kalaba (U-K) formulation. The U-K formulation, primarily devised for systems of particles, is advanced to rigid body dynamics in the geometric mechanics framework and a novel development of U-K formulation for use on nonlinear manifolds, namely the special Euclidean group \begin{document}$ {\mathsf{SE}(3)}$\end{document} and its second order tangent bundle \begin{document}${\mathsf{T}^2\mathsf{SE}(3)} $\end{document}, is proposed in addition to the formulation development on Euclidean spaces. Then, a Morse-Lyapunov based tracking controller using backstepping is applied to capture disturbed initial conditions that the U-K formulation cannot account for. This theoretical development is then applied to fully-constrained and underconstrained scenarios of rigid-body spacecraft motion in a lunar orbit, and the translational and rotational motions of the spacecraft and the control inputs obtained using the proposed methodologies to achieve and maintain those constrained motions are studied.