Design and verification of aerostat power supply system | IEEE Conference Publication | IEEE Xplore