Emission reduction during TWC warm-up: Control synthesis and hardware-in-the-loop verification