A General Formulation of Under-Actuated Manipulator Systems