Научная статья на тему 'ON RESOLUTION OF AN EXTREMUM NORM PROBLEM FOR THE TERMINAL STATE OF A LINEAR SYSTEM'

ON RESOLUTION OF AN EXTREMUM NORM PROBLEM FOR THE TERMINAL STATE OF A LINEAR SYSTEM Текст научной статьи по специальности «Математика»

CC BY
27
6
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЛИНЕЙНАЯ СИСТЕМА УПРАВЛЕНИЯ / ЗАДАЧИ НА ЭКСТРЕМУМ НОРМЫ КОНЕЧНОГО СОСТОЯНИЯ / КУСОЧНО-ЛИНЕЙНАЯ АППРОКСИМАЦИЯ / КОНЕЧНОМЕРНЫЕ ЗАДАЧИ / LINEAR CONTROL SYSTEM / EXTREMUM NORM PROBLEMS FOR THE TERMINAL STATE / PIECEWISE LINEAR APPROXIMATION / FINITE-DIMENSIONAL PROBLEMS

Аннотация научной статьи по математике, автор научной работы — Srochko Vladimir, Aksenyushkina Elena

We study extremum norm problems for the terminal state of a linear dynamical system using methods of parameterization of admissible controls.Piecewise continuous controls are approximated in the class of piecewise linear functions on a uniform grid of nodes of the time interval by linear combinations of special support functions. In this case, the restriction of a control of the original problem to the interval induces the same restrictions for the variables of the finite-dimensional problems. The finite-dimensional version of a minimum norm problem can effectively be resolved with the help of modern convex optimization programs. In the case of two variables, we propose an analytical method of resolution that uses a one-dimensional minimizationproblem for a parabola over a segment.For a non-convex norm maximization problem, the finite-dimensional version is resolved globally by exhaustive search over the vertices of a hypercube. The proposed approach provides further insights into global resolution of non-convex optimal control problems and is exemplified by some illustrative problems.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «ON RESOLUTION OF AN EXTREMUM NORM PROBLEM FOR THE TERMINAL STATE OF A LINEAR SYSTEM»

ДИНАМИЧЕСКИЕ СИСТЕМЫ И ОПТИМАЛЬНОЕ

УПРАВЛЕНИЕ

DYNAMIC SYSTEMS AND OPTIMAL CONTROL

Онлайн-доступ к журналу: http: / / mathizv.isu.ru

Серия «Математика»

2020. Т. 34. С. 3-17

УДК 517.977 MSC 49J15, 49M25

DOI https://doi.org/10.26516/1997-7670.2020.34.3

On Resolution of an Extremum Norm Problem for the Terminal State of a Linear System

V. A. Srochko1, E.V. Aksenyushkina2

1 Irkutsk State University, Irkutsk, Russian Federation

2 Baikal State University, Irkutsk, Russian Federation

Abstract. We study extremum norm problems for the terminal state of a linear dynamical system using methods of parameterization of admissible controls.

Piecewise continuous controls are approximated in the class of piecewise linear functions on a uniform grid of nodes of the time interval by linear combinations of special support functions. In this case, the restriction of a control of the original problem to the interval induces the same restrictions for the variables of the finite-dimensional problems.

The finite-dimensional version of a minimum norm problem can effectively be resolved with the help of modern convex optimization programs. In the case of two variables, we propose an analytical method of resolution that uses a one-dimensional minimization problem for a parabola over a segment.

For a non-convex norm maximization problem, the finite-dimensional version is resolved globally by exhaustive search over the vertices of a hypercube. The proposed approach provides further insights into global resolution of non-convex optimal control problems and is exemplified by some illustrative problems.

Keywords: linear control system, extremum norm problems for the terminal state, piecewise linear approximation, finite-dimensional problems.

1. Introduction

Extremum norm problems for the terminal state of a linear control system have a long history. On the other hand, they are still actively investigated in view of their scientific relevance and interest.

There are several effective methods of resolution of a minimum norm problem which are due to its convex structure. These methods are based on nonlocal improvements using the matrix conjugate system [1; 5; 10].

