A logic-based controller for the mitigation of ventilation air methane in a catalytic flow reversal reactor