Bi-objective schedule control of batch processes in semiconductor manufacturing | IEEE Conference Publication | IEEE Xplore