Algebraic Riccati equation
An algebraic Riccati equation is a type of nonlinear equation that arises in the context of infinite-horizon optimal control problems in continuous time or discrete time. A typical algebraic Riccati equation is similar to one of the following:
the continuous time algebraic Riccati equation (CARE):
- [math]\displaystyle{ A^T P + P A - P B R^{-1} B^T P + Q = 0 \, }[/math]
or the discrete time algebraic Riccati equation (DARE):
- [math]\displaystyle{ P = A^T P A -(A^T P B)(R + B^T P B)^{-1}(B^T P A) + Q.\, }[/math]
P is the unknown n by n symmetric matrix and A, B, Q, R are known real coefficient matrices, with Q and R symmetric.
Though generally this equation can have many solutions, it is usually specified that we want to obtain the unique stabilizing solution, if such a solution exists.
Origin of the name
The name Riccati is given to these equations because of their relation to the Riccati differential equation. Indeed, the CARE is verified by the time invariant solutions of the associated matrix valued Riccati differential equation. As for the DARE, it is verified by the time invariant solutions of the matrix valued Riccati difference equation (which is the analogue of the Riccati differential equation in the context of discrete time LQR).
Context of the discrete-time algebraic Riccati equation
In infinite-horizon optimal control problems, one cares about the value of some variable of interest arbitrarily far into the future, and one must optimally choose a value of a controlled variable right now, knowing that one will also behave optimally at all times in the future. The optimal current values of the problem's control variables at any time can be found using the solution of the Riccati equation and the current observations on evolving state variables. With multiple state variables and multiple control variables, the Riccati equation will be a matrix equation.
The algebraic Riccati equation determines the solution of the infinite-horizon time-invariant Linear-Quadratic Regulator problem (LQR) as well as that of the infinite horizon time-invariant Linear-Quadratic-Gaussian control problem (LQG). These are two of the most fundamental problems in control theory.
A typical specification of the discrete-time linear quadratic control problem is to minimize
- [math]\displaystyle{ \sum_{t=1}^T (x_t^T Q x_t + u_t^T Ru_t) }[/math]
subject to the state equation
- [math]\displaystyle{ x_t = Ax_{t-1} + Bu_{t-1}, }[/math]
where x is an n × 1 vector of state variables, u is a k × 1 vector of control variables, A is the n × n state transition matrix, B is the n × k matrix of control multipliers, Q (n × n) is a symmetric positive semi-definite state cost matrix, and R (k × k) is a symmetric positive definite control cost matrix.
Induction backwards in time can be used to obtain the optimal control solution at each time,[1]
- [math]\displaystyle{ u_t^*=-(B^TP_{t+1}B+R)^{-1}(B^TP_{t+1}A)x_{t}, }[/math]
with the symmetric positive definite cost-to-go matrix P evolving backwards in time from [math]\displaystyle{ P_T = Q }[/math] according to
- [math]\displaystyle{ P_{t-1} = Q+A^TP_tA - A^TP_tB(B^TP_tB+R)^{-1}B^TP_tA, \, }[/math]
which is known as the discrete-time dynamic Riccati equation of this problem. The steady-state characterization of P, relevant for the infinite-horizon problem in which T goes to infinity, can be found by iterating the dynamic equation repeatedly until it converges; then P is characterized by removing the time subscripts from the dynamic equation.
Solution
Usually solvers try to find the unique stabilizing solution, if such a solution exists. A solution is stabilizing if using it for controlling the associated LQR system makes the closed loop system stable.
For the CARE, the control is
- [math]\displaystyle{ K = R^{-1} B^T P }[/math]
and the closed loop state transfer matrix is
- [math]\displaystyle{ A - BK = A - B R^{-1} B^T P }[/math]
which is stable if and only if all of its eigenvalues have strictly negative real part.
For the DARE, the control is
- [math]\displaystyle{ K = (R + B^T P B)^{-1} B^T P A }[/math]
and the closed loop state transfer matrix is
- [math]\displaystyle{ A - BK = A - B (R + B^T P B)^{-1} B^T P A }[/math]
which is stable if and only if all of its eigenvalues are strictly inside the unit circle of the complex plane.
A solution to the algebraic Riccati equation can be obtained by matrix factorizations or by iterating on the Riccati equation. One type of iteration can be obtained in the discrete time case by using the dynamic Riccati equation that arises in the finite-horizon problem: in the latter type of problem each iteration of the value of the matrix is relevant for optimal choice at each period that is a finite distance in time from a final time period, and if it is iterated infinitely far back in time it converges to the specific matrix that is relevant for optimal choice an infinite length of time prior to a final period—that is, for when there is an infinite horizon.
It is also possible to find the solution by finding the eigendecomposition of a larger system. For the CARE, we define the Hamiltonian matrix
- [math]\displaystyle{ Z = \begin{pmatrix} A & -B R^{-1} B^T \\ -Q & -A^T \end{pmatrix} }[/math]
Since [math]\displaystyle{ Z }[/math] is Hamiltonian, if it does not have any eigenvalues on the imaginary axis, then exactly half of its eigenvalues have a negative real part. If we denote the [math]\displaystyle{ 2n \times n }[/math] matrix whose columns form a basis of the corresponding subspace, in block-matrix notation, as
- [math]\displaystyle{ \begin{pmatrix} U_{1,1} \\ U_{2,1} \end{pmatrix} }[/math]
then
- [math]\displaystyle{ P = U_{2,1} U_{1,1}^{-1} }[/math]
is a solution of the Riccati equation; furthermore, the eigenvalues of [math]\displaystyle{ A - B R^{-1} B^T P }[/math] are the eigenvalues of [math]\displaystyle{ Z }[/math] with negative real part.
For the DARE, when [math]\displaystyle{ A }[/math] is invertible, we define the symplectic matrix
- [math]\displaystyle{ Z = \begin{pmatrix} A + B R^{-1} B^T (A^{-1})^T Q & -B R^{-1} B^T (A^{-1})^T \\ -(A^{-1})^T Q & (A^{-1})^T \end{pmatrix} }[/math]
Since [math]\displaystyle{ Z }[/math] is symplectic, if it does not have any eigenvalues on the unit circle, then exactly half of its eigenvalues are inside the unit circle. If we denote the [math]\displaystyle{ 2n \times n }[/math] matrix whose columns form a basis of the corresponding subspace, in block-matrix notation, as
- [math]\displaystyle{ \begin{pmatrix} U_{1,1} \\ U_{2,1} \end{pmatrix} }[/math]
where [math]\displaystyle{ U_{1,1} }[/math] and [math]\displaystyle{ U_{2,1} }[/math] result from the decomposition[2]
- [math]\displaystyle{ Z = \begin{pmatrix} U_{1,1} & U_{1,2} \\ U_{2,1} & U_{2,2} \end{pmatrix} \begin{pmatrix} \Lambda_{1,1} & \Lambda_{1,2} \\ 0 & \Lambda_{2,2} \end{pmatrix} \begin{pmatrix} U_{1,1}^T & U_{2,1}^T \\ U_{1,2}^T & U_{2,2}^T \end{pmatrix} }[/math]
then
- [math]\displaystyle{ P = U_{2,1} U_{1,1}^{-1} }[/math]
is a solution of the Riccati equation; furthermore, the eigenvalues of [math]\displaystyle{ A - B (R + B^T P B)^{-1} B^T P A }[/math] are the eigenvalues of [math]\displaystyle{ Z }[/math] which are inside the unit circle.
See also
References
- ↑ Chow, Gregory (1975). Analysis and Control of Dynamic Economic Systems. New York: John Wiley & Sons. ISBN 0-471-15616-7.
- ↑ William Arnold; Alan Laub (1984). "Generalized Eigenproblem Algorithms and Software for Algebraic Riccati Equations". https://engineering.purdue.edu/AAECourses/aae564/2008/fall/Notes/ArnoldLaub1984.
- Peter Lancaster; Leiba Rodman (1995), Algebraic Riccati equations, Oxford University Press, pp. 504, ISBN 0-19-853795-6
- Alan J. Laub, "A Schur method for solving algebraic Riccati equations", Laboratory for Information and Decision Systems, MIT (Report LIDS-R-859), http://dspace.mit.edu/bitstream/handle/1721.1/1301/R-0859-05666488.pdf;jsessionid=8CCF9A002524048AFD0F91D1F15EB6AE?sequence=1.
External links
- CARE solver help of MATLAB Control toolbox.
- DARE solver help of MATLAB Control toolbox.
- Online CARE solver for arbitrary sized matrices.
- Python CARE and DARE solvers.
- Mathematica function to solve the continuous-time algebraic Riccati equation.
- Mathematica function to solve the discrete-time algebraic Riccati equation.
![]() | Original source: https://en.wikipedia.org/wiki/Algebraic Riccati equation.
Read more |