[0002] This invention relates to cascade control systems having nested control loops for controlling a plant, such as, for example, a thermal reactor for processing of semiconductor substrates.
SUMMARY OF THE INVENTION
[0004] The present invention solves these and other problems by providing a computationally-efficient hybrid cascade MBPC control system that can be implemented on a typical control microprocessor. In one embodiment, the hybrid cascade MBPC control system is a cascade-type system with nested control loops having an MBPC controller in an outer control loop and a conventional controller in an inner control loop. In one embodiment, the conventional controller is a PID controller. In one embodiment, the conventional controller is an H∞ controller. In one embodiment, the hybrid control system uses a simplified MBPC control loop and a modified PID loop with a robust auto-tuner. The MBPC controller acts as a main or outer control loop, and the PID loop is used as a slave or inner control loop.
[0005] In one embodiment, the hybrid cascade MBPC can be used to control a thermal process reactor where the MBPC controller generates the desired spike TC control setpoint according to both planned paddle control setpoint trajectory and the dynamic model related to paddle and spike TC. In the thermal process reactor, the PID loop is used to control the power actuator of the heater to reach the required spike control setpoint by acting as a local system to quickly follow changes in the spike control setpoints.
[0006] The PID tuning parameters are relatively weakly coupled with the MBPC loop. The sampling time ts1 in the PID control loop is preferably shorter than the sampling time ts2 in the MBPC control loop. In one embodiment, ts1 is on the order of approximately 1 second and ts2 is on the order of approximately 4 seconds. In one embodiment, based on both dynamic and static models, tuning of the PID parameters is realized automatically. Compared with a single loop MBPC, the model order and the predictive time horizon in this control scheme can dramatically be reduced while the model still adequately describes and predicts the behavior of the actual system. In one embodiment, model derivations are done prior to wafer processing.
[0007] In one embodiment, the expected temperature control range [Tmin, Tmax] is divided into R temperature sub-ranges ([Tmin1, Tmax1], [Tmin2, Tmax2]. . . [Tmin R, Tmax R], where Tmin=Tmin1
, Tmax=Tmax R and Tmax r-1=Tmin r). This allows the use of linear dynamic models for an adequate description of the dynamic behavior within each temperature zone. Corresponding to each sub-temperature range and heating zone, two kinds of dynamic linear models are built as:
Pdnr(t)=fnr(Spnr(t)) (1)
Spnr
(t)=gnr(Pw
nr(t),Pdnr(t)) (2)
[0008] where n is the heating zone number, r is the temperature sub-range, Pd is the temperature measured by the paddle TC, Sp is the temperature measured by the spike TC, Pw is the system power output, and fn,r and gn,r are linear functions.
[0009] In one embodiment, the dynamic model of Equation (1) is used for both MBPC control and soft-sensor computing, and the dynamic model of Equation (2) is used for soft-sensor computing and PID parameter auto-tuning of the inner control loop.
[0010] Corresponding to the expected temperature control range, the static polynomial models are built as:
Spn
=hn(<
highlight>Pdn
sub>) (3)
[0011] where, hn are the static polynomial models. In one embodiment, the static models are used in limiters of the MBPC controller and for inner PID parameter auto-tuning.
[0012] In one embodiment, the MBPC control algorithm embeds intuitive tuning parameters (e.g., ku, ks) into the control law, the trajectory planner and the limiters. The intuitive tuning parameters can be used to improve both the dynamic control performance and the static control performances. The simplified MBPC control structure and fixed-time predictive horizon avoids the need of online matrix inversion during wafer processing. As a consequence, the online computing overhead is greatly reduced. In this way, the hybrid cascade MBPC control system algorithm can be implemented on microprocessors typically used in practice in the semiconductor processing industry.
[0013] In one embodiment, a generic trajectory planer is added to the MBPC control loop to generate the temperature control setpoint reference trajectory. Based on the desired ramp rate and temperature range, the trajectory planner divides the temperature range into two sub-ranges: fast ramp; and reduced ramp. In the fast ramp sub-range, the planner generates the temperature control setpoints reference trajectories to enable the MBPC to achieve the desired ramp rate. In the reduced ramp sub-range, the planner provides at least one intuitive tuning parameter to control the temperature ramp speed to reach the desired control setpoint. Temperature stabilization time and overshoot are also controlled. This provides a flexible way to meet the varying temperature control requirements from the different processes.
[0014] When a temperature ramp range covers more than one temperature sub-range, the MBPC switches its internal dynamic models so that the dynamic model, operative at a certain moment, corresponds with the actual temperature sub-range at that moment. In one embodiment, fuzzy logic switches and inference are added to the MBPC control loop to realize a smooth transition of the dynamic models when going from one temperature sub-range to an adjacent temperature range. In this case, fuzzy inference is effective to bring about a gradual change of one dynamic model to the other without inducing extra disturbance into the control system.
[0015] In one embodiment, static limiters based on static models are embedded in the MBPC loop. The limiters help the MBPC to generate the correct control setpoint for the inner-control loop under various control cases (normal, faster/slower ramp, boat in/out, different load or gas flow and so on).
[0016] In one embodiment, the PID controller in the inner control loop is provided with a parameter auto-tuner and/or anti-wind-up capability to enhance the robustness of the PID controller, and simplifies its usage. The inner PID follows the spike control setpoint changes that are generated by the MBPC control loop.
[0017] In one embodiment, a software detector and control logic are included to detect TC measurement hardware failure. When a TC sampling failure appears, the detector and control logic switch on a related soft temperature sensor that is based on dynamic model computing. Then the soft-sensor is used to replace the real TC in its place as a control system input. This prevents the reactor operation from shutting down, and reduces the loss of the whole batch process due to the detection of one or more temperature measurement hardware failures.
DETAILED DESCRIPTION
[0040] A typical vertical thermal reactor 100 is shown in FIG. 1. The vertical thermal reactor 100 includes a long quartz or silicon carbide process tube 110 delimiting a process region. A batch of wafers 152, accommodated in a wafer boat 150, placed on a pedestal 151 for support and thermal isolation, are inserted into the process tube 110. The process tube 110 includes an inlet 111 and an outlet 112 for process gas. The process tube is surrounded by a heating element 120 having multiple zone electric heating coils 121 to 125. Each zone has one or more temperature sensors. In FIG. 1, each zone has a spike ThermoCouple (TC) 130 and a “profile” or paddle ThermoCouple (TC) 140. The spike TC produces a spike TC signal corresponding to a spike temperature. The paddle TC produces a paddle TC signal corresponding to a paddle temperature. The spike TCs 130 are located outside the process tube 110 relatively near the heating element and the paddle TCs are located inside the tube 110 relatively near the wafers. The vertical reactor system 100, using the resistive heating element 120 to control temperature, is an inherently non-linear system because an electric heating element can only generate, not absorb, heat. Further, due to the large physical mass of the heating element 120, process tube 110, and wafer batch 152, and a correspondingly high thermal mass or heat capacity, the vertical thermal reactor 100 exhibits long time constants or delay times. This means that after increasing the power input of one or more of the heating coils 121-125
, it takes a relatively long time before a new steady-state at a higher temperature is achieved. When the reactor temperature is higher than the control setpoint, cooling occurs at a rate that depends on the reactor design and its temperature, not on the controller. In the case of overshoot, it takes a relatively long time before the system is cooled down to the control setpoint again, especially at lower temperatures where the natural cooling rate is lower.
[0041] Historically, the temperature in thermal reactors was controlled by a spike TC control loop, using a PID control algorithm. By profiling the furnace in a static mode, using a paddle TC, the relation between paddle TC and spike TC under static conditions was established and stored in a profile table. Such a profiling procedure was performed at regular intervals or after maintenance. Because the paddle TC gives a more relevant reading for the actual wafer temperature, there has been a desire to use a paddle TC control loop that would make the time-consuming profiling procedure unnecessary. A control configuration 200 employing such a paddle TC control loop is shown in FIG. 2. In the configuration 200, an adder 210 computes an error signal EsPd from the paddle control setpoint Pdset and the actual paddle temperature Pd. Based on the error signal EsPd, the PID controller 220 generates a power output signal Pw that is provided, via a thyristor unit, not shown, to the heating elements 230. The tube and wafers are indicated by 240. A feedback loop 250 that includes a digital filter 251, provides the actual paddle TC signal to the adder 210. However, such a paddle TC control loop, as shown in FIG. 2, has such a strong non-linear behavior and long time constants that it is difficult or impossible to achieve a stable control loop with acceptable performance under dynamic conditions.
[0042] A so-called cascade controller 300, as shown in FIG. 3, uses an inner spike temperature control loop PID controller, with the spike temperatures as inputs, to control the heating elements. An additional outer loop, with the paddle TC temperatures as inputs, is used to generate time-dependent setpoints given to the spike temperature control loop. In the cascade controller 300, the spike TC temperatures are controlled by a PID controller 340 in an inner loop 370. An adder 330 provides an error signal EsSp to the PID controller 340. The error signal EsSp is based on a spike TC control setpoint Spset and the actual spike temperature Sp. The PID controller 340 provides a power output signal Pw that is provided via a thyristor unit, not shown, to the heating elements 350 to heat a tube and wafers 360. A second PID controller 320 in an additional, outer, control loop 380 generates a spike control setpoint Spset. The second controller 320 receives a paddle error signal EsPd from the adder 310, calculated from the paddle control setpoint Pdset and the actual paddle temperature Pd. Feedback loops 370 and 380 include digital filters 371 and 381 respectively to remove spurious data.
[0043] A typical thermal process starts at a standby temperature at which the wafers are loaded into the thermal reactor. After loading, the thermal reactor heats up to the desired process temperature for oxidation, annealing, drive, or CVD. After performing the process, the thermal reactor cools to the stand-by temperature again and unloads the wafers. If the standby temperature, ramp up/down rate, and process temperatures are set in reasonable ranges, acceptable temperature control performance can be achieved during the process by using the cascade PID controller 300. However, optimizing the performance of the cascade PID controller 300 often requires significant off-line time for tuning of the controller parameters such as the PID parameters. Tuning of a cascade controller is often more of an art than a science and usually very time consuming. The best choice of tuning parameters depends on a variety of factors including the dynamic behavior of the controlled process, the controller's objectives, and the operator's understanding of the tuning procedures. For a cascade PID controller, the inner and outer loop tuning is strongly coupled, which adds to the tuning complexity. Besides the tuning of PID parameters, for dealing with long time delay, the outer or “profile” PID control loop of a cascade PID controller still needs a “profiling table” to provide constraints. Generating the profiling table involves a procedure that requires many hours of off-line equipment time. Off-line time cannot be used for useful wafer processing and is thus very expensive.
[0044] With the advances in modern control technology and system identification, more advanced control systems, such as, for example Model-Based Predictive Controllers (MBPC), have been developed, but these more advanced control methods are often computationally complex, typically requiring matrix inversion during online processing. FIG. 4 shows a single loop control system 400 that includes a MBPC 410. The MBPC 410 receives as input a paddle control setpoint Pdset. The controller 410 also receives as input the actual spike temperatures Sp and actual paddle temperatures Pd via feedback loops 440 and 450, respectively. The controller 410 generates a power output signal Pw that is provided via a thyristor unit, not shown, to heating elements 420 that heat a tube and wafers 430. Feedback loops 440 and 450 include digital filters 441 and 451, respectively. The use of spike temperatures is optional. The MBPC 410 uses a complex dynamic model of the controlled process to compute the predictive control signals by minimizing an objective function to provide on-line optimization control. In the MBPC controller 410, tuning is relatively easy as compared to a cascade PID controller, and the MBPC 410 can compensate for delay times. In the MBPC 410, treatment of constraints in the system to be controlled is conceptually simple and multivariable control is conceptually straightforward, though computationally complex. The MBPC 410 typically relies on dynamic models, which are not required for the traditional PID controllers. The MBPC 410 typically requires a relatively large amount of computational resources, particularly when constraints are considered. This can cause problems in practice when the control processor cannot provide the necessary computational resources.
[0045] FIG. 5A shows a hybrid cascade controller having an outer loop controller 501 in an outer control loop and an inner loop controller 502 in an inner control loop. The outer loop controller 501 provides, to a non-inverting input of an adder 530, a control setpoint for the inner loop controller 502. An output of the adder 530 is an error signal that is provided to a control input of the inner loop controller 502. A control output of the inner loop controller 502 is provided to a plant 509. A sensor output 505 from one or more inner loop sensors of the plant 509 is provided to an input of a filter 507. An output from the filter 507 is provided to an inverting input of the adder 530. A sensor output 506 from one or more outer loop sensors of the plant 509 is provided to an input of a second filter 508. An output of the second filter 508 is provided to an input of the outer loop controller 501. The filters 507 and 508 can be omitted. In one embodiment, the inner loop sensors (corresponding to the sensor output 505) tend to measure one or more operating parameters of a first portion 503 of the plant 509. In one embodiment, outer loop sensors (corresponding to the sensor output 506) tend to measure one or more operating parameters of a second portion 504 of the plant 509. In one embodiment, the first portion 503 responds to changes in the control output of the inner loop controller relatively more rapidly than the second portion 504.
[0046] In one embodiment, the sensor output 505 corresponds to sensors that tend to respond relatively more quickly but relatively less accurately to certain desired parameters than the sensors corresponding to the sensor output 506. In one embodiment, the sensor output 506 corresponds to sensors that tend to respond relatively less quickly but relatively more accurately to certain desired parameters than the sensors corresponding to the sensor output 505. Thus, in one embodiment, the inner loop controller 502, using the sensor output 505 is able to respond relatively quickly to certain changes in the plant 509 but relatively less accurately. The outer loop controller 501, using the sensor output 506 is able to respond relatively less quickly to certain changes in the plant 509 but relatively more accurately to certain desired parameters. In one embodiment, the outer loop controller 501 is configured to produce a setpoint for the inner loop controller 502 to improve the controlled properties of the plant. In one embodiment the inner loop controller 502 includes a conventional controller, such as a PID controller. In one embodiment, the outer loop controller includes a predictive-type controller. In one embodiment, the outer loop controller includes a MBPC controller.
[0047] FIG. 5B shows a hybrid cascade thermal process plant controller 500 that uses a MBPC 520 in an outer control loop and a conventional controller 540 in an inner control loop. The cascade controller 500 is one embodiment of the hybrid cascade control system shown in FIG. 5A. The MBPC 520 receives as input a paddle control setpoint temperature Pdset and the actual paddle temperature Pd received via feedback loop 580. In one embodiment, the feedback loop 580 includes a digital filter 581. The MBPC 520 receives as input for the model calculations the actual spike temperatures via an input 572. The MBPC 520 calculates as output a spike TC control setpoint Spset. An adder 530 calculates a spike error signal EsSp by subtracting the actual spike TC temperature Sp, received via feed-back loop 570, provided by a digital filter 571, from the spike TC control setpoint. The spike error signal EsSp is provided to the conventional controller 540 which generates a power output signal Pw that is provided via a thyristor unit, not shown, to heating elements 550 to heat a tube and wafers 560. The sampling time ts1 in the inner control loop is preferably shorter than the sampling time ts2 in the outer MBPC control loop. In one embodiment, ts1 is in the range of 1 second and ts2 is in the range of 4 seconds. The conventional controller 540 can be implemented using a PID controller, an H controller, etc.
[0048] As the name implies, the MBPC 520 is based on a model of the controlled plant. In a thermal process reactor, the MBPC 520 typically relies on several models corresponding to the different thermal zones of the vertical thermal reactor. The simplest model is a static model, describing the relation between spike TC temperature and paddle TC temperatures under steady-state conditions according to Equation (3). In one embodiment, the static model is based on 4th order polynomial models representing the relation between spike TC and paddle TC temperatures over a specified temperature range. Dynamic models describe the dynamic response of the system. A dynamic paddle model gives the paddle TC temperature as a function of spike TC temperature according to Equation (1) and a dynamic spike model gives the spike TC temperature as a function of power output and paddle TC temperature, according to Equation (2). By dividing the temperature range in a plurality of temperature sub-ranges, a set of linear dynamic models can be obtained. This simplifies the required calculations. The various models are acquired experimentally from a measurement procedure as described below.
[0049] FIG. 6 shows a hybrid control system 501. The control system 501 is an embodiment of the control system 500. In the control system 501, the conventional controller 540 is based on a PID controller 542.
[0050] FIG. 7 shows a vertical thermal reactor system 700 where the vertical thermal reactor 100 is controlled by the hybrid cascade control system 501. In the system 700, the process tube 110 is surrounded by the heating element 120, comprising multiple zone electric heating coils. Each zone has the spike TC 130 and the “profile” or paddle TC 140. The spike TC is located outside the process tube relatively near the heating element and the paddle TC is located inside the tube relatively near the wafers. A paddle control setpoint Pdset and the actual paddle temperatures Pd are provided to an MBPC controller 720 (corresponding to an embodiment of the MBPC controller 520), which generates a spike control setpoint Spset. An adder 730 computes a spike TC error signal using the spike control setpoint Spset and the actual spike temperatures, provided to the adder 730 via an inverter 732. A PID controller 740 uses the spike error signal to generate a power output signal that is provided to a power actuator 750 to provide power to control the heating element 120.
1. Experiment Design and Data Acquisition for Model Identification
[0051] The identification test design plays an important role in a successful model identification and MBPC design. Current practices of identification methods are to use single variable step or finite impulse tests for MBPC model identification. The tests are carried out manually. The advantages of these methods are that the system dynamic responses are described in an intuitive manner. One drawback with the step or finite impulse tests is that the data from these tests may not contain enough information about the multivariable characteristics of the process because the step or pulse signals may not induce enough dynamic behavior of the process. A second drawback of these step or impulse tests is that they can be very time consuming. To avoid the above-mentioned drawbacks of common identification methods, during the identification procedure for the MBPC 720, the inner-loop PID control loop 740 is actively used. The PID constants used during the model identification are based on previous control experiences of the vertical thermal reactor. Then, using this inner-loop PID controller 740, the system identification can be carried out automatically by using a model identification and data acquisition recipe. The signals inducing dynamic behavior of the system are real control signals, and the conditions are similar to real process conditions. In this case, the PID controller 740 helps to keep the spike TC temperatures within their limits. The models based on these inner closed-loop data enhance the performance and stability margins of the system 700.
[0052] In one embodiment, the modeling data acquisition is achieved by using the control scheme shown in FIG. 8. In FIG. 8, a temperature control setpoint for model identification is provided to a trajectory planning unit 800, which creates a time-dependent spike TC control setpoint temperature Spset such as, for example, a controlled ramp-up rate. An adder 810 calculates a spike error signal Es, using the spike control setpoint Spset and the actual spike temperatures, received via a feedback loop 850, provided with a digital filter 851. A PID controller 820 uses the spike error signal Es to calculate a power output Pw signal that is provided via a thyristor unit, not shown, into the heating elements 830 to heat a tube and wafers 840.
[0053] An example identification control process sequence (i.e., a “recipe”) for a vertical thermal reactor starts at room temperature and ramps up at a ramp rate (that is, a time rate of change) of 10° C./min, stabilizing the spike temperature for approximately 45 minutes at 200, 400, 600, 800 and finally 1000° C., using a PID controller in the configuration of FIG.8. In order to prevent slip, the ramp rate during the last step is 5° C./min. During execution of the model identification and data acquisition recipe, the resulting actual spike and paddle temperature signals (shown in FIGS. 9-11, respectively) and the power output signals are recorded and stored for modeling.
[0054] The data collected from the recipe is divided into five data subsets, corresponding to the five stabilization temperatures of the model identification and data acquisition recipe. Each subset starts at the beginning of a ramp up period and ends just before the beginning of the next ramp up period.
[0055] In contrast to prior art model identification methods where data is acquired in open loop control, in the present invention the data is acquired in closed loop control as shown in FIGS. 7 and 8. Therefore, the collected data is typically free of spurious data, so little or no data pre-processing is required to remove spurious data points.
2.1 Static Models
[0056] For each zone, a static model is derived. For each stabilization temperature in the identification recipe, at least one value is extracted both for the spike TC temperature and the paddle TC temperature. These pairs of values, 5 in the example shown in FIGS. 9-11, are used to estimate the parameters for the static model using a parameter estimation technique, such as, for example, a polynomial fit, least-squares fit, etc. In one embodiment, the model equation for the static model is:
1
[0057] where n is the zone number, snq are the static models parameters to be determined, and q is the order of the static model. The model according to equation (4) gives an adequate description of the relationship between the spike temperature Sp and the paddle temperature Pd over the desired temperature range.
2.2 Dynamic Models
[0058] For each zone, a dynamic model is derived from each data subset for the spike TC and the paddle TC. This means that in the case of five zones and five temperature sub-ranges, according to the present example, 25 dynamic paddle linear models and 25 dynamic spike linear models are used. It will be clear to one of ordinary skill in the art that any number of thermal zones and temperature sub-ranges can be selected, depending on the circumstances. In one embodiment, a linear least-squares algorithm is used. The model equations for the dynamic linear models are:
2
[0059] where n is the zone number, r is the temperature range number, t is the discrete time index, anrl and bnrm are paddle model parameters, l and m are model orders of the paddle models, and cnrx, dnry and pnrz are spike model parameters, Further, x, y, and z are model orders of the spike models, and enrp and enrs are model errors or disturbances. Typically, a first or second order approximation (m=1 or 2) is adequate for the model of equation (5) whereas the order for the model of equation (6) is typically 20 or more (e.g., l=28) for an adequate description.
[0060] Model validation can be provided by visual comparison of the measured and calculated model output, simulation, residual analysis, cross-correlation analysis, etc.
3. Mathematics of Model Extraction
[0061] The methods used for parameter estimation for both the static models and the dynamic models involve solving a linear least-squares problem (LLS). This can be done via the so-called normal equations, or via a QR-decomposition. The method via QR-decomposition typically requires more calculations, but tend to be numerically more stable. For most cases, solving the normal equations gives good results, but for higher orders it is safer to use the QR-decomposition.
[0062] The method of solving the LLS problem is described below. Given a system of equations defined as A·x=b, where A is a matrix and x and b are vectors, the linear least-squares problem is to find a vector x that minimizes
φ(x)=∥A·x−b∥ (7)
[0063] If the matrix A is non-singular (i.e., if the inverse of A exists), this problem has a unique solution.
3.1 Solving LLS via the Normal Equations
[0064] The direct method of solving a LLS problem is via the normal equations. If a function has a minimum, its derivative at that minimum is zero. Thus φ(x) has a minimum where d φ(x)/dx=0 or:
ATA
·x−AT·b=0 (8)
[0065] where AT is the inverse matrix of A. This results in the so-called Gaussian normal equations:
ATA
·x=AT·b (9)
[0066] From these equations, x can be calculated as
x=(A<
sup>TA)−1AT<
highlight>b (10)
3.2 Solving LLS via OR-decomposition
[0067] Another method of solving a LLS problem is via QR-decomposition. With this algorithm the matrix A is expressed as the product of an orthogonal matrix Q and an upper triangular matrix R.
A=QR (11)
[0068] The QR-decomposition of the matrix A can be computed by calculating the Householder reflection H for each column of A. The Householder reflection Hk of the kth column can be calculated as:
sk=
{square root}{square root over (ak,k2+ak+1,k2
highlight>+ . . . +an,k
2)} (12)
[0069]
3
Hk
sub>=I−2wk
w<
highlight>kT (14)
[0070] where ai,j is the element of matrix A at the ith row and jth column, and n is the number of columns and I is the unity matrix.
[0071] The matrices Q and R can be calculated as
Q=H1H2 . . . Hn−1 (15)
R=Hn−1Hn−2 . . . H1A (16)
[0072] For a matrix A of m rows and n columns, where m is greater than n, the last m-n rows of the upper-triangular matrix R are completely zero.
[0073] Once the matrix A is expressed as A=QR, the LLS problem can be written as:
4
[0074] Q is orthogonal, so
y=QTb (18)
[0075] With y and R known, x can be calculated. Since R is upper-triangular, this is simply done via backward substitution. By way of example, the solution is shown for a 3 by 3 matrix in the equation below.
5
[0076] This system can be solved via backward substitution starting at the bottom row.
r31
·x1<
highlight>=y3
sub>x1=y3/r31
r21<
/sub>·x
1+r22·x2<
/highlight>=y2x2=y2/r22−r21·x1=y2/r
22−r21<
/sub>·y
3/r31
r11<
/sub>·x
1+r12·x2<
/highlight>+r13·x
3=y1
x3
highlight>=y1/r13−r11·x<
sub>1−r12·x2=y1
/r
13−r<
/italic>11·y3/r31−r12·(y2<
/highlight>/r22−r21
·y3/r
31) (20)
[0077] When using the QR-decomposition for solving a LLS problem, the orthogonal matrix Q is usually not explicitly calculated. Instead, R and y are calculated in a recursive algorithm, with initial conditions
R=A
y=b (21)
[0078] Next for each column of R, the vector w is calculated. With this vector, R and y are updated according to the following formulas.
Rk=
Rk−
2(wk
TRk)wk
y=y−2(<
italic>wkTy<
/italic>)wk (22)
[0079] where Rk is the kth column of R. This is repeated for all columns of R. The solution of the LLS problem can then be calculated via backward substitution as described before.
4. Extraction of the Dynamic Models
[0080] The dynamic models (shown in Equations (5) and (6)) for the MBPC can be represented by the following equations:
{circumflex over (P)}dnr(t)=φ<
sub>nrpT
(t)·θnrp (23)
Âpnr(t)=φnrsT(
t)·θnrs (24)
[0081] where {circumflex over (P)}dnr and Ŝpnr are model predictive outputs, and
6
[0082] With the model structure defined above, given the model orders and a set of input and output data, the parameters of the model are found by minimizing a so-called loss function. An often-used loss function is the summed squared error:
7
[0083] where N is the number of input and output samples and ε is the prediction error vector, defined as the difference between measured and predicted output:
εpd(t|θ)=
Pdnr(t)−{circumflex over (P)}dnr(t|θ)=
Pdnr(t)−φnrpT(t)θnrp (26)
ε
sp(t|θ)=Sp
nr(t)−Ŝpnr(t
|θ)=Sp<
highlight>nr(t)−φnrs
T(t)θnrs (27)
[0084] For simplification, the matrix Φ and vector Y are used, defined as:
8
[0085] The loss function now becomes:
JN(θ)−|<
italic>Y−Φθ|2 (29)
[0086] where θ is equal to θnrp or θnrs.
[0087] Minimizing this loss function can be accomplished by solving a linear least-squares problem.
5. Extraction of the Static Models
[0088] The parameters of the static models shown in Equation (4) are obtained by polynomial fitting using groups of input and output data. Thus, Equation (4) can be rewritten as:
Spn(k)=sn0+sn1
Pdn<
/sub>(k)
+sn2
Pd
n(k)2+ . . . +snPdn(k)q (30)
[0089] where k is the kth value of the input and output sequence.
[0090] The identification problem can now be formulated as follows. Given input and output signals Spn=[Spn
sub>(1), Spn(2), . . . , Spn(k)]T
sup>, Pdn=[Pdn
sub>(1), Pdn(2), . . . , Pdn(k)]T
sup>, and model order q, find appropriate values for parameters Sn=[snq, . . . , sn1, sn0]T. First a Vandermonde matrix V is constructed:
9
[0091] Next, the parameters are estimated by solving the following least-squares problem.
10
[0092] which can be written as
Spn
=V·Sn (33)
[0093] Here the identification problem has become a linear least-squares problem, thus the parameters of a polynomial fit can be calculated as
Sn(
VTV)−1<
/sup>VTSpn (34)
[0094] Alternatively, the QR decomposition algorithm can also be used to find the parameters for the polynomial fit.
[0095] Model validation can be provided by visual comparison of the measured and calculated model output, simulation, residual analysis, cross-correlation analysis, etc.
6. MBPC Structure
[0096] The internal structure of one embodiment of an MBPC corresponding to the MBPC 520 from FIG. 5 is shown in more detail in FIG. 12 as an MBPC 1200. The MBPC 1200 includes an MBPC algorithm module 1230, a trajectory planning module 1220, an MBPC outputs fuzzy inference module 1240, and an MBPC static model limiter 1250. The MBPC algorithm module 1230 includes a modeling module 1231, which performs the actual modeling based on the dynamic model of Equation (5), and an optimizer module 1232.
[0097] Inputs to the MBPC controller 1200 are the paddle control setpoint temperature Pdset and the actual paddle temperatures Pd. The paddle control setpoint temperature is provided to the trajectory planning module 1220 and the actual paddle temperatures Pd are provided to a memory 1210 for storing past inputs and outputs. The memory 1210 provides input to the MBPC algorithm module 1230. Additional input for the models include actual spike temperatures. The Trajectory planning module 1220 generates N paddle control setpoints Pdset(1 . . . N) distributed over a predictive horizon, where Pdset(1) is the control setpoint for the present moment and Pdset(N) is the most future predicted control setpoint. These control setpoints Pdset(1 . . . N) are provided to a first input of an adder 1220. Further, the modeled paddle values {tilde over (P)}dfr(1 . . . N), which are provided as output by the MBPC control algorithm module 1230, are provided to a second input of the adder 1222 via a line 1233. The adder 1220 calculates error signals Es(1 . . . N) which are provided to the Optimizer module 1232 of the MBPC algorithm module 1230. The optimizer module 1232 optimizes the model output by minimizing a cost function 1235 as represented by equation (35), using constraints 1236. The least-squares error between the modeled predicted paddle control setpoint temperatures {tilde over (P)}dfr(1 . . . N) and the actual paddle control setpoint temperatures Pdset(1 . . . N) from the trajectory planner 1220 is minimized over the predictive horizon. The predicted paddle control setpoint temperatures are optimized by using the disturbance model (the last term in equation (35)) so that the predictive values approach the actual values.
[0098] The spike correction value ΔSp is calculated, according to equation (45). The modeled values {tilde over (P)}dfr(1 . . . N) are provided to the memory 1210. The spike correction value ΔSp is provided from the MBPC algorithm into a spike output calculation module 1212 to calculate the modeled spike control setpoint Spset(1) according to equation (46). The modeled spike control setpoint Spset(1) is provided to the MBPC outputs fuzzy inference module 1240. The modeled spike control setpoint value is provided to the Output limiter 1250 where the output is limited according to equation (54). The algorithms will be discussed in further detail below.
6.1 MBPC Algorithm
[0099] Based on the dynamic linear models described in Equation (5), the predictive control algorithm calculates the control strategy {Spset(t) by minimizing the cost function J, defined as:
11
[0100] where N and Nu are the prediction horizon, ku and ks are weight parameters, and Pdset(t+k) is the kth paddle control setpoint generated by the trajectory planner. Further, {tilde over (P)}d(t+k|t) is the kth model predictive output at time t, which can be considered as the combination result of two separate contributions:
{tilde over (P)}d(t+k|t
)={tilde over (P)}dfr(t+k|t)+{tilde over (P)}dfo(t+k|t) (36)
[0101] where {tilde over (P)}dfr(t+k|t) is the free response, and {tilde over (P)}dfo(t+k|t) is the forced response. Among them, {tilde over (P)}dfr(t+k|t) can be computed directly from Equation (6) as:
12
[0102] where
13
[0103] is the disturbance model output, and
e(t)=[Pd(t)−{tilde over (P)}dfr(t)]−[Spset(t−1)−<
highlight>Sp(t)].
[0104] Then, {tilde over (P)}dfo(t+k|t) can be calculated as:
14
[0105] where gi is the coefficient of the module step response of the model from Equation (5), which can be obtained as:
15
[0106] where aj and bj are the coefficients from Equation (5).
[0107] By using matrix notation, Equations (38), (36) and (35) can be rewritten as:
{tilde over (P)}dfo=GΔSp (40)
16