State estimation and nonlinear model predictive control of end-use properties in batch reactors | IEEE Conference Publication | IEEE Xplore