Reachability and model prediction based system protection schemes for power systems