Finite-Time Bounded Control for Coupled Parabolic PDE-ODE Systems Subject to Boundary Disturbances

Li, Manna; Mao, Weijie

doi:https://doi.org/10.1155/2020/8882382

Mathematical Problems in Engineering

On this page

Abstract Introduction Preliminaries Data Availability Conflicts of Interest Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2020 | Article ID 8882382 | https://doi.org/10.1155/2020/8882382

Finite-Time Bounded Control for Coupled Parabolic PDE-ODE Systems Subject to Boundary Disturbances

Manna Li¹and Weijie Mao¹

Academic Editor: Andrzej Swierniak

Received26 Aug 2020

Revised22 Oct 2020

Accepted24 Nov 2020

Published08 Dec 2020

Abstract

In this paper, the finite-time bounded control problem for coupled parabolic PDE-ODE systems subject to time-varying boundary disturbances and to time-invariant boundary disturbances is considered. First, the concept of finite-time boundedness is extended to coupled parabolic PDE-ODE systems. A Neumann boundary feedback controller is then designed in terms of the state variables. By applying the Lyapunov-like functional method, sufficient conditions which ensure the finite-time boundedness of closed-loop systems in the presence of time-varying boundary disturbances and time-invariant boundary disturbances are provided, respectively. Finally, the issues regarding the finite-time boundedness of coupled parabolic PDE-ODE systems are converted into the feasibility of linear matrix inequalities (LMIs), and the effectiveness of the proposed results is validated with two numerical simulations.

1. Introduction

Problems concerning coupled systems have been interesting areas for long, exist in many control applications such as thermoelastic coupling, electromagnetic coupling, mechanical coupling, and coupled chemical reactions, and researchers have worked out fruitful results in these areas [1, 2]. The backstepping technique, which is originally used for PDEs (partial differential equations) by Krstic and Smyshlyaev [3], has been applied to design the boundary feedback control law for first-order hyperbolic PDE-ODE (ordinary differential equation) couple systems [4]. For the boundary control problems of PDE-ODE cascades, where the PDEs are either of parabolic type or of hyperbolic type with Dirichlet interconnections, they have been extended to interconnections of Neumann type in [5]. Furthermore, the exponential stabilization of cascaded reaction-diffusion PDE-ODE systems with Neumann interconnections has been considered in [6], and the stabilization of a cascaded heat-ODE system coupling at an intermediate point, which is motivated by the thermoelastic coupling physics, has also been investigated [7]. While in practical engineering systems, external uncertain disturbances are often encountered problems which reduce the system quality. Much attention has been dedicated in the past years for the control of coupled PDE-ODE systems under the influence of external disturbances. For instance, the stabilization of the cascaded ODE-Schrodinger systems with boundary control matched disturbances has been studied in [8]. In addition, the sliding mode control (SMC) is integrated with the backstepping method to deal with the boundary feedback stabilization of a cascaded heat PDE-ODE system with the external boundary disturbance by Dirichlet/Neumann actuation [9]. However, all these achievements mentioned above mainly consider the case within an infinite time interval, and the finite-time control problem of coupled parabolic PDE-ODE systems with disturbances at the boundary control end is an inspiring area that is still wide open.

The concept of finite-time control can be dated back to the 1950’s and appeared in the control literature in the West during the 1960’s [10–12]. Given a bounded initial condition, a system is said to be finite-time stable if its state does not move beyond a certain domain over a specified time interval [13–17]. Most of the existing studies on finite-time stability mainly focused on different ordinary differential equation (ODE)-based systems, such as linear continuous systems [18, 19], nonlinear systems [20–23], discrete-time systems [24, 25], and time-varying systems [26]. It should be noted that few results related to the finite-time stability of PDE-based systems have been achieved. In [27], the definition of finite-time stability has been extended to distributed parameter systems, and sufficient conditions in terms of LMIs are given to achieve finite-time stability by state-feedback controllers. Moreover, the finite-time stabilization problem of distributed parameter systems with control acting on a Dirichlet condition (DC) boundary is discussed in [28]. With consideration of exogenous disturbances, the definition of finite-time boundedness of linear systems has been introduced by Amato et al. [29]. A system is said to be finite-time bounded if, given a bound on the initial condition and the set of disturbance inputs, its state does not exceed the prescribed limit for all admissible inputs in the set. For example, the finite-time stability and boundedness of linear time-varying systems have been considered based on the existence of Lyapunov-like functionals whose properties differ significantly from those of classical Lyapunov functions [30]. Subsequently, finite-time boundedness and stabilization of a class of networked control systems (NCSs) and switched linear systems with consideration of time delay and time-varying exogenous disturbances have been investigated in [31, 32], respectively. Motivated by the above discussions, the finite-time boundedness of coupled parabolic PDE-ODE systems subject to boundary disturbances has not been reported in the literature yet, thereby inspiring the main purpose of this research.

