Set-theoretic methods for analysis estimation and control of nonlinear systems