Verifying fault release control of power system via hybrid system reachability

Hybrid system reachability is applied to verification of fault release control in a power system. Fault release control is one strategy in emergency control and aims to mitigate an electrical stress of power system caused by disturbances. We introduce practical data in a fault release control of double machine-infinite bus (DMIB) system. The data is obtained using the RTDS and describes that the control is effective for prevention of transient instability in the DMIB system. By modeling of swing dynamics of the DMIB system as a hybrid automaton and reachability analysis of the automaton, we show that the control is correct for the prevention of transient instability.