Research on Electrical System Modeling of Aerostat Based on Harmony-SE | IEEE Conference Publication | IEEE Xplore