Control Lyapunov Function Design by Cancelling Input Singularity | Synapse