A maximum norm problem for the terminal state is multi-extremal, which renders its global resolution essentially more difficult. The existing methods are focused on improving extreme controls and are based on global optimality conditions [2; 7; 8]. Since numerical verification of global optimality conditions is still problematic, these methods provide usually weakened and incomplete versions of optimality criteria. In this sense, the global resolution of the problem is, in general, not fully methodological and as such contains heuristic elements. In other words, a maximum norm problem is still open for further research.

In the present paper, extremum norm problems for the terminal state of a linear system are considered in the framework of the control function parameterization technique [4; 6; 11]. In this case, the approximation is done in the class of piecewise linear functions on a given grid of nods of the time interval, so that the optimal control problem is transformed to a finite-dimensional version of extremum problem for a quadratic function over a hypercube.

The resulting problem can be solved in a finite number of iterations [9]. In order to simplify the resolution procedure, we propose an iteration-free algorithm for the two-dimensional problem (minimum of a paraboloid over a square) that uses a geometric interpretation.

The global resolution of the finite-dimensional maximum problem is elementary implemented through a complete or specialized exhaustive search over the given set of hypercube vertices. Therefore, in the framework of the presented approach, the original nonconvex problem is approximated by a similar finite-dimensional problem of the given dimension. The guaranteed global resolution of the later is done by an acceptable finite exhaustive search.

Our resolution technique is tested on two illustrative problems.

2. Statement of the problem. Parametrization of the control

Introduce the following variables: t € [t0,T], the time, u(t) € R, the control, and x(t) € Rn, the state, satisfying the linear system

x = A(t)x + b(t)u, x(to) = x0, (2.1)

where A(t) € Rnxn, b(t) € Rn are continuous functions on [t0,T].

The set V of admissible controls contains piecewise continuous functions u(t) with the standard constraint

u(t) € [u- ,u+], t € [to,T]. (2.2)

We define on the set V the terminal functional (the norm of the terminal

state)

$(■u) = l-(x{T),x{T)) (2.3)

and consider the corresponding extremum problems (maximum and minimum).

Transform these variational problems into finite-dimensional problems using simple parametrizations of admissible controls.

We present the first parametrization scheme in the class of piecewise constant functions. Introduce on the interval [t0,T] a uniform network Ai of nods ti = to + ih, i = 0, m with the mesh h =

Set Tj = (tj-i,tj], j = l,m and define the characteristic functions

x-(t) = I t € Tj'

(t) t € Tj.

Let y = (y1,..., ym) be a collection of parameters. Construct the controls

m

u(t,y) = £ yjXj(t), t € [to, T] j=i

and introduce the subset of admissible controls

Vi = {u(-,y) : yj € [u-,u+], j = l,m}.

Let x(t,y), t € [to,T] be a solution of the phase system (2.1) corresponding to the control u(t, y). Then,

m

x(t,y) = x(t, 0) + Y, yj(t), t € [to,T], (2.4)

j=i

where xj (t) is a solution of the phase Cauchy problem

x = A(t)x + b(t)xj (t), x(t0) = 0.

Consider the functional $(u) on the set of controls V1. Using the representation (2.4) we obtain the formula

^1(y) = m + (d,y) + \(Xy,Xy),

where

d is the m-vector with entries (x(T, 0),x^(T)), j = 1 , m, X is the (n x m) - matrix with columns x^(T), j = 1, m. Now, we describe the second parametrization scheme in the class of piecewise linear functions. Introduce on [t0,T] a uniform network A2 of nods ti =

= to + ih, i = 0, m + 1 with the mesh h = -^rrf • Denote the intervals

T0 — [t0^1Tj — [ij-i,ij+1], j — l,m, Tm+1 — [tm,tm+1]

and define the following support functions on [t0,T]

V0(t) —\ 0, t € To, Vm+1 (t) —\ 0, t € Tm+i,

f fct-tj-i), iefo-i,^-], _

^iW = S ¿fo+i -*)> i G [^i> A?+i] > j = hm. I 0, t € Tj,

The values at the nods are given by