In this study, we consider the finite-time bounded control problem for coupled parabolic PDE-ODE systems subject to time-varying boundary disturbances and to time-invariant boundary disturbances. Our main contribution is to design a Neumann boundary feedback control law, and sufficient conditions are provided such that the closed-loop systems in the presence of time-varying boundary disturbances and time-invariant boundary disturbances are finite-time bounded, respectively. First, the concept of finite-time boundedness is extended to coupled parabolic PDE-ODE systems. The Neumann boundary feedback controller is then derived in terms of matrix inequalities, which guarantee the finite-time boundedness of the considered systems. Finally, the proposed conditions are converted into the feasibility of linear matrix inequalities (LMIs), and the availability of this method is verified through numerical simulations.

The remainder of this paper is presented as follows. Section 2 states the problem formulations and some preliminaries. Section 3 is devoted to the design of the Neumann boundary feedback controller, and sufficient conditions for the finite-time boundedness of closed-loop parabolic PDE-ODE cascades are provided. Section 4 gives two numerical examples to illustrate the effectiveness of our results. Some concluding remarks are presented in Section 5.

Notation. Let denote the n-dimensional real space, denote the set of nonnegative numbers, and denote the set of real matrices. In addition, stands for the Hilbert space of square integrable functions defined over , and denotes the Sobolev space of absolutely continuous functions with square integrable first-order derivatives defined over . denotes the symmetric matrix is positive definite (negative definite). represents the maximal (minimal) eigenvalue of a matrix . means an identity matrix. The symbol is the symmetry term in a symmetric matrix.

2. Problem Statement and Preliminaries

In this study, we consider the coupled PDE-ODE systems with Neumann interconnection, which is of the vector form:where is the state vector of the ODE subsystem and is the state vector of the PDE subsystem. is the control input to the entire system. and satisfy that the system pair is controllable. is the diagonal matrix for all , and is a real-valued square matrix. is the external disturbance at the control end, which is supposed to be bounded. is the first-order partial derivative with respect to , and is the second-order partial derivative with respect to . The initial values and . The whole system is depicted in Figure 1.

Remark 1. The coupled PDE-ODE system (1) is composed of a parabolic PDE and a linear ODE, which has rich physical applications and is used to describe a widespread family of problems in science such as thermoelastic coupling. Thermoelastic coupling is an interesting phenomenon which has been extensively applied in the community of micromechanics and microengineering [2, 7]. For instance, a simplified thermoelastic system can be modeled by a cascade of a heat PDE and a linear ODE, where the state of PDE subsystem represents the temperature of a rod and the state of ODE subsystem describes the displacement of a mechanical oscillator which can be manipulated by a thermostress related to the temperature of the rod [7].
The Neumann boundary feedback controller in this study is designed as follows:where and are two controller gain matrices to be determined.
The aim of this study is to design the Neumann boundary feedback controller, and sufficient conditions for the finite-time boundedness of the closed-loop parabolic PDE-ODE couples with time-varying boundary disturbances and time-invariant boundary disturbances are given in terms of matrix inequalities. To obtain the solutions of the controller gains and in equation (2), these sufficient conditions are converted into the feasibility problem of linear matrix inequalities (LMIs).
Let , and denotes the Hilbert space of power integrable scalar functions defined over with the norm:It should be pointed out that the definition of the norm of a scalar function can be extended to the vector function , which has been extensively applied throughout this study.
For , and a positive definite diagonal matrix , the -norm of a vector function is defined as

Definition 1. Given positive constants , , and , a positive definite diagonal matrix , and a class of signals , if there exists a boundary feedback controller , the closed-loop system (1) is said to be finite-time bounded with respect to , iffor all .

Remark 2. Note that the concept of finite-time boundedness is induced from finite-time stability in the presence of exogenous disturbance inputs [30], which is quite different from the idea of Lyapunov asymptotic stability [33].

Lemma 1 (see [34]). For a vector function , if or , for a symmetric positive definite matrix , the integral inequality holds:

3. Main Results

3.1. Finite-Time Boundedness of the Coupled Parabolic PDE-0DE Systems Subject to Time-Varying Boundary Disturbances

Theorem 1. Consider the following class of signals:where is the set of square integrable vector valued functions in and is a positive scalar. Then, under the boundary feedback controller , system (1) is finite-time-bounded with respect to , if, letting , there exists a positive definite symmetric matrix , and the controller gain matrices are and and positive scalars , , and such thatwhere

