LQ Optimal Control of First-Order Hyperbolic PDE Systems with Final State Constraints
Abstract
This paper studies the linear-quadratic (LQ) optimal control problem of a class of systems governed by the first-order hyperbolic partial differential equations (PDEs) with final state constraints. The main contribution is to present the solvability condition and the corresponding explicit optimal controller by using the Lagrange multiplier method and the technique of solving forward and backward partial differential equations (FBPDEs). In particular, the result is reduced to the case with zero-valued final state constraints. Several numerical examples are provided to demonstrate the performance of the designed optimal controller.
Index Terms:
First-order hyperbolic partial differential equations, optimal control, final state constraints, linear quadratic.I Introduction
Partial differential equations (PDEs) have extensive applications in the real world, which are classified into different types according to evolution natures, consisting of hyperbolic, parabolic, elliptic, etc. In particular, the first-order hyperbolic PDEs, as one of the most important types of PDEs, are commonly used to characterize various physical phenomena and social behaviors, such as traffic flow [1], fuel cell control [2], cardiovascular flow analysis [3]. Therefore, broad attention has been paid to the first-order hyperbolic PDEs and plenty of progress has been made [4, 5, 6].
Two fundamental problems have been stuided for the systems governed by first-order hyperbolic PDEs, one is the optimal control problem, and the other is the controllability problem. On one hand, for the optimal control problem of first-order hyperbolic PDE system, [7] and [8] studied the linear-quadratic (LQ) problem and designed the optimal internal control and optimal boundary control based on operator Riccati equations, respectively. In [9], the optimal control problem was studied by the Galerkin finite element method, which is a kind of numerical methods, and the corresponding posterior error estimates was obtained. Combining the advantages of the above two methods, [10] provided a computable explicit solution of the LQ optimal control problem. By reinforcement learning technique, an online policy iteration algorithm for optimal control of first-order hyperbolic PDE systems was designed in [11]. On the other hand, the controllability problem aims to explore whether a dynamical system could be driven by controllers toward the desired final state from an arbitrary initial state. In [12] and [13], the exact controllability problems of the first-order hyperbolic PDE systems were studied with the internal control and the boundary control, respectively. The stochastic case was studied in [14, 15] and the corresponding exact controllability results have been obtained. Based on Carleman estimates, the exact controllability of the time dependent hyperbolic systems was studied in [16]. The minimal time for the exact controllability of first-order hyperbolic systems was presented in [17, 18].
It is noticed that either the optimal control problem without final state constraints, or the controllability problem with the given final state conditions was studied in the above literature. For the optimal control problem of PDE systems with final state constraints, [19] studied the parabolic equation, and [20] considered the wave equation. However, to the author’s best knowledge, there has been no substantial progress on the first-order hyperbolic PDEs.
In this paper, the first-order hyperbolic PDE optimal control problem with final state constraints is studied, where the cost function is considered as quadratic form. The Lagrange multiplier method and the technique of solving forward and backward partial differential equations (FBPDEs) are applied to solve this problem. The main contributions of this paper are as follows. 1) The solvability condition for the LQ optimal control problem of first-order hyperbolic PDE systems with final state constraints is presented. 2) The corresponding optimal control is given explicitly in the form of state feedback, where a non-homogeneous relationship is established between the optimal costate and the optimal state. Moreover, the result is reduced to a special case of the zero-valued final state constraints.
The rest of the paper is organized as follows. The problem to be addressed is stated in Section II. The main results in this paper are presented in Section III. Several numerical examples are provided in Section IV. Finally, section V concludes the paper.
Notations. denote -dimensional real Euclidean space, and denote the partial derivatives of the variables and , respectively. For a subset of , the following function spaces are useful in the sequel of the paper:
where
II Problem Statement
Consider the following linear system governed by first-order hyperbolic PDE:
(1) |
for , where is state, is input control, are constants, and . The initial data and the boundary data are given with for the compatibility at the point (i.e., the intersection of the domains of definition). For any continuously differentiable , system (1) admits a unique solution, which follows from the PDE well-posedness theory in [21, 22].
The quadratic cost function is considered as
(2) |
where constants , , and with is a given nonnegative-valued function.
To present the final state constraints on system (1) reasonably well, we introduce the following Riccati equation
(3) |
for , with . Provided that (3) has a solution , we define the following functions:
(4) |
for , and
(5) |
for .
The addressed LQ optimal control problem with final state constraints is stated as follows.
Problem 1
Remark 1
The restriction is to ensure that the system can be driven toward the given final state.
III Main Results
To tackle this type of constrained optimal control problem, the first step is to convert it into a problem without final state constraints by using the Lagrange multiplier method. Specifically, by introducing an augmented functional
(9) |
for where can be an arbitrary constant-valued function, then Problem 1 can be restated as below:
Given that Problem 1 has been converted into Problem 2, we first present the solvability result of Problem 2 as follows.
Lemma 1
Proof. By defining derived by arbitrary controller with the associated state satisfying (1), and defining derived by (II) with the controller and the state satisfying FBPDEs (10)-(14), now we show that
(15) |
In view of cost function (II), it follows that
(16) |
where the last inequality is due to the fact that the values of , , and are nonnegative. By substituting (11), (13) and (14) into (III), and using integration by parts, we derive that
(17) |
Combining with (1), (10), (12), and (13), it is obtained from (III) that
Thus, (15) holds. This implies that the controller (14) is optimal, and thus Problem 2 is solvable. The proof is now completed.
Observed that the solvability of Problem 2 with the arbitrary given has been provided in Lemma 1. To obtain the solvability of Problem 1, in what follows, we define the function
(18) |
for , and further introduce the equation
(19) |
for . Then, the main results of Problem 1 are presented as follows.
Theorem 1
If (3) has a solution , (19) has a solution with the final data defined by (18), then Problem 1 is solvable. With this conditions holding, the optimal control is given by
(20) |
where the optimal state satisfies
(21) |
for . The corresponding optimal cost is
(22) |
Moreover, the optimal costate and state have the relationship
(23) |
Proof. See Appendix A for more details of the proof.
Remark 3
Remark 4
The solvability of equations (3) and (19) have been well studied in [22]. For example, one of the sufficient conditions to ensure solvability can be found in Theorem 2.5 in [22]. That is, if the final data and of (3) and (19) are suitably small by choosing , , and in cost function (II), then (3) and (19) admit unique solutions and , respectively, for , .
In Theorem 1, the optimal control result under the final state data has been provided. Now we reduce the result into the case of zero-valued final state constraints to show the wider application of Theorem 1. Specifically, for a class of commonly applied boundary conditions (eg. [23]), system (1) is rewritten as
(24) |
Then the corresponding result to system (24) and the explicit optimal controller are provided in the following corollary.
Corollary 1
If (3) and (19) with have solutions and , then the controller is given by
(25) |
where the optimal state satisfies
(26) |
for . In this case, controller (25) is optimal to minimize (II), subject to system (24), and enables that system (24) satisfies the final conditions . Furthermore, the corresponding optimal cost is equal to
(27) |
IV Numerical Examples




