On Systematic Criteria for the Global Stability of Nonlinear Systems Via the Koopman Operator Framework | IEEE Conference Publication | IEEE Xplore