Optimization problems arising in stability analysis of discrete time nonlinear systems | IEEE Conference Publication | IEEE Xplore