Abstract

This paper considers the numerical approximation for the time optimal control problem of a thermoelastic system with some control and state constraints. By the Galerkin finite element method (FEM), the original problem is projected into a semidiscrete optimal control problem governed by a system of ordinary differential equations. Then the optimal time and control parameterization method is applied to reduce the original system to an optimal parameter selection problem, in which both the optimal time and control are taken as decision variables to be optimized. This problem can be solved as a nonlinear optimization problem by a hybrid algorithm consisting of chaotic particle swarm optimization (CPSO) and sequential quadratic programming (SQP) algorithm. The numerical simulations demonstrate the effectiveness of the proposed numerical approximation method.

1. Introduction

The expansion and contraction of a material exposed to temperature changes are of great importance in many applications such as stabilization of satellite antennas, which is commonly with large temperature variations and characterized by the thermoelastic coupling [1]. This phenomenon is modelled by a system consisting of a hyperbolic elasticity equation describing the displacement coupled with a parabolic equation for the temperature. Over the past few decades, there has been much work on control of thermoelastic systems including [18] and references therein. For more studies of the related problems of the thermoelasticity, we would like to mention some other related works [9, 10]. Very little, however, is known about the time optimal control of thermoelastic systems.

As one of the most important optimal control problems, time optimal control problems aim at driving the corresponding trajectory of the system from an initial state to a given target set in the shortest time, through applying constrained controllers. Time optimal control problems in the finite-dimensional case [11, 12] were first studied, which were governed by a system of ordinary differential equations. Then time optimal control problems were extended to the infinite-dimensional case; namely, the controlled equations are partial differential equations (PDEs) or abstract evolution equations in Banach spaces [1316]. The main theoretical tool to deal with time optimal control problems analytically is the Pontryagin minimum principle [17]. However, practical problems are usually becoming too complex to allow analytical techniques alone. Thus numerical methods for solving these problems attracted more and more researchers’ attention [1822].

In this paper, we will study the numerical approximation for the time optimal control problem governed by the one-dimensional linear thermoelastic system. As far as we know, little work has been done on numerical methods for solving this problem. Our method follows the discrete-then-optimize approach [2325], whereby the PDE system is first projected onto the finite-dimensional subspace to obtain a system of ordinary differential equations (ODEs), and computational optimal control techniques are applied; then the resulting problem is solved by appropriate optimization methods. Specifically, by making use of the standard finite element method (FEM), the original problem was firstly projected into a time optimal control problem governed by a system of ODEs. Noting that the terminal time of this problem is unspecified, we will, then, introduce a transformation such that the optimal time can be regarded as an unknown system parameter. Moreover, control parametrization method, which involves approximating the control function by a piecewise-constant function with possible discontinuities at a set of preassigned switching points [26, 27], will be carried out and the original problem can be reduced to an optimal parameter selection problem. In principle, this problem can be solved as a nonlinear optimization problem by standard mathematical programming algorithms such as SQP.

The SQP method is one of the nonlinear programming methods for constrained optimization. The basic idea of SQP is to make a quadratic approximation of the Lagrange function of the original problem, to form a quadratic programming (QP) subproblem. The solution of QP subproblem is then used to form a search direction for a line search procedure in the next iteration. Although with the strong capability of local searching, the SQP method is dependent on the initial estimation and is easy to be trapped into a local minimum for multimodal problem. Thus a hybrid PSO is introduced to overcome this drawback.

The PSO algorithm is one of the most well-known bioinspired algorithms used in optimization problems, which basically consists of a number of particles that collectively move in search of the global optimum. Meanwhile, similar with other evolution algorithms, the traditional PSO is also prone to get trapped into the local minimum when solving some complex problems. There is a rich literature devoted to the improvement of PSO; for example, refer to [2830] and references therein. In our work, a chaotic method is integrated with PSO to further promote the diversity of PSO [3133]. This chaotic PSO algorithm is referred to as CPSO. In this way, the possibility of exploring a global optimum solution in problems is increased. Furthermore, as empirical and theoretical studies show that PSO is sensitive to the control parameters, especially the inertia weight and acceleration coefficients, we also make full use of existing results of parameter controlling strategies to improve the performance of CPSO.

