Koopman Operator-Based Prediction of Short-Term Voltage Stability | IEEE Conference Publication | IEEE Xplore