Lyapunov-based Control Allocation for Over-actuated Nonlinear Systems | IEEE Conference Publication | IEEE Xplore