Modeling and simulation of a stratospheric airship based on triple-gasbag principle | IEEE Conference Publication | IEEE Xplore