= { ^ h3 =0,m + l.

Let z — (z0,...,zm+1) be a collection of parameters. Construct the controls

m+1

u(t,z) — ZjVi(t), t € [t0,T]. j=0

They are continuous, piecewise linear functions with the nodes U and the values u(ti, z) = Zi, i = 0, m + 1. In other words, the control u(t, z) is the linear spline on the network A2 corresponding to the values {z0,..., zm+1}. Introduce the subset of admissible controls

У2 = {«(•, z) : Zj € [u-,u+], j = 0, m + 1}.

Let x(t, z), t € [to, T] be a phase trajectory corresponding to the control u(t, z). We have

m+1

x(t,z) = x(t, 0) + ^ ZjXj(t), t € [to, T], (2.5)

j=o

where Xj (t) is a solution of the Cauchy problem

X = A(t)x + b(t)^j (t), x(to) = 0.

Consider the functional $(u) on the set of controls V2. Using the representation (2.5), we obtain the formula

<S>2(z) = <S>(0) + {d,z} + ^{Xz,Xz),

where

d € Rm+2 is the vector with entries (x(T, 0), xJ(T)}, j = 0, m + 1, X € Rnx(m+2) is the matrix with columns xj(T), j = 0, m + 1. We note that the quadratic functions $1(y), $2(z) are convex. This allows us to qualify the corresponding extreme problems on simple sets: z, y € [u_, u+].

3. A minimum norm problem for the terminal state

Consider the problem

$(u) = ^(x(T,u),x(T,u)) ->■ min, ueV. (3.1)

After the first parameterization, we obtain the special convex programming problem with respect to the vector y = (y1, ... , ym)

$i(y) = $(0) + <d,y)+

+^{Xy,Xy) ->• min, y € [u-,u+]. (3.2)

Such a quadratic problem can be solved in a finite number of iterations [9].

Consider some special cases of the problem (3.2) with respect to the dimension m, which are solved without an iterative process using explicit formulas.

Let m = 1, i.e. the problem (3.1) is solved on the set of const-controls u(t) = yi, t € [to,T]. The corresponding one-dimensional problem (3.2) has the form (minimum of a convex parabola over an interval)

$i(yi) = $(0)+ yi(x(T, 0), x1 (T)) +

+^yi(xl(T),xl(T)) min, yi € [u-,u+]. Assuming that xi(T) = 0 define the stationary point

<x(T, 0),xi(T))

y1

(xi(T),xi(T)) * Then the solution of the one-dimensional problem is obvious:

yt, yt € [u_ ,u+],

yTm = { u_, yt <u_, ^ yt > u+.

Next, let m = 2, i.e. the problem (3.1) is solved on the set of controls

«М-/ t e [to u(t) i У2, t e (ti,T],

with the fixed switching point t\ = ^f--

The corresponding two-dimensional problem (3.2) is:

to minimize the function of two variables Ф1(у1,у2) over the square

Y = {(yi, У2) : Уг e [u_,u+], i = 1, 2}.

Suppose that the matrix X e Rnx2 is full rank, i.e. the Gram matrix XTX is positive definite. Then, the unique stationary point y* — (y*,y*) of the function Ф1(у) is determined from the linear system

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

V$i(y) = d + XT Xy = 0.

This is a minimum point of the function Ф1(у) on R2. In this case, the level curves of the function Ф1(у) are ellipses centered at the point y*.

Next, we solve analytically the minimization problem for the paraboloid Ф1(у) over the square Y, using the information on the location of the point y* and the geometric interpretation of the problem based on the level curves of the objective function.

If y* e Y, then we obtain the solution of the two-dimensional minimization problem: ymm = y*.

We consider the general case y* e Y. Possible situations when the constraint is violated for one variable:

1) y* < u_, y* e [«_ ,«+] ^ solve the one-dimensional problem

Ф1(«-,У2) ^ min, У2 e [u_,u+] ^ y_, set ymin = u_, y™m = У_;

2) y* > u+, y* e [u_ ,«+] ^ solve the one-dimensional problem

Ф1(«+,У2) ^ min, У2 e [u_,u+] ^ y+, set ymin = u+ y™m = У+;

3) y* e [u_,u+], y* < u_ ^ solve the one-dimensional problem

Ф1(у1,и_) ^ min, y1 e [u_,u+] ^ y_, set ymin = y_, y™m = u_;

4) y* e [u_,u+], y* > u+ ^ solve the one-dimensional problem

Ф1 (У1,u+) ^ min, У1 e [u_,u+] ^ y+,

set ymm = У+, ymin = u+ • Possible situations when the constraint is violated for two variables y1*, y2* :

