Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm | IEEE Conference Publication | IEEE Xplore