Pošalji SMS: Algebraic methods for nonlinear control systems /