Time-varying Control Lyapunov Function Design for Nonlinear Systems Defined on Manifolds | IEEE Conference Publication | IEEE Xplore