Design and Experimental-verification of A Nonlinear Catalytic Reactor Estimator