5) y| < u_, y| < u_ ^ solve two one-dimensional problems

$i(u_,y2) ^ min, y2 € [u_,u+] ^ y-, $i(yi,u_) ^ min, yi € [u_,u+] ^ y_,

set

(ymm ymin) i (u_,y_), $i(u_ ,y_) < $ 1(y_,u-), (yi ,y2 ) 1 (y -,u_), $ i(u_,y_) > $ i(y_,u_),

6) y I > u+, y| > u+ ^ solve two one-dimensional problems

$ i(u+,y2) ^ min, y2 € [u_,u+] ^ y+, $ i(yi,u+) ^ min, y i € [u_,u+] ^ y+,

set

(ymin,ymin) — ^ ,„+

(u+,y+), $ i(u+ ,y+) < $ l(y+,u+), (y+,u+), $ i(u+ ,y+) > $ i(y+,u+),

7) y | < u_, yJ > u+ ^ solve two one-dimensional problems

$ i(u_,y2) ^ min, y2 € [u_,u+] ^ y-, $ i(yi,u+) ^ min, y i € [u_,u+] ^ y+,

set

(ymm ymin) i (u_,y_^ $ 1(u_ ,y_) < $ 1(y+,u+), (yi ,y2 ) l(y+,u+), $ i(u_,y_) > $ i(y+,u+),

8) y J > u+, yJ < u_ ^ solve two one-dimensional problems

$ i(u+,y2) ^ min, y2 € [u_,u+] ^ y+, $ i(y i,u_) ^ min, y i € [u_,u+] ^ y_,

set

/min min\ _

(y1 ,y2 ) —

(u+,y+), $ i(u+ ,y+) < $ i(y_,u_),

(y-,u_^ $ i(u+ ,y+) > $ i(y_,u_^

This procedure provides an exact solution of a two-dimensional minimum problem avoiding the use of iterative algorithms.

Remark 1. The finite-dimensional problem after the second parameterization is solved similarly. In this case, the two-dimensional problem corresponds to the case when m = 0 with the variables z0, z1.

4. A maximum norm problem for the terminal state

Consider a norm maximization problem typical in nonconvex optimization. After the first parameterization, the problem can be stated as follows:

<^(y) ^ max, y € Y. (4.1)

Here,

<p(y) = {d,y) + ±{Xy,Xy),

y = {y = (yi,-,Vm) ■ yi£[u-,u+], i = 1, m}.

Suppose that the matrix X € Rnxm has maximal rank, i.e. <^(y) is a strictly convex function.

Consider the set of corner points of the hypercube Y (2m vertices)

Y* = {y € Y : yi = U- V -u+, i = 1, m}.

We will use the following known result: if yo is a global solution of the problem(4.1), then y0 € Yt.

State the problem on the set of corner points

^>(y) ^ max, y € Yt. (4.2)

According to the previous statement, the problems (4.1) and (4.2) are equaivalent.

The resolution of the problem (4.2) in the simplest case is implemented by the complete exhaustive search of 2m corner points and corresponding values of the function If this procedure is not admissible in view of computational costs, then one can apply an exhaustive search of corner points with a monotone increase of the values of <^(y). The conditional gradient method on the set Yt is particulary suitable in this case. We describe now an iteration of the method.

Let yk € Y<. Then,

yfc+i = argmax(v^(yfc ),y) ^

yeY.

= argmax (xjiLp(yk),yi), i = l,m.

yi=u-Vu+

Hence, for i = 1, m

f u-, Vi^(yfc) < 0, yk+1 = \ u+, Vi^(yfc) > 0, [ u- V u+, vMyfc) = 0.

It is clear that

yk+1 e Y, <w(yfc),yk+1 - }> 0.

If yk+i = yk, then the function ^ is strictly increasing:

<^(yk+i) - ^(yfc) > <w(yk), yk+i - yk)•

Let V»^(yfc) = 0 for some index i € {1, ...,m}. Then, yk+i = u_ V u+, i.e. one can always guarantee the condition yk+i = yk, which implies the increasing property: ^>(yk+i) > ^>(yk)•

Therefore, the stopping condition of the iterative search is the equality yk+i _ yk^ which implies that X/i<*p(yk) /0, i = l,m.

