Modelling and Validation of Linear Synchronous Permanent Magnet Generator with Triangular Magnet-Array Configuration for Wave Energy Conversion