Lyapunov constraints and global asymptotic stabilization