In this paper, a hybrid algorithm consisting of CPSO and SQP is introduced to solve the optimal parameter selection problem, where CPSO can be viewed as the global optimizer while the SQP is employed for the local search.

The rest of this paper is organized as follows. The formulation of the time optimal control problem is introduced in Section 2. In Section 3, we obtain the semidiscrete form of the original optimal control problem with FEM method. In Section 4, an optimal parameter selection problem is obtained by the optimal time and control parameterization method, and a hybrid optimization algorithm CPSO-SQP is employed to solve this problem. In Section 5, the numerical simulations are presented to illustrate the effectiveness of our numerical approximation method. Finally, in Section 6, we conclude the paper with summary comments and suggestions for future research.

2. Formulation of the Time Optimal Control Problem

Consider a linear one-dimensional thermoelastic rod of length with unit reference density. The controlled thermoelastic system takes the formwhere is the displacement, represents the temperature deviation from the reference temperature of the bar at , , , and are the given initial data, are the external effects acting on this system, and and are the boundary control functions. In the above, the first equation is the momentum equation and the second equation is the energy equation. We assume that the system parameters , , , and are given constants with , and , which are dependent on the material properties.

Define with the norm By the famous Poincare’s theorem, we see that is a Hilbert space. Moreover, let with the standard norm . Define equipped with the norm Then, is a Hilbert space and the energy function of the thermoelastic system (1) iswhere is the solution of .

Define where , are given constants. Let be positive constant and assume that, for given , there exists at least one control , such that the solution of (1) satisfies that for some

Under this setting, the time optimal control problem of the thermoelastic system, which we shall study, is formulated as follows: where the energy function is defined by (4) and is the solution of (1) with respect to and . Define as the optimal time for the problem . Moreover, if there exists such that , we call as an optimal control for the problem and the solution of (1) corresponding to the optimal control as the optimal state. Throughout this paper, we assume that there exists a pair with such that . By the standard arguments [34, 35], we can get the existence of the optimal time and the optimal control .

3. Finite Element Approximation

In this section, we will apply the Galerkin finite element method [36, 37] to discretize the original problem , an infinite-dimensional distributed parameter time optimal control problem, into a semidiscrete approximation problem governed by a finite-dimensional lumped parameter system.

In order to construct a finite-dimensional subspace of the space , we subdivide into subintervals by the grid points: where the length of each subinterval is . Then is the mesh size of this triangulation and a measure of how fine the partition is. Note that in general the mesh points need not be equally spaced. For simplification, we choose a uniform spacing here.

Now let be the set of functions such that is linear on each subinterval and continuous on : where is the space of polynomials of degree at most 1 defined on the subinterval .

We observe that is a -dimensional space and . Let be the basis functions of the finite-dimensional space , defined by for , where is the continuous piecewise linear function that takes value 1 at node point and the value 0 at other node points.

Then, the finite element approximation of (1) is the -projection from onto , defined bywhere is the inner product of Taking the inner product of (1) with the test function , replacing by the finite-dimensional subspace , and applying boundary conditions, we get the following semidiscrete analogue of system (1): find for , such that

Since , they can be written as the linear combination of the basis functions:where and , are weighting functions. Moreover, we can writewhere , , and , are weighting functions.

Substituting (14) and (15) into (13) and taking , yield thatDefine

Thus, it follows from (16) thatDefine and

Thus, (13) can be rewritten as follows:where Note that this system is a set of initial value problems (IVPs) and is equivalent to (13). Define where denotes the inner product in and Now, by the finite element method, we get a new time optimal control problem governed by a system of controlled ordinary differential equations from the original problem as follows: where is the solution of (20).