We indicate one version for testing a point yk for optimality in the case when the improvement method stops: yk+i = yk. Check if the values of the function if at the corner points ykj, j = 1, m adjacent to yk have increased as compared to ^>(yk).

If at some point the function ^ has increased, then the corresponding vertex yk'j is selected as the initial approximation for the next iteration cycle of the conditional gradient method. Otherwise, the vertex yk ia a local maximum of the problem (4.2).

We note that the adjacent corner point yfcj is obtained from yk by switching j-th coordinate yk between two values u_, u+ : if yk = u_(u+), then yk'j = u+(u_).

Remark 2. The maximum norm problem in the framework of second parametrization with the vector of variables z = = (zo, ...,zm+ i) and the objective function

$2(2) = H0) + {d,z) + ^{Xz,Xz)

is solved similarly.

5. Illustrative problems

Example 1. Optimal energy control of the harmonic oscillator [3]: xi= x2, x2 = — xi + u, xi(0) = —1, x2(0) = 1; |u(t)| < 1, t € [0,n];

Hu) = ^(xj(7T) + X l(7T)).

We give formulas for solving the phase system

x i(t, u) = sint — cost + / sin(t — T)u(t)dr,

o

x2(t, u) = sint + cost + / cos(t — T)u(t)dr.

o

Implement the first parameterization for m = 2, y = (yi,y2), ii = §• After simple calculations we obtain

$(0)=1, X= ( —11O,d=(0

$i(y) = 1 + 2yi + y2 + y^

The variables yi, y2 in the expression for $i(y) are separated, i.e. the problems $i(y) ^ x, | y | < 1 are solved elementary.

The first problem $i(y) ^ min, |y| < 1 has a unique solution ymm = — 1, ymin = 0, and $i(ymin) = 0. Hence, the control

u • (t)-/"1'

is optimal for the original problem

$(u) ^ min, u € V.

The second problem $i(y) ^ max, |y| < 1 has two solutions y^"® = = 1, y2max = ±1, and $i(ymax) = 5. The corresponding controls are

Umax (t) = 1, t € [0,n],

^max(t) — 2

1, i€[0,§], -1, i € (f ,tt].

It is worth noting that the optimal control in the problem $(u) ^ max, u € V

r 1,

Uopt{t) - | t e (^)7r])

with the values ^(Uopt) = 3 + 2\/2 ~ 5, 82 is known.

This control is derived in [2; 8] as a result of a non-trivial numerical implementation based on the global maximum condition. The controls umax (t) constructed analytically have simple structure and provide a good approximation to the optimal value of the functional (with the deviation 14%). In this case, the exact optimal control is obtained from the parameterization procedure for m = 4 by the exhaustive search of 24 corner points.

Example 2. The extremum norm problem for the terminal state for the two-stage system

xi = x2, x2 = u, xi(0) = x°, x2(0) = x2;

|u(t)| < 1, t € [0,T]; Hu) = \{xl{T)+xl{T)).

The terminal state of a phase trajectory x(t, u) is given by the formulas

f T

xi (T,u)= x? + x^T + / (T - t)u(t)dt,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Jo

f T

x2(T,u) = x2 + / u(t)dt.

o

For approximate resolution of the problem $(u) ^ min with the numerical data T = 2, x? = 2, x2 = —1 we apply both parameterization procedures.

Implement the first parametrization for m = 2. In this case,

The stationary point of the paraboloid $ i(y) is defined from the linear

system

d + XT Xy = 0,

which takes the form

13y i + 7y2 = 4, 7y i + 5y2 = 4

with the solution y\ = — y| =

The point y| = | violates the constraint |y2| < 1. Hence, in accordance with the resolution scheme from Section 3 we assume that y+ = 1 and solve the first equation

3

13yi + 7y+ = 4 ^ = -13-

Consequently, the minimum point is

3

„mm _ " „mm _ -i

Vi — y2 - x>

with the corresponding control

v(f vin.in\ _ J -13, i € [0,1], u(t,y ) =\ 1, t € (1,2],

and the value of the functional $i(ymm) =

Next, consider the second parametrization in the class of linear controls when m = 0. In this case,

z = (zo,Z1), u(t,z) = zo^o(t) + zi^i(t), t € [0, 2],

^o(i) = |(2-i), Mt) = \t. In the corresponding formula for the functional

