Text this: Analysis of nonlinear control systems