Title: Analysis of nonlinear control systems