Model-Predictive Cascade Mitigation in Electric Power Systems With Storage and Renewables—Part I: Theory and Implementation | IEEE Journals & Magazine | IEEE Xplore