In the last decade various control schemes for synchronous generators based upon exact feedback linearisation have been proposed. It is shown that a fifth-order model of synchronous machines can be exactly linearised via static state feedback. Such a model improves the modeling capability of the third-order model, which is commonly used when feedback-linearisation-based techniques are resorted to.