A Stochastic Nonlinear Excitation Controller for Transient Stabilization in a Power System | IEEE Conference Publication | IEEE Xplore