4. Time Optimal Control Computation

4.1. Optimal Time Parameterization

Obviously, the problem is a problem with unspecified terminal time. In this case, we may regard the optimal time as an unknown system parameter. Write and define the transformation Let Then, (20) is equivalent to the following equation:Thus, the problem can be transformed to the following form: where for

By this optimal time parameterization process, the problem becomes a combined optimal parameter selection and optimal control problem, which has a fixed time horizon .

4.2. Control Parameterization

To approximate the problem , we will use the control parametrization method [27, 38]. More specifically, the admissible controls will be restricted to a suitable linear combination of basis functions, where the coefficients in the linear combination are decision variables to be selected optimally. This produces a sequence of finite-dimensional optimization problems for approximating problem . As piecewise-constant basis functions are normally applied in control parameterization, the optimal control problem can be reduced to an optimal parameter selection problem.

We subdivide the time horizon into subintervals , where is the number of approximation subintervals, is the th approximation subinterval, and , are fixed knot points such thatDefineThe vector-valued control function can be approximated by a constant vector on each subinterval: Then we restrict the control function to the piecewise-constant control of the formwhere and is the indictor function of the interval defined by Corresponding to optimal time parameterization, the control function is transformed as follows:where and is the indictor function of the interval defined by

By taking the approximation of , (28) takes the following form:Let and denote the solution of system (37) corresponding to .

Now, we may state the approximate optimal parameter selection problem as follows: where and is the solution of (37).

4.3. Optimization Implementation

The finite element method and the control parameterization method have been applied to various optimal control problems. The convergence for approximation schemes of these two methods has been discussed by many authors (see [18, 20, 39] for the FEM or [26, 38, 40] for control parameterization method). Inspired by these results, by making use of the classical space discretization scheme with FEM, we first project the original time optimal control problem into a semidiscrete problem governed by a system of ODEs. Then, through the time parameterization and control parameterization, the semidiscrete approximation of the original problem has been reduced to an optimal parameter selection problem in the canonical form, where is the time parameter and is the control parameter. The optimal parameter selection problem is basically nonlinear mathematical programming problem and hence many gradient-based optimization techniques can be applied to optimal parameter selection problem. Combined with the algorithms for computing the gradients of the cost and constraint functions such as the variation method [41, 42] and the costate method [27, 43], the optimal parameter selection problem can be solved numerically with some mathematical programming algorithms.

In this paper, a hybrid optimization algorithm CPSO-SQP from [31, 32], which combines SQP and CPSO, is introduced to solve the problem . In this algorithm, the CPSO is taken as the global main optimizer of the algorithm while the SQP is employed for the local search to improve the solution.

In PSO, each solution is called a “particle” flying around in the dimensional search space with a velocity . During flight, each particle of a swarm adjusts its position according to the best position encountered by itself (personal best position of its previous flights) and its neighbors (global best position of the population) as the following formulas:where , is the swarm size, is the inertia weight, and are positive constants called acceleration coefficients for regulating the maximum step size for the particle to fly towards and , respectively, superscript represents the algorithm iteration count, and is a random value in the range . and should be clamped to the range of and to control excessive roaming of particles outside the search space, respectively.

Because of its ergodicity and stochasticity, the piecewise linear chaotic map is used to improve the global search capability of PSO, which is defined as follows:where denotes the chaotic mapping of th chaotic variable in the th iteration and is a given parameter. Under this chaotic mapping, behaves chaotically in Moreover, based on the fact that chaotic search is efficient in small range, we take chaotic mapping within a dynamically shrinking range around the global best position of the swarm by the following formula:where , denotes the chaotic mapping of the particle in the th dimension, is the global best position in the th dimension, and is a scaling parameter with an empirical value . After chaos, the particle should still be clamped to the range of by the following formula:

Integrated with chaotic map and SQP, the hybrid optimization algorithm CPSO-SQP is described as follows.

