Carbon dioxide sensor can lower energy use, reduce utility costs