Output Feedback Stabilization of Unstable Heat Equations with Time Delay in Boundary Observation

In this paper, an unstable heat equation where the observation signal suffers from a given time delay has been considered. In order to remove the unstable boundary condition, the original system has been converted into the stabilizing system by backstepping transformation under which the form of the stabilizing controller can be obtained. For the sake of overcoming instability produced by the time delay, firstly, we construct the Luenberger observer and design the predictor.*en, the estimated output feedback controllers have been obtained based on the observer and predictor systems. It is shown that the closed-loop system is stable exponentially. At last, numerical simulations have been given to illustrate the effectiveness of the stabilizing output feedback controllers.


Introduction
In the past decades, much effort has been made for the problems of unstable or antistable infinite-dimensional systems which can be applied to practical engineering (see [1][2][3][4][5][6][7][8][9][10][11][12][13]). For example, reference [14] relates the loss of the heat to the surrounding medium and the destabilizing heat generation inside the rod. e backstepping method introduced into the PDE systems in a few years has systematically been applied to stabilize some unstable or antistable hyperbolic and parabolic equations (see [6-8, 11, 13, 15, 16]). For example, Kang and Guo [6] consider boundary stabilization for a cascade of unstable heat PDE systems where an output feedback is designed by the backstepping transformation. Moreover, reference [13] has applied the backstepping transformation to overcome the destabilizing boundary condition for a wave equation. e predictor-based feedback control may be an effective method to make the unstable reaction-diffusion equation compensate the delay (see [7,11]). ere are some of other references related to stability of parabolic equations, for example [17]. In this paper, we consider a heat equation which is controlled from one end and contains instability at the other end. e output feedback controllers designed by the backstepping method use the Volterra transformation to map an unstable PDE into a stable target PDE. It is shown that the controller based on the observer and predictor is also available for the unstable parabolic equation. In this sense, it is meaningful for this paper to consider the unstable heat equation with time delay in boundary observation.
It is a common phenomenon of the practical systems with time delay which means that the observation signals need time to achieve the controller ( [18,19]). Unfortunately, even a small amount of time delay may make the originally stable system unstable [20]. Actually, for distributed parameter control systems, stabilization of the system with observation or control suffering from time delay represents difficult mathematical challenges, as was mentioned in [21]. In recent years, references [22][23][24] have introduced the separation principle to make the wave, beam, and Schrödinger equations where observation signals suffer from the given time delay stabilized. is paper has been devoted to the parabolic heat equation with the delayed observation signal.
In this paper, we consider stabilization of the heat equation with the observation subject to a given time delay where an unstable boundary condition is coupled in the boundary x � 0, under the Neumann boundary control: where w(x, t) is the state, u is the input or control, y is the observation or output, τ is the given time delay, and q( > 0) is in the boundary condition which may be large enough to emphasize the instability effect. e objective of this paper is to design output feedback controls based on the estimated state in order to stabilize systems (1) for any given time delay. is paper is organized as follows: In Section 2, we present the controller design, observer and predictor construction, and stability analysis for unstable Neumann actuation problems. en, in the next Appendix section, by the main techniques involved in the previous section, we briefly analyze the stability of the unstable Dirichlet actuation problem. Section 4 gives simulation results.

Stabilization with Neumman Boundary Control
In this section, we apply the backstepping transformation to obtain the stabilizing feedback for system (1) under the Neumman boundary control. And then, the observer system has been constructed while the predictor system has been designed. At last, the output feedback control based on the estimated state has been shown to stabilize system (1) for any given time delay.

Feedback Control via Backstepping Transform. System
(1) is considered in the energy space H � L 2 (0, 1) and the input(or output) space U � Y � C. e energy of system (1) is For the original system (1), make the invertible change of variable whose equivalent transformation is In order to convert (1) into the exponentially stable system [25] the feedback control in (1) may be proposed as that under which system (1) becomes that [8] Based on the exponential stability of system (5) and the equivalence between systems (5) and (7), we have the following theorem [8].

Design of Observer and Predictor.
is section has been devoted to constructing the observer system and designing the predictor system. In the first step, the observer has been constructed to estimate the state w(x, s), stated as the following system: where w 0 is the arbitrarily assigned initial value of the observer. Set the error for the observer system en, by (1) and (8), ε(x, s) satisfies the following: System (10) can be written as follows: where the operator A is defined as follows: It is known that A generates an exponentially stable C 0 -semigroup on H such that for some positive constants M, ω ( [25]). us, for any w 0 ∈ H and w 0 ∈ H, there exists a unique solution of (12) such that In the second step, the predictor system has been designed for the state w(x, s), Let the error for the predictor system Mathematical Problems in Engineering en, by (1), (15), and (16), ε(x, s, t) satisfies the following system: It can be expressed as that where Next, we define a new inner product equivalent as the energy in (2) for some given α > 0 satisfying that 2qcosh(α) − αsinh(α) < 0.
us, for any φ ∈ D(B), we have that By simple computations of integration by parts, it results that us, system (17) generates a strongly continuous semigroup e Bs which indicates that for some positive constants M 1 and ω 1 [26]. erefore, the solution of system (17) can be represented as follows: which together with (14) and (23) result that ‖ε(·, t, t)‖ H ≤ MM 1 e (ω+ω) 1 τ ‖ε(·, 0)‖ H e − ωt , ∀t > τ. (25) e estimated state has naturally been chosen as follows: assured by the theorem below.

