Airship dynamic modeling for autonomous operation | IEEE Conference Publication | IEEE Xplore