Lyapunov design for event-triggered exponential stabilization