Reachability analysis based minimal load shedding determination

This paper proposes a method to determine the minimal amount of load shedding based on backward reachability analysis. The backward reachable set is calculated using level set methods to compute the region of stability of a stable equilibrium point. The minimal amount of load shedding as a function of time elapsed since the post-disturbance condition can be systematically derived as the horizontal distance between the post-disturbance trajectory and the stability boundary of the stable equilibrium point. Case studies with a system consisting of an infinite bus feeding a dynamic load through a tap-changing transformer are presented to illustrate the approach.