Output feedback exponential stabilization for 1-D
unstable wave equations with boundary control
[0.6ex] matched disturbance
[4ex] Hua-Cheng Zhou, George Weiss \@footnotetextThis work was supported by the Israel Science Foundation under grant 800/14. \@footnotetextH.-C. Zhou (email@example.com) and G. Weiss (firstname.lastname@example.org) are with the School of Electrical Engineering, Tel Aviv University, Ramat Aviv, Israel, 69978.
Abstract: We study the output feedback exponential stabilization of a one-dimensional unstable wave equation, where the boundary input, given by the Neumann trace at one end of the domain, is the sum of the control input and the total disturbance. The latter is composed of a nonlinear uncertain feedback term and an external bounded disturbance. Using the two boundary displacements as output signals, we design a disturbance estimator that does not use high gain. It is shown that the disturbance estimator can estimate the total disturbance in the sense that the estimation error signal is in . Using the estimated total disturbance, we design an observer whose state is exponentially convergent to the state of original system. Finally, we design an observer-based output feedback stabilizing controller. The total disturbance is approximately canceled in the feedback loop by its estimate. The closed-loop system is shown to be exponentially stable while guaranteeing that all the internal signals are uniformly bounded.
Keywords: Disturbance rejection, output feedback controller, unstable wave equation, exponential stabilization
AMS subject classifications: 37L15, 93D15, 93B51, 93B52.
In this paper, we are concerned with the following one-dimensional wave equation:
where , , is the state, is the control input signal, and is the output signal, that is, the boundary traces and are measured. The equation containing the constant creates a destabilizing boundary feedback at that acts like a spring with negative spring constant. is an unknown possibly nonlinear mapping that represents the internal uncertainty in the model, and represents the unknown external disturbance, which is only supposed to satisfy . For the sake of simplicity, we denote
and we call this signal the total disturbance. We often write instead of .
We consider system (1) in the state Hilbert space with the inner product given by
The objective of this paper is to design a feedback controller which generates the control signal , using only the measurements , such that the state of the closed-loop system (that includes the state of the system (1)) converges to zero, exponentially. Later in the paper we shall also discuss a related problem, where the negative spring is replaced by a negative damper. More precisely, on the right hand-side of the equation in (1)) containing , we have (instead of ). We shall solve the exponential stabilization problem also for this alternative nonlinear wave system (5). These results have been announced (without proof) in the IFAC conference paper .
For simplicity of implementation, it is desirable to use a small number of input and output signals for output feedback stabilization. For the disturbance free situation (that is, and ), the stabilization of the system (1) was first investigated in , who used two measurement signals to obtain an exponentially stable closed-loop system. Using only one displacement signal as measurement, strong stability of the closed loop system was achieved in , using Lyapunov functionals. In the recent paper , the output signal is only one displacement signal and an exponentially stabilizing controller is designed by using a new “backstepping” method. However, when the total disturbance acts at the control end, the stabilization problem for (1) becomes much more difficult. Here we present a dynamic compensator which employs a disturbance estimator described by partial differential equations (PDEs) and full state feedback based on the observer state. Our compensator consists of two parts: the first part is to cancel the total disturbance by applying the active disturbance rejection control (ADRC) strategy, which is an unconventional design strategy first proposed by Han in 1998 ; the second part is to stabilize the system by using the classic backstepping approach. The stabilization problem of system (1) has been considered first in , where the vector of output measurement was taken to be and the disturbance has the following form:
with known frequencies and unknown amplitudes , and the resulting closed-loop system is asymptotically stable. Obviously, the disturbance signal in this paper is more general than the one described above. Recently, the stabilization problem of system (1) with , has been investigated in , where the output measurements are , their result is that the closed-loop system is asymptotically stable. The output feedback of  uses one more measurement than . Apart from the more general external disturbance, another point that is different here from [14, 10] is that the closed-loop system in this paper is exponentially stable and we do not require to measure the velocity (or ) which is hard to measure . In this paper, we only use two scalar signals (the components of ) and this is a minimal set of measurement signals. As shown in Figure 1, we apply the control force to deal with both the internal uncertainty and the unknown external disturbance .
Many control methods have been applied to deal with uncertainties in PDE systems. The internal model principle, a classical method to cope with uncertainty, has been generalized to infinite-dimensional systems [3, 29, 27, 24]. In , the tracking and disturbance rejection problems for infinite-dimensional linear systems, with reference and disturbance signals that are finite superpositions of sinusoids, are considered. The results are applied to some PDEs including the noise reduction in a structural acoustics model described by a two-dimensional PDE. An interesting PDE example in  is disturbance rejection in a coupled beam where the disturbance and control are not matched. Very recently, the backstepping approach has been used to achieve output regulation for the one-dimensional heat equation in [7, 8], and the one-dimensional Schrödinger equation in . For a stochastic PDE, an optimal control problem constrained by uncertainties in system and control is addressed in . An adaptive design is exploited in [1, 21] for dealing with the anti-stable wave equation with unknown anti-damping coefficient. In , a boundary control based on the Lyapunov method is designed for the one-dimensional Euler-Bernoulli beam equation with spatial and boundary disturbances. However, there are not so many works, to the best of our knowledge, on exponential stabilization (instead of reference tracking) of PDEs with disturbance by using output feedback. Sliding mode control that is inherently robust is the most popular approach that can achieve exponential stability for infinite-dimensional systems but most often, the literature considers state feedback controllers [28, 5, 16, 34], while here we aim for output feedback.
Output feedback stabilization for one-dimensional anti-stable wave equation has been considered in , where a new type of observer has been constructed by using three output signals to estimate the state first and then estimate the disturbance via the state of the observer through an extended state observer (ESO). However, the initial state is required to be smooth in  and they obtain asymptotic stability (not exponential, like here). In the recent paper  the authors continue to investigate this question and introduce a new disturbance estimator which is different from the traditional one, the smoothness requirement on the initial state being removed. In , still three output signals are used as inputs to the controller and the controller achieves asymptotic stability of the closed-loop system. In this paper we consider the output feedback stabilization for a one-dimensional unstable (or anti-stable) wave equation by using two signals only, which is an improvement, and in addition we achieve exponential stability of the state of the controlled original systems, which is stronger than asymptotic stability.
Define the operators , by
where is the Dirac pulse at , with a suitable interpretation. It can be shown (see [25, Example 5.2] for details) that , and
We often write a pair as a column vector . The system (1) can be rewritten as
The equivalence is meant in the algebraic sense, without any reference to existence or uniqueness of solutions, see Remark 10.1.4 in . The proof of the equivalence between (1) and (1.4) uses the theory of boundary control systems in [33, Section 10.1], and the details (for a slightly different system) are in [25, Example 5.2], where the notation and is used in place of and (in this order). About existence and uniqueness of solutions we have the following proposition, whose proof is given in the Appendix.
The above operator generates a unitary group on and are admissible control operators for it. Suppose that satisfies a global Lipschitz condition on and . Then for any and , there exists a unique global solution to (1) such that .
The paper is organized as follows: We consider the exponential stabilization of the unstable wave equation (1) in Sections 2 to 4. More precisely, in Section 2 we desgin an infinite-dimensional total disturbance estimator that does not use high gain, for the system (1). We propose a state observer based on this estimator and develop an output feedback stabilizing controller by compensating the total disturbance in Section 3. The exponential stability of the resulting closed-loop system for (1) is proved in Section 4. Section 5 is devoted to the output feedback exponential stabilization of the alternative anti-stable wave equation mentioned earlier (with the negative damper).
2 Disturbance estimator design
In this section, our objective is to design a total disturbance estimator using the input and output signals of the system (1).
We explain the need for a disturbance estimator on a simple finite dimensional example. Let , . Consider the system
where is the state trajectory at time and is the disturbance signal at time . Suppose that is stable (Hurwitz). The solution is given by
From here, it is easy to verify that as if . Therefore, to design a stabilizing control law for , it suffices to find a control law that generates such that .
For many boundary control systems, the control operator is unbounded but admissible for the underlying operator semigroup. For more on the admissibility concept we refer for instance to . When takes values in a Hilbert space , generates an exponentially stable operator semigroup on and is admissible, we still have a stability result similar to Remark 2.1, see the following lemma. For related results see [23, 20]. As is customary, we denote by the dual of with respect to the pivot space , see .
Let be the generator of an exponentially stable operator semigroup on the Hilbert space . Assume that , are admissible control operators for ( are Hilbert spaces). Then the initial value problem
admits a unique solution , and if , , then is bounded. If for each index , either or holds, then as . Moreover, if there exist two constants such that , , then for some .
Due to the admissibility, by [33, Proposition 4.2.5.], the solution is a continuous -valued function of given by
By assumption, there exist constants such that for all . Thus, by superposition, we only have to prove the statements in the lemma for one of the integral terms in the above sum, (with fixed).
Now suppose that or . For any , there exists such that
If then it follows from [35, Remark 2.6] that for any ,
where is a constant that is independent of and of . If , then by [35, Remark 2.6], the -admissibility of implies that for any ,
Using the exponential stability of again, we have that for any ,
This shows that . Since was arbitrary, we conclude that the last limsup is 0, whence as .
For the last part of the lemma, suppose that there exist such that . Choose a number , then still generates an exponentially stable operator semigroup. Define the functions and by
then it is easy to see that the differential equation holds. Since is bounded, by an argument used at the beginning of this proof (with and in place of and ), there exists such that . Clearly this implies that tends to zero at the exponential rate . ∎
Now we design a total disturbance estimator for the system (1). This is an infinite dimensional system whose state consists of the functions defined on :
where and are two positive design parameters, , is the initial state of the disturbance estimator and its input signals are , and . The output of this estimator is .
Before going into the tedious technical details, we give an informal overview of how the total disturbance estimator (2) works. The “-part” of (2) is used to channel the total disturbance from the original system to an exponentially stable wave equation with state , where , described in (2). (The equations (2) contain also a -part, but from an input-output point of view, this -part is irrelevant.) The effect of is cancelled in the estimator, so that has no influence on . The wave equation system with state has input and output and it represents from an input-output view the linear part of the plant and the “-part” of (2), taken together, see Figure 2. This is a well-posed boundary control system (in the sense of [33, Definition 10.1.7]), with a bounded observation operator, so that for large , its transfer function satisfies , see for instance [33, Proposition 4.4.6].
The -part of (2) is in fact the same boundary control system as the one just described, but with the roles of input and output reversed. This would be flow inversion in the sense of , except that the -part is ill-posed. Indeed, its transfer function is , and from our estimate on it follows that is not proper. Overall, the transfer function from to is the constant 1. The difference depends linearly on the deviation between the initial state of the -part of (2) and the initial state of the -part of (2). Since the -part, in the absence of any input (i.e., when ) is exponentially stable, and its observation operator giving is admissible (as we shall see in Lemma 2.3), it follows that . The overall linear system shown in Figure 2 (with input and output ) is well-posed. If is globally Lipschitz, then also the overall nonlinear system (with input and output ) is well-posed (due to Proposition 1.1).
Figure 2. The total disturbance estimator connected to the plant. The -part of the disturbance estimator (2) is the (ill-posed) flow inverse of the wave system (2) (which has input and output ). The system with input and output is linear and its transfer function is .
Then it is easy to verify that the subsystem with state satisfies
where is the total disturbance from (1.1). It will be convenient to change variables once more, by introducing the notation
then from the last part of (2) we see that and hence (using that ) the subsystem with state is governed by
with the initial state , . The following lemma states some stability properties of the system (2).
If we assume further that and , then
If we assume that and , then there exist two constants such that
Then the “-part” of (2) can be written in abstract form as
It is well-known [18, Theorem 2.1] that generates an exponentially stable operator semigroup on and is admissible for . Since is continuous and is bounded, we have . Thus, by or by , it follows from Lemma 2.1 that the “-part” of (2) admits a unique bounded solution, so that there exists a constant such that
We claim that is uniformly bounded for all . To prove this, first we show that for all ,
Then . Computing along the solution of the “-part” of (2), using that , yields
which implies that, for ,
On the other hand, since for any , , we obtain (2.11). Define the function