Vitalsource Technologies, Inc. Nonlinear Systems Stability Analysis: Lyapunov-Based Approac