Unmanned airship design with sliding ballast: Modeling and experimental validation | IEEE Conference Publication | IEEE Xplore