Sufficient conditions for a strong relative minimum in an optimal control problem

In this paper, on the basis of Young's method (Ref. 1), sufficient conditions for a strong relative minimum in an optimal control problem are given. Young's method generalizes geodesic coverings and the simplest Hilbert integral from the standard variational calculus. This paper carries Young's method over to nonparametric problems.     

Sufficient conditions for asymptotic optimal control

For a selected family of Lagrange-type control problems involving a nonnegative integral costJ _T (y,u) over the interval [0,T], 0<T<, with system conditions consisting of differential inequalities and/or equalities, the following material is treated: (i) a resumé of relevant necessary conditions and sufficient conditions for a pair (y _T ,u _T ) to minimizeJ _T (y,u); (ii) conditions sufficient for the convergence asT of minimizing pairs (y _T ,u _T ) over [0,T] to a limit pair (y ,u ) over the infinite-time interval [0, ); (iii) conditions sufficient for (y ,u ) to minimize the costJ (y,u) over [0, ); and (iv) conditions sufficient for the optimal cost per unit timeJ _T (y _T ,u _T )/T to have a limit asT.     

Sufficient conditions for optimal control with state and control constraints

A monotonicity result is utilized to derive sufficient optimality conditions of considerable generality for an individual trajectory in control theory. The sufficiency theorem embodying these conditions generalizes those of Boltyanskii and Leitmann and is applied to a simple control system to which their sufficiency theorems are not applicable. Conditions on the state equations and state space are completely relaxed. The set of admissible controls is extended to the set of measurable controls and the integrand of the performance index has its membership extended to the class of bounded Borel-measurable functions. The decomposition of the state space is required to be onlyplain denumerable.     

Sufficient conditions for optimal control problems with time delay

Various first-order and second-order sufficient conditions of optimality for nonlinear optimal control problems with delayed argument are formulated. The functions involved are not required to be convex. Second-order sufficient conditions are shown to be related to the existence of solutions of a Riccati-type matrix differential inequality. Their relation with the second variation is discussed.The authors are indebted to an anonymous referee for valuable suggestions that lead to various improvements in the paper.     

Sufficient conditions for a minimum of the free-final-time optimal control problem

The sufficient conditions for a minimum of the free-final-time optimal control problem are the strengthened Legendre-Clebsch condition and the conjugate point condition. In this paper, a new approach for determining the location of the conjugate point is presented. The sweep method is used to solve the linear two-point boundary-value problem for the neighboring extremal path from a perturbed initial point to the final constraint manifold. The new approach is to solve for the final condition Lagrange multiplier perturbation and the final time perturbation simultaneously. Then, the resulting neighboring extremal control is used to write the second variation as a perfect square and obtain the conjugate point condition. Finally, two example problems are solved to illustrate the application of the sufficient conditions.     

Sufficient conditions for restricted-edge-connectivity to be optimal

For a connected graph G=(V,E), an edge set S⊂E is a k-restricted-edge-cut if G-S is disconnected and every component of G-S has at least k vertices. The cardinality of a minimum k-restricted-edge-cut is the k-restricted-edge-connectivity of G, denoted by λ_k(G). In this paper, we study sufficient conditions for λ_k(G) to be optimal, especially when k=2 and 3.     

Properties of extremals in optimal control problems with state constraints

An optimal control problem with state constraints is considered. Some properties of extremals to the Pontryagin maximum principle are studied. It is shown that, from the conditions of the maximum principle, it follows that the extended Hamiltonian is a Lipschitz function along the extremal and its total time derivative coincides with its partial derivative with respect to time.     

Sufficient conditions for the optimal control of a class of systems with continuous lags

Sufficient conditions in the form of a maximum principle are obtained for the optimal control of a system described by integro-differential equations and subject to some specified path constraints. The conditions are relaxed to allow for jumps in the adjoint variables at the junction points, provided a certain convexity hypothesis is satisfied for the constraint set at these points.This research was partially supported at Stanford University by the Office of Naval Research, Contract No. N-00014-67-A-0112-0011, by the National Science Foundation, Grant No. GP-31393, and by the US Atomic Energy Commission, Contract No. AT(04-3)-326-PA-18. It was also supported by the Department of Economics at Rice University.     

Sufficient quadratic conditions of extremum for discontinuous controls in optimal control problems with mixed constraints

