Computational Global Optimization in Nonlinear Systems