Lyapunov-based control design for set-point regulation of gasoline engines