In this work we derive asymptotically stabilizing control laws for
electrical power systems using two nonlinear control synthesis techniques.
For this transient stabilization problem the actuator considered is
a power electronic device, a controllable series capacitor (CSC).
The power system is described using two different nonlinear models - the second order swing equation and the third order flux-decay model.

To start with, the CSC is modeled by the injection model which is
based on the assumption that the CSC dynamics is very fast as compared to the dynamics...