In this section, several numerical examples are simulated to verify Theorem 1, where the simulations are performed on the time interval and the spatial interval through the finite difference method with the step size and
Firstly, system (1) and cost function (II) are considered with the following parameters
The initial data and boundary data are given by
(29) |
for . The final conditions are considered as
(30) |
By solving Riccati equation (26) and calculating (8), we obtain that in Problem 1.Then, we design the optimal controller by (20) and simulate the corresponding state trajectory by (1). As shown in Fig. 2, it can be observed that the state trajectory under the designed controller reaches the given final conditions (30) at the final time For comparison, the corresponding state trajectory without controller is depicted in Fig. 2.
To illustrate the powerful applicability of the result in this paper for various types of data, we present another numerical example by reselecting the initial data and boundary data as
(31) |
and the final condition as the following piecewise function
(32) |
where can be obtained by (3) and (8). Then, by designing the optimal controller according to (20), the state trajectories with and without the designed controller are shown in Fig. 4 and Fig. 4, respectively. It can be seen that the final state satisfies (32) under the designed controller as shown in Fig. 4.
V Conclusion
In this paper, the constrained LQ optimal control problem of first-order hyperbolic PDE systems has been studied. The optimal controllers and the corresponding optimal cost of this problem have been explicitly given. The result has been reduced to the case of zero-valued final state constraints. Finally, several numerical examples have been simulated to verify the main results.
Appendix A Proof of Theorem 1
The proof is divided into three steps: (i) Show that (20), (21), and (23) are optimal control, optimal state, and optimal costate, respectively; (ii) Verify the optimal state (21) satisfies final state constraints ; (iii) Calculate the corresponding optimal cost. The details are as follows.
(i) According to Lemma 1, we only need to show that () given by (20), (21), and (23) are the solutions of FBPDEs (10)-(14), in which and satisfy equation (3) and (19) with the definition (18).
Firstly, in view of (20) and (23), it is obviously that defined by (20) satisfies (14). Secondly, by the definition (4) and substituting (20) into (21), we have
(A.33) |
which gives that defined by (21) satisfies (10) and (12). Thirdly, by taking partial derivatives with respect to (23), it is obtained that
(A.34) |
which can be calculated by (A.33), (3), and (19) that
(A.35) |
This implies that defined by (23) satisfies (11). Moreover, the final conditions and boundary conditions in (3) and (19) yield that satisfies (13). Therefore, we have shown that () satisfies FBPDEs (10)-(14).
(ii) The second step is to verify .
By using the invertible transformation for , equation (21) of can be reformulated as
(A.36) |
with . By the method of characteristics in [4], the solution of (A) is written explicitly as
(A.37) |
for .
Noting that in (A) is not the final desired result, so we need to further simplify (A). Specifically, according to (4), the equation (19) of is equivalent to
(A.38) |
which can be reformulated as
(A.39) |
by the transformation . Similar to (A), the solution of (A.39) is also obtained by the method of characteristics explicitly as
(A.40) |
for . In view of and by substituting with (A.40) into (A), we obtain that can be further expressed as
(A.41) |
for .
When , it is observed from (A) that is equal to
(A.43) |
for all This implies that by the definition (18) of .
(iii) The third step is to calculate the corresponding optimal cost.
Define the Lyapunov function
(A.44) |
On one hand, it is obtained from (A.44) that
(A.45) |
where the last equality holds because of the final conditions in (3)-(19) and initial conditions in (A.33). On the other hand, by using (A.33), (3), (19), and (20), we have
(A.46) |
which is further calculated according to integration by parts and the boundary conditions in (A.33), (3), and (19) as
(A.47) |
Combining (A) and (A), it derives that
(A.48) |
References
- [1] I. Karafyllis, N. Bekiaris-Liberis, and M. Papageorgiou, “Feedback control of nonlinear hyperbolic PDE systems inspired by traffic flow models,” IEEE Transactions on Automatic Control, vol. 64, no. 9, pp. 3647–3662, 2018.
- [2] B. A. McCain, A. G. Stefanopoulou, and I. V. Kolmanovsky, “A dynamic semi-analytic channel-to-channel model of two-phase water distribution for a unit fuel cell,” IEEE Transactions on Control Systems Technology, vol. 17, no. 5, pp. 1055–1068, 2009.
- [3] N. Bekiaris-Liberis, “On 1-D PDE-based cardiovascular flow bottleneck modeling and analysis: A vehicular traffic flow-inspired approach,” IEEE Transactions on Automatic Control, 2022.
- [4] J.-M. Coron, L. Hu, G. Olive, and P. Shang, “Boundary stabilization in finite time of one-dimensional linear hyperbolic balance laws with coefficients depending on time and space,” Journal of Differential Equations, vol. 271, pp. 1109–1170, 2021.
- [5] F. Di Meglio, R. Vazquez, and M. Krstic, “Stabilization of a system of coupled first-order hyperbolic linear PDEs with a single boundary input,” IEEE Transactions on Automatic Control, vol. 58, no. 12, pp. 3097–3111, 2013.
- [6] A. Subbotin, Generalized Solutions of First Order PDEs: The Dynamical Optimization Perspective, ser. Systems & Control: Foundations & Applications. Birkhäuser Boston, 2013.
- [7] I. Aksikas, A. Fuxman, J. F. Forbes, and J. J. Winkin, “LQ control design of a class of hyperbolic PDE systems: Application to fixed-bed reactor,” Automatica, vol. 45, no. 6, pp. 1542–1548, 2009.
- [8] A. A. Moghadam, I. Aksikas, S. Dubljevic, and J. F. Forbes, “Boundary optimal (LQ) control of coupled hyperbolic PDEs and ODEs,” Automatica, vol. 49, no. 2, pp. 526–533, 2013.
- [9] C. Xiong and Y. Li, “A posteriori error estimators for optimal distributed control governed by the first-order linear hyperbolic equation: DG method,” Numerical Methods for Partial Differential Equations, vol. 27, no. 3, pp. 491–506, 2011.
- [10] X. Xue, J. Xu, and H. Zhang, “Linear quadratic optimal control for systems governed by first-order hyperbolic partial differential equations,” Journal of Systems Science and Complexity, vol. 37, no. 1, pp. 1–23, 2024.
- [11] B. Luo and H.-N. Wu, “Online policy iteration algorithm for optimal control of linear hyperbolic PDE systems,” Journal of Process Control, vol. 22, no. 7, pp. 1161–1170, 2012.
- [12] F. Alabau-Boussouira, J.-M. Coron, and G. Olive, “Internal controllability of first order quasi-linear hyperbolic systems with a reduced number of controls,” SIAM Journal on Control and Optimization, vol. 55, no. 1, pp. 300–323, 2017.
- [13] T.-T. Li and B.-P. Rao, “Exact boundary controllability for quasi-linear hyperbolic systems,” SIAM Journal on Control and Optimization, vol. 41, no. 6, pp. 1748–1755, 2003.
- [14] Q. Lü, “Exact controllability for stochastic transport equations,” SIAM Journal on Control and Optimization, vol. 52, no. 1, pp. 397–419, 2014.
- [15] Q. Lü and X. Zhang, Mathematical control theory for stochastic partial differential equations. Springer, 2021.
- [16] M. V. Klibanov and M. Yamamoto, “Exact controllability for the time dependent transport equation,” SIAM Journal on Control and Optimization, vol. 46, no. 6, pp. 2071–2195, 2007.
- [17] L. Hu and G. Olive, “Minimal time for the exact controllability of one-dimensional first-order linear hyperbolic systems by one-sided boundary controls,” Journal de Mathématiques Pures et Appliquées, vol. 148, pp. 24–74, 2021.
- [18] L. Hu and G. Olive, “Null controllability and finite-time stabilization in minimal time of one-dimensional first-order 2 2 linear hyperbolic systems,” ESAIM: Control, Optimisation and Calculus of Variations, vol. 27, p. 96, 2021.
- [19] L. S. Hou, O. Imanuvilov, and H.-D. Kwon, “Eigen series solutions to terminal-state tracking optimal control problems and exact controllability problems constrained by linear parabolic PDEs,” Journal of Mathematical Analysis and Applications, vol. 313, no. 1, pp. 284–310, 2006.
- [20] M. Gugat, “Penalty techniques for state constrained optimal control problems with the wave equation,” SIAM Journal on Control and Optimization, vol. 48, no. 5, pp. 3026–3051, 2010.
- [21] L. C. Evans, Partial differential equations. American Mathematical Society, 2022, vol. 19.
- [22] D. Li, Controllability and observability for quasilinear hyperbolic systems. American Institute of Mathematical Sciences Springfield, MO, 2010.
- [23] L. Tatsien and R. Bopeng, “Exact controllability for first order quasilinear hyperbolic systems with vertical characteristics,” Acta Mathematica Scientia, vol. 29, no. 4, pp. 980–990, 2009.