A nonlinear TCSC controller based on control Lyapunov function and receding horizon strategy for power system transient stability improvement | IEEE Conference Publication | IEEE Xplore