Nonlinear model predictive control of IGCC plants with membrane reactors for carbon capture | IEEE Conference Publication | IEEE Xplore