We examine the problem of minimizing the mean cycle time of a batch processor with incompatible job families and future job arrivals. Batch processors frequently found in wafer fabrication include oxidation and diffusion ovens. When the problem is deterministic with a fixed number of job arrivals, the problem is NP-hard; an optimal dynamic program formulation is developed and empirically tested on small problem instances. For larger problem instances with possibly infinite job arrivals, an online heuristic based on model predictive control (MPC) is proposed. The proposed heuristic has two parameters: the number of job families considered <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">f</i> , and the number of future job arrivals <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">L</i> . Statistical analysis of simulation results shows that the MPC-based heuristic has significantly lower mean cycle time than a benchmark look-ahead method under the assumption that the arrival time is deterministic and job families of consecutive job arrivals are uncorrelated. These observations also hold true when the predicted arrival times can be erroneous, indicating that the suggested MPC-based heuristic is as robust as the benchmark with respect to errors in forecasted arrival times. When the job families of future job arrivals are positively correlated, the mean cycle time of jobs passing through the batch processor is significantly reduced, regardless of control policy. We infer that the introduction of correlation generates less improvement for policies that foresee events longer into the future. For this reason, when the correlation is high, the MPC-based heuristic, which considers events that occur farther into the future, may have worse performance than the benchmark. The results suggest two ways to improve the performance of the batch processor. First, we can use a heuristic that has better mean performance, which may entail much larger computational costs. Another option is to continue using a simple look-ahead policy at the batch processor, and focus attention on controlling the upstream processors, such that the batch processor arrival process exhibits correlated job families between consecutive arrivals. This introduction of correlation causes a significant reduction of cycle time regardless of system parameter and batch processor control policy.
Read full abstract