<p style='text-indent:20px;'>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 <inline-formula><tex-math id="M1">\begin{document}$ {\mathsf{SE}(3)}$\end{document}</tex-math></inline-formula> and its second order tangent bundle <inline-formula><tex-math id="M2">\begin{document}${\mathsf{T}^2\mathsf{SE}(3)} $\end{document}</tex-math></inline-formula>, 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.</p>