A method for verifying sector conditions in nonlinear discrete-time control systems | IEEE Journals & Magazine | IEEE Xplore