Analysis of nonlinear control systems