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 of the power system and hence can be approximated by an algebraic equation. Here, by neglecting the CSC dynamics, the input vector $g(x)$ in the open loop system takes a complex form - the injection model. Using this model, interconnection and damping assignment passivity-based control (IDA-PBC) methodology is demonstrated on two power systems: a single machine infinite bus (SMIB) system and a two machine system. Further, IDA-PBC is used to derive stabilizing controllers for power systems, where the CSC dynamics are included as a first order system. Next, we consider a different control methodology, immersion and invariance (I\&I), to synthesize an asymptotically stabilizing control law for the SMIB system with a CSC. The CSC is described by a first order system. As a generalization of I\&I, we incorporate the power balance algebraic constraints in the load bus to the SMIB swing equation, and extend the design philosophy to a class of differential algebraic systems. The proposed result is then demonstrated on another example: a two-machine system with two load buses and a CSC. The controller performances are validated through simulations for all cases.