Nonlinear dynamic inversion for redundant systems using the EKF formalism | IEEE Conference Publication | IEEE Xplore