Prescribed-time Convergence with Input Constraints: A Control Lyapunov Function Based Approach | IEEE Conference Publication | IEEE Xplore