Skip to main content
Top

2019 | OriginalPaper | Chapter

2. Constraint Splitting and Projection Methods for Optimal Control of Double Integrator

Authors : Heinz H. Bauschke, Regina S. Burachik, C. Yalçın Kaya

Published in: Splitting Algorithms, Modern Operator Theory, and Applications

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We consider the minimum-energy control of a car, which is modelled as a point mass sliding on the ground in a fixed direction, and so it can be mathematically described as the double integrator. The control variable, representing the acceleration or the deceleration, is constrained by simple bounds from above and below. Despite the simplicity of the problem, it is not possible to find an analytical solution to it because of the constrained control variable. To find a numerical solution to this problem we apply three different projection-type methods: (i) Dykstra’s algorithm, (ii) the Douglas–Rachford (DR) method and (iii) the Aragón Artacho–Campoy (AAC) algorithm. To the knowledge of the authors, these kinds of (projection) methods have not previously been applied to continuous-time optimal control problems, which are infinite-dimensional optimization problems. The problem we study in this article is posed in infinite-dimensional Hilbert spaces. Behaviour of the DR and AAC algorithms are explored via numerical experiments with respect to their parameters. An error analysis is also carried out numerically for a particular instance of the problem for each of the algorithms.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Footnotes
1
In the general case, there is also an auxiliary sequence (p n) associated with A; however, because A is an affine subspace, it is not needed in our setting.
 
2
It appears that this constraint qualification is not easy to check in our setting.
 
3
Aragón Artacho and Campoy recommend α = 0.9 and β ∈ [0.7,  0.8]; see [3, End of Section 7].
 
