Computational analysis of nonlinear uncertain systems