Proof. We choose a Lyapunov functional aswhereThe time derivative of along the trajectory of system (1) is given asBased on (1) and (2), we obtain thatThen, expression (14) can be written asSubsequently, the time derivative of along the trajectory of system (1) is presented asApplying the integration by parts, and the fact that , expression (17) can be written asLet , it can be easily obtained thatThen, we haveAssuming that , and from Lemma 1, equation (20) can be represented asThen,Combining (16) and (22), we havewhereIn view of conditions (8) and (9), we found thatMultiplying both the left side and right side of inequality (25) by a strictly positive function , we obtainIntegrating both sides of the inequality (26) from 0 to , it givesThen, inequality (27) is represented asMaking , we haveIt is known thatFrom condition (10), we get the conclusionThe proof is completed.

Corollary 1. The finite-time boundedness problem from Theorem 1 is solvable if there exists a positive definite symmetric matrix , the matrices and , and positive scalars , , and . By fixing a nonnegative scalar , the following LMIs hold:where

Proof. Let , pre- and postmultiply (8) by . Set and . Condition (32) is equivalent to condition (8) holding by Schur implement. In addition, condition (33) can be transformed to (9) with .
Making , and by imposing the conditionwhere is a positive scalar, we havewhich is equivalent to (34) and (35) hold.
In this case, the matrix , and the boundary feedback controller gains are and .
The proof is completed.

3.2. Finite-Time Boundedness of the Coupled Parabolic PDE-ODE Systems Subject to Time-Invariant Boundary Disturbances

In this section, we consider the special case relative to the previous criterion, namely, the finite-time bounded control of the coupled parabolic PDE-ODE systems subject to time-invariant boundary disturbances. The essential difference between the previous criterion and the present one is that the conservatism of the derived criterion can be reduced in the presence of unknown time-invariant boundary disturbances other than time-varying boundary disturbances.

Theorem 2. Consider the following class of signalsThen, under the boundary feedback controller , system (1) is finite-time-bounded with respect to , if, letting , there exist two positive definite symmetric matrices and , the controller gain matrices and , and a positive scalar such thatwhere

Proof. We choose the Lyapunov functional aswhereThe time derivative of , , and along the trajectory of system (1) is given as follows:Based on (1) and (2), we obtain thatExpression (47) can be represented asThen,Note that , and by using integration by parts, expression (50) can be written asLet , and from equation (19), we found thatAssuming that , the following inequality is obtained by Lemma 1:Combining (49) and (53), and the fact that , we obtainwhereIn view of (41) and (42), we getMultiplying both the left side and right side of inequality (56) by and integrating (56) we haveMaking , we obtainIt is known thatFrom condition (43), we get the conclusionThe proof is completed.

Corollary 2. The finite-time boundedness problem from Theorem 2 is solvable if there exists a positive definite symmetric matrix , the matrices and , and positive scalars and . By fixing a nonnegative scalar , the following LMIs satisfy:where

Proof. Let , pre and postmultiply (41) by S. Set and . Condition (61) is equivalent to that (41) holds. Condition (62) can be transformed to (42) with .
Making and by imposing the conditionswhere and are positive scalars, we havewhich is equivalent to (63) and (64) hold, and condition (43) is equivalent toIn this case, the matrix , and the boundary feedback controller gains are and .
The proof is completed.

4. Results of Simulation

The relevant parameters of the coupled parabolic PDE-ODE system (1) are listed below:where

The initial values satisfyand the boundary control conditions are

Example 1. Finite-time boundedness of the coupled parabolic PDE-ODE systems with time-varying boundary disturbances.
For given , , , , , and . Fixing , we get feasible solutions from the corresponding linear matrix inequalities in Corollary 1.
We obtain that , , and , and the corresponding matrices areThe designed Neumann boundary feedback controller is given asAs a result, system (1) in the presence of time-varying boundary disturbance is finite-time-bounded with respect to , , , , and for the existence of the Neumann boundary feedback controller (76). To illustrate the availability of the designed boundary controller, the open-loop responses of and with time-varying boundary disturbance are shown in Figure 2, and the trajectories of and along with the Neumann boundary feedback controller (76) are then shown in Figure 3.

(a)

(b)

(c)

(d)

(a)

(b)

(c)

(d)

