Model-predictive cascade mitigation in electric power systems with storage and renewables, Part I: Theory and implementation | IEEE Conference Publication | IEEE Xplore