Dynamic control allocation for a stratospheric airship with redundant control systems | IEEE Conference Publication | IEEE Xplore