Stability and control of power systems using vector Lyapunov functions and sum-of-squares methods | IEEE Conference Publication | IEEE Xplore