Modeling and control design for a prototype lighter-than-air wind energy system | IEEE Conference Publication | IEEE Xplore