Theorem 2.
For ∀t > τ, we have that where w 0 is the initial value of the observer (8), w 0 is the initial value of the original system (1), and M, ω and M 1 , ω 1 are constants in (13) and (23), respectively.

Stabilization of the Closed-Loop
System. For the estimated state (24) and (7), we naturally obtain the estimated output feedback control law as follows: en, the closed-loop system becomes a system of partial differential equations as given below: which is equivalent to the system below: where L 0 is defined in (54) and (55) and M 0 and M are defined in (13) and (57), respectively.
Proof. Due to (21) and (23), for any ε(·, t − τ) ∈ H determined by (33), there exists a unique solution of (34) such that which together with (14) tell us that ; H). Now for system (34), because of (18) and (19), the solution of (34) can be represented as [23] ε(·, s, t) � ∞ n�0 a n (t)e λ n s φ n (·), where As a result, we have that us, by Cauchy-Schwartz inequality, λ n a n (t)e λ n (t− τ) 2 Similarly, we obtain that Moreover, from the fact that where A is defined in (11), there exists some positive constant C independent of t such that where Moreover, by (14) and C 0 -semigroup theory, the following inequality holds: 6 Mathematical Problems in Engineering for any t > τ, where M and ω are given in (13).
In conclusion, based on the equations from (37) to (43), we have that From the second inequality of (44), it is shown that On the other hand, the equivalent system of (32) can be illustrated easily by the transformation (2) as follows: It can be written as follows: where A direct computation shows which means that B 0 A − 1 0 is bounded. For the Lyapunov function of system (46), e direct computation shows that which means that for any T > 0. is inequality together with (50) illustrates that B 0 is admissible for e A 0 t . erefore, there exists a unique solution of (46) such that v(·, t) ∈ C(τ, ∞; H). Since the operator A 0 generates an exponentially stable C 0 -semigroup [25], it follows from (44) and (45) that [27,28]

Mathematical Problems in Engineering
for some constants L 0 > 0 independent of where Furthermore, the solution of system (46) can be represented as v(·, t) � e A 0 (t− τ) v(·, τ) Since A 0 generates an exponentially stable C 0 -semigroup, there exist two positive constants M 0 , ω 0 such that which together with (54), (55), and (58) show that At last, since system (32) and (46) are equivalent to each other based on the transformation (2), naturally we have that 8 Mathematical Problems in Engineering where L 0 is defined in (54)

Appendix: Stabilization with Dirichlet Boundary Control
For the system under the Dirichlet boundary control, By the similar design of estimated feedback control as that in the previous section, it can be stabilized for any given time delay. Firstly, we can apply the backstepping transformation to obtain the stabilizing feedback for system (62). And then, we design the observer and predictor systems. e output feedback control based on the estimated state can be shown to stabilize system (62) for any given time delay.

Numerical Simulation
In this section, numerical simulations have been given to show the effectiveness of the stabilizing output feedback controller. e space step is 0.025, and the time step is 10 − 4 .
For the closed-loop system (29)-(31) with the Neumann boundary control, initial values have been chosen as that and the parameters have been chosen as that  while the time delay is τ � 0.1. en, it is found that the state of the closed-loop system is almost rest after a certain time shown in Figure 1.
For the closed-loop system with the Dirichlet boundary control, we choose the initial values as follows: and the parameter has been chosen as q � 1 while the time delay is τ � 0.1. It is shown that the state of the closedloop system is evidently stable shown in Figure 2.

Conclusion
In this paper, we consider an unstable heat equation where there exists instability in the Neumann or Dirichlet boundary conditions. For the unstable Neumann boundary condition, we stabilize the heat equation where the observation signal suffers from a given time delay by designing the estimated state feedback controller based on the construction of the observer and predictor systems. Numerical simulations show the effectiveness of the stabilized controller. For the unstable Dirichlet boundary condition, a similar controller may be given to make the originally unstable system stable exponentially which can be shown in the simulation results of this paper. e future research direction may be the stabilization of the high dimensional or abstract parameter distributed systems with unstable effects [29,30].

Data Availability
e data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest
e authors declare that they have no conflicts of interest.