$2(z) =Ф(0 ) + (d,z) + ^(Xz,Xz)

we have

d={-\)' *=(! f

Therefore, we arrive at the linear system for determining the stationary point

25zo + 17zi = 9, 17zo + 13zi = 9.

The solution: zQ = -1, zQ =2. The point zQ =2 violates the constraint

|z1| < 1. Hence, we assume that z+ = 1 and solve the first equation:

g

25z0 + 17z+ = 9 z+ = - — .

Finally, we obtain the minimum point

g

^mira _ 8 ^mira _ -i

-"25' -1'

with the corresponding control

33 8

u{tiZrmn) = _t__ fe[0>2]

and the value of the functional Ф2(гтт) = jg.

Comparing two parametrizations by the values of the functional, we conclude that the first parametrization is better than the second one:

12 ф (ушгп\ = _ < ф ( r»j = __

ivy 26 v ' 25

For the maximum norm problem (Ф(и) ^ max, u € V) the optimal control is known [8]:

Uopt(t) = -1, t € [0, 2].

In the framework of the considered parameterizations, it is obtained by the exhaustive search over four vertices of the square which leads to the optimal result:

„max _ „max _ -i „max _ „mai _ -i

y1 = y2 = —1, zo = z1 = —1-

6. Conclusion

Extremum norm problems for the terminal state of a linear system are considered over the set of piecewise constant or piecewise linear controls on a given grid of approximation nodes. The corresponding finite-dimensional minimum problem is convex and is efficiently resolved by standard quadratic programming algorithms. The specific character of the nonconvex maximum problem allows to obtain a global solution by means of finite exhaustive search over the collection of corner points of an admissible set.

References

1. Arguchintsev A.V., Dykhta V. A., Srochko V. A. Optimal control: nonlocal conditions, computational methods, and the variational principle of maximum. Russian Mathematics, 2009, vol. 53, no. 1, pp. 1-35.

2. Antonik V. G., Srochko V. A. Method for nonlocal improvement of extreme controls in the maximization of the terminal state norm. Computational Mathematics and Mathematical Physics, 2009, vol. 49, no. 5, pp. 762-775.

3. Galyaev A. A., Lysenko P. V. Energy-optimal control of harmonic oscillator. Automation and Remote Control, 2019, vol. 80, pp. 16-29. htts: //doi.org/10.1134/S0005231019010021

4. Gorbunov V. K. The reduction of optimal control problems for finite-dimensional. Computational Mathematics and Mathematical Physics, 1978, vol. 18, no. 5, pp. 1083-1095.

5. Srochko V.A. Iterative methods for solving optimal control problems. Moscow, Fizmatlit Publ., 2000. 160 p. (in Russian)

6. Srochko V.A., Aksenyushkina E.V. Parameterization of Some Control Problems by Linear Systems. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 30, pp. 83-98. htts://doi.org/10.26516/1997-7670.2019.30.83 (in Russian)

7. Strekalovsky A. S. Elements of nonconvex optimization. Novosibirsk, NaukaPubl., 2003. 356 p. (in Russian)

8. Strekalovsky A. S., Sharankhaeva E. V. Global search in a nonconvex optimal control problem. Computational Mathematics and Mathematical Physics, 2005, vol. 45, no. 10, pp. 1719-1734.

9. Sukharev A. G., Timokhov A. V., Fedorov V. V Course of optimization methods. Moscow, Nauka Publ., 1986. 328 p. (in Russian)

10. Tyatyushkin A. I. Multi-method technology for optimization of control systems. Novosibirsk, Nauka Publ., 2006. 343 p. (in Russian)

11. Chernov A.V. On application of Gaussian functions for numerical solution of optimal control problems. Automation and Remote Control, 2019, vol. 80, pp. 1026-1040. htts://doi.org/10.1134/S0005231019060035

Vladimir Srochko, Doctor of Sciences (Physics and Mathematics), Professor, Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation, tel.: (3952)521276, email: srochko@math.isu.ru.

Elena Aksenyushkina, Candidate of Sciences (Physics and Mathematics), Associate Professor, Baikal State University, 11, Lenin st., Irkutsk, 664015, Russian Federation, tel.: (3952)500008, email: aks.ev@mail.ru,

Received 26.10.20

К решению задач на экстремум нормы конечного состояния линейной системы

В. А. Срочко 1, Е. В. Аксенюшкина2

1 Иркутский государственный университет, Иркутск, Российская Федерация

2 Байкальский государственный университет, Иркутск, Российская Федерация

Аннотация. Задачи на экстремум нормы конечного состояния линейной динамической системы изучаются с позиций методов параметризации допустимых управлений. Аппроксимация кусочно-непрерывных управлений проводится в классе кусочно-линейных функций на равномерной сетке узлов отрезка времени и оформляется как линейная комбинация специального набора опорных функций. При этом интервальное ограничение на управление в исходной задаче переходит в аналогичные ограничения на переменные конечномерных задач.

Конечномерный вариант задачи на минимум нормы допускает эффективное решение с помощью современных программ выпуклой оптимизации. Для случая двух переменных предлагается аналитический метод решения, использующий одномерную задачу минимизации параболы на отрезке.

Для невыпуклой задачи максимизации нормы конечномерная версия решается в глобальном смысле на основе перебора вершин гиперкуба. Предлагаемый подход открывает дополнительные возможности глобального решения невыпуклых задач оптимального управления.

Проводится апробация представленной технологии решения на иллюстративных задачах.

Ключевые слова: линейная система управления, задачи на экстремум нормы конечного состояния, кусочно-линейная аппроксимация, конечномерные задачи.

Список литературы

1. Аргучинцев А. В., Дыхта В. А., Срочко В. А. Оптимальное управление: нелокальные условия, вычислительные методы и вариационный принцип максимума // Известия вузов. Математика. 2009. № 1. С. 3-43.

2. Антоник В. Г., Срочко В. А. Методы нелокального улучшения экстремальных управлений в задаче на максимум нормы конечного состояния // Журнал вычислительной математики и математической физики. 2009. Т. 49, № 5. С. 791-804.

3. Галяев А. А., Лысенко П. В. Оптимальное по энергии управление гармоническим осциллятором // Автоматика и телемеханика. 2019. № 1. С. 21-37. Шв://ао1.о^/10.1134/80005231019010021

4. Горбунов В. К. О сведении задач оптимального управления к конечномерным // Журнал вычислительной математики и математической физики. 1978. Т. 18, № 5. С. 1083-1095.

5. Срочко В. А. Итерационные методы решения задач оптимального управления. М. : Физматлит, 2000. 160 с.

6. Срочко В. А., Аксенюшкина Е. В. Параметризация некоторых задач управления линейными системами // Известия Иркутского государственного университета. Серия Математика. 2019. Т. 30. С. 83-98. htts://doi.org/10.26516/1997-7670.2019.30.83

7. Стрекаловский А. С. Элементы невыпуклой оптимизации. Новосибирск : Наука, 2003. 356 с.

8. Стрекаловский А. С., Шаранхаева Е. В. Глобальный поиск в невыпуклой задаче оптимального управления // Журнал вычислительной математики и математической физики. 2005. Т. 45, № 10. С. 1785-1800.

9. Сухарев А. Г., Тимохов A. В., Федоров В. В. Курс методов оптимизации. М. : Наука, 1986. 328 с.

10. Тятюшкин А. И. Многометодная технология оптимизации управляемых систем. Новосибирск : Наука, 2006. 343 с.

11. Чернов А. В. О применении функций Гаусса для численного решения задач оптимального управления // Автоматика и телемеханика. 2019. № 6. С. 51-69. htts://doi.org/10.1134/S0005231019060035

Владимир Андреевич Срочко, доктор физико-математических наук, профессор, Институт математики и информационных технологий, Иркутский государственный университет, Российская Федерация, 664003, Иркутск, ул. К. Маркса, 1, тел.: (3952)521276, email: srochko@math.isu.ru.

Елена Владимировна Аксенюшкина, кандидат физико-математических наук, доцент, Байкальский государственный университет, Российская Федерация, 664015, Иркутск, ул. Ленина, 11, тел.: (3952)500008, email: aks.ev@mail.ru.

Поступила в 'редакцию 26.10.2020

i Надоели баннеры? Вы всегда можете отключить рекламу.