Vitalsource Technologies, Inc. Lyapunov-based Control Of Mechanical Systems