Local bifurcation in power systems: theory, computation, and application | Synapse