Vitalsource Technologies, Inc. Algebraic Methods For Nonlinear Control Systems