Abstract
We consider high-order splitting schemes for large-scale differential Riccati equations. Such equations arise in many different areas and are especially important within the field of optimal control. In the large-scale case, it is critical to employ structural properties of the matrix-valued solution, or the computational cost and storage requirements become infeasible. Our main contribution is therefore to formulate these high-order splitting schemes in an efficient way by utilizing a low-rank factorization. Previous results indicated that this was impossible for methods of order higher than 2, but our new approach overcomes these difficulties. In addition, we demonstrate that the proposed methods contain natural embedded error estimates. These may be used, e.g., for time step adaptivity, and our numerical experiments in this direction show promising results.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abou-Kandil, H., Freiling, G., Ionescu, V., Jank, G.: Matrix Riccati Equations. Systems & Control: Foundations & Applications. Basel, Birkhäuser (2003)
Amodei, L., Buchot, J.M.: An invariant subspace method for large-scale algebraic Riccati equation. Appl. Numer. Math 60(11), 1067–1082 (2010). https://doi.org/10.1016/j.apnum.2009.09.006
Antoulas, A.C., Sorensen, D.C., Zhou, Y.: On the decay rate of Hankel singular values and related issues. Syst. Control Lett 46(5), 323–342 (2002). https://doi.org/10.1016/S0167-6911(02)00147-0
Baṡar, T., Bernhard, P.: \(H^{\infty }\)-Optimal Control and Related Minimax Design Problems, 2nd edn. Sys. Con. Fdn. Birkhäuser Boston, Inc, Boston (1995). A Dynamic Game Approach
Benner, P., Bujanović, Z.: On the solution of large-scale algebraic Riccati equations by using low-dimensional invariant subspaces. Linear Algebra Appl. 488, 430–459 (2016). https://doi.org/10.1016/j.laa.2015.09.027
Benner, P., Mena, H.: Rosenbrock methods for solving Riccati differential equations. IEEE Trans. Automat. Control 58(11), 2950–2956 (2013). https://doi.org/10.1109/TAC.2013.2258495
Benner, P., Mena, H.: Numerical solution of the infinite-dimensional LQR problem and the associated Riccati differential equations. J. Numer. Math. https://doi.org/10.1515/jnma-2016-1039 (in press)
Benner, P., Saak, J.: A Semi-Discretized Heat Transfer Model for Optimal Cooling of Steel Profiles. In: Dimension Reduction of Large-Scale Systems, Lecture Notes in Computational Science and Engineering, vol. 45, pp 353–356. Springer, Berlin (2005)
Benner, P., Saak, J.: Numerical solution of large and sparse continuous time algebraic matrix Riccati and Lyapunov equations: a state of the art survey. GAMM-Mitt 36(1), 32–52 (2013). https://doi.org/10.1002/gamm.201310003
Blanes, S., Casas, F.: On the necessity of negative coefficients for operator splitting schemes of order higher than two. Appl. Numer. Math 54(1), 23–37 (2005). https://doi.org/10.1016/j.apnum.2004.10.005
Caliari, M., Kandolf, P., Ostermann, A., Rainer, S.: Comparison of software for computing the action of the matrix exponential. BIT 54(1), 113–128 (2014). https://doi.org/10.1007/s10543-013-0446-0
De Leo, M., Rial, D, de la Vega, C.S.: High-order time-splitting methods for irreversible equations. IMA J. Numer. Anal. 36(4), 1842–1866 (2016). https://doi.org/10.1093/imanum/drv058
Druskin, V., Knizhnerman, L., Simoncini, V.: Analysis of the rational Krylov subspace and ADI methods for solving the Lyapunov equation. SIAM J. Numer. Anal. 49(5), 1875–1898 (2011). https://doi.org/10.1137/100813257
Güldoğan, Y., Hached, M., Jbilou, K., Kurulay, M.: Low rank approximate solutions to large-scale differential matrix Riccati equations. arXiv:1612.00499v2[math.NA] (2017)
Gustafsson, K.: Control-theoretic techniques for stepsize selection in explicit Runge-Kutta methods. ACM Trans. Math. Softw. 17(4), 533–554 (1991). https://doi.org/10.1145/210232.210242
Gustafsson, K., Lundh, M., Söderlind, G.: A PI stepsize control for the numerical solution of ordinary differential equations. BIT 28(2), 270–287 (1988). https://doi.org/10.1007/BF01934091
Hager, W.W.: Updating the inverse of a matrix. SIAM Rev. 31(2), 221–239 (1989)
Hairer, E., Wanner, G.: Solving Ordinary Differential Equations. II, Springer Series in Computational Mathematics, 2nd edn., vol. 14. Springer, Berlin (1996)
Hansen, E., Ostermann, A.: High order splitting methods for analytic semigroups exist. BIT 49(3), 527–542 (2009). https://doi.org/10.1007/s10543-009-0236-x
Heyouni, M., Jbilou, K.: An extended block Arnoldi algorithm for large-scale solutions of the continuous-time algebraic Riccati equation. Electron. Trans. Numer. Anal. 33, 53–62 (2008/09)
Hundsdorfer, W., Verwer, J.: Numerical Solution of Time-Dependent Advection-Diffusion-Reaction Equations. Springer Series in Computational Mathematics, vol. 33. Springer, Berlin (2003)
Ichikawa, A., Katayama, H.: Remarks on the time-varying \(H\sb \infty \) Riccati equations. Syst. Control Lett. 37(5), 335–345 (1999)
Koskela, A., Mena, H.: A Structure Preserving Krylov Subspace Method for Large Scale Differential Riccati Equations. arXiv:1705.07507v1[math.NA] (2017)
Lang, N., Mena, H., Saak, J.: On the benefits of the L D L T factorization for large-scale differential matrix equation solvers. Linear Algebra Appl. 480, 44–71 (2015). https://doi.org/10.1016/j.laa.2015.04.006
Lin, Y., Simoncini, V.: A new subspace iteration method for the algebraic Riccati equation. Numer. Linear Algebra Appl. 22(1), 26–47 (2015). https://doi.org/10.1002/nla.1936
Mena, H., Ostermann, A., Pfurtscheller, L., Piazzola, C.: Numerical low-rank approximation of matrix differential equations. arXiv:1705.10175(2017)
Petersen, I.R., Ugrinovskii, V.A., Savkin, A.V.: Robust Control Design Using \(H^{\infty }\) Methods. Springer, London (2000)
Saak, J.: Effiziente numerische Lösung eines Optimalsteuerungsproblems für die Abkühlung von Stahlprofilen. Master’s Thesis, Fachbereich 3/Mathematik und Informatik, Universität Bremen (2003)
Saak, J., Köhler, M., Benner, P.: M-M.E.S.S.-1.0.1—the matrix equations sparse solvers library. https://doi.org/10.5281/zenodo.50575. See also: http://www.mpi-magdeburg.mpg.de/projects/mess (2016)
Simoncini, V.: Computational methods for linear matrix equations. SIAM Rev. 58(3), 377–441 (2016). https://doi.org/10.1137/130912839
Simoncini, V., Szyld, D.B., Monsalve, M.: On two numerical methods for the solution of large-scale algebraic Riccati equations. IMA J. Numer. Anal 34(3), 904–920 (2014). https://doi.org/10.1093/imanum/drt015
Söderlind, G.: Automatic control and adaptive time-stepping. Numer. Algorithms 31(1-4), 281–310 (2002). https://doi.org/10.1023/A:1021160023092. Numerical methods for ordinary differential equations (Auckland, 2001)
Sorensen, D.C., Zhou, Y.: Bounds on eigenvalue decay rates and sensitivity of solutions to Lyapunov equations. Tech. Rep 02-07, Dept. of Comp. Appl. Math., Rice Univ., Houston. http://www.caam.rice.edu/caam/trs/tr02.html#TR02-07 (2002)
Stillfjord, T.: Low-rank second-order splitting of large-scale differential Riccati equations. IEEE Trans. Automat. Control 60(10), 2791–2796 (2015). https://doi.org/10.1109/TAC.2015.2398889
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Stillfjord, T. Adaptive high-order splitting schemes for large-scale differential Riccati equations. Numer Algor 78, 1129–1151 (2018). https://doi.org/10.1007/s11075-017-0416-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-017-0416-8