PIDA Control of Buoyancy Device Enabled by Water Electrolysis | IEEE Journals & Magazine | IEEE Xplore