Literature
1.
go back to reference Alt, W., Kaya, C.Y., Schneider, C.: Dualization and discretization of linear-quadratic control problems with bang–bang solutions. EURO J. Comput. Optim. 4, 47–77 (2016)MathSciNetCrossRef Alt, W., Kaya, C.Y., Schneider, C.: Dualization and discretization of linear-quadratic control problems with bang–bang solutions. EURO J. Comput. Optim. 4, 47–77 (2016)MathSciNetCrossRef
2.
go back to reference Alwadani, S., Bauschke, H.H., Moursi, W.M., Wang, X.: On the asymptotic behaviour of the Aragon Artacho-Campoy algorithm. Oper. Res. Letters 46 585–587 (2018)MathSciNetCrossRef Alwadani, S., Bauschke, H.H., Moursi, W.M., Wang, X.: On the asymptotic behaviour of the Aragon Artacho-Campoy algorithm. Oper. Res. Letters 46 585–587 (2018)MathSciNetCrossRef
3.
go back to reference Aragón Artacho, F.J., Campoy, R.: A new projection method for finding the closest point in the intersection of convex sets. Comput. Optim. Appl. 69, 99–132 (2018)MathSciNetCrossRef Aragón Artacho, F.J., Campoy, R.: A new projection method for finding the closest point in the intersection of convex sets. Comput. Optim. Appl. 69, 99–132 (2018)MathSciNetCrossRef
4.
go back to reference Aragón Artacho, F.J., Campoy, R.: Computing the resolvent of the sum of maximally monotone operators with the averaged alternating modified reflections algorithm. J. Optim. Th. Appl. 181, 709–726 (2019)MathSciNetCrossRef Aragón Artacho, F.J., Campoy, R.: Computing the resolvent of the sum of maximally monotone operators with the averaged alternating modified reflections algorithm. J. Optim. Th. Appl. 181, 709–726 (2019)MathSciNetCrossRef
5.
go back to reference Ascher, U.M., Mattheij, R.M.M., Russell, R.D.: Numerical Solution of Boundary Value Problems for Ordinary Differential Equations. SIAM Publications, Philadelphia (1995)CrossRef Ascher, U.M., Mattheij, R.M.M., Russell, R.D.: Numerical Solution of Boundary Value Problems for Ordinary Differential Equations. SIAM Publications, Philadelphia (1995)CrossRef
6.
go back to reference Bauschke, H.H., Combettes, P.L.: Convex Analysis and Monotone Operator Theory in Hilbert Spaces. Second edition. Springer (2017)CrossRef Bauschke, H.H., Combettes, P.L.: Convex Analysis and Monotone Operator Theory in Hilbert Spaces. Second edition. Springer (2017)CrossRef
7.
go back to reference Bauschke, H.H., Koch, V.R.: Projection methods: Swiss Army knives for solving feasibility and best approximation problems with halfspaces. Infinite Products of Operators and Their Applications, 1–40 (2012) Bauschke, H.H., Koch, V.R.: Projection methods: Swiss Army knives for solving feasibility and best approximation problems with halfspaces. Infinite Products of Operators and Their Applications, 1–40 (2012)
8.
go back to reference Bauschke, H.H., Moursi, W.M.: On the order of the operators in the Douglas–Rachford algorithm. Optimization Letters 10, 447–455 (2016)MathSciNetCrossRef Bauschke, H.H., Moursi, W.M.: On the order of the operators in the Douglas–Rachford algorithm. Optimization Letters 10, 447–455 (2016)MathSciNetCrossRef
9.
go back to reference Bauschke, H.H., Moursi, W.M.: On the Douglas–Rachford algorithm. Math. Program. (Ser. A) 164, 263–284 (2017) Bauschke, H.H., Moursi, W.M.: On the Douglas–Rachford algorithm. Math. Program. (Ser. A) 164, 263–284 (2017)
10.
go back to reference Borwein, J.M., Sims, B.: The Douglas-Rachford Algorithm in the absence of convexity. In: Bauschke H., Burachik R., Combettes P., Elser V., Luke D., Wolkowicz H. (eds) Fixed-Point Algorithms for Inverse Problems in Science and Engineering. Springer Optimization and Its Applications, vol 49, pp. 93–109. Springer, New York, NY (2011) Borwein, J.M., Sims, B.: The Douglas-Rachford Algorithm in the absence of convexity. In: Bauschke H., Burachik R., Combettes P., Elser V., Luke D., Wolkowicz H. (eds) Fixed-Point Algorithms for Inverse Problems in Science and Engineering. Springer Optimization and Its Applications, vol 49, pp. 93–109. Springer, New York, NY (2011)
11.
go back to reference Boyle J.P., Dykstra R.L.: A method for finding projections onto the intersection of convex sets in Hilbert spaces. In: Advances in Order Restricted Statistical Inference, vol. 37, Lecture Notes in Statistics, pp. 28–47. Springer (1986) Boyle J.P., Dykstra R.L.: A method for finding projections onto the intersection of convex sets in Hilbert spaces. In: Advances in Order Restricted Statistical Inference, vol. 37, Lecture Notes in Statistics, pp. 28–47. Springer (1986)
12.
go back to reference Burachik, R.S., Kaya, C.Y., Majeed, S.N.: A duality approach for solving control-constrained linear-quadratic optimal control problems. SIAM J. Control Optim. 52, 1771–1782 (2014)MathSciNetCrossRef Burachik, R.S., Kaya, C.Y., Majeed, S.N.: A duality approach for solving control-constrained linear-quadratic optimal control problems. SIAM J. Control Optim. 52, 1771–1782 (2014)MathSciNetCrossRef
13.
go back to reference Combettes, P.L.: A block-iterative surrogate constraint splitting method for quadratic signal recovery. IEEE Trans. Sig. Proc. 51, 2432–2442 (2003)MathSciNetCrossRef Combettes, P.L.: A block-iterative surrogate constraint splitting method for quadratic signal recovery. IEEE Trans. Sig. Proc. 51, 2432–2442 (2003)MathSciNetCrossRef
14.
go back to reference Combettes, P.L.: Iterative construction of the resolvent of a sum of maximal monotone operators. J. Convex Anal. 16, 727–748 (2009)MathSciNetMATH Combettes, P.L.: Iterative construction of the resolvent of a sum of maximal monotone operators. J. Convex Anal. 16, 727–748 (2009)MathSciNetMATH
15.
go back to reference Dontchev, A.L., Hager, W.W.: The Euler approximation in state constrained optimal control. Math. Comp. 70, 173–203 (2001)MathSciNetCrossRef Dontchev, A.L., Hager, W.W.: The Euler approximation in state constrained optimal control. Math. Comp. 70, 173–203 (2001)MathSciNetCrossRef
16.
go back to reference Dontchev, A.L., Hager, W.W., Malanowski, K.: Error bound for Euler approximation of a state and control constrained optimal control problem. Numer. Funct. Anal. Optim. 21, 653–682 (2000)MathSciNetCrossRef Dontchev, A.L., Hager, W.W., Malanowski, K.: Error bound for Euler approximation of a state and control constrained optimal control problem. Numer. Funct. Anal. Optim. 21, 653–682 (2000)MathSciNetCrossRef
17.
go back to reference Douglas, J., Rachford, H.H.: On the numerical solution of heat conduction problems in two and three space variables. Trans. Amer. Math. Soc. 82, 421–439 (1956)MathSciNetCrossRef Douglas, J., Rachford, H.H.: On the numerical solution of heat conduction problems in two and three space variables. Trans. Amer. Math. Soc. 82, 421–439 (1956)MathSciNetCrossRef
18.
go back to reference Eckstein, J., Bertsekas, D.P.: On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators. Math. Prog. (Ser. A) 55, 293–318 (1992) Eckstein, J., Bertsekas, D.P.: On the Douglas-Rachford splitting method and the proximal point algorithm for maximal monotone operators. Math. Prog. (Ser. A) 55, 293–318 (1992)
19.
go back to reference Eckstein, J., Ferris, M.C.: Operator-splitting methods for monotone affine variational inequalities, with a parallel application to optimal control. INFORMS J. Comput. 10, 218–235 (1998)MathSciNetCrossRef Eckstein, J., Ferris, M.C.: Operator-splitting methods for monotone affine variational inequalities, with a parallel application to optimal control. INFORMS J. Comput. 10, 218–235 (1998)MathSciNetCrossRef
20.
go back to reference Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, Second Edition. Brooks/Cole Publishing Company / Cengage Learning (2003) Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, Second Edition. Brooks/Cole Publishing Company / Cengage Learning (2003)
21.
go back to reference Hestenes, M.R.: Calculus of Variations and Optimal Control Theory. John Wiley & Sons, New York (1966)MATH Hestenes, M.R.: Calculus of Variations and Optimal Control Theory. John Wiley & Sons, New York (1966)MATH
22.
go back to reference Kaya, C.Y., Lucas, S.K. Simakov, S.T.: Computations for bang–bang constrained optimal control using a mathematical programming formulation. Optim. Contr. Appl. Meth. 25, 295–308 (2004)MathSciNetCrossRef Kaya, C.Y., Lucas, S.K. Simakov, S.T.: Computations for bang–bang constrained optimal control using a mathematical programming formulation. Optim. Contr. Appl. Meth. 25, 295–308 (2004)MathSciNetCrossRef
23.
24.
go back to reference Kaya, C.Y., Noakes, J.L.: Computational algorithm for time-optimal switching control. J. Optim. Theory App. 117, 69–92 (2003)CrossRef Kaya, C.Y., Noakes, J.L.: Computational algorithm for time-optimal switching control. J. Optim. Theory App. 117, 69–92 (2003)CrossRef
25.
go back to reference Lions, P.-L., Mercier, B.: Splitting algorithms for the sum of two nonlinear operators. SIAM J. Numer. Anal. 16, 964–979 (1979)MathSciNetCrossRef Lions, P.-L., Mercier, B.: Splitting algorithms for the sum of two nonlinear operators. SIAM J. Numer. Anal. 16, 964–979 (1979)MathSciNetCrossRef
26.
go back to reference O’Donoghue, B., Stathopoulos, G., Boyd, S.: A splitting method for optimal control. IEEE Trans. Contr. Sys. Tech. 21, 2432–2442 (2013)CrossRef O’Donoghue, B., Stathopoulos, G., Boyd, S.: A splitting method for optimal control. IEEE Trans. Contr. Sys. Tech. 21, 2432–2442 (2013)CrossRef
27.
go back to reference Rugh, W.J.: Linear System Theory, 2nd Edition. Pearson (1995) Rugh, W.J.: Linear System Theory, 2nd Edition. Pearson (1995)
28.
go back to reference Stoer, J., Bulirsch, R.: Introduction to Numerical Analysis, 2nd Edition. Springer-Verlag, New York (1993)CrossRef Stoer, J., Bulirsch, R.: Introduction to Numerical Analysis, 2nd Edition. Springer-Verlag, New York (1993)CrossRef
29.
30.
go back to reference Wächter, A., Biegler, L.T.: On the implementation of a primal-dual interior point filter line search algorithm for large-scale nonlinear programming. Math. Prog. 106, 25–57 (2006)CrossRef Wächter, A., Biegler, L.T.: On the implementation of a primal-dual interior point filter line search algorithm for large-scale nonlinear programming. Math. Prog. 106, 25–57 (2006)CrossRef
Metadata
Title
Constraint Splitting and Projection Methods for Optimal Control of Double Integrator
Authors
Heinz H. Bauschke
Regina S. Burachik
C. Yalçın Kaya
Copyright Year
2019
DOI
https://doi.org/10.1007/978-3-030-25939-6_2

Premium Partner