Stabilization of Constrained Mechanical Systems with DAEs and Invariant Manifolds | Synapse