Are you sure?
This action might not be possible to undo. Are you sure you want to continue?
Integral Block of Control in its Dynamics
Kirill A. Chikrii, Anna V. Chikrii
April 13, 2002
Abstract
The game problem of bringing a trajectory of dynamic system to the terminal set, which has cylindrical form, is
treated. Here the case is analyzed, when controls enter the system equation in integral form. Sufficient conditions for
the game termination in some guaranteed time are derived on the basis of the Method of Resolving functions. The
result is supported by a model example (see section 4) and is compared with the game “simple motions”.
1. Problem Statement
We consider the dynamical process of the form
( ) ( ) ( ) ( ) ( ) ( ) ( )
0
0 0
t
t
dz
A t z t B t s u s s ds z t z
dt
¢ u · + , , , · ,
l
(1)
evolving in condition of conflict. Here the phase vector z takes its values in the finitedimensional Euclidian space
n
R
; ( ) A t is
n
square matrix, continuously depending on
0
t t t , > , and ( )
0
B t s t s t , , s s < ~ is a matrix
function, continuous in all its variables. The block of control is defined by function ( ) u ¢ u , , continuous on the
direct product of compacts U and V . The pair ( ) t z , will be referred to as a current state of the process, and
( )
0 0
t z , – as its initial state. As admissible controls the players employ Lebesguemeasurable functions ( ) u s and
( ) s u with values in the sets U and V respectively. By virtue of the above assumptions function ( ) u ¢ u ,
satisfies the condition on superpositional measurability and ( ) ( ) ( ) ( )
s u s s w ¢ u · , is a bounded measurable
function.
In addition, the terminal set, having cylindrical form, is given:
0
M M M

