Nonlinear Modeling and Verification of a Heaving Point Absorber for Wave Energy Conversion | IEEE Journals & Magazine | IEEE Xplore