Title: Mathematical tools and software for analysis and design of nonlinear control systems