Towards constructive nonlinear control systems analysis and design