We derive second-order sufficient optimality conditions for discontinuous controls in optimal control problems of ordinary differential equations with initial-final state constraints and mixed state-control constraints of equality and inequality type. Under the assumption that the gradients with respect to the control of active mixed constraints are linearly independent, the sufficient conditions imply a bounded strong minimum in the problem.     

Sufficient conditions for bang-bang control in Hilbert space

Sufficient conditions for bang-bang and singular optimal control are established in the case of linear operator equations with cost functionals which are the sum of linear and quadratic terms, that is,Ax=u,J(u)=(r,x)+(x,x), >0. For example, ifA is a bounded operator with a bounded inverse from a Hilbert spaceH into itself and the control setU is the unit ball inH, then an optimal control is bang-bang (has norm l) if 0<1/2;A ^–1*r·A ^–1–2, but is singular (an interior point ofU) if >1/2A ^–1*r·A².This work was supported by NRC Grant No. A-4047 and NSF Grant No. GP-7445.     

Sufficient optimality conditions for multidimensional optimal control problems with mixed constraints governed by an elliptic PDE

In this article, the idea of a dual dynamic programming is applied to the optimal control problems with multiple integrals governed by a semi-linear elliptic PDE and mixed state-control constraints. The main result called a verification theorem provides the new sufficient conditions for optimality in terms of a solution to the dual equation of a multidimensional dynamic programming. The optimality conditions are also obtained by using the concept of an optimal dual feedback control. Besides seeking the exact minimizers of problems considered some kind of an approximation is given and the sufficient conditions for an approximated optimal pair are derived.     

Sufficient second-order optimality conditions for convex control constraints

In this article sufficient optimality conditions are established for optimal control problems with pointwise convex control constraints. Here, the control is a function with values in Rn. The constraint is of the form u(x)∈U(x), where U is a set-valued mapping that is assumed to be measurable with convex and closed images. The second-order condition requires coercivity of the Lagrange function on a suitable subspace, which excludes strongly active constraints, together with first-order necessary conditions. It ensures local optimality of a reference function in an L^∞-neighborhood. The analysis is done for a model problem namely the optimal distributed control of the instationary Navier-Stokes equations.     

Sufficient optimality conditions and duality theory for interval optimization problem

This paper addresses the duality theory of a nonlinear optimization model whose objective function and constraints are interval valued functions. Sufficient optimality conditions are obtained for the existence of an efficient solution. Three type dual problems are introduced. Relations between the primal and different dual problems are derived. These theoretical developments are illustrated through numerical example.     

Sufficient conditions for time optimal heating of rigid bodies by internal heat sources

We derive sufficient conditions for the time optimality of the control of heating of rigid bodies by internal heat sources under constraints on phase coordinates. We numerically solve the optimal-control problem in the case of heating of an unbounded plats with constraints on temperature and thermoelastic stresses.Translated from Matematicheskie Metody i Fiziko-Mekhanicheskie Polya, No. 25, pp. 56–60, 1987.     

Sufficient optimality conditions for nonconvex control problems with state constraints

The sufficient optimality conditions of Zeidan for optimal control problems (Refs. 1 and 2) are generalized such that they are applicable to problems with pure state-variable inequality constraints. We derive conditions which neither assume the concavity of the Hamiltonian nor the quasiconcavity of the constraints. Global as well as local optimality conditions are presented.     

Mathematical theory of optimal control

Papers on optimal, control theory, reviewed in Referativnyi Zhurnal Matematika during 1971–1975, are surveyed.Translated from Itogi Nauki i Tekhniki, Seriya Matematicheskii Analiz, Vol. 16, pp. 55–97, 1979.We express our deep gratitude to V. V. Al'sevich, I. K. Asmykovich, and T. B. Kopeikinaya, who made available to us a bibliography of papers on several sections, and to T. N. Antonovich, who proved to be of great help to us while working on the survey.     

Sufficient conditions for a control to be a strong minimum

The control literature either presents sufficient conditions for global optimality (for example, the Hamilton-Jacobi-Bellman theorem) or, if concerned with local optimality, restricts attention to comparison controls which are local in theL -sense. In this paper, use is made of an exact expression for the change in cost due to a change in control, a natural extension of a result due to Weierstrass, to obtain sufficient conditions for a control to be a strong minimum (in the sense that comparison controls are merely required to be close in theL ₁-sense).