Robust Nonlinear Control with Compensation Operator for a Peltier System
Robust nonlinear control with compensation operator is presented for a Peltier actuated system, where the compensation operator is designed by using a predictive model on heat radiation. For the Peltier system, the heat radiation is related to the fourth power of temperature. So, the heat radiation is affected evidently by the temperature when it is high and temperature difference between the system and environment is large. A new nonlinear model with the heat radiation is set up for the system according to some thermal conduction laws. To ensure robust stability of the nonlinear system, operator based robust right coprime factorization design is considered. Also, a compensation operator based on a predictive model is proposed to cancel effect of the heat radiation, where the predictive model is set up by using radial basis kernel function based SVM (support vector machine) method. Finally, simulation results are given to show the effectiveness of the proposed scheme.
With the rapid development of semiconductor materials, semiconductor refrigeration has been paid more and more attention in refrigeration research and industrial fields. And because of some advantages, such as no refrigerant, no pollution, no vibration, and no noise, semiconductor refrigerator is gradually going from lab to practical engineering, such as national defense industry, agriculture, and medical treatment . Semiconductor refrigeration is also called electronic refrigeration or thermoelectric refrigeration, which uses special semiconductor material with composition of N-type semiconductor and P-type semiconductor. That is, it is a new type of refrigeration method through the input direct current flow, and it has been one of the three typical refrigeration ways in the world. In the semiconductor refrigeration, Peltier device is usually used as one of the refrigeration components and aluminum plate is considered as the thermal sink. Due to the Peltier effect, heat is absorbed at one end and pumped out through the other end when an external voltage is applied to a N-type/P-type thermal couple. Therefore, a Peltier actuated aluminum plate thermal system is often utilized to analyze the refrigeration performance of the Peltier device.
In the Peltier actuated system, heat exchange mainly includes three forms: heat convection, heat conduction, and heat radiation. By modeling using some thermal exchange laws, it shows that the Peltier actuated system is a typical nonlinear affine system, where input and output are current and temperature, respectively. Not only the system temperature depends on input current and its square, but also there exists the fourth power of the temperature in the model. For the nonlinear system ignoring heat radiation, operator theory based nonlinear control method is confirmed to be effective to ensure robust stability of the controlled system [2–9]. Operator theory is a control theory based on an idea that a signal in the input space is mapped to the output space, which can be applied in linear system and nonlinear system . So far, a lot of researchers have paid attention to the nonlinear control in regard to the theory, and some interesting results have been concluded [2–9]. An outstanding example is that robust nonlinear control based on robust right coprime factorization is presented for the Peltier actuated system in , where the plant and each controller are regarded as an operator, and signals are transferred from one space into another. Based on the design scheme, the realization of right coprime factorization controllers and design of robust tracking controller are discussed in . Further, a control scheme is considered when the thermal system exist input constraints, where the designed controller is required to satisfy some robust right coprime factorization conditions . Also, control and fault detection by using operator based nonlinear design scheme are investigated in [6–8]. Moreover, in [9, 10], operator based robust nonlinear control is designed for a multi-input multioutput thermal process with perturbation. However, the heat radiation will affect evidently the temperature of the Peltier actuated system when the temperature is high and temperature difference between the system and environment is large. A new nonlinear model with heat radiation needs to be built to design operator based robust right coprime factorization controllers. Also, in order to cancel the effect of the heat radiation, a compensation operator based on predictive model is investigated, where the model is considered by using radial basis kernel function based SVM method. SVM is a type of machine learning algorithm which is based on statistical learning theory and arises in recent years . Comparing with SVM method and other machine learning methods, SVM can effectively improve generalization abilities of the algorithm, while not having a local minimum solution but a unique global optimal solution, and there are some characteristics, such as small sample learning ability and automatic identification of the model structure and the parameters [11–15]. It makes SVM very suitable for the modeling of the system with unknown structure and parameters according to the input and output data. Therefore, operator based robust nonlinear control with a compensation operator is put forward for the Peltier actuated system considering heat radiation in this paper.
The outline of this paper is given as follows. Section 2 begins with the introduction of the Peltier system, and modeling on the Peltier system and SVM based modeling on the heat radiation are also shown in this part. Design of operator based robust nonlinear controllers and compensation operator are proposed for the Peltier system in Section 3. Simulation results are given to illustrate the effectiveness of the modeling and the proposed scheme in Section 4. The conclusion is drawn in Section 5.
2.1. Peltier Refrigeration System
The diagram of Peltier refrigeration system is shown in Figure 1, which mainly includes Advantech PCL812PG board, PCI1760U board, aluminium plate, Peltier actuator, temperature sensor, and PC. LM35 is used to measure the temperature of the aluminium plate, and its output voltage range is 0~1 V. Peltier actuator is a kind of refrigeration device, which can produce cooling effect through changing duty cycle of PWM wave signal. PCL812PG board and PCI1760U board are inserted in PC, which are connected to the signal processing board by terminal boards. PCL812PG board with 16 A/D channels and 4 D/A channels is selected to get temperature from sensor, whose available voltage range is 0~5 V with 12-bit precision. PCI1760U board has 10 output channels with PWM wave, whose duty cycle is limited between 0% and 100%. Signal processing board is designed to amplify voltage signal of the temperature sensor from 0~1 V to 0~5 V and convert the control signal (5~12 V) into PWM wave with different duty cycle. Control algorithm is realized and control signal is produced by PC.
In the refrigeration system, Peltier actuator is a semiconductor refrigeration device with composition of N-type semiconductor and P-type semiconductor. The heat flux and direction are controlled by the input current flow. Four main thermoelectric effects govern the thermodynamics of a Peltier actuator: the Seebeck effect, the Peltier effect, the Thomson effect, and the Joule effect. Due to the Peltier effect, heat will be absorbed at one end and pumped out through the other end when an external voltage is applied to a N-type/P-type thermal couple. Thus, effectiveness of refrigeration can be realized by the Peltier actuator.
2.2. Modeling on the Peltier System
In order to set up the model of the Peltier system, some laws related to thermal exchange are utilized as follows .
(1) Fourier’s law concerning thermal conduction is where is heat flux, is thermal conductivity, and is temperature gradient.
(2) Newton’s cooling law is where is thermal conductivity (flowing air: 10~600 ) and is temperature difference.
(3) Stefan-Boltzmann law is where is radiation energy, is emissivity (), is radiation coefficient, is area, and is temperature.
(4) Thermal conduction law is where is Calorie heat, is specific heat, and is mass of the aluminum plate.
(5) Electrothermal amount on Peltier effect is where is Seebeck coefficient and is current.
(6) Joule exothermic heat on current is where is Peltier’s resistance.
The aluminum plate thermal process with a Peltier device is shown in Figure 2.
A differential equation based on the above laws is obtained for the Peltier system: where is the environmental temperature, is the temperature, and denotes the heat absorbed by the Peltier device. Some parameters of the Peltier system are given in Table 1.
In the model, denotes the energy produced by thermal convection between the middle aluminum plate and the air. is the conducted energy from the other two parts to the middle part. And is the energy produced by the thermal radiation. The endothermic amount of the Peltier device is shown in where is the temperature of endothermic side, is the temperature of radiation side, and is the current flow. denotes the amount of heat that moves from the endothermic side to the radiation side by Peltier effect, shows the movement heat caused by temperature difference between the two sides of the device, and is Joule heat which is generated by the input current through the device.
2.3. SVM Based Modeling on the Heat Radiation Part
In the above model, the heat radiation part contains the fourth power of the temperature, and it is not easy to be solved directly. Also, the heat radiation affects evidently the temperature of the Peltier actuated system when the temperature is high and temperature difference is large between the system and environment. In order to cancel the effect of the heat radiation, a compensation operator on the heat radiation is designed, which is based on a predictive model of the heat radiation. In this paper, the predictive model is set up by using SVM method and used to estimate the heat radiation. That is, SVM based predictive model on the heat radiation needs to be built.
SVM is firstly put forward by Vapnik, like multilayer perception network and radial basis function network, which can be used for pattern classification and nonlinear regression . The basic idea of SVM is to create a classification hyperplane as decision surface which makes the isolation edge between positive examples and counter examples maximized. Its regression can construct an identification model of the system according to input and output data under the condition of some unknown parameters. SVM theory is based on Vapnik-Chervonenkis’ statistical learning theory, where a structural risk minimization principle is utilized to get a unique global optimal solution. It can avoid local minimum problem and there are some good promotion characteristics, such as learning ability of small sample and automatic identification of structure and parameters of the model [12–15]. It is suitable for building the nonlinear predictive model of the heat radiation.
The detailed modeling on the heat radiation is shown as follows. Firstly, we define Then (7) is transformed as the following form: It shows that the term denotes the heat radiation part, which contains the fourth power of the temperature. Therefore, SVM method is considered to set up the model of in this paper, and it is used to estimate the heat radiation real time. SVM concerning the estimation of a real-valued function can be described as follows:
The model is based on a finite number set of independent and distributed data , where and denote input and output, respectively, is weight vector, and is offset. In this paper, we make and as the input and as the output when we build the SVM modeling, and and are identification model parameters after training. In Vapnik’s -insensitive support vector regression, the aim is to find a function which allows error of to be no more than and makes flat for all the training data. Considering more interferential errors, nonnegative slack variables and are introduced. Then, the optimization problem on the modeling can be described as the following form: where is a positive constant and used to control the punishment to the samples beyond the error . Generalizing to kernel function based regression estimation by introducing Lagrange multipliers, we can arrive at the following optimization problem :
Ultimately, the regression estimation takes the form where is kernel function that returns the dot product in feature space by using a nonlinear mapping when two vectors are given in input space. That is, linear regression in a high dimensional space corresponding to nonlinear regression in the low dimensional input space can be realized by mapping the input vectors into a feature space. That is, nonlinear regression problem is resolved by linear regression form.
There are many kernel functions used in SVM, such as linear kernel function, polynomial function, radial basis function, and sigmoid function. Linear kernel can be looked as a special kind of form of RBF kernel function. The characteristic of sigmoid function is similar to RBF. In the radial basis function case, the support vector algorithm automatically determines centers, weights, and threshold such that radial basis kernel function is used in this paper, which is shown as follows:
Therefore, under the above case, some parameters of support vector algorithm can be automatically determined, such as weight vector , offset , slack variables , , and Lagrange multipliers and . Then, SVM model based estimation accuracy just depends on a setting of parameters , , and . is penalizing constant, which determines the tradeoff between the model complexity and fatness. is error-accuracy parameter, and it controls the width of the -insensitive zone for fitting the training data. is kernel width parameter, which is appropriately selected to reflect the input range of the training data. By selecting the appropriate parameters , , and , the predictive model of the heat radiation part can be obtained and the heat radiation can be estimated in real time by the built predictive model. Then, operator based robust nonlinear control with compensation operator is presented for the Peltier system by the following section, where the compensation operator is proposed by using the SVM based predictive model.
3. Robust Nonlinear Control with Compensation Operator
3.1. Operator Based Robust Right Coprime Factorization
Robust right coprime factorization of a nonlinear system is to ensure that the system can be right coprime factorized and the system remains its right coprime factorization while it is affected by external perturbation. More specifically, we suppose that the nonlinear system has right factorization , where and are right factorization operators and the operation between and means that the output of is the input of . Then, if there are two operators and satisfying Bezout identity , we can say that right coprime factorization factors of the system exist and the factorization is right coprime. Assume that the system is disturbed by a perturbation . If has a right coprime factorization and satisfies some conditions, it shows that the system has robust right coprime factorization shown in Figure 3.
The system without disturbance has the decomposition . We define a disturbance operator as follows while is disturbed by :
So, for the stable operator , can be factorized into
Therefore, the system has the robust right coprime factorizations when the following conditions of robust stability are satisfied :
Based on the above robust right coprime factorization technology, a robust nonlinear control method with compensation operator is proposed for the Peltier actuated system.
3.2. Robust Right Coprime Factorization with Compensation Operator
For the Peltier system shown in (10), we define . The model can be reexpressed as where the term denotes the heat radiation part which can be estimated in real time by using the SVM based predictive model. In a word, the can be regarded as a predictive operator of the heat radiation part.
Considering the heat radiation as the perturbation, the Peltier actuated system can be expressed by (20):
In order to cancel the effect of the heat radiation, a compensation operator is designed according to the predictive operator and the transformer operator . Robust right coprime factorization with the compensation operator is shown in Figure 4 for the Peltier system.
In Figure 4, , , and are the input space, output space, and quasistate space, respectively. The operator is designed by using the SVM based predictive model and is designed to transform the signal from output space to input space .
Theorem 1. Assume that is stable, where denotes . Let be stable and invertible operator . The robust stability of the Peltier system considering heat radiation is ensured if the following equations and inequality are satisfied:
Proof. Under the assumption , the equivalent diagram of Figure 4 is obtained as shown in Figure 5. From (21) and (22), we have
Since is stable operator and , then is invertible based on . That is, . Since is stable and invertible operator, and is identity operator, we have that is also a unimodular operator. Therefore, the stability of operators , , , , , and can ensure that the outputs are bounded when the input signals are bounded in Figure 4.
So, the overall stability of the system is proved.
The nominal Peltier system is right divided into two parts and satisfying :
Considering the perturbation caused by the heat radiation, the corresponding perturbed operator can be obtained as which is bounded and stable. The uncertain term is related to the heat radiation.
For the nonlinear system, nonlinear operator controllers and are designed to satisfy the Bezout identity (21) and inequality (23). It is worth to mention that the initial state should also be considered; that is, should be satisfied. In this paper, we select the initial time and . By considering the structure of , the controller is designed as where is a constant. Then we can get which shows that the expression of the is simple. After that, it will be easy to get the expression of controller . From Figure 4, we know that Based on , we can get the following operator:
The predictive operator is realized by using the SVM based predictive model introduced in Section 2. The transformer operator is
Furthermore, the tracking filter is designed to make the system output track the reference input shown in Figure 6. According to the Bezout identity (21), Figure 6 is equivalent to Figure 7. Using the result in , the tracking filter is designed as the following operator:
In the following section, the proposed control scheme is confirmed by simulation.
4. Simulation Results
The system with Peltier device is a typical nonlinear control system considering the heat radiation. Because the heat radiation is related to the fourth power of temperature and is affected evidently when the temperature is high and temperature difference between the system and environment is large, a high initial temperature (50°C) is settled to show the effectiveness of the control scheme. The input current is limited between 0.0[A] and 2.2[A]. The parameters used in the simulation are shown in Table 2. In order to show the simulation results clearly, we change the unit of temperature “K” into “°C” in the simulation.
4.1. Simulation on the Prediction Model
In this paper, the radial basis function is used to establish the predictive model according to the SVM method, where some parameters of SVM are automatically determined, such as weight vector , offset , slack variables , , and Lagrange multipliers , . For the important design parameters , , and , we set as 0.1, and and are 100 and 0.1, respectively.
According to the real data of the physical system, the predictive model of the heat radiation is obtained by using the SVM method. Figure 8 shows the prediction results of the heat radiation using the built predictive model. The black line is the real value of the heat radiation and the red one is the predicting result of the heat radiation using the SVM based predictive model. Its standard deviation and maximum deviation are and , respectively.
It is clear to see from Figure 8 that the two curves are almost coincident. Moreover, the heat radiation part is estimated by using the least square method based predictive model shown in Figure 9. Its standard deviation and maximum deviation are and , respectively. So it can be concluded that the SVM based predictive model of the heat radiation is more efficient and exact. The obtained model can be used to design the compensation operator.
4.2. Simulation on Robust Nonlinear Control with Compensation Operator
Firstly, in order to show effect of the heat radiation in the refrigeration system, the simulations are carried out for the system considering the heat radiation or not, which is simulated by the model. The parameters used in the two simulations are the same and the controllers without compensation operator are designed. Figure 10 shows the simulation result where the heat radiation has not been considered. And Figure 11 shows the simulation result where the heat radiation has been included.
From Figure 10, we can see that the output temperature of the system declined from 50°C to 44°C and finally falls in 44°C. But in Figure 11, the output temperature of the system cannot decline to the 44°C, and it just falls in 44.3°C at last. So it can be concluded that the heat radiation of the aluminum plate influences the output temperature of the system when the temperature is much higher than the environment temperature.
In order to cancel the effect of the heat radiation, robust right coprime factorization control with compensation operator is designed to make the system reduce to 44°C. The simulation results are shown in Figure 12, which is similar to Figure 10. It shows that the temperature of the aluminum plate considering the heat radiation can be fallen in 44°C through using the proposed controllers. Comparing with Figures 10 and 12, it also can be concluded that the designed compensation operator based on the predictive model of the heat radiation and the proposed scheme are efficient.
Figure 13 shows the result of robust stability analysis considering the heat radiation. In Figure 13, the ordinate axis denotes robust stability magnitude based on a time sequence, which is calculated according to the robust stability condition (23). In Figure 13, the result shows that the robust stability magnitude is less than 1. That is, the robust stability condition (23) is satisfied and the control system is robust stable.
For the Peltier actuated aluminum plate thermal system, it is certified that heat radiation influences evidently the temperature when the temperature is high and temperature difference is large between the system and environment. The model of the Peltier actuated system with heat radiation is built, and a predictive model on the heat radiation is obtained by using SVM method. Based on the predictive model, a compensation operator is designed to cancel the effect of the heat radiation. Furthermore, operator based robust nonlinear control with the compensation operator is presented to guarantee the robust stability and tracking performance for the Peltier actuated system. Finally, simulation results show the effectiveness of the proposed scheme.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work is partially supported by National Natural Science Foundation of China (61074022 and 61304115) and Program for International Science Cooperation and Communication (2010DFA22770). Moreover, The authors declare that they have no financial and personal relationships with other people or organizations that can inappropriately influence their work, and there is no professional or other personal interests of any nature or kind in any product, service, and/or company that could be construed as influencing the position presented in, or the review of, the paper entitled.
J. A. Chavez, J. A. Ortega, J. Salazar, A. Turo, and M. J. Garcia, “SPICE model of thermoelectric elements including thermal effects,” in Proceedings of the 17th IEEE Instrumentation and Measurement Technology Conference (IMTC '00), vol. 2, pp. 1019–1023, Baltimore, Md, USA, May 2000.View at: Publisher Site | Google Scholar
M. Deng, A. Inoue, and K. Edahiro, “Fault detection in a thermal process control system with input constraints using a robust right coprime factorization approach,” Proceedings of the Institution of Mechanical Engineers I: Journal of Systems and Control Engineering, vol. 221, no. 6, pp. 819–831, 2007.View at: Publisher Site | Google Scholar
V. N. Vapnik, Statistical Learning Theory, John Wiley & Sons, New York, NY, USA, 1998.View at: MathSciNet
H. Drucker, C. J. C. Burges, and L. Kaufman, “Support vector regression machines,” in Advances in Neural Information Processing Systems, pp. 155–161, MIT Press, Cambridge, UK, 1997.View at: Google Scholar
J. K. A. Suykens, T. V. Gestel, and J. D. Brabanter, Least Squares Support Vector Machines, World Scientific Publishing, Singapore, 2002.