>2(Q#-/0)7&&"R#(

!"#$%&'($)*+,'&-).,/,-,')

F#$9",",()*(,",-*%',(
9"#*'9*,(

+",-*%',()"#$%"&0,m(
\0(9"#*'9*,(
S#(4*#*/'9L(7#(,",-*%'()"#$%"&0(,*(
C7*)*((/*C/*,*#-'/(C0/(7#(%0)*90(*#(
*9(*,C'&"0()*(*,-')0,(&0%0(
(
(
(
(
(
0(*#(10/%'(%'-/"&"'9m(
(
U(9'(*&7'&"R#()*(,'9")'(
(
)0#)*(
89)

!"#$%&'($)*+,'&-).,/,-,')

S&7'&"R#()*(*,-')0(#0(
10/8')'(

+",-*%',("#H'/"'#-*,(*#(
*9(-"*%C0(h'7-R#0%0,i(

g#(&',0(C'/-"&79'/(,0#(90,(,",-*%',(
#0(10/8')0,m(

g#(&',0(*,C*&"'9()*(h|i(,0#('J7*990,(
%0)*90,()0#)*(9'()*C*#)*#&"'()*9(
-"*%C0(#0(*,(*PC9K&"-'L(*,()*&"/(

(h|i(

)0#)*(9',(*#-/')',(7(#0(,0#(
*PC9K&"-',2(g#'(*&7'&"R#(&0%0(9'(
'#-*/"0/(#0(,"4#"N&'(#*&*,'/"'%*#-*(
J7*(9'(,*V'9()*(*#-/')'(*,(&*/02(X'(
*#-/')'(C7*)*(,*/()*(9'(10/%'(
(
9'(&7'9(*9"%"#'(9'(C/*,*#&"'(*PC9K&"-'(
)*(7(*#(9'(*&7'&"R#(h|i2(

86)

!"#$%&'($)*+,'&-).,/,-,')

(h|i(

S,-0,(,",-*%',(,*(&0#0&*#(&0%0(
/"7)./)"0,*#,"#,(#0/,+:%(0(
)$0;"%+%*2(

+",-*%',()"#$%"&0,m(
X"#*'9*,(
.'/'(,",-*%',(9"#*'9*,L(9'(*&7'&"R#(
C'/'(,",-*%',(H'/"'#-*,(*#(*9(-"*%C0(
*,(

F(r(W'-/"8()*(*,-')0L(
A(r(W'-/"8()*(*#-/')'L(
`(r(W'-/"8()*(,'9")'L(
!(r(W'-/"8()*(-/'#,%","R#()"/*&-'2(

g#'(/*C/*,*#-'&"R#(*#()"'4/'%'()*(
590J7*,()*(7#(,",-*%'(9"#*'9(H'/"'#-*(
*#(*9(-"*%C0(,*(%7*,-/'(*#(9'(
,"47"*#-*(N47/'m(

(
X'()*C*#)*#&"'()*9(-"*%C0()*(9',(
%'-/"&*,(FL(AL(`(U(!(,*(0%"-*(C'/'(*9(
&',0()*(,",-*%',(9"#*'9*,("#H'/"'#-*,(
*#(*9(-"*%C0m(

80)

)0#)*m(

!"#$%&'($)*+,'&-).,/,-,')

3*C/*,*#-'&"R#(*#(*,C'&"0(
)*(*,-')0,(

S#-0#&*,(9'(*&7'&"R#(h|i(,*(C7*)*(
*,&/"5"/(&0%0(
(

`0#,")*/*(*9(,",-*%'()*(#@M,"%0(0/)*#(
(
h|i(
.0)*%0,(*9*4"/(&0%0(H'/"'59*,()*(*,-')0(
9',(H'/"'59*,m(
0(

)0#)*(

(
(
(
S#-0#&*,(9'(*&7'&"R#(h|i(,*(C7*)*(*,&/"5"/(
&0%0(
87)

!"#$%&'($)*+,'&-).,/,-,')

F9(*,-'/("#-*/*,')0,(*#(9'(,097&"R#(y(
)*(9'(*&7'&"R#()"1*/*#&"'9(h|iL(
C0)*%0,(*,&/"5"/(9'(*&7'&"R#()*(
,'9")'(&0%0(
(
(
(
(
(
(
0(
(
)0#)*(

81)

!"#$%&'($)*+,'&-).,/,-,')

+7,-"-7U*#)0(*#(h<iL(-*#*%0,m(

S&7'&"R#()*(*,-')0(
Z0%04M#*'(hX"#*'9(
"#H'/"'#-*(*#(*9(-"*%C0i(

(
(

`0#,")*/*%0,(J7*(*9(,",-*%'()*("#-*/M,(
C7*)*(,*/(%0)*9')0(&0%0(

)0#)*(,*(C7*)*(/*,09H*/(C'/'(90,(
&0*N&"*#-*,(5(05-*#"*#)0m(

h>i(
\0-'2(3*&7*/)*(J7*(*9(Z*&Z0()*(J7*(#0(
,*'(*PC9K&"-'(9'(*#-/')'(7(#0(,"4#"N&'(J7*(
-'9(,*V'9(,*'(&*/02(
S#(4*#*/'9(

S,-'%0,("#-*/*,')0,(*#(&0#0&*/(9'(
,097&"R#(P()*(9'(*&7'&"R#(h>i2(
`0#,")*/*%0,(C/"%*/0(*9(&',0(*,&'9'/m(

(
)0#)*(5=(*,(9'(&0#)"&"R#("#"&"'9m(
h<i(

+7C0#4'%0,(J7*(9'(,097&"R#(P(-"*#*(
*PC'#,"R#(*#(,*/"*()*(O'U90/m(

y'(J7*m(m(

X'(,097&"R#(P()*(h<i(*,(
"R ) h i

82)

!"#$%&'($)*+,'&-).,/,-,')

X'(*&7'&"R#()"1*/*#&"'9(%'-/"&"'9(h>i(,*(
C7*)*(/*,09H*/(*#(10/%'(,"%"9'/('9(&',0(
*,&'9'/2(`0#,")*/*%0,(J7*(9'(,097&"R#(
-"*#*(*PC'#,"R#(*#(,*/"*()*(O'U90/m(

)0#)*(9'(,*/"*(*#-/*(C'/M#-*,",(*,(7#'(
%'-/"8()*(#(P(#(J7*(99'%'/*%0,(%'-/"8(
*PC0#*#&"'9(
(
(

(
+7,-"-7U*#)0(*#(h>im(
(

_"#'9%*#-*L(9'(,097&"R#()*(h>i(,*(C7*)*(
*,&/"5"/(&0%0(

(
3*,09H"*#)0(C'/'(90,(&0*N&"*#-*,(5L(
05-*#*%0,m(
(
)0#)*(5=(*,(9'(&0#)"&"R#("#"&"'9m(
(
I7*(C*/%"-*(*,&/"5"/(9'(,097&"R#(&0%0m(
C

83)

!"#$%&'($)*+,'&-).,/,-,')

hTi(
X'(*&7'&"R#(hTi(#0,("#)"&'(J7*L(,"#("%C0/-'/(
9'(&0#)"&"R#("#"&"'9L(9'(,097&"R#()*(9'(
*&7'&"R#()*(*,-')0()*C*#)*()*(F(*#(9'(
%'-/"8(*PC0#*#&"'92(

S&7'&"R#()*(*,-')0(#0@
Z0%04M#*'(hX"#*'9(
"#H'/"'#-*(*#(*9(-"*%C0i(
FZ0/'(&0#,")*/*%0,(*9(&',0()*(7#(
,",-*%'()"#$%"&0(10/8')0(
h^i(
X'(,097&"R#()*(9'(*&7'&"R#(,*(C7*)*(
05-*#*/(&0%0(,"47*2((

88)

!"#$%&'($)*+,'&-).,/,-,')

W'-/"8()*(-/'#,"&"R#()*(
*,-')0(

./0C"*)')*,()*(9'(%'-/"8(.Z"(

3**,&/"5"%0,(9'(,097&"R#(hTi()*(9'(*&7'&"R#(
)*(*,-')0(&0%0(
h^i(
)0#)*(.Z"(*,(9'(%'-/"8(*PC0#*#&"'9(#(P(#(
&0#0&")'(&0%0(+)0./5#&,#0.)"*/-/;"#&,#
,*0)&%(U(,'-",1'&*(9',(*&7'&"0#*,m(
(
J7*(,*(C7*)*(H*/"N&'/(C0/(
(
U(
(
F,KL(9'(,097&"R#(h^i()*(9'(*&7'&"R#()*(*,-')0(
h>i(*,(,"%C9*%*#-*(9'(-/'#,10/%'&"R#(C0/(
.Z"()*(9'(&0#)"&"R#("#"&"'9(Ph=i2(X'(%'-/"8(.Z"(
&0#-"*#*(-0)'(9'("#10/%'&"R#('&*/&'()*9(
%0H"%"*#-0()*9(,",-*%'()"#$%"&0(h>i2(
(84)

!"#$%&'($)*+,'&-).,/,-,')

+"(9'(%'-/"8(F(-"*#*(#(*"4*#H'90/*,()",-"#-0,L(
*#-0#&*,(F(*,()"'40#'9"8'59*(&0#(90,(
*"4*#H'90/*,(*#(9')"'40#'92(S#-0#&*,L(9'(
%'-/"8()*(-/'#,"&"R#(,*/$(F(,*/$m(

S#-0#&*,L(*#(9'(%'-/"8()*(-/'#,"&"R#L(
Z'5/$#(-M/%"#0,(-'9*,(&0%0(
+"(9'(%'-/"8(F(-"*#*(%79-"C9"&")')(*#(,7,(
*"4*#H'90/*,L(#0(,*/$()"'40#'9"8'59*2(+"#(
*%5'/40L(C7)*(05-*#*/,*(9'(10/%'(
&'#R#"&'()*(60/)'#()*(F2(.0/(*:*%C90L(,"(F(
-"*#*(90,(*"4*#H'90/*,((

1, 1, 1, 4 , 4 , 6 ,, n
X'(10/%'(&'#R#"&'()*(60/)'#(*,(
85)

!"#$%&'($)*+,'&-).,/,-,')

e 1 , te 1 , t 2 e 1 ,
e 4 , te 4 ,
e 6 ,
,
e n

X'(%'-/"8()*(-/'#,"&"R#(*,-$()*N#")'(&0%0(
(

`0#-/09'5"9")')(
+*()"&*(J7*(7#(,",-*%'(*,(&0%C9*-'%*#-*(
&0#-/09'59*(*#(*9(-"*%C0(t0(,"(*,(C0,"59*(hC0/(
%*)"0()*(7#'(,*V'9()*(&0#-/09(#0(/*,-/"#4")'i(
99*H'/(*9(,",-*%'()*,)*(*9(*,-')0("#"&"'9(x(t0)('(
&7'9J7"*/(0-/0(*,-')0(*#(7#("#-*/H'90()*(
-"*%C0(N#"-02(
+"#(CM/)")'()*(4*#*/'9")')L(,*(C7*)*(
&0#,")*/'/(J7*(*9(*,-')0(N#'9(*,(*9(0/"4*#()*9(
*,C'&"0()*(*,-')0,(tx(t1) = 0u(U(J7*(*9(*,-')0(
"#"&"'9(*,-$()')0(*#(*9("#,-'#-*()*(-"*%C0(&*/0(
tt0 = 0u2(

+"#(*%5'/40L(*%C9*'#)0(*9(-*0/*%'()*(
0 *%C9*'#)0 *9 -*
`'U9*U@a'%"9-0#(U(*9(%M-0)0()*(
"#-*/C09'&"R#()*(+U9H*,-*/(h*%C9*'#)0(
#"9C0-*#&"'()*(FiL(,*(%7*,-/'(J7*(9'(%'-/"8(
)*(-/'#,"&"R#(*,(9'(,*/"*(N#"-'(
(
(
+7,-"-7U*#)0L(,*(99*4'('(

X'()*N#"&"R#()*(&0#-/09'5"9")')(,*(C7*)*(
*PC/*,'/(%'-*%$-"&'%*#-*(&0%0(

(
x(0) = C
)0#)*(5*-'(*,(7#(H*&-0/(#@)"%*#,"0#'9(J7*(
)*C*#)*()*(9'(,*V'9()*(&0#-/09(7(U(`(*,(9'(
+)0./5#&,#-%"0.%()3/(/&)&m(

(
3*)7&"*#)0m(
h?i(
49)

!"#$%&'($)*+,'&-).,/,-,')
!"
%&'( *+
%&

C = B | AB | A 2 B | | A n1B

`0#(90('#-*/"0/(,*(&0#&97U*(J7*(*P",-*(7#'(
,*V'9()*(&0#-/09(7(J7*(C7*)*(99*H'/(
&7'9J7"*/(*9(*,-')0("#"&"'9(x(t0)(('9(*,-')0(
N#'9(x(t1)(,"(9'(%'-/"8(`(*,()*(/'#40(#2(

.0)*%0,(/**,&/"5"/(9'(*&7'&"R#('#-*/"0/(*#(
10/%'(%'-/"&"'9(&0%0(

G5,*/H'5"9")')(
+*()"&*(J7*(7#(,",-*%'(*,(&0%C9*-'%*#-*(
05,*/H'59*(*#(*9(-"*%C0(t0(,"L()*(9'(
05,*/H'&"R#()*(9'(,'9")'()7/'#-*(7#("#-*/H'90(
)*(-"*%C0(N#"-0L(*,(C0,"59*()*-*/%"#'/(*9(
,",-*%'(*#(*9(*,-')0("#"&"'9(x(t0)()*9(,",-*%'2(

)0#)*('9CZ'(*,(7#(H*&-0/(>P#(U(I(*,(9'(
%'-/"8()*(05,*/H'5"9")')m(
(

.'/'(*9('#$9",",()*(05,*/H'5"9")')L(*,(
,7N&"*#-*(&0#,")*/'/(9',(*&7'&"0#*,(
(
(
S%C9*'#)0(9'(,097&"R#()*(9'(*&7'&"R#()*(
*,-')0L(-*#*%0,(
(
SPC'#)"*#)0(9'(%'-/"8()*(-/'#,"&"R#(*#(,*/"*L(
05-*#*%0,m(
(

46)

!"#$%&'($)*+,'&-).,/,-,')

y(t) = (t)Qx(0)

CA

Q = CA 2

n1
CA

O0%'#)0(*#(&7*#-'(*9(Z*&Z0()*(J7*(90,(
*9*%*#-0,()*9(H*&-0/('9CZ'(,0#()"1*/*#-*,(
)*(&*/0L(*#-0#&*,(*9(,",-*%'(*,(
&0%C9*-'%*#-*(05,*/H'59*(,"(9'(%'-/"8()*(
05,*/H'5"9")')(*,()*(/'#40(#2(

h?i(

S:*/&"&"0,(
!*-*/%"#*(,"(*9(,"47"*#-*(,",-*%'(*,(
C
&0%C9*-'%*#-*(&0#-/09'59*2(

(
(

h>i(

h<i(

hbi(

!*-*/%"#*(,"(90,(,"47"*#-*,(,",-*%',(,0#(
"
"9
" " " &0%C9*-'%*#-*(&0#-/09'59*,(U(05,*/H'59*,2(

(
(

hTi(

hEi(SP&*C-0(C'/'(*9(&',0(-/"H"'9(C = 0L(
*#&7*#-/*(7#'(%'-/"8(`(-'9(J7*(*9(,"47"*#-*(
,",-*%'(#0(,*'(05,*/H'59*2(

(
(
(
h^i(i(

40)

!"#$%&'($)*+,'&-).,/,-,')

hDi(`0#,")*/*(*9(,"47"*#-*(,",-*%'m(
4
(
(
(
(
(
h'i(W7*,-/*(J7*(*9(,",-*%'(#0(*,(
&0%C9*-'%*#-*(05,*/H'59*L(U(
h5i(%7*,-/*(J7*(*9(,",-*%'(*,(&0%C9*-'%*#-*(
05,*/H'59*(,"(,*(*9"4*(&0%0(%'-/"8()*(,'9")'m(
(
(

47)

!"#$%&'($)*+,'&-).,/,-,')