Design of stabilizing control for synchronous machines via polynomial modelling and linear matrix inequalities approach