Step 1. Initialize swarm size, maximum function evaluations, other parameters, and the initial position and velocity of each particle in the swarm.

Step 2. Evaluate the objective function of each particle, then set the initial personal best solution , select the global best particle of CPSO to guide the swarm evolution direction, and set which is the global best particle of CPSO-SQP.

Step 3. Update the velocity and position of each particle according to (40) if the particle is not in stagnation, otherwise, according to (41)–(43).

Step 4. Evaluate the objective function of each particle in the new position.

Step 5. If the current position is better than personal best solution, update ; otherwise, set this particle in stagnation.

Step 6. If is better than global best solution of CPSO, update and set a flag for arousing SQP. Moreover, if is better than , update .

Step 7. If is just updated (the flag for SQP is true), set as initial value and run SQP. If the result of SQP is better than , update .

Step 8. If maximum function evaluation is reached, output as the global best solution; otherwise, go back to Step 3 for continuing iterations.

In this algorithm, the powerful global search capability of CPSO to search the solution space and the solution obtained from CPSO is taken as an initial estimate of SQP algorithm to compensate for the weakness of SQP weak global search. With good local convergence performance and strong nonlinear convergence speed, SQP algorithm makes a careful search for the optimization problem to make up shortcomings of the CPSO weak local search. Thus, the possibility of exploring a global minimum in problems with more local optima is increased. Benefiting from the fast globally converging characteristics of CPSO and the effective local search ability of SQP, the proposed method can obtain the global optimal result of our problem through constant iteration.

5. Numerical Simulation

In this section, we present some numerical simulation results by the proposed method in this paper. Take , , and . Moreover, let Thus, if we take for , the uncontrolled equation (1) can be solved analytically and the exact state solution is Obviously, direct calculation yields that which implies that the constraint of energy function is not satisfied at the initial time.

In this section, we take the admissible control set as the formwhere positive constant is the bound of the control constraint.

For the spatial discretization of the thermoelastic system, we use the basis functions for any as follows: where is the number of subintervals in the spatial domain. Here, we choose , which means that the finite element triangulation divides the space domain into 20 subintervals.

Through optimal time parameterization, the problem has a fixed time horizon . Using control parameterization, we subdivide the time interval into subintervals with and approximate the control functions by the piecewise-constant function in each subinterval . Then, the derived optimal parameter selection problem can be solved by the CPSO-SQP algorithm.

Our numerical simulation study was carried out within the MATLAB programming environment running on a personal computer with the following configuration: Intel Core i5-3470 3.20 GHz CPU, 4 GB RAM, 64-bit Windows 7 Operating System.

Figure 1 shows the relationship of the optimal time and the control bound . As the increase of , the shortest time , which is needed to drive the solution of the system to the energy constrained range, drops clearly. This means that the control ability of with large is stronger than the that with small . In Figure 2, the computed optimal control is presented for , which shows that the Bang-Bang property holds for these cases. Moreover, we still make the comparison of states and with control and the optimal states and with control for the case in Figure 3.

6. Conclusions

In this paper, we have proposed a numerical approximation method for the time optimal control problem of the thermoelastic system. Following the schedules of Galerkin finite element discretization, time parameterization, and control parameterization, the original optimal control problem was reduced to an optimal parameter selection problem governed by a system of ordinary differential equations. In this problem, the optimal time and corresponding optimal controls are taken as decision variable to be optimized. Finally, a hybrid optimization algorithm CPSO-SQP was used to solve this problem. Simulation results demonstrate that the proposed numerical approximation method is effective at driving the thermoelastic system state to a target domain in the shortest time. Nevertheless, there is still room for improvement. We used fixed knot points for the control discretization in Section 4. For more accurate results, it is possible to take the control switching points as decision variables by the so-called time-scaling transformation described in [38].

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was partially supported by the Natural Science Foundation of Zhejiang (Grant no. LY17A010020).