Analysis of Robust Transient Stability of Power Systems by using Sum of Squares programming. - Shinsaku Izumi; Hiroki Somekawa; Xin Xin 004; Taiga Yamasaki (CDC, 2018)