Set-Valued Methods for Reachability Analysis and Estimation of Nonlinear Dynamical Systems