Vibrational stabilization and the Brockett problem

The present paper deals with the exposition of methods for solving the Brockett problem on the stabilization of linear control systems by a nonstationary feedback. The paper consists of two parts. We consider continuous linear control systems in the first part and discrete systems in the second part. In the first part, we consider two approaches to the solution of the Brockett problem. The first approach permits one to obtain low-frequency stabilization, and the second part deals with high-frequency stabilization. Both approaches permit one to derive necessary and sufficient stabilization conditions for two-dimensional (and three-dimensional, for the first approach) linear systems with scalar inputs and outputs. In the second part, we consider an analog of the Brockett problem for discrete linear control systems. Sufficient conditions for low-frequency stabilization of linear discrete systems are obtained with the use of a piecewise constant periodic feedback with sufficiently large period. We obtain necessary and sufficient conditions for the stabilization of two-dimensional discrete systems. In the second part, we also consider the control problem for the spectrum (the pole assignment problem) of the monodromy matrix for discrete systems with a periodic feedback.     

Multiobjective Control Approximation Problems: Duality and Optimality

A general convex multiobjective control approximation problem is considered with respect to duality. The single objectives contain linear functionals and powers of norms as parts, measuring the distance between linear mappings of the control variable and the state variables. Moreover, linear inequality constraints are included. A dual problem is established, and weak and strong duality properties as well as necessary and sufficient optimality conditions are derived. Point-objective location problems and linear vector optimization problems turn out to be special cases of the problem investigated. Therefore, well-known duality results for linear vector optimization are obtained as special cases.     

随机线性系统保成本控制的线性矩阵不等式方法

考虑具有二次成本函数的随机线性系统,研究了状态反馈控制的保证成本控制问题.依据线性矩阵不等式得到了保证成本控制器存在的充分条件,最后得到了随机线性闭环系统保证成本最小的最优保证成本控制律的表达式.     

Transversality condition for infinite-horizon problems

We present necessary conditions of optimality for an infinitehorizon optimal control problem. The transversality condition is derived with the help of stability theory and is formulated in terms of the Lyapunov exponents of solutions to the adjoint equation. A problem without an exponential factor in the integral functional is considered. Necessary and sufficient conditions of optimality are proved for linear quadratic problems with conelike control constraints.     

Global optimization of polynomial-expressed nonlinear optimal control problems with semidefinite programming relaxation

In this paper, we propose a new deterministic global optimization method for solving nonlinear optimal control problems in which the constraint conditions of differential equations and the performance index are expressed as polynomials of the state and control functions. The nonlinear optimal control problem is transformed into a relaxed optimal control problem with linear constraint conditions of differential equations, a linear performance index, and a matrix inequality condition with semidefinite programming relaxation. In the process of introducing the relaxed optimal control problem, we discuss the duality theory of optimal control problems, polynomial expression of the approximated value function, and sum-of-squares representation of a non-negative polynomial. By solving the relaxed optimal control problem, we can obtain the approximated global optimal solutions of the control and state functions based on the degree of relaxation. Finally, the proposed global optimization method is explained, and its efficacy is proved using an example of its application.     

A control problem under incomplete information for a linear stochastic differential equation

A problem of guaranteed closed-loop control under incomplete information is considered for a linear stochastic differential equation (SDE) from the viewpoint of the method of open-loop control packages worked out earlier for the guidance of a linear control system of ordinary differential equations (ODEs) to a convex target set. The problem consists in designing a deterministic open-loop control providing (irrespective of a realized initial state from a given finite set) prescribed properties of the solution (being a random process) at a terminal point in time. It is assumed that a linear signal on some number of realizations is observed. By the equations of the method of moments, the problem for the SDE is reduced to an equivalent problem for systems of ODEs describing the mathematical expectation and covariance matrix of the original process. Solvability conditions for the problems in question are written.     

A time-domain decomposition iterative method for the solution of distributed linear quadratic optimal control problems

We study a class of time-domain decomposition-based methods for the numerical solution of large-scale linear quadratic optimal control problems. Our methods are based on a multiple shooting reformulation of the linear quadratic optimal control problem as a discrete-time optimal control (DTOC) problem. The optimality conditions for this DTOC problem lead to a linear block tridiagonal system. The diagonal blocks are invertible and are related to the original linear quadratic optimal control problem restricted to smaller time-subintervals. This motivates the application of block Gauss–Seidel (GS)-type methods for the solution of the block tridiagonal systems. Numerical experiments show that the spectral radii of the block GS iteration matrices are larger than one for typical applications, but that the eigenvalues of the iteration matrices decay to zero fast. Hence, while the GS method is not expected to convergence for typical applications, it can be effective as a preconditioner for Krylov-subspace methods. This is confirmed by our numerical tests.A byproduct of this research is the insight that certain instantaneous control techniques can be viewed as the application of one step of the forward block GS method applied to the DTOC optimality system.     

Method for Constructing Piecewise Quadratic Value Functions in a Control Problem for a Switched System

The problem of constructing internal approximations to solvability sets and the control synthesis problem for a piecewise linear system with control parameters and disturbances (uncertainties) are solved. The solution is based on the comparison principle and piecewise quadratic value functions of a special form. Relations defining such functions and, in particular, “continuous binding conditions” for the functions and their first derivatives are obtained. The results are used to construct numerical methods for solving the control synthesis problem for the class of switched systems under study. An example of approximate solution of the control synthesis problem in a target control problem for a nonlinear mathematical model of a pendulum with a flywheel is considered.     

Control over linear pulse systems