· + , (2)
Here
0
M is a linear subspace in
n
R
and
M
is a convex compact from
L
, which is the orthogonal complement to
0
M in
n
R
.
One can easy see that in the case ( ) ( ) B t s t s E ô , · , where ( ) t s ô is ô function and
E
is a unit matrix,
the conflictcontrolled process (1), (2) reduces to ordinary differentional game [1,2,3].
We study the problem of bringing a trajectory of system (1) to the terminal set (2) in a some guaranteed time. In so
doing, the first player ( ) u employs quasistrategies, that is, at each current instant of time he constructs his control
in the form
( ) ( ) ( )
0 0 t
u t u t z u · , , × ,
where ( ) ( ) [ ] { ¦
0 t
s s t t u u × · : e , , for any control
u
of the second player [1,2,3].
2. Lemma
For any chosen admissible controls of the players solution of system (1) may be presented in the form
( ) ( ) ( ) ( ) ( ) ( )
0
0 0
t
t
z t t t z C t s u s s ds ¢ u · 4 , + , , ,
l
(3)
where ( ) ( ) ( )
t
s
C t s t B s d t t t , · 4 , , ,
l
and ( )
0
t t 4 , is the fundamental matrix of homogeneous system (1).
Proof. From formula Cauchy [1] as applied to system (1) it follows
( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0
0 0
t
t t
z t t t z t B s u s s ds d
t
t t ¢ u t · 4 , + 4 , , , .
l l
Then, using Fubini theorem [4] we have
( ) ( ) ( ) ( ) ( ) ( ) ( )
0
0 0
t t
t s
z t t t z t B s d u s s ds t t t ¢ u
 `
· 4 , + 4 , , , ,
÷
. ,
l l
whence follows formula (3).
Denote by
r
the orthoprojector, acting from
n
R
onto L . Let us study the setvalued mappings
( ) ( ) ( ) W t s C t s U u r ¢ u , , · , , ,
( ) ( )
V
W t s W t s
u
u
e
, · , , ,
I
where ( ) ( ) { ¦
0
U u v u U t s t V ¢ u ¢ u , · , : e , > > , e .
In the sequel, Pontryagin’s condition is assumed to hold
( ) ( ) ( ) { ¦
0
W t s t s t s t s t , / Ø , eA · , : s s < ~ . (4)
By virtue of the assumptions on parameters of process (1), (2) and condition (4) the mapping ( ) W t s , has at least a
single measurable selection ( ) t s y , [5]. Fix it and set
( ) ( ) ( ) ( )
0
0
t
t
t z t t t z t s ds c y r y , , ,× · 4 , + , .
l
Let us introduce the resolving function by the formula
( ) ( ) ( ) ( ) ( ) ( )
{ ¦
sup 0 t s z t W t s t s M t z t o u y o u y o c y ] , , , , , × · > : , , , · , , ,× / Ø , ]
] ]
(5)
Define the setvalued mapping
( ) ( ) ( ) ( )
0
0 0
inf 1
t
V
t
T t z t t t s z t ds
u
y o u y
e
¹ ¹
¹ ¹
, , ×,× · > : , , , , , × > .
' '
¹ ¹
¹ ¹
l
(6)
The properties of similar functions are thoroughly studied in [3]. We only note that ( ) ( )
0
T t z y , , ×,× · Ø, if
inequality in (6) fails for finite
0
t t > .
3. Theorem
Let for the game problem (1), (2) Pontryagin’s condition hold.
Then, if a measurable selection ( ) ( ) ( ) t s W t s t s y , e , , , eA exists such that ( ) ( )
0 0
T T t z y e , , ×,× / Ø then a
trajectory of the process (1) may be brought in a finite time from the initial state ( )
0 0
t z , to set (2). In so doing the
first player employs quasistrategies.
The proof is conducted by the scheme, presented in [3].
By way of illustration below is given a simple example.
4. Model Example
Let ( ) 0 A t = , ( ) B t s E , = , ( ) u u ¢ u u , · , { ¦ 0 M

· , U aS · , 1 a > , V S · , where S is a square
ball in
n
R
, centered at the origin. Set
0
0 t · .
Thus, a trajectory of the process
( ) ( ) ( )
0
t
dz
u s s ds u aS S
dt
u u · , e , e ,
l
should be brought in a finite time into the origin.
In our case { ¦
0
0 M · and { ¦ 0 M · therefore
n
L R ·
and the orthoprojector
r
is an operator of identical
transform and defined by the unit matrix. In the turn, since ( ) 0 A t = then ( ) 0 t E 4 , · .
Then ( ) ( ) C t s t s E , · and the following presentation for the setvalued mapping is true
( ) ( ) ( ) W t s t s aS u u , , · ,
( ) ( ) ( ) 1 W t s t s a S , · .
Therefore Pontryagin’s condition holds if 1 a > and ( ) t s , eA. Since ( ) 0 W t s e , , ( ) t s , eA then we can pick
( ) 0 t s y , = . From formula (5) we deduce that function ( ) 0 t s z o u , , , , appears as the greatest root of the
quadratio equation
( ) ( ) t s z t s a u o ·
and has the form
( ) ( ) ( ) 0 t s z t s z o u o u , , , , · , ,
where
( )
( ) ( )
( )
2 2
2
2
z z z a
z
z
u u u
o u
, + , +
, · .
Minimum of function ( ) z o u , in
u
is furnished by the element
z
z
u ·
. Then
( ) ( )
1
1
min 0
a
t s z t s
z
u
o u
s
, , , , ·
and therefore
( ) { ¦
min 0 0 0 t t t T z

· > : e , ,
is a root of the equation
( )
0
1
1
t
a
t s ds
z
· .
l
Thus,
1
2
2
1
z
t
a

 `
· .
÷
. ,
Note [3] that in the case of simple motions
dz
u u aS S
dt
u u · , e , e ,
the time of hitting the origin is given by the expression
1
z
t
a

· .
One can easy see that times t

and
t

differ essentially.
5. References and Notes
[1] N. N. Krasovskii. Game Problems on Motions Encounter, Moscow, Nauka, 1970.
[2] L. S. Pontryagin. Selected Scientific Works, Vol. 2, Moscow, Nauka, 1988.
[3] A. A. Chikrii. ConflictControlled Processes, Dordrecht/Boston/London, Kluwer Academic Publishers, 1997.
[4] I. P. Natanson. Theory of Functions of Real Variable, Moscow, Nauka, 1974.
[5] A. D. Ioffe, V. M. Tikhomirov. Theory of Extremal Problems, Moscow, Nauka, 1974.
This action might not be possible to undo. Are you sure you want to continue?