A dynamic model for control purposes of a wave energy power plant buoyancy system | IEEE Conference Publication | IEEE Xplore