View source for Optimal control, mathematical theory of

A part of mathematics in which a study is made of ways of formalizing and solving problems of choosing the best way, in an a priori described sense, of realizing a controlled dynamical process. This dynamical process, as a rule, can be described using differential, integral, functional, and finite-difference equations (or other formalized evolution relations, possibly involving stochastic aspects), depending on input functions or parameters, called controls, and usually subject to constraints. The sought controls, as well as the realization of the process itself, must generally be chosen according to certain constraints prescribed by the formulation of the problem.

In a more specific sense, it is accepted that the term  "mathematical theory of optimal control"  be applied to a mathematical theory in which methods are studied for solving non-classical variational problems of optimal control (as a rule, with differential constraints), which permit the examination of non-smooth functionals and arbitrary constraints on the control parameters or on other dependent variables (the constraints which are usually studied are given by non-strict inequalities). The term  "mathematical theory of optimal control"  is sometimes given a broader meaning, covering the theory which studies mathematical methods of investigating problems whose solutions include any process of statistical or dynamical optimization, while the corresponding model situations permit an interpretation in terms of some applied procedure for adopting an optimal solution. With this interpretation, the mathematical theory of optimal control contains elements of [[Operations research|operations research]]; [[Mathematical programming|mathematical programming]] and game theory (cf. [[Games, theory of|Games, theory of]]).

Problems studied in the mathematical theory of optimal control have arisen from practical demands, especially in space flight dynamics and [[Automatic control theory|automatic control theory]] (see also [[Variational calculus|Variational calculus]]). The formalization and solution of these problems have posed new questions, for example in the theory of ordinary differential equations, both in the area of generalizing the concept of a solution and generalizing conclusions from the appropriate conditions of existence, as in the study of dynamical and extremal properties of trajectories of controlled differential systems. In particular, the mathematical theory of optimal control has stimulated the study of the properties of differential inclusions (cf. [[Differential inclusion|Differential inclusion]]). The corresponding directions in the mathematical theory of optimal control are therefore often considered as part of the theory of ordinary differential equations. The mathematical theory of optimal control contains the mathematical basis of the theory of controlled motions, a new area in general mechanics in which the laws of creating controllable mechanical movements and related mathematical questions are investigated. In methods and in applications, the mathematical theory of optimal control is closely linked with analytical mechanics, especially with the areas relating to the [[Variational principles of classical mechanics|variational principles of classical mechanics]].

Although particular problems of optimal control and non-classical variational problems were encountered earlier, the foundations of the general mathematical theory of optimal control were laid in 1956–1961. The key point of this theory was the [[Pontryagin maximum principle|Pontryagin maximum principle]], formulated by L.S. Pontryagin in 1956 (see [[#References|[1]]]). The main stimuli in the creation of the mathematical theory of optimal control were the discovery of the method of [[Dynamic programming|dynamic programming]], the explanation of the role of functional analysis in the theory of optimal systems, the discovery of connections between solutions of problems of optimal control and results of the theory of [[Lyapunov stability|Lyapunov stability]] and the appearance of works relating to the concepts of controllability and observability of dynamical systems (see [[#References|[2]]]–[[#References|[5]]]). In the ensuing years the foundations have been laid of the theory of stochastic control and stochastic filtering of dynamical systems, general methods have been created for the solution of non-classical variational problems, generalizations of the basic statements of the mathematical theory of optimal control have been obtained for more complex classes of dynamical systems, and the connections with classical variational calculus have been studied (see [[#References|[6]]]–[[#References|[11]]]). The mathematical theory of optimal control is developing intensively, especially in the study of game problems in dynamics (see [[Differential games|Differential games]]), problems of control with incomplete or imprecise information, systems with distributed parameters, equations on manifolds, etc.

The results of the mathematical theory of optimal control have found broad applications in the construction of control processes relating to diverse areas of modern technology, in the study of economic dynamics, and in the solution of a number of problems in the fields of biology, medicine, ecology, demography, etc.

A problem of optimal control can be described in general terms as follows:

1) A controllable system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684301.png" /> is given, whose position at an instant of time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684302.png" /> is represented by a value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684303.png" /> (for example, by a vector of generalized coordinates and impulses of a mechanical system, or by a function in the spatial coordinates of a distributed system; by a probability distribution which characterizes the current state of a stochastic system, or by a vector of production output in a dynamic model of economy, etc.). It is assumed that a number of controls <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684304.png" /> may be applied to the system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684305.png" /> affecting the dynamics of the system. The controls might take the form of mechanical forces, thermal or electrical potentials, investment programs, etc.

2) An equation is given which connects the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684306.png" /> and describes the dynamics of the system. An instant of time is indicated at which the equation is considered. In a typical case one considers an ordinary differential equation of the form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684307.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

with previously stipulated properties of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684308.png" /> (continuity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o0684309.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843010.png" /> and continuous differentiability in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843011.png" /> are often required).

3) Information is available which can be used to construct the controls (for example, at any instant of time or at previously prescribed instances, the allowed measurable values of the phase coordinates of the system (1) or of functions in these coordinates become known). A class of functions describing the controls which can be considered is stipulated: The set of piecewise-continuous functions of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843012.png" />, the set of linear functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843013.png" /> of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843014.png" /> with continuous coefficients, etc.

