Abstract
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case of linear-quadratic control problems and extend them to the general nonlinear case. We also present a Pontryagin maximum principle for general unstructured nonlinear DAEs in the case of restricted controls. Moreover, we discuss the numerical solution of the resulting two-point boundary value problems and present a numerical example.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Backes A (2006) Optimale Steuerung der linearen DAE im Fall Index 2. Dissertation, Mathematisch-Naturwissenschaftliche Fakultät, Humboldt-Universität zu Berlin, Berlin
Balla K, Kurina G, März R (2006) Index criteria for differential algebraic equations arising from linear-quadratic optimal control problems. J Dyn Control Syst 12: 289–311
Balla K, Linh VH (2005) Adjoint pairs of differential-algebraic equations and Hamiltonian systems. Appl Numer Math 53: 131–148
Balla K, März R (2002) A unified approach to linear differential algebraic equations and their adjoints. Z Anal Anwendungen 21: 783–802
Balla K, März R (2004) Linear boundary value problems for differential algebraic equations. Math Notes 5: 3–17
Bender D, Laub A (1987) The linear quadratic optimal regulator problem for descriptor systems. IEEE Trans Automat Control 32: 672–688
Boltyanskii V, Gamkrelidze R, Mishenko E, Pontryagin LS (1962) The mathematical theory of optimal processes. Interscience, New York
Brenan KE, Campbell SL, Petzold LR (1996) Numerical solution of initial-value problems in differential algebraic equations, 2nd edn. SIAM, Philadelphia
Bunse-Gerstner A, Mehrmann V, Nichols NK (1992) Regularization of descriptor systems by derivative and proportional state feedback. SIAM J Matr Anal Appl 13: 46–67
Büskens C, Gerdts M (2000) Numerical solution of optimal problems with DAEs of higher index. In: Proceedings of the Workshop: Optimalsteuerungsprobleme in der Luft und Raumfahrt, pp 27–38. Sonderforschungsbereich 255: Transatmosphäarische Flugsysteme, Hieronymus, München
Byers R, Geerts T, Mehrmann V (1997) Descriptor systems without controllability at infinity. SIAM J Cont 35: 462–479
Byers R, Kunkel P, Mehrmann V (1997) Regularization of linear descriptor systems with variable coefficients. SIAM J Cont 35: 117–133
Campbell SL (1980) Singular systems of differential equations I. Pitman, San Francisco
Campbell SL (1987) Comment on controlling generalized state-space (descriptor) systems. Int J Control 46: 2229–2230
Campbell SL (1987) A general form for solvable linear time varying singular systems of differential equations. SIAM J Math Anal 18: 1101–1115
Cobb JD (1983) A further interpretation of inconsistent initial conditions in descriptor-variable systems. IEEE Trans Automat Control AC 28: 920–922
Campbell SL, Gear CW (1995) The index of general nonlinear DAEs. Numer Math 72: 173–196
Campbell SL, Meyer CD (1979) Generalized inverses of linear transformations. Pitman, San Francisco
Devdariani EN, Ledyaev YuS (1999) Maximum principle for implicit control systems. Appl Math Optim 40: 79–103
Diehl M, Leineweber DB, Schäfer A, Bock HG, Schlöder JP (2002) Optimization of multiple-fraction batch distillation with recycled waste cuts. AIChE J 48(12): 2869–2874
Diehl M, Uslu I, Findeisen R, Schwarzkopf S, Allgöwer F, Bock HG, Bürner T, Gilles ED, Kienle A, Schlöder JP, Stein E (2001) Real-time optimization for large scale processes: nonlinear model predictive control of a high purity distillation column. In: Grötschel M, Krumke SO, Rambau J (eds) Online optimization of large scale systems: state of the art. Springer, Berlin, pp 363–384
Eich-Soellner E, Führer C (1998) Numerical methods in multibody systems. Teubner, Stuttgart
Gerdts M (2003) Optimal control and real-time optimization of mechanical multi-body systems. Z Angew Math Mech 83: 705–719
Gerdts M (2006) Local minimum principle for optimal control problems subject to index two differential algebraic equations systems. J Optim Theory Appl 130: 441–460
Günther M, Feldmann U (1999) CAD-based electric-circuit modeling in industry I. Mathematical structure and index of network equations. Surv Math Ind 8: 97–129
Günther M, Feldmann U (1999) CAD-based electric-circuit modeling in industry II. Impact of circuit configurations and parameters. Surv Math Ind 8: 131–157
Gabasov R, Kirillova F (1976) The qualitative theory of optimal processes. Marcel Dekker, New York
Griepentrog E, März R (1986) Differential-algebraic equations and their numerical treatment. Teubner Verlag, Leipzig
Hairer E, Wanner G (1996) Solving ordinary differential equations II: stiff and differential-algebraic problems, 2nd edn. Springer, Berlin
Hesteness MR (1966) Calculus of variations and optimal control theory. Wiley, New York
Ioffe AD, Tichomirov VM (1979) Theorie der Extremalaufgaben. VEB Deutscher Verlag der Wissenschaften, Berlin
Kirsch A, Warth W, Werner J (1978) Notwendige Optimalitätsbedingungen und ihre Anwendung. Springer, Berlin
Kunkel P, Mehrmann V (1996) Generalized inverses of differential-algebraic operators. SIAM J Matr Anal Appl 17: 426–442
Kunkel P, Mehrmann V (1996) A new class of discretization methods for the solution of linear differential algebraic equations with variable coefficients. SIAM J Numer Anal 33: 1941–1961
Kunkel P, Mehrmann V (1997) The linear quadratic control problem for linear descriptor systems with variable coefficients. Math Control Signals Sys 10: 247–264
Kunkel P, Mehrmann V (1998) Regular solutions of nonlinear differential-algebraic equations and their numerical determination. Numer Math 79: 581–600
Kunkel P, Mehrmann V (2001) Analysis of over- and underdetermined nonlinear differential-algebraic systems with application to nonlinear control problems. Math Control Signals Sys 14: 233–256
Kunkel P, Mehrmann V (2006) Differential-algebraic equations. Analysis and numerical solution. EMS Publishing House, Zürich
Kunkel P, Mehrmann V (2006) Necessary and sufficient conditions in the optimal control for general nonlinear differential-algebraic equations. Preprint 355, DFG Research Center Matheon, TU Berlin, Berlin, Germany
Kurina GA, März R (2004) On linear-quadratic optimal control problems for time-varying descriptor systems. SIAM J Cont Optim 42: 2062–2077
Kunkel P, Mehrmann V, Rath W (2001) Analysis and numerical solution of control problems in descriptor form. Math Control Signals Sys 14: 29–61
Kunkel P, Mehrmann V, Rath W, Weickert J (1997) A new software package for linear differential-algebraic equations. SIAM J Sci Comput 18: 115–138
Kunkel P, Mehrmann V, Stöver R (2004) Multiple shooting for unstructured nonlinear differential-algebraic equations of arbitrary index. SIAM J Numer Anal 42: 2277–2297
Kunkel P, Mehrmann V, Stöver R (2004) Symmetric collocation for unstructured nonlinear differential-algebraic equations of arbitrary index. Numer Math 98: 277–304
Kunkel P, Mehrmann V, Schmidt M, Seufer I, Steinbrecher A (2006) Weak formulations of linear differential-algebraic systems. Technical Report 16, Institut für Mathematik, TU Berlin, Berlin, Germany. http://www.math.tu-berlin.de/preprints/
Kunkel P, Stöver R (2002) Symmetric collocation methods for linear differential-algebraic boundary value problems. Numer Math 91: 475–501
Ljusternik L (1934) On constrained extrema of functionals. Math Sb 41: 390–401 (in Russian)
Lin J-Y, Yang Z-H (1988) Optimal control for singular systems. Int J Control 47: 1915–1924
März R (2004) Solvability of linear differential algebraic equations with properly stated leading terms. Res Math 45: 88–105
Mehrmann V (1991) The autonomous linear quadratic control problem. Springer, Berlin
Müller PC (1996) Stability and optimal control of nonlinear descriptor systems. In: Proceedings of 3rd International Symposium Methods and Models in Automation and Robotics (MMAR 96), vol 1, pp 17–26, Szcezecin, Poland. University of Szcezecin
Otter M, Elmqvist H, Mattson SE (2006) Multi-domain modeling with modelica. In: Fishwick P (ed) CRC Handbook of Dynamic System Modeling, pp 36.1–36.27. Chapman and Hall/CRC Press, London
de Pinho MDR, Vinter RB (1997) Necessary conditions for optimal control problems involving nonlinear differential algebraic equations. J Math Anal Appl 212: 493–516
Polderman JW, Willems JC (1998) Introduction to mathematical systems theory: a behavioural approach. Springer, New York
Rabier PJ, Rheinboldt WC (1996) Classical and generalized solutions of time-dependent linear differential-algebraic equations. Lin Alg Appl 245: 259–293
Rabier PJ, Rheinboldt WC (2002) Theoretical and numerical analysis of differential-algebraic equations, volume VIII of Handbook of Numerical Analysis. Elsevier, Amsterdam
Roubicek T, Valasek M (2002) Optimal control of causal differential-algebraic systems. J Math Anal Appl 269: 616–641
Schultz VH (1996) Reduced SQP methods for large-scale optimal control problems in DAE with application to path planning problems for satellite mounted robots. Dissertation, Universität Heidelberg, Interdisz. Zentrum für wissenschaftliches Rechnen
Vinter R, Vinter RB (2000) Optimal control. Birkhäuser, Boston
Zeidler E (1985) Nonlinear functional analysis and its applications III. Variational methods and optimization. Springer, New York
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported through the Research-in-Pairs Program at Mathematisches Forschungsinstitut Oberwolfach. V. Mehrmann’s research was supported by Deutsche Forschungsgemeinschaft, through Matheon, the DFG Research Center “Mathematics for Key Technologies” in Berlin.
Rights and permissions
About this article
Cite this article
Kunkel, P., Mehrmann, V. Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index. Math. Control Signals Syst. 20, 227–269 (2008). https://doi.org/10.1007/s00498-008-0032-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00498-008-0032-1