Theory of nonlinear control systems