Algebraic Methods for Nonlinear Control Systems