Stav dette: Algebraic Methods for Nonlinear Control Systems