4) Constraints are imposed on the process to be realized. At this point in particular, the conditions defining the aim of the control come into consideration (for example, for the system (1), to hit a given point or a given set of the phase space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843015.png" />, the demand for stabilization of the solutions around a given motion, etc.). Furthermore, constraints can be imposed on the values of the controls <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843016.png" /> or on the coordinates of the position <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843017.png" />, on functions in these variables, on functionals in their realizations, etc. In the system (1), for example, constraints on the control parameters

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843018.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

and on the coordinates

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843019.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

are possible; here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843020.png" /> are closed sets and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843021.png" /> are differentiable functions. More complex situations can also be examined, where the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843022.png" /> depends on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843023.png" /> or when an inequality in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843024.png" /> (a case of mixed constraints) is given, etc.

5) An index (a criterion) is given of the quality of the process to be realized. It can take the form of a functional <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843025.png" /> in the realization of the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843026.png" /> over the period of time under consideration. Conditions 1)–4) are now supplemented by the requirement of optimality of the process: a minimum, maximum, minimax, etc., of the index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843027.png" />.

In this way, in a given class of controls for a given system, a control <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843028.png" /> must be chosen which optimizes (i.e. minimizes or maximizes) the index <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843029.png" /> (under the condition that the aim of the control is achieved and that the applied constraints are fulfilled). A function (e.g. of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843030.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843031.png" />, etc.) which solves the problem of optimal control is called an optimal control (for an example of a typical statement of an optimal control problem see [[Pontryagin maximum principle|Pontryagin maximum principle]]).

Among the dynamic objects embraced by the problems of the mathematical theory of optimal control, it is customary to differentiate between the finite-dimensional and the infinite-dimensional ones, dependent on the dimension of the phase space of the corresponding systems of differential equations describing them, or on the form of the constraints imposed on the phase variables.

There is a difference between problems of [[Optimal programming control|optimal programming control]] and of [[Optimal synthesis control|optimal synthesis control]]. In the former, the control <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o068/o068430/o06843032.png" /> takes the form of a function of time; in the latter, it takes the form of a control strategy according to the feedback principle, as a function from the permissible values of the current parameters of the process. Optimal stochastic control problems are of the second type.

The mathematical theory of optimal control is concerned with questions of the existence of solutions, the derivation of necessary conditions for an extremum (optimality of a control), research into sufficient conditions, and the construction of numerical algorithms. The relations between solutions of problems of the mathematical theory of optimal control obtained in the class of programming and synthesis controls are also studied.

The different formulations of optimal control problems described above assume the existence of a correct mathematical model of the process and are calculated on the basis of complete a priori or even complete current information about the corresponding system. However, in applied formulations the accessible information on the system (for example, information about initial and final conditions, about coefficients in the corresponding equations, about the values of supplementary parameters of permissible measurable coordinates, etc.) is frequently insufficient for the direct use of the above theory. This leads to optimal control of problems formulated in other terms of information. A large section of the mathematical theory of optimal control is dedicated to problems where the description of insufficient quantities has a statistical character (the so-called theory of stochastic optimal control). If any statistical information on insufficient quantities is lacking, but only the areas in which they may alter are given, then the corresponding problems are examined within the framework of the theory of optimal control under conditions of uncertainty. Minimax and game-theoretical methods are then used to solve these problems. Problems of optimal stochastic control and of optimal control under conditions of uncertainty are especially interesting in the area of optimal synthesis control.

Although the formalized description of controllable systems can take a fairly abstract form (see [[#References|[11]]]), the simplest classification also allows them to be divided into continuous-time systems (described, for example, by differential equations, either ordinary or partial, by equations with a deviating argument, by equations in a Banach space, as well as by differential inclusions, integral and integro-differential equations, etc.) and multi-stage (discrete) systems, described by recurrence difference equations and examined only at isolated (discrete) moments of time.

Discrete control systems, apart from being interesting in themselves, have great significance as finite-difference models of continuous systems. This is important for the construction of numerical methods for solving problems of optimal control (see [[#References|[12]]], [[#References|[13]]]), especially in those cases where the initial problem is subject to discretization, beginning with its own state. The basic formulations of the tasks shown above are also used for discrete systems. Although the functional-theoretic side of the research proves to be simpler here, a transfer of basic facts of the theory of optimal control for continuous systems and their presentation in compact form entails particular difficulties and is not always possible (see [[#References|[14]]], [[#References|[15]]]).

The theory of optimal linear discrete control systems with constraints defined by convex functions has been dealt with in a reasonably complete way (see [[#References|[15]]]). It goes hand in hand with methods of linear and convex programming (especially with corresponding  "dynamic"  or  "non-stationary"  variants, see [[#References|[16]]]). In this theory great importance is attached to solutions which allow the optimization of a discrete dynamical system to lead to the realization of an adequate numerical discrete algorithm.

Another class of problems in the mathematical theory of optimal control is generated by questions of approximation of solutions of problems of optimal control for continuous systems by discrete ones and by questions which are closely connected with the problem of regularizing ill-stated problems (see [[#References|[17]]]).

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L.S. Pontryagin,   V.G. Boltayanskii,   R.V. Gamkrelidze,   E.F. Mishchenko,   "The mathematical theory of optimal processes" , Wiley  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Bellman,   "Dynamic programming" , Princeton Univ. Press  (1957)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.N. Krasovskii,   "Theory of control by motion" , Moscow  (1968)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N.N. Krasovskii,   "Theory of optimal control systems" , ''Mechanics in the USSR during 50 years'' , '''1''' , Moscow  (1968)  pp. 179–244  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  R.E. Kalman,   "On the general theory of control systems" , ''Proc. 1-st Internat. Congress Internat. Fed. Autom. Control'' , '''2''' , Moscow  (1960)  pp. 521–547</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  W.H. Fleming,   R.W. Rishel,   "Deterministic and stochastic optimal control" , Springer  (1975)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  V.M. Alekseev,   V.M. Tikhomirov,   S.V. Fomin,   "Optimal control" , Consultants Bureau  (1987)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  J. Varga,   "Optimal control of differential and functional equations" , Acad. Press  (1972)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  M.R. Hestenes,   "Calculus of variations and optimal control theory" , Wiley  (1966)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  L. Young,   "Lectures on the calculus of variations and optimal control theory" , Saunders  (1969)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  R.E. Kalman,   P.L. Falb,   M.A. Arbib,   "Topics in mathematical systems theory" , McGraw-Hill  (1969)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  N.N. Moiseev,   "Elements of the theory of optimal systems" , Moscow  (1975)  (In Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  F.L. Chernous'ko,   V.B. Kolmanovskii,   "Computational and approximate methods for optimal control"  ''J. Soviet Math.'' , '''12''' :  3  (1979)  pp. 310–353  ''Itogi Nauk. i Tekhn. Mat. Anal.'' , '''14'''  (1977)  pp. 101–166</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  V.G. Boltyanskii,   "Optimal control of discrete systems" , Wiley  (1978)  (Translated from Russian)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  M.D. Canon,   C.D. Cullum,   E. Polak,   "Theory of optimal control and mathematical programming" , McGraw-Hill  (1970)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  A.I. Propoi,   "Elements of the theory of optimal discrete processes" , Moscow  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  A.N. Tikhonov,   V.I. [V.I. Arsenin] Arsenine,   "Solution of ill-posed problems" , Winston  (1977)  (Translated from Russian)</TD></TR></table>



====Comments====
In the Western literature (optimal) programming control is usually referred to as (optimal) open-loop control, whereas (optimal) synthesis control is usually called (optimal) feedback or closed-loop control.

Early books [[#References|[a5]]], [[#References|[a8]]], [[#References|[a9]]] on the subject are based on variational methods and dynamic programming. An introduction to dynamic programming is provided in the textbooks [[#References|[a3]]], [[#References|[a7]]]. The measure-theoretic difficulties of this approach are treated in [[#References|[a4]]], [[#References|[a11]]]. The approach in which the optimal stochastic control problems with continuous state spaces are approximated by those with discrete state spaces, is explored in [[#References|[a10]]]. Books on optimal stochastic control by variational and functional-analysis methods, written by researchers of the French school, are [[#References|[a1]]], [[#References|[a2]]]. A stochastic maximum principle is derived in [[#References|[a6]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Bensoussan,   "Stochastic control by functional analysis methods" , North-Holland  (1982)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  A. Bensoussan,   J.L. Lions,   "Applications of variational inequalities in stochastic control" , North-Holland  (1982)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D.P. Bertsekas,   "Dynamic programming: Deterministic and stochastic models" , Prentice-Hall  (1987)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  D.P. Bertsekas,   S.E. Shreve,   "Stochastic optimal control: the discrete-time case" , Acad. Press  (1978)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  W.H. Fleming,   R.W. Rishel,   "Deterministic and stochastic optimal control" , Springer  (1975)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  U.G. Hausmann,   "A stochastic maximum principle for optimal control of diffusion" , Longman  (1986)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  P.R. Kumar,   P. Varaiya,   "Stochastic systems: Estimation, identification, and adaptive control" , Prentice-Hall  (1986)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  H.J. Kushner,   "Stochastic stability and control" , Acad. Press  (1967)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  H.J. Kushner,   "Introduction to stochastic control" , Holt, Rinehart &amp; Winston  (1971)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  H.J. Kushner,   "Probability methods for approximations in stochastic control and for elliptic equations" , Acad. Press  (1977)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  C. Striebel,   "Optimal control of discrete time stochastic systems" , ''Lect. notes in econom. and math. systems'' , '''110''' , Springer  (1975)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  A.E. Bryson,   Y.-C. Ho,   "Applied optimal control" , Ginn  (1969)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  D.G. Luenberger,   "Optimization by vector space methods" , Wiley  (1969)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  D.P. Bertsekas,   "Dynamic programming and stochastic control" , Acad. Press  (1976)</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  M.H.A. Davis,   "Martingale methods in stochastic control" , ''Stochastic Control and Stochastic Differential Systems'' , ''Lect. notes in control and inform. sci.'' , '''16''' , Springer  (1979)  pp. 85–117</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  L. Cesari,   "Optimization - Theory and applications" , Springer  (1983)</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  L.W. Neustadt,   "Optimization, a theory of necessary conditions" , Princeton Univ. Press  (1976)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  V. Barbu,   G. Da Prato,   "Hamilton–Jacobi equations in Hilbert spaces" , Pitman  (1983)</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  L. Ljung,   "System identification theory for the user" , Prentice-Hall  (1987)</TD></TR></table>