*XDUDQWHHG&RVW)LOWHU'HVLJQIRU'LVFUHWH7LPH
1HXWUDO6\VWHPV
(UZLQ6XVDQWR,J3UDVHW\D'ZL:LEDZD-XQDUWKR
+DORPRDQDQG$JXQJ6XU\D:LERZR
6FKRRORI(OHFWULFDO(QJLQHHULQJ 7HONRP8QLYHUVLW\
%DQGXQJ,QGRQHVLD
0LWVXDNL,VKLWREL
'HSDUWPHQWRI0HFKDQLFDO6\VWHPV(QJLQHHULQJ .XPDPRWR8QLYHUVLW\
.XPDPRWR-DSDQ
Abstract²7KLV SDSHU SUHVHQWV WKH JXDUDQWHHG FRVW ILOWHU RI XQFHUWDLQOLQHDUQHXWUDOV\VWHPV%\GLVFUHWL]LQJWKHV\VWHPWKH ZRUN LV DQ H[WHQVLRQ RI WKH SUHYLRXV VWXG\ RQ FRQWLQXRXV FDVH :HSURSRVHWKHUREXVWILOWHUGHVLJQYLDOLQHDUPDWUL[LQHTXDOLWLHV /0,V %HFDXVH WKH LQHTXDOLWLHV REWDLQHG FRQWDLQ LQYHUVH UHODWLRQVDQ/0,EDVHGLWHUDWLYHDOJRULWKPLVXVHG$QXPHULFDO H[DPSOH LV JLYHQ WR LOOXVWUDWH WKH DGYDQWDJH RI WKH SURSRVHG PHWKRG
Keywords—guaranteed cost filter, discrete-time; neutral systems
, ,1752'8&7,21
%HFDXVH WKH XQFHUWDLQWLHV SOD\ PDLQ UROH LQ VWDELOLW\ DQG SHUIRUPDQFHRIFRQWUROV\VWHPDQGVLJQDOSURFHVVLQJDGHVLUHG FRQWUROOHURUILOWHUGHVLJQLVQRWRQO\WRDFKLHYHWKHVWDELOLW\RI WKHXQFHUWDLQ V\VWHPEXWDOVRJXDUDQWHHDQDGHTXDWHOHYHORI SHUIRUPDQFH 2Q WKH UREXVW ILOWHU GHVLJQ WKH PRVW SUREOHP IDFHG LV WKDW WKH RXWSXW LV SHUWXUEHG E\ WKH XQFHUWDLQW\ >@ *XDUDQWHHG FRVW ILOWHU LV RQH RI WKH FRQVLGHUDEOH PHWKRGV WR VROYHWKLVNLQGRISUREOHP>@>@
)RUVHYHUDOODVWGHFDGHV/0,DSSURDFKHVKDYHFRQWULEXWHG WRVROYHPDQ\FRPSOH[SUREOHPVRIFRQWUROV\VWHPEDVHGRQ FRQYH[RSWLPL]DWLRQZLWKREWDLQLQJWKHIHDVLEOHVROXWLRQ>@
%DVHG RQ WKH GHOD\ VL]H WLPH GHOD\ V\VWHPV VWDELOL]DWLRQ FULWHULDFDQEHFDWHJRUL]HGLQWRWZRW\SHVQDPHO\QHXWUDODQG UHWDUGHGV\VWHPV7KHV\VWHPZLWKG\QDPLFVGHSHQGVRQVWDWH GHOD\DQGWKHGHULYDWLYHLVQHXWUDORQH>@7KLVW\SHLVHDVLO\ IRXQG LQ YDULRXV DSSOLFDWLRQV VXFK DV FKHPLFDO DQG SURFHVV LQGXVWULHVURERWLFVDQGRWKHUWHFKQRORJLHV>@
6RPH UHVHDUFKHV RQ ILOWHU GHVLJQ FRQVLGHULQJ VWDELOLW\ DQDO\VHVIRUH[DPSOHVDUH>@>@$OOUHSRUWVPHQWLRQHG EHIRUH DUH LQ FRQWLQXRXV IRUP %HFDXVH LQ UHDO LPSOHPHQWDWLRQ WKH GLJLWDO IRUP LV PRUH DSSOLFDEOH ZH DUH PRWLYDWHG WR DQDO\]H WKH GLVFUHWHWLPH ILOWHU GHVLJQ %\ GLVFUHWL]LQJRXUSUHYLRXVZRUNRQFRQWLQXRXVQHXWUDOV\VWHPV FDVHZHSURSRVHWKHJXDUDQWHHGFRVWILOWHUGHVLJQLQGLVFUHWH WLPH FDVH 2QH RI WKH UHVHDUFKHV LQ GLVFUHWHWLPH JXDUDQWHHG FRVW ILOWHU GHVLJQ LV >@ ZKLFK ZDV VROYLQJ WKH SUREOHP RI WLPH GHOD\ V\VWHPV ZLWK FRQYH[ ERXQGHG XQFHUWDLQWLHV +RZHYHUZHH[WHQGWRWKHFDVHZLWKSDUDPHWULFXQFHUWDLQWLHV ,Q WKLV SDSHU WKH LQHTXDOLWLHV UHVXOWHG DUH QRW UHDOO\ DQ/0,
EHFDXVHVRPHLQYHUVHUHODWLRQVDSSHDU7KHUHIRUHZHXVH/0, EDVHGLWHUDWLYHDOJRULWKP>@
,,352%/(067$7(0(176
$GLVFUHWL]HGQHXWUDOV\VWHPRI>@FDQEHZULWWHQLQWKHIRUP
k A A k x k A A k x k h
x + = +Δ + d +Δ d −
+
Δ
+
−
τ
+
A
nA
nk
x
k
k
Cx
k
y
=
[
PD[^ `]
k
ψ
k k hτ
x = ∈ −
ZKHUH
h
LVDWLPHGHOD\τ
LVDQHXWUDOGHOD\ nk
x
∈
ℜ
LVWKHVWDWHYHFWRUy
k
∈
ℜ
nLVWKHPHDVXUHGRXWSXWYHFWRUn n d
A
A
A
∈
ℜ
DUH WKH UHDO FRQVWDQW PDWULFHV ZLWK DSSURSULDWHGLPHQVLRQVZKLFKUHSUHVHQWWKHQRPLQDORIQHXWUDO WLPHGHOD\ V\VWHP xk=ψk LV D JLYHQ YHFWRUYDOXHG LQLWLDOIXQFWLRQDQGC
LVDNQRZQFRQVWDQWUHDOYDOXHGPDWUL[ZLWKDSSURSULDWHGLPHQVLRQ
0DWULFHV ΔAkΔAdkΔAnkGHQRWH UHDO QRUP ERXQGHG PDWUL[ IXQFWLRQV UHSUHVHQWLQJ SDUDPHWHU XQFHUWDLQWLHV,WLVDVVXPHGWKDW
k
D
AF
Ak
E
AA
dk
D
AdF
Adk
E
AdA
=
Δ
=
Δ
An An An
n
k
D
F
k
E
A
=
Δ
ZKHUH
F
Ak
F
Adk
F
Ank
DUH WLPH YDU\LQJ XQFHUWDLQ PDWULFHVDQGVDWLVI\WKHLQHTXDOLWLHV
k F k I F k F k I
F Ad
T Ad A
T
A ≤ ≤
k F k I
F An
T
An ≤
An Ad A An Ad
A
D
D
E
E
E
D
DUH FRQVWDQW UHDOYDOXHGNQRZQPDWULFHVZLWKDSSURSULDWHGLPHQVLRQV
$QDV\PSWRWLFDOO\VWDEOHILOWHUIRUV\VWHPDERYHLVLQ WKHIROORZLQJIRUP
Ö
Ö
k
G
x
k
Ky
k
x
+
=
+
ZKHUHG DQGKDUHILOWHUYDULDEOHV
6XSSRVH HUURU VWDWH YHFWRU DQG LWV GLIIHUHQFH HTXDWLRQ DV IROORZV
2015 International Conference on Automation, Cognitive Science, Optics, Micro Electro-Mechanical System, and
Information Technology (ICACOMIT), Bandung, Indonesia, October 29–30, 2015
k x k x k
e = −
k+ =x k+ −x k+
e
k Gek A Ak KC G xk
e + = + +Δ − −
A
d+
Δ
A
dk
x
k
−
h
+
+
Δ
+
−
τ
+
A
nA
nk
x
k
:HFDQGHILQHDXJPHQWHGVWDWHYHFWRU
»¼
º
«¬
ª
=
k
e
k
x
x
aVRWKDWWKHFORVHGORRSV\VWHPLV
»¼
º
«¬
ª
»¼
º
«¬
ª
−
−
Δ
+
Δ
+
=
»¼
º
«¬
ª
+
+
k
e
k
x
G
G
KC
A
A
A
A
k
e
k
x
»¼
º
«¬
ª
−
−
»
¼
º
«
¬
ª
Δ
+
Δ
+
+
h
k
e
h
k
x
A
A
A
A
d d
d
d
»¼
º
«¬
ª
−
+
−
+
»
¼
º
«
¬
ª
Δ
+
Δ
+
+
τ
τ
k
e
k
x
A
A
A
A
n n
n
n
x
k
G
G
KC
A
A
A
A
k
x
a a»¼
º
«¬
ª
−
−
Δ
+
Δ
+
+
h
k
x
A
A
A
A
a d d
d d
−
»
¼
º
«
¬
ª
Δ
+
Δ
+
+
τ
−
+
»
¼
º
«
¬
ª
Δ
+
Δ
+
+
x
k
A
A
A
A
a n n
n n
7KHFRQVLGHUHGSUREOHPWREHVROYHGLVWRHVWLPDWHWKHVLJQDO DQGPLQLPL]HWKHXSSHUERXQGRIJXDUDQWHHGFRVW
k
Le
k
z
=
¦
∞ ∞ −=
z
k
z
k
J
TZKHUH
z
k
LVWKHHUURUVWDWHRXWSXWDQG LVDJLYHQPDWUL[ 7KHUHIRUHZHPD\UHZULWHk
+
=
A
x
k
+
A
x
k
−
h
+
A
x
k
+
−
τ
x
a a a a
k
C
x
k
z
=
aZKHUH
«¬
ª
»¼
º
−
−
Δ
+
Δ
+
=
G
G
KC
A
A
A
A
A
»
¼
º
«
¬
ª
Δ
+
Δ
+
=
d d
d d
A
A
A
A
A
»
¼
º
«
¬
ª
Δ
+
Δ
+
=
n n
n n
A
A
A
A
A
C
=
[
L
]
$IWHUZDUGWKHIROORZLQJOHPPDZLOOEHXVHIXOIRUWKHSURRI
Lemma 2.1VHH>@/HWDDQGEEHPDWULFHVRIDSSURSULDWH
GLPHQVLRQV DQG F EH D PDWUL[ IXQFWLRQ VDWLVI\LQJ I
k F k
FT ≤
IRUDQ\SRVLWLYHVFDODU
α
WKHIROORZLQJLQHTXDOLW\KROGV EE DD
D F E
DFE T T T T − T + ≤
+ α α
,,,0$,15(68/76
7KLV VHFWLRQ SUHVHQWV D VXIILFLHQW FRQGLWLRQ RI WKH GLVFUHWH JXDUDQWHHG FRVW ILOWHU DQG LWV XSSHU ERXQG RI WKH JXDUDQWHHG FRVW7KHPDLQUHVXOWLVSURYLGHGE\IROORZLQJWKHRUHP
Theorem 3.1
,IWKHIROORZLQJPDWUL[LQHTXDOLWLHVRSWLPL]DWLRQSUREOHP
{
}
PLQ γ+γ+tr M +tr M +tr M +tr M VXEMHFW
WR
<
»
»
»
»
»
¼
º
«
«
«
«
«
¬
ª
+
−
−
−
+
+
−
−
S
E
A
S
A
W
A
C
C
W
E
T T T T
<
»
»
¼
º
«
«
¬
ª
−
−
inv x T
E
x
γ
<
»
»
¼
º
«
«
¬
ª
−
−
inv e T
E
e
γ
<
»
»
¼
º
«
«
¬
ª
−
−
inv x
T
W
Y
M
<
»
»
¼
º
«
«
¬
ª
−
−
inv e
T
W
Y
M
<
»
»
¼
º
«
«
¬
ª
−
−
inv x
T
S
Y
M
<
»
»
¼
º
«
«
¬
ª
−
−
inv e
T
S
Y
M
KDVDVHWRIVROXWLRQ
>
E
W
>
S
>
E
x>
E
e>
W
x>
>
e
W
S
x>
S
e>
M
>
M
>
M
>
>
M
γ
>
γ
>
tr
M
>
tr
M
>
M
>
tr
tr
M
>
ZKLFKVDWLVI\WKHLQYHUVHUHODWLRQV
E
=
E
−inv
−
=
W
W
inv
−
=
S
S
inv WKHQWKHV\VWHPLVDJXDUDQWHHGFRVWILOWHUZLWK DQXSSHUERXQGRIWKHJXDUDQWHHGFRVW
E
x
e
E
e
x
J
eT x
T
+
=
¦
¦
− − = − − =+
+
h i e T h i x Ti
e
W
i
e
i
x
W
i
x
¦
¦
=−+
=−+
τ τ s e T s x Ts
e
S
s
e
s
x
S
s
x
+
+
tr
M
+
tr
M
+
tr
M
+
tr
M
=
γ
γ
Proof of Theorem 3.1.
'HILQHDFDQGLGDWHRI/\DSXQRYIXQFWLRQ
¦
− − =+
=
k h k i a T a a T aa
k
x
k
Ex
k
x
i
Wx
i
x
V
¦
− =+
k k s a Ta
s
Sx
s
x
τ ZKHUH»
¼
º
«
¬
ª
=
e xE
E
E
»
¼
º
«
¬
ª
=
e xW
W
W
»
¼
º
«
¬
ª
=
e xS
S
S
7KHGLIIHUHQFHRIDORQJWKHWUDMHFWRU\LVIRUPXODWHGLQx
k
V
x
k
V
V
=
a+
−
aΔ
k
Ex
k
x
k
Ex
k
x
V
=
aT+
a+
−
Ta aΔ
k
Wx
k
x
k
h
Wx
k
h
x
aT a−
aT−
a−
+
+
+
−
−
τ
−
τ
+
x
aTk
Sx
ak
x
Tak
Sx
ak
0LQLPL]LQJWKHJXDUDQWHHGFRVWLQILOWHULQJHUURUG\QDPLFVWR REWDLQWKHDV\PSWRWLFVWDELOLW\LPSOLHV
<
−
<
Δ
V
z
Tk
z
k
1RZLQWURGXFH
»
»
»
¼
º
«
«
«
¬
ª
=
ψ
ψ
ψ
ψ
ψ
ψ
ψ
ZHKDYH<
»
»
»
¼
º
«
«
«
¬
ª
−
+
−
»
»
»
¼
º
«
«
«
¬
ª
»
»
»
¼
º
«
«
«
¬
ª
−
+
−
τ
ψ
ψ
ψ
ψ
ψ
ψ
τ
x
k
h
k
x
k
x
k
x
h
k
x
k
x
a a a T a T a T a ZKHUH
=
A
TE
+
S
A
−
E
+
W
+
C
TC
ψ
=
A
TE
+
S
A
ψ
ψ
=
A
TE
+
S
A
=
A
TE
+
S
A
ψ
ψ
=
A
TE
+
S
A
=
A
TE
+
S
A
−
S
ψ
8QGHUFRQGLWLRQ
ψ
<
DQGXVLQJ6FKXU&RPSOHPHQW>@LW FDQEHZULWWHQ<
»
»
»
»
»
¼
º
«
«
«
«
«
¬
ª
+
−
+
−
+
−
+
+
+
−
S
E
S
E
A
S
S
E
A
W
S
E
A
C
C
W
E
T T T T%\SUHDQGSRVWPXOWLSO\LQJZLWK
diag
^
I
I
I
E
+
S
−`
<
»
»
»
»
»
¼
º
«
«
«
«
«
¬
ª
+
−
−
−
+
+
−
−S
E
A
S
A
W
A
C
C
W
E
T T T T )XUWKHUZHWDNHLQWR<
−
<
+
¦
∞ = k Tk
z
k
z
k
V
LPSOLHVe
E
e
x
E
x
k
z
k
z
J
e T x T kT
<
+
−
=
¦
∞ =¦
¦
− − = − − =+
+
h i e T h i x Ti
e
W
i
e
k
x
W
i
x
¦
¦
=−+
=−+
τ τ s e T s x Ts
e
S
s
e
s
x
S
s
x
ZKHUH LVWKHJXDUDQWHHGFRVWDQGSDUWVRIWKHDERYHHTXDWLRQ DUHGHILQHG T h i TY
Y
i
x
i
x
=
¦
− − = T h i TY
Y
i
e
i
e
=
¦
− − = T i TY
Y
s
x
s
x
=
¦
=−τ T i TY
Y
s
e
s
e
=
¦
=−τ ,WLVFOHDUO\WKDWUHIHUVWR,9$1,//8675$7,9((;$03/(
&RQVLGHUDV\VWHPZLWK »¼ º «¬ ª − = »¼ º «¬ ª − = »¼ º «¬ ª − −
= Ad An
A »¼ º «¬ ª = »¼ º «¬ ª = »¼ º «¬ ª
= A Ad
A E D
D »¼ º «¬ ª = »¼ º «¬ ª = »¼ º «¬ ª
= An An
Ad D E
»¼ º «¬ ª
+ −
− =
»¼ º «¬ ª
=
»¼ º «¬ ª
=
s s s
x L
C
T T
[
]
Ö
∈
−
»¼
º
«¬
ª
+
−
−
=
s
s
s
s
x
h
=
τ
=
)URPLWLVHDVLO\REWDLQHG
=«¬ª »¼ºY =«¬ª »¼º
Y
=«¬ª »¼ºY =«¬ª »¼º
Y
$SSO\LQJ 7KHRUHP DQG DGRSWLQJ WKH LWHUDWLYH DOJRULWKP >@ZHKDYH
»¼ º «¬
ª
=
»¼ º «¬
ª
= xinv
x S
S
»¼ º «¬
ª
=
»¼ º «¬
ª
= einv
e S
S
»¼ º «¬
ª
=
»¼ º «¬
ª
= xinv
x W
W
»¼ º «¬
ª
=
»¼ º «¬
ª
= einv
e W
W
»¼ º «¬
ª
=
»¼ º «¬
ª
= xinv
x E
E
»¼ º «¬
ª
=
»¼ º «¬
ª
= einv
e E
E
[
]
−»¼ º «¬
ª
=
= G
K
= ∗
J
0
10
20
30
40
50
60
-1
-0.5
0
0.5
1
k
St
at
es
x
(k
)
)LJ7UDMHFWRULHVRIVWDWHVx²DQGx
)LJXUHVVKRZVWKHWUDMHFWRULHVRIVWDWHVZLWKWLPHVDPSOLQJ VHFRQG ,W LV QRWLILHG WKDW WKH V\VWHP LV VWDEOH DQG FRQYHUJHGWR]HURVWDWH
9&21&/86,21
$ JXDUDQWHHG FRVW ILOWHU GHVLJQ IRU XQFHUWDLQ GLVFUHWL]HG QHXWUDO V\VWHPV LV GHULYHG RQ WKH EDVLV RI WKH /0, IHDVLEOH VROXWLRQV 7R REWDLQ WKH RSWLPDO FRVW PLQLPL]LQJ WKH XSSHU ERXQG RI WKH JXDUDQWHHG FRVW LV GHWHUPLQHG $ QXPHULFDO H[DPSOHLVVKRZQWRYHULI\WKHSURSRVHGPHWKRG
ĐŬŶŽǁůĞĚŐŵĞŶƚ
7KLV UHVHDUFK LV IXQGHG E\ GLUHFWRUDWH JHQHUDO RI KLJKHU HGXFDWLRQ ',.7, ,QGRQHVLD PLQLVWU\ RI HGXFDWLRQ DQG FXOWXUH LQ WKH UHVHDUFK JUDQW µ)XQGDPHQWDO 5HVHDUFK¶ 'HFLVLRQRIWKH'LUHFWRURI5HVHDUFKDQG&RPPXQLW\6HUYLFH 1XPEHU(
ZĞĨĞƌĞŶĐĞƐ
>@ (6XVDQWRDQG0,VKLWREL³$Q/0,DSSURDFKWRJXDUDQWHHGFRVWILOWHU IRU XQFHUWDLQ QHXWUDO V\VWHPV ZLWK WLPHYDU\LQJ GHOD\´ 3URF RI ,QWHUQDWLRQDO &RQIHUHQFH RQ $GYDQFHG &RPSXWHU 6FLHQFH DQG ,QIRUPDWLRQ6\VWHPV%DOLSS
>@ 66/ &KDQJ DQG 7.& 3HQJ ³$GDSWLYH JXDUDQWHHG FRVW FRQWURO RI V\VWHPV ZLWK XQFHUWDLQ SDUDPHWHUV´ ,((( 7UDQVDFWLRQV RQ $XWRPDWLF &RQWURO9ROSS±
>@ -+.LP³5REXVWJXDUDQWHHGFRVWILOWHULQJIRUXQFHUWDLQV\VWHPVZLWK WLPHYDU\LQJ GHOD\ YLD /0, DSSURDFK´ 7UDQVDFWLRQV RQ &RQWURO $XWRPDWLRQDQG6\VWHPV(QJLQHHULQJ9RO1RSS± >@ 6 %R\G (O *KDRXL ( )HURQ DQG 9 %DODNULVKQDQ /LQHDUMatrix
Inequalities in System and Control Theory6,$03KLODGHOSKLD
>@ .:<XDQG&+/LHQ³'HOD\GHSHQGHQWFRQGLWLRQVIRUJXDUDQWHHG FRVW REVHUYHUEDVHG FRQWURO RI XQFHUWDLQ QHXWUDO V\VWHPV ZLWK WLPH YDU\LQJGHOD\V´,0$-RXUQDORI0DWKHPDWLFDO&RQWURODQG,QIRUPDWLRQ
9ROSS±
>@ &+ /LHQ³*XDUDQWHHG FRVW REVHUYHUEDVHG FRQWUROV IRU D FODVV RI XQFHUWDLQQHXWUDOWLPHGHOD\V\VWHPV´-RXUQDORI2SWLPL]DWLRQ7KHRU\ DQG$SSOLFDWLRQV9ROSS±
>@ 6 ;X - /DP & <DQJ DQG ( 9HUULHVW³$Q /0, DSSURDFK WR JXDUDQWHHG FRVW FRQWURO IRU XQFHUWDLQ OLQHDU QHXWUDO GHOD\ V\VWHPV´ ,QWHUQDWLRQDO -RXUQDO RI 5REXVW DQG 1RQOLQHDU &RQWURO 9RO SS±
>@ < +H *3 /LX ' 5HHV DQG 0 :X³,PSURYHG + ILOWHULQJ IRU V\VWHPV ZLWK D WLPHYDU\LQJ GHOD\´ &LUFXLWV 6\VWHP 6LJQDO 3URFHVV 9ROSS±
>@ -<RQH\DPD³5REXVW+ILOWHUGHVLJQIRUXQFHUWDLQV\VWHPVZLWKWLPH YDU\LQJGHOD\V´(OHFWURQLF DQG&RPPXQLFDWLRQLQ-DSDQ9RO& SS±
>@()ULGPDQDQG86KDNHG³$QLPSURYHGGHOD\GHSHQGHQW+ILOWHULQJ RI OLQHDU QHXWUDO V\VWHPV´ ,((( 7UDQVDFWLRQV RQ 6LJQDO 3URFHVVLQJ 9ROSS±
>@-+ .LP³'LVFUHWHWLPH UREXVW JXDUDQWHHG FRVW ILOWHULQJ IRU FRQYH[ ERXQGHG XQFHUWDLQ V\VWHPV ZLWK WLPH GHOD\´ ,&$6( 7KH ,QVWLWXWH RI &RQWURO $XWRPDWLRQ DQG 6\VWHPV (QJLQHHULQJ .RUHD 9RO 1R SS±