Robust power system stabilizer design with H∞ theory