Example 2. Finite-time boundedness of the coupled parabolic PDE-ODE systems with time-invariant boundary disturbances.
In order to illustrate that the proposed method in Theorem 2 is less conservative than Theorem 1, the values , , , and are selected as the same as in Example 1. Fixing , we get feasible solutions from the corresponding linear matrix inequalities in Corollary 2.
We found that and , and the corresponding matricesThe designed Neumann boundary feedback controller is given byTherefore, system (1) in the presence of time-invariant boundary disturbance is finite-time-bounded with respect to (, , , , and under the Neumann boundary feedback controller (78). The trajectories of and along with the Neumann boundary feedback controller (78) are then shown in Figure 4.
The simulation results of the two examples show that the smaller controller gains and are obtained in Example 2 to ensure the finite-time boundedness of system (1), which imply that Theorem 2 can get a less conservative result than Theorem 1 in the presence of time-invariant boundary disturbances.

(a)

(b)

(c)

(d)

5. Summary

The finite-time-bounded control problem for coupled parabolic PDE-ODE systems with external disturbances at the Neumann boundary control end is discussed in this paper. First, a Neumann boundary feedback controller is designed, and by using Lyapunov-like function method and scaling technique of inequalities, we then show how to obtain sufficient conditions for finite-time boundedness of the closed-loop parabolic PDE-ODE couples with time-varying boundary disturbances and time-invariant boundary disturbances, respectively. The proposed design conditions are turned to feasibility problems of linear matrix inequalities (LMIs) and we end up with some numerical simulations validating the results.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (NSFC) under Grant nos. 61633019 and 61473252.

References

I. Lasiecka, Mathematical Control Theory of Coupled PDEs, SIAM, Philadelphia, PA, USA, 2002.
R. Lifshitz and M. L. Roukes, “Thermoelastic damping in micro-and nanomechanical systems,” Physical Review B, vol. 61, no. 8, pp. 5600–5609, 2000.
View at: Publisher Site | Google Scholar
M. Krstic and A. Smyshlyaev, Boundary Control of PDEs: A Course on Backstepping Designs, SIAM, San Diego, CA, USA, 2008.
M. Krstic and A. Smyshlyaev, “Backstepping boundary control for first-order hyperbolic PDEs and application to systems with actuator and sensor delays,” Systems & Control Letters, vol. 57, no. 9, pp. 750–758, 2008.
View at: Publisher Site | Google Scholar
G. A. Susto and M. Krstic, “Control of PDE-ODE cascades with Neumann interconnections,” Journal of the Franklin Institute, vol. 347, no. 1, pp. 284–314, 2010.
View at: Publisher Site | Google Scholar
M. Krstic, “Control of an unstable reaction-diffusion PDE with long input delay,” Systems and Control Letters, vol. 58, no. 10-11, pp. 773–782, 2009.
View at: Publisher Site | Google Scholar
Z. Zhou and C. Xu, “Stabilization of a second order ODE-heat system coupling at intermediate point,” Automatica, vol. 60, pp. 57–64, 2015.
View at: Publisher Site | Google Scholar
Y. P. Guo and J. J. Liu, “Stabilization of ODE-Schrodinger cascaded systems subject to boundary control matched disturbance,” Electronic Journal of Differential Equations, vol. 248, pp. 1–22, 2015.
View at: Google Scholar
J.-M. Wang, J.-J. Liu, B. Ren, and J. Chen, “Sliding mode control to stabilization of cascaded heat PDE-ODE systems subject to boundary control matched disturbance,” Automatica, vol. 52, pp. 23–34, 2015.
View at: Publisher Site | Google Scholar
P. Dorato, “Short-time stability in linear time-varying systems,” Proceedings of the IRE International Convention Record Part, vol. 4, pp. 83–87, 1961.
View at: Google Scholar
L. Weiss and E. F. Infante, “On the stability of systems defined over a finite time interval,” Proceeding of the National Academy of Sciences of the United States of America, vol. 54, no. 1, pp. 44–48, 1965.
View at: Publisher Site | Google Scholar
F. S. Filippo and P. Dorato, “Short-time parameter optimization with flight control applications,” Automatica, vol. 10, no. 5, pp. 425–430, 1974.
View at: Publisher Site | Google Scholar
F. Amato, M. Ariola, and C. Cosentino, “Finite-time stability of linear time-varying systems: analysis and controller design,” IEEE Transactions on Automatic Control, vol. 55, no. 4, pp. 1003–1008, 2010.
View at: Publisher Site | Google Scholar
F. Amato and M. Ariola, “Finite-time control of discrete-time linear systems,” IEEE Transactions on Automatic Control, vol. 50, no. 5, pp. 724–729, 2005.
View at: Publisher Site | Google Scholar
Y. Guo, Y. Yao, S. Wang, K. Ma, K. Liu, and J. Guo, “Input-output finite-time stabilization of linear systems with finite-time boundedness,” ISA Transactions, vol. 53, no. 4, pp. 977–982, 2014.
View at: Publisher Site | Google Scholar
F. Amato, M. Ariola, and F. Ambrosino, “Finite-time stability of linear systems: an approach based on polyhedral Lyapunov functions,” IET Control Theory & Applications, vol. 4, no. 9, pp. 1767–1774, 2010.
View at: Publisher Site | Google Scholar
W. P. Xue and W. J. Mao, “Admissible finite-time stability and stabilization of uncertain discrete singular systems,” Journal of Dynamic Systems, Measurement, and Control, vol. 135, no. 3, pp. 0310181–0310186, 2013.
View at: Publisher Site | Google Scholar
S. P. Bhat and D. S. Bernstein, “Finite-time stability of continuous autonomous systems,” SIAM Journal on Control and Optimization, vol. 38, no. 3, pp. 751–766, 2000.
View at: Publisher Site | Google Scholar
E. Moulay and W. Perruquetti, “Finite time stability and stabilization of a class of continuous systems,” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1430–1443, 2006.
View at: Publisher Site | Google Scholar
W. Chen and L. C. Jiao, “Finite-time stability theorem of stochastic nonlinear systems,” Automatica, vol. 46, no. 12, pp. 2105–2108, 2010.
View at: Publisher Site | Google Scholar
E. P. Ryan, “Finite-time stabilization of uncertain nonlinear planar systems,” Dynamics and Control, vol. 1, no. 1, pp. 83–94, 1991.
View at: Publisher Site | Google Scholar
X. Li, D. W. C. Ho, and J. Cao, “Finite-time stability and settling-time estimation of nonlinear impulsive systems,” Automatica, vol. 99, pp. 361–368, 2019.
View at: Publisher Site | Google Scholar
X. Yang, X. Li, and J. Cao, “Robust finite-time stability of singular nonlinear systems with interval time-varying delay,” Journal of the Franklin Institute, vol. 355, no. 3, pp. 1241–1258, 2018.
View at: Publisher Site | Google Scholar
G. Bartolini, A. Ferrara, and V. I. Utkin, “Adaptive sliding mode control in discrete-time systems,” Automatica, vol. 31, no. 5, pp. 769–773, 1995.
View at: Publisher Site | Google Scholar
M. R. James, J. S. Baras, and R. J. Elliott, “Risk-sensitive control and dynamic games for partially observed discrete-time nonlinear systems,” IEEE Transactions on Automatic Control, vol. 39, no. 4, pp. 780–792, 1994.
View at: Publisher Site | Google Scholar
J.-M. Coron, “On the stabilization in finite time of locally controllable systems by means of continuous time-varying feedback law,” SIAM Journal on Control and Optimization, vol. 33, no. 3, pp. 804–833, 1995.
View at: Publisher Site | Google Scholar
X. Li and W. Mao, “Finite-time stability and stabilisation of distributed parameter systems,” IET Control Theory & Applications, vol. 11, no. 5, pp. 640–646, 2017.
View at: Publisher Site | Google Scholar
M. Li and W. Mao, “DC-boundary finite-time stabilisation for distributed parameter systems,” IET Control Theory & Applications, vol. 14, no. 15, pp. 2186–2196, 2020.
View at: Publisher Site | Google Scholar
F. Amato, M. Ariola, and P. Dorato, “Finite-time control of linear systems subject to parametric uncertainties and disturbances,” Automatica, vol. 37, no. 9, pp. 1459–1463, 2001.
View at: Publisher Site | Google Scholar
F. Amato, M. Ariola, and C. Cosentino, “Finite-time control of linear time-varying systems via output feedback,” in Proceedings of the 2005 American Control Conference, pp. 4722–4726, Portland, OR, USA, June 2005.
View at: Publisher Site | Google Scholar
Y. G. Sun and J. Xu, “Finite-time boundedness and stabilization of networked control systems with time delay,” Mathematical Problems in Engineering, vol. 2012, Article ID 705828, 2012.
View at: Publisher Site | Google Scholar
H. B. Du, X. Z. Lin, and S. H. Li, “Finite-time boundedness and stabilization of switched linear systems,” Kybernetika, vol. 46, no. 5, pp. 870–889, 2010.
View at: Google Scholar
J. LaSalle and S. Lefschetz, Stability by Liapunov’s Direct Method with Applications, Academic Press, New York, NY, USA, 1961.
G. H. Hardy, J. E. Littlewood, and G. Polya, Inequalities, Cambridge University Press, Cambridge, UK, 2nd edition, 1952.

Copyright

Copyright © 2020 Manna Li and Weijie Mao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

347

Downloads

601

Citations