Estimation of biogas composition in a catalytic reactor via an extended Kalman filter | IEEE Conference Publication | IEEE Xplore