CO2 detector for HVAC ventilation control