Algebraic μ-synthesis: Control of the HIMAT aircraft | IEEE Conference Publication | IEEE Xplore