Proceedings of the 40th IEEE

Conference on Decision and Control

Orlando, Florida USA, December 2001 FrP01-3
Qrqolqhdu Wudfnlqj Frqwuro ri wkh YWRO Dlufudiw
S1 Vhwoxu/ G1 Gdzvrq/ \1 Idqj/ dqg E1 Frvwlf
Ghsduwphqw ri Hohfwulfdo ) Frpsxwhu Hqjlqhhulqj/
Fohpvrq Xqlyhuvlw|/ Fohpvrq/ VF 5<96703<48
yrlfh= +;97, 98908<57> id{= +;97, 9890:553 hpdlo= ggdzvrqCfhv1fohpvrq1hgx

Devwudfw=Lq wklv sdshu/ zh suhvhqw d qrqolqhdu wudfn0 zlwk wkh qrqplqlpxp skdvh g|qdplfv> krzhyhu/ wklv w|sh
lqj frqwuroohu iru wkh qrq0plqlpxp skdvh/ xqghudfwx0 ri dssurdfk lpsrvhg uhvwulfwlrqv rq wkh ghvluhg wudmhfwru|1
dwhg prgho ri d yhuwlfdo wdnh r dqg odqglqj +YWRO, Lq ^5`/ rxwsxw wudfnlqj dqg pdqhxyhu uhjxodwlqj frqwuroohuv
dlufudiw1 Vshflfdoo|/ wkh frqwuroohu lv ghvljqhg wr hq0 zhuh sursrvhg wr looxvwudwh wkh dgydqwdjhv ri d pdqhxyhu
vxuh wkdw wkh YWRO dlufudiw srvlwlrq2rulhqwdwlrq wudfnv uhjxodwlqj frqwuroohu ryhu d rxwsxw wudfnlqj dssurdfk1 Lq
^6`/ qrqwulyldo h{whqvlrqv ri ^4` dqg ^5` zhuh suhvhqwhg iru
d uhihuhqfh vljqdo jhqhudwru1 Wkh frqwuroohu hqvxuhv
wkh FWRO +frqyhqwlrqdo wdnh r dqg odqglqj, sureohp1 Lq
wkdw wkh srvlwlrq2rulhqwdwlrq wudfnlqj huuru fdq eh h{0 ^44` dqg ^45`/ Rlvkl hw do1 sursrvhg d ixvlrq ri dssur{lpdwh
srqhqwldoo| irufhg lqwr dq duelwudulo| vpdoo qhljkeru0 olqhdul}dwlrq dqg vzlwfklqj whfkqltxhv wr ghyhors wudfnlqj
krrg durxqg }hur +l1h1/ Joredoo| Xqlirupo| Xowlpdwho| frqwuroohuv lq d vdih hqyhorsh> krzhyhu/ vrph ri wkh diruh0
Erxqghg +JXXE, wudfnlqj,1 phqwlrqhg uhvwulfwlrqv zhuh qrw frpsohwho| dyrlghg1 Uh0
fhqwo|/ Vlud0Udpluh} hw do1/ ^46` sursrvhg dq dssur{lpdwh
4 Lqwurgxfwlrq vroxwlrq wr wkh jhqhudo uhihuhqfh wudmhfwru| wudfnlqj sure0
ohp1
Ryhu wkh odvw ghfdgh/ wkhuh kdv ehhq frqvlghudeoh lqwhuhvw
zlwk uhjdug wr ghvljqlqj frqwuroohuv iru wkh YWRO dlufudiw1 Lq wklv sdshu/ zh xvh vrph rxu suhylrxv zrun lq xqghu0
Wkh YWRO frqwuro sureohp lv lqwhuhvwlqj ehfdxvh wkh vlp0 dfwxdwhg v|vwhpv jlyhq lq ^7` dqg ^9` wr ghvljq d qrqolq0
solhg wzr ghjuhh ri iuhhgrp g|qdplfv duh qrqolqhdu/ qrq0 hdu vwdwh wudfnlqj frqwuroohu iru wkh YWRO sureohp wkdw
plqlpxp skdvh/ dqg xqghudfwxdwhg1 Lw kdv ehhq dfnqrzo0 hqvxuhv Joredoo| Xqlirupo| Xowlpdwho| Erxqghg +JXXE,
hgjhg wkdw vwdwlf lqsxw0rxwsxw olqhdul}dwlrq dssurdfkhv wr wudfnlqj +l1h1/ vwdwh wudfnlqj zlwk uhvshfw wr d uhihuhqfh vlj0
ghfrxsoh uroolqj prphqw dqg wkh odwhudo dffhohudwlrq vhhp qdo jhqhudwru,1 Wkh dssurdfk xvhv d vhulhv ri wudqvirupd0
wr idlo wr surgxfh vdwlvidfwru| shuirupdqfh dv wkh w|sh ri wlrqv vlplodu wr wkh rqhv surylghg lq ^<` dqg ^7` wr pdqlsx0
dssurdfk riwhq uhvxowv lq wkh xqvwdeoh uroo g|qdplfv ehlqj odwh wkh YWRO g|qdplfv lqwr d vxlwdeoh irup zklfk doorzv d
xqrevhuydeoh +Wkh uhdghu lv uhihuuhg wr ^:` iru pruh edfn0 O|dsxqryedvhg frqwuroohu wr eh ghvljqhg1 Wkh frqwuroohu
jurxqg rq wklv sureohp,1 Wr dwwdfn wklv sureohp/ Kdxvhu hw xvhv d g|qdplf rvfloodwru hpehgghg lqvlgh ri wkh ryhudoo
do1 lq ^:` sursrvhg dq dssur{lpdwh lqsxw0rxwsxw olqhdul}d0 frqwuro vwudwhj| wr surylgh dgglwlrqdo ghvljq h{lelolw|1
wlrq> krzhyhu/ wkh frqwuroohu zdv lqlwldoo| ghvljqhg e| dv0
vxplqj wkdw wkh frxsolqj ehwzhhq wkh wkuxvw dqg wkh uroolqj Wkh sdshu lv rujdql}hg dv iroorzv1 Lq Vhfwlrq 5/ zh suhvhqw
prphqwv fdq eh qhjohfwhg1 Xqiruwxqdwho|/ wklv dvvxpswlrq wkh nlqhpdwlf dqg g|qdplf prgho iru wkh YWRO dlufudiw
ohdgv wr pdjqlwxgh uhvwulfwlrqv rq wkh frxsolqj frqvwdqw> dorqj zlwk wkh uhihuhqfh vljqdo jhqhudwru1 Wkh rshq0orrs
ixuwkhupruh/ wkh dssurdfk dovr uhtxluhv wkdw wkh uroo ri wkh wudfnlqj g|qdplfv duh wkhq wudqviruphg lqwr d pruh frqyh0
YWRO dlufudiw eh uhvwulfwhg wr wkh lqwhuydo +3bf c nbf ,1 qlhqw irup iru wkh vxevhtxhqw frqwuroohu ghyhorsphqw dqg
Lq ^<`/ Pduwlq hw do1 sursrvhg d wudfnlqj frqwuroohu edvhg wkh vwdelolw| dqdo|vlv1 Lq Vhfwlrq 6/ zh suhvhqw wkh ghvljq ri
rq glhuhqwldo dwqhvv1 Wkh dxwkru xvhg dq lqwhuhvwlqj ds0 wkh sursrvhg JXXE wudfnlqj frqwuroohu1 Wkh fruuhvsrqg0
surdfk e| qrwlqj wkdw wkh rxwsxw dw d srlqw {hg zlwk uh0 lqj forvhg0orrs huuru v|vwhp lv jlyhq lq Vhfwlrq 7 zkloh wkh
vshfw wr wkh dlufudiw erg| +Kx|jhqv fhqwhu ri rvfloodwlrq, vwdelolw| dqdo|vlv lv jlyhq lq Vhfwlrq 81 Frqfoxglqj uhpdunv
fdq eh xvhg/ zklfk uhvxowv lq d dw lqsxw0vwdwh v|vwhp1 Wklv duh suhvhqwhg lq Vhfwlrq 91
uhvxow glg qrw lpsrvh dq| uhvwulfwlrqv rq wkh frxsolqj frhi0
flhqwv qru rq wkh uroo ri wkh YWRO dlufudiw> krzhyhu/ wklv 5 Prgho Ghyhorsphqw
frqwuroohu lv qrw ghqhg ryhu wkh hqwluh vwdwh vsdfh1 Lq ^;`/
Olq hw do1 ghvljqhg d vhw0srlqw frqwuroohu xvlqj rswlpdo frq0 514 V|vwhp Prgho Irupxodwlrq
wuro whfkqltxhv> krzhyhu/ wkh frqwuro odz uhtxluhg vlplodu Dv ghvfulehg lq ^:`/ wkh g|qdplf v|vwhp htxdwlrqv iru d
uhvwulfwlrqv dv wkrvh lq jlyhq ^:` +lq dgglwlrq/ wkh frqwuro sodqdu yhuwlfdo wdnhr dqg odqglqj +SYWRO, dlufudiw fdq
ghvljq phwkrgrorj| dvvxphg wkdw d sduw ri wkh frqwuro lq0 eh zulwwhq dv iroorzv
sxw fdq eh erxqghg dv d vwdwh glvwxuedqfh,1 Lq ^43`/ Pf0
Fodpurfk hw do1 sursrvhg k|eulg vzlwfklqj vwudwhjlhv iru %
 ' 3 t? E | n 0 ULt E 6 +4,
wzr glhuhqw vhwsrlqw frqwuro sureohpv1 Lq ^4`/ g|qdplf
lqyhuvlrq dqg urexvw frqwuro whfkqltxhv zhuh xvhg wr ghdo + ' ULt E | n 0 t? E 6 3 +5,

Wklv zrun lv vxssruwhg lq sduw e| wkh X1V1 QVI Judqw GPL0  '  +6,
<78:<9:/ GPL0<;46546/ RQU Judqw Q333470<<04038;</ d GRF
Judqw/ dqg dq DUR Dxwrprwlyh Fhqwhu Judqw1  ' 6 +7,
0-7803-7061-9/01/$10.00 2001 IEEE 4592
zkhuh % E|/ + E|/  E| M ^ ghqrwh wkh Fduwhvldq srvlwlrq 516 Rshq0Orrs Wudfnlqj Huuru V|vwhp Irupxodwlrq
dqg rulhqwdwlrq uhvshfwlyho|/ ri wkh fhqwhu ri pdvv +FRP, Wr txdqwli| wkh frqwuro remhfwlyh/ zh ghqh wkh iroorzlqj
 A
ri wkh dlufudiw/  E| M ^ lv dq dx{loldu| vwdwh yduldeoh owhuhg wudfnlqj huuru vljqdo oE| ' o% o+ M ^2 dv
xvhg wr idflolwdwh wkh dqdo|vlv/ | E|/ 6 E| M ^ uhsuh0 iroorzv
u
vhqw wkh yhuwlfdo irufh dqg wkh urwdwlrqdo wrutxh dssolhg wr o% '% n>% +4:,
wkh dlufudiw/ 04 uhsuhvhqwv wkh judylwdwlrqdo dffhohudwlrq/ u
0 uhsuhvhqwv wkh frqvwdqw frxsolqj ehwzhhq wkh uroolqj pr0 o+ '+ n>
+ +4;,
phqw dqg wkh odwhudo dffhohudwlrq ri wkh dlufudiw1 Lq rughu zkhuh > uhsuhvhqwv d frqvwdqw srvlwlyh frqwuro jdlq/ dqg
wr vlpsoli| wkh vxevhtxhqw frqwuro ghyhorsphqw/ zh ghqh %
 E| c + E| M ^ uhsuhvhqw wkh vkliwhg Fduwhvldq wudfnlqj
wkh iroorzlqj wudqvirupdwlrq huuru vljqdov zklfk duh h{solflwo| ghqhg dv iroorzv
% ' % 3 0 t? E +8, %
 ' % 3 %o +4<,

+ ' + n 0 ULt E +9, + ' + 3 +o  +53,


Lq dgglwlrq/ zh ghqh wkh rulhqwdwlrq wudfnlqj huuru  E| M
zkhuh % E|/ + E| M ^ uhsuhvhqwhg wkh vkliwhg Fduwh0
vldq srvlwlrq1 Diwhu wdnlqj wkh vhfrqg wlph ghulydwlyhv ri ^ dv vkrzq ehorz
 '3 
 +54,
+8, dqg +9,/ vxevwlwxwlqj +4, dqg +5,/ dqg wkhq fdqfhoolqj o

frpprq whupv/ wkh vkliwhg Fduwhvldq v|vwhp g|qdplfv fdq

eh zulwwhq dv iroorzv Lq rughu wr zulwh wkh rshq0orrs huuru v|vwhp lqwr d pruh
  frqyhqlhqw irup/ zh lqwurgxfh wkh iroorzlqj joredoo| lqyhuw0
% ' 3 | 3 0 t? E
2
+:, leoh wudqvirupdwlrq
5 6 5 65 6
  t?  n 2 ULt  3  ULt  n 2 t?  f o%
  7 5 8 ' 7 f f 8 7 o+ 8
+ ' | 3 0 ULt E 3  3 t? 
2
+;, 52 ULt  f 
 A
+55,
515 Uhihuhqfh Prgho Ghyhorsphqw zkhuh  E| M ^ / 5E| ' 5 E| 52 E| M ^2 duh dx{lo0
Edvhg rq wkh vwuxfwxuh ri wkh v|vwhp g|qdplfv jlyhq e| +4,/ ldu| wudfnlqj huuru yduldeohv1 Diwhu wdnlqj wkh wlph ghulyd0
+5,/ +6,/ dqg +7,/ zh ghqh wkh iroorzlqj uhihuhqfh prgho wr wlyh ri +55, dqg xvlqj +6,/ +7,/ +:,/ +;,/ +44,/ +48,/ +49,/ +45,/
idflolwdwh wkh ghvljq ri wkh wudfnlqj frqwuroohu +4:,/ +4;,/ +4<,/ +53, dqg +54,/ zh fdq uhzulwh wkh rshq0orrs
wudfnlqj huuru g|qdplfv lq wkh iroorzlqj dgydqwdjhrxv irup
%
o ' 3 t? Eo  o| n 0 ULt Eo  o6 +<,
 ' A a A 5 n s +56,
+o ' ULt Eo  o| n 0 t? Eo  o6 3 +43, 5 '  +57,
 o ' o +44,  ' 3o6 n 6 +58,
 o ' o6 +45, zkhuh wkh dx{loldu| frqwuro vljqdo/ E| '
 A
 E| 2 E| M ^2 / lv uhodwhg wr wkh rshq0orrs
zkhuh/ %o E|/ +o E|/ o E| M ^ ghqrwh wkh uhihuhqfh Fduwh0
vldq srvlwlrq dqg rulhqwdwlrq/ uhvshfwlyho|/ o E| M ^ lv vljqdov | E| dqg  E| dffruglqj wr wkh iroorzlqj joredoo|
dq dx{loldu| uhihuhqfh vwdwh yduldeoh xvhg wr idflolwdwh wkh lqyhuwleoh wudqvirupdwlrq
dqdo|vlv/ dqg o| E|/ o6 E| M ^ ghqrwh wkh uhihuhqfh lq0    
| |
sxw vljqdov1 Zh zloo dvvxph wkdw wkh uhihuhqfh vljqdov o| E|  ' A 3 3 ' A E n  +59,
 
dqg o6 E| duh vhohfwhg vxfk wkdw o| E|/ o6 E|/  o| E|
dqg  o6 E| duh erxqghg dqg %o E|/ +o E|/ o E| dqg wkhlu zkhuh wkh pdwul{ A Eu M ^2f2 dqg wkh dx{loldu| phdvxudeoh
uvw wzr wlph ghulydwlyhv uhpdlq erxqghg dw doo wlphv +l1h1/ vljqdo/  Eu/ duh ghqhg dv iroorzv
%o E|/ +o E|/ o E|/ % o E|/ + o E|/  o E|/ %
o E|/ +o E| dqg  
 E| M n" ,1 Zh qrz ghqh d wudqvirupdwlrq vlplodu wr
 o% ULt E n o+ t? E
o A ' c +5:,
wkh rqh jlyhq lq +8, dqg +9, dv iroorzv f
5 6
%o ' %o 3 0 t? Eo  +46, o
9 0 n ULt E 3 %
2
o t? E n +o ULt E :
'9 7

u u
: c +5;,
8
+o ' +o n 0 ULt Eo  +47, 3 > + ULt E 3 %  t? E
zkhuh %o E|/ +o E| M ^ uhsuhvhqwhg wkh vkliwhg uhi0

s Eu M ^ lv dq dx{loldu| vljqdo zklfk lv ghqhg dv iroorzv

huhqfh Fduwhvldq srvlwlrq1 Diwhu wdnlqj wkh vhfrqg wlph
ghulydwlyhv ri +46, dqg +47,/ vxevwlwxwlqj +<, dqg +43,/ dqg s ' %o ULt E 3 t? E 3 +o
2 d3 t? E n o 52 o
wkhq fdqfhoolqj frpprq whupv/ wkh vkliwhg uhihuhqfh Fduwh0 u u
vldq g|qdplfv fdq eh zulwwhq dv iroorzv n2> %
 ULt E n + t? E
  +5<,
o ' 3 o| 3 0 o t? Eo 
2
% +48, dqg a M ^2f2 lv d vnhz v|pphwulf pdwul{ ghqhg dv iroorzv
 
  f 3
+o ' o| 3 0 o ULt Eo  3 
2
+49, a'  +63,
f

4593
Uhpdun 4 Edvhg rq wkh ghqlwlrq ri o% E| dqg o+ E| 614 Frqwuro Irupxodwlrq
jlyhq lq +4:, dqg +4;,/ vwdqgdug dujxphqwv ^8` fdq eh pdgh Edvhg rq wkh vxevhtxhqw vwdelolw| dqdo|vlv dqg wkh vwuxfwxuh
wr suryh wkdw= +l, li o% E| c o+ E| M n" / wkhq % E|/ + E|/ ri wkh rshq0orrs huuru v|vwhp jlyhq lq +56, dqg +57,/ zh
 
%
 E|/ + E| M n" / dqg +ll, li o% E| dqg o+ E| duh JXXE/ ghvljq wkh dx{loldu| vljqdo _ E| dv iroorzv
wkhq % E| dqg + E| duh JXXE1  A
_ 2 '  @ 3 &2 5 +6:,

Uhpdun 5 Dv looxvwudwhg deryh/ wkh rshq orrs huuru v|vwhp zkhuh &2 M ^ lv d srvlwlyh/ frqvwdqw frqwuro jdlq/ dqg wkh
kdv ehhq irupxodwhg iru wkh vkliwhg Fduwhvldq vljqdov ghqrwhg dx{loldu| frqwuro vljqdo @ E| M ^2 lv ghqhg dv
e| % E|/ + E|/ %o E|/ dqg +o E| zklfk zhuh ruljlqdoo|  
lqwurgxfhg lq +8,/ +9,/ +46,/ dqg +47,1 Wr looxvwudwh wkh &  n s
@ ' a5_ n l 5_ +6;,
vljqlfdqfh ri wkh vkliwhg wudfnlqj huuru vljqdov/ zh ghqh B 2_
wkh dfwxdo Fduwhvldq wudfnlqj huuru/ ghqrwhg e| %  E| dqg zkhuh wkh g|qdplfv ri wkh dx{loldu| frqwuro vljqdo ghqrwhg
+ E|/ dv iroorzv e| 5_ E| M ^2 / duh ghqhg e| wkh iroorzlqj rvfloodwru0olnh
uhodwlrqvkls
%
 ' % 3 %o + ' + 3 +o  +64,
 
B _ &  n s
Zh fdq qrz xvh +64, dorqj zlwk +8,/ +9,/ +46,/ +47,/ +4<,/ 5_ ' 5_ n n l a 5_ c 5_A Ef5_ Ef ' B 2_ Efc
B_ B 2_
dqg +53, wr vkrz wkdw dfwxdo Fduwhvldq wudfnlqj huuru fdq
+6<,
eh zulwwhq lq whupv ri wkh vkliwhg Fduwhvldq wudfnlqj huuru
dqg wkh dx{loldu| whupv l E|/ B _ E| M ^ duh ghqhg dv
dv iroorzv
iroorzv
B _ & 2 n s
%  n0 dt? E 3 t? Eo o
'% + ' + 30 dULt E 3 ULt Eo o  l ' &2 n n c +73,
B_ B 2_
+65,
Lq dgglwlrq/ zh qrwh wkdw dv d gluhfw frqvhtxhqfh ri wkh B _ '  f i TE3 | n 0 +74,
Phdq Ydoxh Wkhruhp ^47`/ lw fdq eh vkrzq wkdw zlwk & c  f /  / 0 M ^ ehlqj srvlwlyh/ frqvwdqw ghvljq

    sdudphwhuv/ dqg s Eu zdv ghqhg lq +5<,1

 
t? E 3 t? Eo  $   ULt E 3 ULt Eo  $  (
+66,
Uhpdun 7 Prwlydwlrq iru wkh vwuxfwxuh ri +6<, lv rewdlqhg
khqfh/ zh fdq xvh +65, dqg +66, wr vkrz wkdw
e| wdnlqj wkh wlph ghulydwlyh ri 5_A 5_ dv iroorzv
     A 
 

% $ 
% n 0   
+ $ 
+ n 0   +67, _
5_ 5_ ' 25_A 5
_
_|

   +75,
' 25_A BBgg 5_ n &4B5ns n l a5_
Iurp +67,/ lw lv fohdu wkdw li %  E| duh JXXE/
 E|/ + E|/  g
wkhq %
 E| dqg + E| duh JXXE1 zkhuh +6<, kdv ehhq xwlol}hg1 Diwhu qrwlqj wkdw wkh pdwul{ a
ri +63, lv vnhz v|pphwulf/ zh fdq uhzulwh +75, dv iroorzv
Uhpdun 6 Gxulqj wkh vxevhtxhqw vhfwlrq/ zh zloo xwlol}h _  A  B _
wkh rshq0orrs wudfnlqj huuru v|vwhp jlyhq lq +56,/ +57,/ dqg 5 5_ ' 2 5_A 5_  +76,
_| _ B_
+58, wr ghvljq wkh frqwuro lqsxwv iru wkh vljqdov 2 E| dqg
6 E|1 Zh qrwh wkdw wkh dfwxdo frqwuro lqsxw | E| fdq eh Dv uhvxow ri wkh vhohfwlrq ri wkh lqlwldo frqglwlrqv jlyhq lq
wkhq eh fdofxodwhg e| xvlqj +59,1 +6<,/ lw lv hdv| wr yhuli| wkdw

5_A 5_ ' 85_ 82 ' B 2_ +77,

6 Frqwuro Ghyhorsphqw
vroyhv wkh glhuhqwldo htxdwlrq jlyhq lq +76,1 Wkh uhodwlrq0
Rxu frqwuro remhfwlyh lv wr ghvljq d frqwuroohu wkdw h{sr0 vkls jlyhq e| +77, zloo eh xvhg gxulqj wkh vxevhtxhqw huuru
qhqwldoo| irufhv wkh Fduwhvldq2rulhqwdwlrq wudfnlqj huuru wr v|vwhp ghyhorsphqw dqg vwdelolw| dqdo|vlv1
d qhljkerukrrg derxw }hur wkdw fdq eh pdgh duelwudulo|
vpdoo +l1h1/ JXXE,1 Zh zloo dvvxph wkdw wkh vljqdo % E|/
+ E|/  E|/ % E|/ + E|/ dqg  E| duh dydlodeoh iru phdvxuh0 7 Forvhg0Orrs Huuru V|vwhp Ghyhorsphqw
phqw1 Wr dfklhyh wklv remhfwlyh/ zh ghqh dq dx{loldu| huuru Wr idflolwdwh wkh forvhg0orrs huuru v|vwhp ghyhorsphqw iru
vljqdo 5E| M ^2 dv wkh glhuhqfh ehwzhhq wkh vxevhtxhqwo| E|/ zh lqmhfw wkh dx{loldu| frqwuro lqsxw _ E| e| dgglqj
ghvljqhg dx{loldu| vljqdo 5_ E| M ^2 dqg wkh wudqviruphg dqg vxewudfwlqj wkh whup _ 52 wr wkh uljkw0vlgh ri wkh rshq0
yduldeoh 5E| ghqhg lq +55, dv iroorzv orrs g|qdplf h{suhvvlrq iru E| jlyhq lq +56, dqg wkhq
xwlol}lqj +69, wr rewdlq wkh iroorzlqj h{suhvvlrq
5 ' 5_ 3 5 +68,
 
 ' _ 2 a A 5 3 #52 n s +78,
Lq dgglwlrq/ zh ghqh dq dx{loldu| huuru vljqdo #E| M ^ dv
 
wkh glhuhqfh ehwzhhq wkh vxevhtxhqwo| ghvljqhg dx{loldu| Diwhu vxevwlwxwlqj +6:, iru _ 2 / dgglqj dqg vxe0
vljqdo/ _ E| M ^ dqg wkh dx{loldu| vljqdo E| ghqhg lq wudfwlqj A@ a5_ wr wkh uhvxowlqj h{suhvvlrq/ xwlol}lqj +68,/
+59, dv vkrzq ehorz zh fdq uhzulwh wkh g|qdplfv iru E| dv iroorzv
# ' _ 3   +69,  ' 3A@ a 5_ n A@ a 5 3 #52 n s +79,

4594
zkhuh zh kdyh xwlol}hg wkh idfw wkdw a A ' 3a 1 Ilqdoo|/ Surri = Wr suryh Wkhruhp 4/ zh ghqh d qrq0qhjdwlyh/
e| vxevwlwxwlqj +6;, iru rqo| wkh uvw rffxuuhqfh ri @ E| lq vfdodu ixqfwlrq/ ghqrwhg e| T E| M ^ c dv iroorzv
+79,/ xwlol}lqj wkh htxdolw| jlyhq e| +77,/ h{sorlwlqj wkh vnhz
2 2 A
v|pphwu| ri a ghqhg lq +63,/ dqg wkh idfw wkdw a A a ' U2 T '  n # n 5 5 +88,
+Qrwh wkdw U2 ghqrwhv wkh vwdqgdug 2f2 lghqwlw| pdwul{,/ zh 2 2 2
rewdlq wkh qdo h{suhvvlrq iru wkh forvhg0orrs huuru v|vwhp Diwhu wdnlqj wkh wlph ghulydwlyh ri +88, dqg pdnlqj wkh ds0
iru E| dv iroorzv sursuldwh vxevwlwxwlrqv iurp +7:,/ +84,/ dqg +86,/ zh rewdlq
wkh iroorzlqj h{suhvvlrq
 ' 3&  n A@ a 5 3 #52  +7:,
k l
T '  3&  n A@ a 5 3 #52 +89,
Wr ghwhuplqh wkh forvhg0orrs huuru v|vwhp iru 5E|/ zh wdnh k  A l
wkh wlph ghulydwlyh ri +68,/ vxevwlwxwh +6<, iru 5_ E|/ dqg n5 A 3&2 5 n a@ n # f
vxevwlwxwh +57, iru 5E|
 wr rewdlq n# d3& # n 52 3 5 o 
 
   A
5' BBgg 5_ n &4B5ns n l a5_ 3 _ 2 Diwhu xwlol}lqj wkh idfw wkdw a A ' 3a / fdqfhoolqj frpprq
 Ag +7;,
n # f whupv/ dqg xwlol}lqj +88,/ zh fdq xsshu erxqg T E| dv iro0
orzv
zkhuh wkh dx{loldu| frqwuro lqsxw _ E| zdv lqmhfwhg e| T $ 32 4? t& c &2 c &  T +8:,
 A
dgglqj dqg vxewudfwlqj _ f wr wkh uljkw0vlgh ri Vwdqgdug dujxphqwv fdq qrz eh hpsor|hg wr vroyh wkh gli0
+7;, dqg wkhq +69, zdv xwlol}hg1 Diwhu vxevwlwxwlqj +6:, iru ihuhqwldo lqhtxdolw| jlyhq lq +8:, dv iroorzv
 A
_ 2 dqg wkhq vxevwlwxwlqj +6;, iru @ E| lqwr wkh
uhvxowlqj h{suhvvlrq/ zh fdq uhzulwh wkh h{suhvvlrq jlyhq e| T E| $ i TE32 4? t& c &2 c &  |T Ef +8;,
+7;, dv iroorzv
Ilqdoo|/ edvhg rq +88,/ wkh h{suhvvlrq jlyhq lq +8;, fdq eh
 B _  A uhzulwwhq dv
5' 5_ n l a 5_ 3 l 5_ n &2 5 n # f  +7<,
B_ 8[E|8 $ q f i TE3bf |c +8<,
Diwhu vxevwlwxwlqj +73, iru rqo| wkh vhfrqg rffxuuhqfh ri zkhuh [E| M ^e lv ghqhg dv
l E| lq +7<, dqg xvlqj wkh idfw wkdw a a ' 3U2 / zh fdq  A
fdqfho frpprq whupv dqg wkhq uhduudqjh wkh uhvxowlqj h{0 ['  # 5A c +93,
suhvvlrq wr rewdlq
   dqg wkh frqvwdqwv q f / bf M ^ duh ghqhg h{solflwo| dv
 &  n s  A iroorzv
5' 3&2 5 n a a5 _ n l 5 _ n # f
B 2_
+83, q f ' 8[Ef8 bf ' 4? t& c &2 c &   +94,
zkhuh +68, zdv xwlol}hg1 Ilqdoo|/ vlqfh wkh eudfnhwhg whup
lq +83, lv htxdo wr @ E| ghqhg lq +6;,/ zh fdq rewdlq wkh Iurp +8<, dqg +93,/ lw lv vwudljkwiruzdug wr vhh wkdw E|/
qdo h{suhvvlrq iru wkh forvhg0orrs huuru v|vwhp iru 5E| dv #E|/ 5E| M n" 1 Diwhu xwlol}lqj +68,/ +77,/ dqg wkh idfw wkdw
iroorzv   A 5E|/ B_ E| M n" / zh fdq frqfoxgh wkdw 5E|/ 5_ E| M n" 1
5' 3&2 5 n a @ n # f  +84, Iurp wkh idfw wkdw 5E|/ E| M n" c zh fdq xvh wkh lqyhuvh
wudqvirupdwlrq ri +55,/ zklfk lv h{solflwo| jlyhq ehorz
Edvhg rq rxu vxevhtxhqw vwdelolw| dqdo|vlv/ zh ghvljq 6 E| 5   65
5 6   ULt  3 2 t?  6
o%

dv iroorzv 9 2
ULt f
2
  : 
7 o+ 8 ' 9  t?  n 2 ULt  : 7 8
6 ' & # n 5 3 52 n  _ n o6 +85,
7
t?  f

8 5 c
 2

f
2

f
52
zkhuh & M ^ lv d srvlwlyh/ frqvwdqw frqwuro jdlq/ dqg

+95,
wkh h{solflw ghqlwlrq iru  _ E| lv jlyhq lq Dsshqgl{ D1 Wr wr frqfoxgh wkdw o% E|/ o+ E|/ E|  M n" 1 Edvhg rq wkh idfw
ghyhors wkh forvhg0orrs huuru v|vwhp iru #E|/ zh wdnh wkh 
wkdw o% E|/ o+ E|/ E| M n" dqg wkh idfw wkdw wkh uhihuhqfh
wlph ghulydwlyh ri +69,/ dqg wkhq vxevwlwxwh iru wkh frqwuro wudmhfwru| lv vhohfwhg vr wkdw %o E|/ +o E|/ o E|/ % o E|/
lqsxw ghqhg lq +85, wr rewdlq + o E|/  o E|/ %
o E|/ +o E| M n" / zh fdq xwlol}h +4:,/ +4;,/
+4<,/ +53,/ dqg +54, wr frqfoxgh wkdw %  E|/ + E|/ % E|/
# ' 3& # n 52 3 5 +86, + E|c % E|/ + E|/ E| M n" / dv phqwlrqhg lq Uhpdun 41
zkhuh +58, kdv ehhq xvhg wr vxevwlwxwh iru  E|1 Xvlqj wkh idfw wkdw o% E|/ o+ E|/ E|/ %E|/  +E|
 M n" / zh
fdq frqfoxgh wkdw s Eu/ A Eu M n" iurp +5<, dqg +5:,1
Edvhg rq wkhvh idfwv/ zh fdq qrz xwlol}h +5;,/ +69,/ +6:,/
8 Vwdelolw| Dqdo|vlv
+6;,/ +6<,/ +73,/ dqg +74,/ wr vkrz wkdw _ E|/ @ E|/ 5_ E|/
Wkhruhp 4 Jlyhq wkh forvhg0orrs v|vwhp ri +7:,/ +84,/ l E|/  E|/ 2 E|/  Eu M n" 1 Iurp +59,/ zh fdq qrz
dqg +86,/ wkh srvlwlrq2rulhqwdwlrq wudfnlqj huuru vljqdov gh0 frqfoxgh wkdw | E|/  E| M n" 1 Edvhg rq wkh suhylrxv
qhg lq +54, dqg +64, duh JXXE lq wkh vhqvh wkdw idfwv/ lw lv hdv| wr vkrz wkdw  _ E| M n" +vhh Dsshqgl{ D,1
  Diwhu xwlol}lqj/ +85,/ zh fdq qrz vkrz wkdw wkh frqwuro lqsxw
  6 E| M n" 1 Zh fdq qrz hpsor| vwdqgdug vljqdo fkdvlqj

%E| c 
+ E| c E|  $ q e i TE3be | n 0e +87,
dujxphqwv wr frqfoxgh wkdw doo ri wkh uhpdlqlqj vljqdov lq
zkhuh q e / be / dqg 0e M ^ duh srvlwlyh frqvwdqwv zklfk duh wkh frqwuro dqg wkh v|vwhp uhpdlq erxqghg gxulqj forvhg0
h{solflwo| ghqhg lq wkh vxevhtxhqw vwdelolw| surri1 orrs rshudwlrq1

4595
Wr suryh +87,/ zh uvw vkrz wkdw 5E| ghqhg lq +55, lv zkhuh wkh erxqglqj frqvwdqwv ghqhg lq +99, dqg +9:, duh
JXXE e| dsso|lqj wkh wuldqjoh lqhtxdolw| wr +68,/ dqg uhghqhg dv iroorzv
khqfh/ rewdlq wkh iroorzlqj erxqg iru 5E|
q  ' 
% Ef q e ' 
% Ef n 0q c +:3,
858 $ 8
5 8 n 85_ 8 $ q i T E3b | n 0 +96,
dqg q 2 M ^ lv d qhz srvlwlyh erxqglqj frqvwdqw ghqhg dv
zkhuh +74,/ +77,/ +8<,/ dqg +93, kdyh ehhq xwlol}hg/ dqg wkh
srvlwlyh frqvwdqwv q / b M ^ duh ghqhg dv iroorzv q 2 ' q Eq n 20 n 2  +:4,

q ' qf n f b ' 4? tbf c   +97,

Uhpdun : Lw lv hdv| wr vkrz wkdw wkh sursrvhg frqwuroohu
dqg 0 M ^ lv d srvlwlyh/ frqvwdqw ghvljq sdudphwhu wkdw

fdq eh xvhg wr ghyhors d vhwsrlqw frqwuro vwudwhj| iru wkh
zdv ghqhg lq +74,1 Zh fdq qrz hpsor| +4:,/ +4;,/ +8<,/ YWRO Fduwhvldq srvlwlrq dqg rulhqwdwlrq +Vhh ^7` iru pruh
+93,/ +95,/ +96,/ dqg Uhpdun 4 wr rewdlq wkh iroorzlqj wudfn0 ghwdlov,1
lqj huuru erxqgv
 
  9 Frqfoxvlrq

% E| c 
+ E| c E| $ q  i TE3b | n 0 +98,
Lq wklv sdshu/ zh kdyh ghvljqhg d qrqolqhdu wudfnlqj frq0
zkhuh q  / b / dqg 0 M ^ duh srvlwlyh frqvwdqwv ghqhg dv wuroohu iru d qrq0plqlpxp skdvh/ xqghudfwxdwhg YWRO
iroorzv dlufudiw sureohp1 D frpsohwh vwdelolw| dqdo|vlv/ xvlqj
q Eq n 20 n 2
q  ' 
% Ef n O|dsxqry0edvhg whfkqltxhv/ kdv ehhq suhvhqwhg wr ghprq0
> 3 b
vwudwh wkdw= l, wkh srvlwlrq dqg rulhqwdwlrq wudfnlqj huuruv
duh joredoo|/ h{srqhqwldoo| irufhg wr d qhljkerukrrg derxw
b ' 4? tb c > +99,
}hur zklfk fdq eh pdgh duelwudulo| vpdoo +wklv w|sh ri vwdelo0
0 E n 0  lw| uhvxow lv riwhq uhihuuhg wr dv sudfwlfdo wudfnlqj ru JXXE,
0 ' c dqg ll , d xqlhg iudphzrun lv ghyhorshg wkdw vroyhv wkh uhj0
>
xodwlrq sureohp dqg wkh wudfnlqj sureohp1 Ixwxuh uhvhdufk
dqg b M ^ zdv ghqhg lq +97,1 Xwlol}lqj wkh revhuydwlrq zloo irfxv rq wkh FWRO sureohp zklfk lqfoxghv dgglwlrqdo
pdgh lq Uhpdun 5/ dqg pdnlqj xvh +98,/ zh fdq hdvlo| vhh g|qdplfv1
wkdw +87, lv ydolg zkhuh wkh srvlwlyh frqvwdqwv q e / be / dqg
0e M ^ duh h{solflwo| ghqhg dv iroorzv Uhihuhqfhv
q Eq n 20 n 2 ^4` V1 Do0Klggdel/ dqg Q1 PfFodpurfk/ Rxwsxw Wudfn0
q e ' 
% Ef n n 0q lqj iru Qrqolqhdu Qrq0plqlpxp Skdvh YWRO Dlufudiw/
> 3 b
Surfhhglqjv ri wkh 6:wk LHHH Frqihuhqfh rq Ghflvlrq )
be ' 4? t& c &2 c & c  c > +9:, Frqwuro/ Wdpsd/ IO/ Ghf1 4<<;/ ss1 78:6078:;1
  ^5` V1 Do0Klggdel/ M1 Vkhq/ dqg Q1 PfFodpurfk/ D
E n 0  Vwxg| ri Ioljkw Pdqhxyhuv iru wkh SYWRO Dlufudiw Prg0
0e ' 0 n0 
> ho/ Surfhhglqjv ri wkh Dphulfdq Frqwuro Frqihuhqfh/ Vdq
Glhjr/ FD/ Mxqh 4<<</ ss1 5:5:05:641

^6` V1 Do0Klggdel/ dqg Q1 PfFodpurfk/ Wudmhfwru|
Wudfnlqj Frqwuro dqg Pdqhxyhu Uhjxodwlrq Frqwuro iru wkh
Uhpdun 8 Iurp wkh ghqlwlrq ri 0e jlyhq lq +9:,/ lw lv FWRO Dlufudiw Prgho/ Surfhhglqjv ri wkh 6;wk LHHH Frq0
fohdu wkdw wkh wudfnlqj huuru yduldeohv/ %  E|
 E|/ + E|/ dqg  ihuhqfh rq Ghflvlrq ) Frqwuro/ Skrhql{/ D]/ Ghf1 4<<</ ss1
fdq eh pdgh duelwudulo| vpdoo e| uhgxflqj wkh ghvljq sdud0 4<8;04<961
phwhu/ 0 1 Ixuwkhu/ wkh udwh ri frqyhujhqfh ri wkh huuruv ^7` D1 Ehkdo/ Z1 Gl{rq/ G1 Gdzvrq/ dqg \1 Idqj/
wr wklv duelwudulo| vpdoo qhljkerukrrg durxqg }hur/ fdq eh Wudfnlqj dqg Uhjxodwlrq Frqwuro ri dq Xqghudfwxdwhg Vxu0
frqwuroohg e| surshu fkrlfh ri wkh ghvljq sdudphwhuv & / &2 / idfh Yhvvho zlwk Qrqlqwhjudeoh G|qdplfv/ Surfhhglqjv ri
& /  / dqg >/ dv lv hylghqw iurp wkh ghqlwlrq ri be jlyhq wkh 6<wk LHHH Frqihuhqfh rq Ghflvlrq dqg Frqwuro/ V|g0
lq +9:,1 qh|/ DX/ Ghf1 5333/ ss1 5483054881
^8` G1 Gdzvrq/ M1 Kx/ dqg W1 Exuj/ Qrqolqhdu Frqwuro ri
Uhpdun 9 Wkh rffxuuhqfh ri wkh whup E> 3 b  lq wkh gh0 Hohfwulf Pdfklqhu|/ Qhz \run= Pdufho Ghnnhu/ Lqf1/ 4<<;1
qrplqdwru ri wkh erxqg iru wkh huuru yduldeohv vhhpv wr lq0 ^9` Z1 Gl{rq/ G1 Gdzvrq/ H1 ]hujhurjox/ dqg I1 ]kdqj/
glfdwh dq dssduhqw vlqjxodulw| lq wkh frqwuro odz> krzhyhu/ Urexvw Wudfnlqj dqg Uhjxodwlrq Frqwuro iru Preloh Ur0
wklv lv qrw wkh fdvh1 Lq wkh hyhqw wkdw > ' b / wkh vroxwlrq erwv/ Lqwhuqdwlrqdo Mrxuqdo ri Urexvw dqg Qrqolqhdu Frq0
ri wkh olqhdu glhuhqwldo htxdwlrqv jlyhq lq +4:, dqg +4;, wuro= Vshfldo Lvvxh rq Frqwuro ri Xqghudfwxdwhg Qrqolqhdu
uhvxowv lq uhshdwhg urrwv1 Wkh erxqgv/ ghqhg lq +87, dqg V|vwhpv/ yro1 43/ 5333/ ss1 4<<05491
+98,/ fdq eh uhfdofxodwhg/ iru wklv sduwlfxodu vlwxdwlrq/ dv ^:` M1 Kdxvhu/ V1 Vdvwu|/ dqg J1 P|hu/ Qrqolqhdu Frq0
iroorzv wuro Ghvljq iru Voljkwo| Qrq0plqlpxp Skdvh V|vwhpv= Ds0
 
  solfdwlrq wr Y2VWRO Dlufudiw/ Dxwrpdwlfd/ yro1 5;/ qr1 7/

% E| c 
+ E| c E|  $ q  i TE3>| n q 2 | i T E3>| n 0
4<<5/ ss1 99809:<1
  +9;,
  ^;` I1 Olq/ Z1 ]kdqj/ dqg U1 Eudqgw/ Urexvw Kryhu0

%E| c 
+ E| c E|  $ q i TE3>| n q | i T E3>| n 0e c
e 2 lqj Frqwuro ri d SYWRO Dlufudiw/ LHHH wudqvdfwlrqv rq
+9<, Frqwuro V|vwhpv Whfkqrorj|/ yro1 :/ qr1 6/ 4<<</ ss1 6760684

4596
^<` S1 Pduwlq/ V1 Ghydvld/ dqg E1 Sdghq/ D Glhuhqw
Orrn dw Rxwsxw Wudfnlqj= Frqwuro ri d YWRO Dlufudiw/
Dxwrpdwlfd/ yro1 65/ qr1 4/ 4<<9/ ss1 434043:1
^43` Q1 PfFodpurfk dqg L1 Nropdqryvn|/ D K|eulg
Vzlwfkhg Prgh Frqwuro Dssurdfk iru Y2VWRO Ioljkw Frq0
wuro Sureohpv/ Surfhhglqjv ri wkh 68wk LHHH Frqihuhqfh rq
Ghflvlrq ) Frqwuro/ Nreh/ MS/ Ghf1 4<<9/ ss1 597;059861
^44` P1 Rlvkl/ dqg F1 Wrpolq/ Vzlwfkhg Qrqolqhdu Frq0
wuro ri d YVWRO Dlufudiw/ Surfhhglqjv ri wkh 6;wk LHHH
Frqihuhqfh rq Ghflvlrq ) Frqwuro/ Skrhql{/ D]/ Ghf1 4<<</
ss1 59;8059<31
^45` P1 Rlvkl/ dqg F1 Wrpolq/ Vzlwfklqj lq Qrqplqlpxp
Skdvh V|vwhpv= Dssolfdwlrqv wr YVWRO Dlufudiw/ Surfhhg0
lqjv ri wkh Dphulfdq Frqwuro Frqihuhqfh/ Fklfdjr/ LO/ Mxqh
5333/ ss1 7;:07<41
^46` K1 Vlud0Udpluh}/ Qrq0plqlpxp Skdvh Rxwsxw Uhi0
huhqfh Wudmhfwru| Wudfnlqj iru d SYWRO Dlufudiw/ Sur0
fhhglqjv ri wkh LHHH Frqihuhqfh rq Frqwuro Dssolfdwlrqv/
Dqfkrudjh/DN/ Vhsw1 5333/ ss1 ;6;0;761
^47` P1 Vwroo/ Lqwurgxfwlrq wr Uhdo Dqdo|vlv/ Dgglvrq Zhv0
oh| Orqjpdq Lqf1/ 4<<:1

D Dsshqgl{ D 0 Fdofxodwlrq ri  _

Wr fdofxodwh  _ E|/ zh wdnh wkh wlph ghulydwlyh ri +6:, dqg

wkhq vxevwlwxwh iru wkh wlph ghulydwlyh ri @ E| ghqhg lq
+6;, wr rewdlq wkh iroorzlqj h{suhvvlrq
   
&  n s E&  n s  B _
 _ ' 3 5 _ 2 n 2 5_2+:5,
B 2_ B_
 
nl  5_ n l 5_ 3 &  n s 5_2 3 &2 5
B 2_

zkhuh wkh wlph ghulydwlyhv ri l E| dqg s E| duh h{solflwo|

jlyhq e| wkh iroorzlqj h{suhvvlrqv
 
 B _ E2&  n s   n s & 2 n s B _
2

 B_
l ' 3 2 n 32
B_ B_ B 2_ B _
+:6,
dqg
     
s ' 2 3   o| 3 0 2 ULt 
o

 q  r
3 t?    o| 3 20  n > o| 3 0 2
  o o
  o
l
n> 3 %  t? E n + ULt E n o 52 n o6 52 
+:7,

4597