×

A time-domain decomposition iterative method for the solution of distributed linear quadratic optimal control problems. (English) Zbl 1075.65091

The subject of this paper is the numerical solution of large-scale linear quadratic optimal control problems governed by parabolic partial differential equations. A time-domain decomposition is used and the problem is reformulated as a discrete-time optimal control (DTOC) one using a multiple shooting approach which is matrix free. It is based on the observation that the optimality conditions for the DTOC problem lead to a block tridiagonal linear system. Moreover the diagonal blocks are invertible and are related to the original linear quadratic optimal control problem restricted to smaller time-subintervals. A block Gauss-Seidel method is therefore used which is preconditioned by a Krylov-subspace method. Moreover some instantaneous control techniques can be interpreted as the application of one step of the preconditioned Gauss-Seidel method. Numerical experiments are presented such as Neumann control for the 1D heat equation and Dirichlet control for the 2D heat equation.

MSC:

65K10 Numerical optimization and variational techniques
49M27 Decomposition methods
49J20 Existence theories for optimal control problems involving partial differential equations
49N10 Linear-quadratic optimal control problems
65F10 Iterative numerical methods for linear systems
65F35 Numerical computation of matrix norms, conditioning, scaling

Software:

BNDSCO
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Ascher, U. M.; Mattheij, R. M.M.; Russel, R. D., Numerical Solution of Boundary Value Problems for Ordinary Differential Equations, Classics in Applied Mathematics, Vol. 13 (1995), SIAM: SIAM Philadelphia
[2] Axelsson, O., Iterative Solution Methods (1994), Cambridge University Press: Cambridge University Press Cambridge, London, New York · Zbl 0795.65014
[3] A. Bensoussan, G. Da Prato, M.C. Delfour, S.K. Mitter, Representation and Control of Infinite Dimensional Systems, Vol. I, Birkhäuser, Basel, Boston, Berlin, 1992.; A. Bensoussan, G. Da Prato, M.C. Delfour, S.K. Mitter, Representation and Control of Infinite Dimensional Systems, Vol. I, Birkhäuser, Basel, Boston, Berlin, 1992. · Zbl 0781.93002
[4] Berggren, M., Numerical solution of a flow-control problemvorticity reduction by dynamic boundary action, SIAM J. Sci. Comput, 19, 829-860 (1998) · Zbl 0946.76016
[5] Berggren, M.; Heinkenschloss, M., Parallel solution of optimal-control problems by time-domain decomposition, (Bristeau, M.-O.; Etgen, G.; Fitzgibbon, W.; Lions, J. L.; Periaux, J.; Wheeler, M. F., Computational Science for the 21st Century (1997), Wiley: Wiley Chichester), 102-112 · Zbl 0911.65053
[6] Betts, J. T., Practical Methods for Optimal Control using Nonlinear Programming, Advances in Design and Control (2001), SIAM: SIAM Philadelphia · Zbl 0995.49017
[7] Bewley, T. R.; Moin, P.; Temam, R., DNS-based predictive control of turbulencean optimal benchmark for feedback algorithms, J. Fluid Mech, 447, 179-225 (2001) · Zbl 1036.76027
[8] H.G. Bock, Randwertprobleme zur Parameteridentifizierung in Systemen nichtlinearer Differentialgleichungen, Preprint Nr. 442, Universität Heidelberg, Institut für Angewandte Mathematik, SFB 123, D-6900 Heidelberg, Germany, 1988.; H.G. Bock, Randwertprobleme zur Parameteridentifizierung in Systemen nichtlinearer Differentialgleichungen, Preprint Nr. 442, Universität Heidelberg, Institut für Angewandte Mathematik, SFB 123, D-6900 Heidelberg, Germany, 1988.
[9] R. Bulirsch, Die Mehrzielmethode zur numerischen Lösung von nichtlinearen Randwertproblems und Aufgaben der optimalen Steuerung, Technical Report, Report of the Carl-Cranz Gesellschaft, 1971.; R. Bulirsch, Die Mehrzielmethode zur numerischen Lösung von nichtlinearen Randwertproblems und Aufgaben der optimalen Steuerung, Technical Report, Report of the Carl-Cranz Gesellschaft, 1971.
[10] Campbell, S. L.; Ipsen, I. C.F.; Kelley, C. T.; Meyer, C. D.; Xue, Z. Q., Convergence estimates for solution of integral equations with GMRES, J. Integral Equations Appl, 8, 19-34 (1996) · Zbl 0859.65137
[11] Cartel, C.; Glowinski, R.; Lions, J.-L., On the exact and approximate boundary controllabilities for the heat equationa numerical approach, J. Optim. Theory Appl, 82, 429-484 (1994) · Zbl 0825.93316
[12] Y. Chang, Approximate models for optimal control of turbulent channel flow, Ph.D. Thesis, Department of Mechanical Engineering and Materials Science, Rice University, 2000.; Y. Chang, Approximate models for optimal control of turbulent channel flow, Ph.D. Thesis, Department of Mechanical Engineering and Materials Science, Rice University, 2000.
[13] Y. Chang, S.S. Collis, Active control of turbulent channel flows by large eddy simulation, in: Proceedings of the 1999 ASME/JSME Joint Fluids Engineering Conference, San Francisco, CA, 1999.; Y. Chang, S.S. Collis, Active control of turbulent channel flows by large eddy simulation, in: Proceedings of the 1999 ASME/JSME Joint Fluids Engineering Conference, San Francisco, CA, 1999.
[14] Choi, H.; Hinze, M.; Kunisch, K., Instantaneous control of backward-facing step flows, Appl. Numer. Math. IMACS J, 31, 2, 133-158 (1999) · Zbl 0939.76027
[15] Choi, H.; Temam, R.; Moin, P.; Kim, J., Feedback control for unsteady flow and its application to the stochastic Burgers equation, J. Fluid Mech, 253, 509-543 (1993) · Zbl 0810.76012
[16] Deimling, K., Nonlinear Functional Analysis (1985), Springer: Springer Berlin, Heidelberg, New York · Zbl 0559.47040
[17] Deuflhard, P., Nonlinear equation solvers in boundary value problem codes, (Childs, B., Codes for the BVPs in ODEs. Codes for the BVPs in ODEs, Springer Lecture Notes in Computer Science, Vol. 74 (1979), Springer: Springer Berlin), 40-66
[18] Glowinski, R.; Lions, J.-L., Exact and approximate controllability for distributed parameter systems, (Iserles, A., Acta Numerica 1995 (1995), Cambridge University Press: Cambridge University Press Cambridge, London, New York), 159-333 · Zbl 0838.93014
[19] Greenbaum, A., Iterative Methods for the Solution of Linear Systems (1997), SIAM: SIAM Philadelphia
[20] Griewank, A., Achieving logarithmic growth of temporal and spatial complexity reverse automatic differentiation, Optim. Methods Software, 1, 35-54 (1992)
[21] M. Hinze, Optimal and instantaneous control of the instationary Navier-Stokes equations, Habilitation Thesis, Technical Report, Fachbereich Mathematik Technische Universität Berlin, Strasse des 17 Juni 136, D-10623 Berlin, Germany, 2000.; M. Hinze, Optimal and instantaneous control of the instationary Navier-Stokes equations, Habilitation Thesis, Technical Report, Fachbereich Mathematik Technische Universität Berlin, Strasse des 17 Juni 136, D-10623 Berlin, Germany, 2000.
[22] M. Hinze, K. Kunisch, On suboptimal control strategies for the Navier-Stokes equations, in: ESIAM Proceedings, Control and Partial Differential Equations, Vol. 4, 1998, pp. 181-198.; M. Hinze, K. Kunisch, On suboptimal control strategies for the Navier-Stokes equations, in: ESIAM Proceedings, Control and Partial Differential Equations, Vol. 4, 1998, pp. 181-198. · Zbl 0912.49019
[23] Hinze, M.; Volkwein, S., Analysis of instantaneous control for the Burgers equation, Nonlinear Anal. Theory Methods Appl. Int. Multidisciplinary J. Ser. A Theory Methods, 50, 1, Ser. A: Theory Methods, 1-26 (2002) · Zbl 1022.49001
[24] Hou, L. S.; Yan, Y., Dynamics and approximations of a velocity tracking problem for the Navier-Stokes flows with piecewise distributed controls, SIAM J. Control Optim, 35, 1847-1885 (1997) · Zbl 0889.35074
[25] Jahn, J., Introduction to the Theory of Nonlinear Optimization (1996), Springer: Springer Berlin, Heidelberg, New York · Zbl 0855.49001
[26] Lagnese, J. E.; Leugering, G., Time-domain decomposition of optimal control problems for the wave equation, System Control Lett, 48, 229-242 (2003) · Zbl 1134.49313
[27] Lee, C.; Kim, J.; Choi, H., Suboptimal control of turbulent channel flow, J. Fluid Mech, 358, 245-258 (1998) · Zbl 0907.76039
[28] Leineweber, D. B.; Bauer, I.; Bock, H. G.; Schlöder, J. P., An efficient multiple shooting based reduced SQP strategy for large scale dynamic process optimization. Part Itheoretical aspects, Comput. Chem. Engrg, 27, 157-166 (2003)
[29] Leineweber, D. B.; Schäfer, H.; Bock, H. G.; Schlöder, J. P., An efficient multiple shooting based reduced SQP strategy for large scale dynamic process optimization. Part IIsoftware aspects and applications, Comput. Chem. Engrg, 27, 167-174 (2003)
[30] Lions, J.-L., Optimal Control of Systems Governed by Partial Differential Equations (1971), Springer: Springer Berlin, Heidelberg, New York · Zbl 0203.09001
[31] Logsdon, J. S.; Biegler, L. T., Accurate determination of optimal reflux policies for the maximum distillate problem in batch distillation, Indust. Engrg. Chem. Res, 32, 692-700 (1993)
[32] H.J. Oberle, W. Grimm, BNDSCO—a program for the numerical solution of optimal control problems, Technical Report, Institute for Flight Systems Dynamics, DLR, Oberpfaffenhofen, Germany, 1989.; H.J. Oberle, W. Grimm, BNDSCO—a program for the numerical solution of optimal control problems, Technical Report, Institute for Flight Systems Dynamics, DLR, Oberpfaffenhofen, Germany, 1989.
[33] Ortega, J. M.; Rheinboldt, W. C., Iterative Solution of Nonlinear Equations in Several Variables (1970), Academic Press: Academic Press New York · Zbl 0241.65046
[34] Restrepo, J. M.; Leaf, G. K.; Griewank, A., Circumventing storage limitations in variational data assimilation studies, SIAM J. Sci. Comput, 19, 1586-1605 (1998) · Zbl 0956.76078
[35] Saad, Y., Iterative Methods for Sparse Linear Systems (1996), PWS Publishing Company: PWS Publishing Company Boston, New York, Singapore, Toronto · Zbl 1002.65042
[36] Stoer, J.; Bulirsch, R., Introduction to Numerical Analysis (1993), Springer: Springer New York, Berlin, Heidelberg, London, Paris · Zbl 0771.65002
[37] Unger, A.; Tröltzsch, F., Fast solution of optimal control problems in the selective cooling of steel, Z. Angew. Math. Mech. (ZAMM), 81, 447-456 (2001) · Zbl 0993.49024
[38] Varga, R. S., Matrix Iterative Analysis (1962), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ · Zbl 0133.08602
[39] Vorst, H.; Vuik, C., The superlinear convergence behaviour of GMRES, J. Comput. Appl. Math, 48, 327-341 (1993) · Zbl 0797.65026
[40] Zeidler, E., Nonlinear Functional Analysis and its Applications II/A: Linear Monotone Operators (1990), Springer: Springer Berlin, Heidelberg, New York
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.