Rank conditions for control of linear pulse systems are established. The Pontryagin maximum principle is obtained in sufficient form. An example of control synthesis in a problem for linear pulse systems is given.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 3, pp. 307–314, March, 1995.     

Optimization of Mayer Problem with Sturm–Liouville-Type Differential Inclusions

The present paper studies a new class of problems of optimal control theory with Sturm–Liouville-type differential inclusions involving second-order linear self-adjoint differential operators. Our main goal is to derive the optimality conditions of Mayer problem for differential inclusions with initial point constraints. By using the discretization method guaranteeing transition to continuous problem, the discrete and discrete-approximation inclusions are investigated. Necessary and sufficient conditions, containing both the Euler–Lagrange and Hamiltonian-type inclusions and “transversality” conditions are derived. The idea for obtaining optimality conditions of Mayer problem is based on applying locally adjoint mappings. This approach provides several important equivalence results concerning locally adjoint mappings to Sturm–Liouville-type set-valued mappings. The result strengthens and generalizes to the problem with a second-order non-self-adjoint differential operator; a suitable choice of coefficients then transforms this operator to the desired Sturm–Liouville-type problem. In particular, if a positive-valued, scalar function specific to Sturm–Liouville differential inclusions is identically equal to one, we have immediately the optimality conditions for the second-order discrete and differential inclusions. Furthermore, practical applications of these results are demonstrated by optimization of some “linear” optimal control problems for which the Weierstrass–Pontryagin maximum condition is obtained.     

Controlling linear functional differential equation

Necessary conditions for the optimal control of a linear system of neutral type functional differential equations are obtained. We show that a success in reducing the initial problem to the problem of solvability of a certain boundary value problem is, in principle, a question of one's ability to construct adjoint operators to the operators appearing in the initial control problem.     

Control of functional differential system in conditions of impulse disturbances

We consider the control problem for a linear functional differential system with time delay in a general form. The purpose of controlling is prescribed with the use of a finite set of linear functionals. The number of these functionals is independent of the dimension of the system. The system is subject to impulse disturbances which result in trajectory jumps with unknown previously time moments and values. To solve the control problem, we construct a control that contains both programand jumps-positional components. We establish solvability conditions for the stated control problem.     

基于函数值的线性有理插值样条的区域控制

将插值曲线约束于给定的区域之内是插值与逼近的一个重要内容.本文讨论了一种带形状参数的线性有理插值样条的区域控制问题.给出将插值曲线约束于给定的折线及抛物线之上、之下或之间的条件.数值实例表明本文给出的条件在曲线设计中是有效的.     

Tracking control for switched time-varying delays systems with stabilizable and unstabilizable subsystems

We investigate the tracking control problem for switched linear time-varying delays systems with stabilizable and unstabilizable subsystems. Sufficient conditions for the solvability of the tracking control problem are developed. The tracking control problem of a switched time-varying delays system with stabilizable and unstabilizable subsystems is solvable if the stabilizable and unstabilizable subsystems satisfy certain conditions and admissible switching law among them. Average dwell time approach and piecewise Lyapunov functional methods are utilized to the stability analysis and controller design. By introducing the integral controllers and free weighting matrix scheme, some restricted assumptions imposing on the switched systems are avoided. A simulation example shows the effectiveness of the proposed method.     

Approximation of relaxed nonlinear parabolic optimal control problems

We consider a relaxed optimal control problem for systems defined by nonlinear parabolic partial differential equations with distributed control. The problem is completely discretized by using a finite-element approximation scheme with piecewise linear states and piecewise constant controls. Existence of optimal controls and necessary conditions for optimality are derived for both the continuous and the discrete problem. We then prove that accumulation points of sequences of discrete optimal [resp. extremal] controls are optimal [resp. extremal] for the continuous problem.     

On the problem of output feedback control synthesis under uncertainty and finite-time observers

We consider the problem of controlling a linear system of ordinary differential equations with a linear observable output. The system contains uncertain items (disturbances), for which we know only “hard” pointwise constraints. The problem of synthesizing a control that brings the trajectories of the system into a given target set in finite time is solved under weakened conditions without assuming that the control and the disturbance are of the same type. To this end, we suggest an approach that amounts to constructing an information set and a weakly invariant set with subsequent “aiming” of the first set at the second. Both stages are carried out in a finite-dimensional space, which permits one to use an efficient algorithm for solving the synthesis problem approximately on the basis of the ellipsoidal calculus technique. The results are illustrated by an example in which the control of a linear oscillation system is constructed.     

Optimal control of time delay parabolic systems

Various optimal control problems for linear parabolic systems with multiple constant time delays are considered. Necessary and sufficient conditions of optimality are derived for the Neumann problem. The optimal control is obtained in the feedback formMaking use of the results of Schwartz's, the representation of the optimal feedback control is given. A simple example of application is also provided     

Optimal control of distributed parabolic systems with multiple time delays given in the integral form

Various optimal control problems for linear parabolic systemswith multiple time delays given in the integral form are considered.Necessary and sufficient conditions of optimality are derivedfor the Neumann problem. The optimal control is obtained inthe feedback form. Making use of the results of Schwartz, therepresentation of the optimal feedback control is given. A simpleexample of application is also provided.     

具有年龄结构的线性周期种群动力系统的最优收获控制问题

研究一类具有年龄结构的线性周期种群动力系统的最优收获控制问题,即讨论了具有周期的生死率和周期变化的收获项的Lotka Mckendrick模型.利用Mazur's定理,作者证明了控制问题最优解的存在性,同时借助于法锥概念,还得到了控制问题最优解存在的必要条件。最后，在适当的假设下，得到了最优控制问题的唯一解。该文的结论推广了某些已有的结果. 