針對過程控制系統之威脅評估和攻擊偵測模組

全文

(1)੣ Ι Π ௣ ʩ ዖ ྑጆႪેտʴധዖԧ ၮʧ቉̂ ਒࿭ཬധેտԧ஁˄‫ܪ‬঵අы֝Ӥᐄ਴೧ᆧஈ.

(2)

(3)

(4) . ߨ Ԧ ·î‫׆ع‬ዀ.

(5) ‫ݤ‬ዘ૦૘î෧ԯ႕. థʧ.

(6) ! " # . ˁൢͻ੣ʄʐʊϷˊ̈. .

(7) ਒࿭ཬധેտԧ஁˄‫ܪ‬঵අы֝Ӥᐄ਴೧ᆧஈ.

(8)

(9)

(10) . ߨ Ԧ ·î‫׆ع‬ዀ ‫ݤ‬ዘ૦૘î෧ԯ႕.

(11) థʧ.

(12) ! " # . ੣ Ι Π ௣ ʩ ዖ ྑጆႪેտʴധዖԧ ၮʧ቉̂. $

(13) % &

(14) & & & ' ( % ) *+ . % &

(15) & . , -../. # , 0 , *%$ ˁൢͻ੣ʄʐʊϷˊ̈.

(16) ਒࿭ཬധેտԧ஁˄‫ܪ‬঵අы֝Ӥᐄ਴೧ ᆧஈ ዖ·î‫׆ع‬ዀ. ‫ݤ‬ዘ૦૘î෧ԯ႕. థʧ. ੣ Ι Π ௣ ʩ ዖྑጆႪેտʴധዖԧĄߨԦ‫؀‬ąၮʧक़. ဈ. ࠲. ϛ௡ࡵߨԦˁèӎ࡮਒࿭ཬധેտԧ஁Ą7YVJLZZ*VU[YVS:`Z[LTą‫څ‬ϰθ‫׸‬඲н˝‫ؿ‬êϛ ਫ௏ેտወЊԽੰв়ۙʎ‫څ‬ષٝʔèӎ࡮η༶൥˝‫ؿ‬ՔӘ̴ԧ஁ˁజࣛéజᘖᓊ‫څ‬෮ ึወ໣ᓮĄZLUZVYUVKLZąê௡՘໣ᓮϛཪսʉ‫ۓ‬Ӥᐄईè๢࿭ԧ஁རᕣୖ·ᅭᛐèՔͅ ়௫Ͽԧ஁೸٘͹ઘརі‫˻׼‬৺ࡍʩφࣁêӎ࡮ϛ௡ᇻ቉̂ˁ‫࠲̠څ‬৹ᙌЊîɿéಐ̴ ෮ึወӤᐄᆧ‫ܔ‬è̤ᆧᐉώၳҭዲ‫׸‬Ӥᐄíʆé̤ˣዖˬᏼᙋі޵࿨ᝁ͔ͧè௬ཬɿ௥ с‫څ‬࿨ᝁè૊৬෮ึወӤᐄ࿭ԧ஁ः়ୖ·‫څ‬ᅭᛐíʓéӘ̴Տጻн޵˄෈‫ࡍڅ‬ʩᘖᑸ ‫׸‬èՔዩА݀ဠ̴̤ᆧ‫޵ܔ‬੫‫˄ס‬୚ઘ਴೧ᆧஈĄ(UVTHS`+L[LJ[PVU4VK\SLąêА਴೧ᆧ ஈ̤ͅ௬ཬ੊ᆛ‫څ‬ቇዲèӘ̴జ՟‫څ‬਴೧ई෈ႪᎥიᙲైୋèՠ୚ઘ਴೧ᆧஈ়ੰႆᇨ ϚᏼΈ‫ء‬ˀωેտԧ஁ˁêӎ࡮ωई௬ཬ࿨ᝁèᗲ‫ັب‬෮ึወት֍սӤᐄईè͵቉̂ ˁ‫؀‬ಐ̴‫څ‬୚ઘ਴೧ᆧஈˑ়ЊःϚ႖‫ݡ‬ԧ஁རі‫څ‬ᗍ‫ׇܿ‬ႪϰθܿêА͚èЩᅲս Ӥᐄ‫়ͅڗ‬ʶ໪‫ޤ‬࿬‫׼‬ᇉર਴೧ጆտ֝ԧ஁ેտ‫څ‬ષٝèӤᐄ‫̤ͅڗ‬ഛ੃ᓚઃ‫׸‬Ӥᐄ ĄZ[LHS[O`H[[HJRą̤ཛᒽ୚ઘ਴೧ᆧஈèϖАè͵ߨԦΡ਒࿭ᓚઃ‫׸‬Ӥᐄ়ͅ࿭ԧ஁௫ Ͽ‫څ‬ᅭᛐ̷̤࿨ᝁé˝‫ؿ‬Ⴊ৬቉ê͵ߨԦ഼‫ش‬ᗲ࿨‫؀‬ಐ̴‫څ‬୚ઘ਴೧ᆧஈ̤ͅЊः‫څ‬Տ ጻ਒࿭ཬധેտԧ஁‫څ‬ҭዲ‫׸‬ӤᐄႪᓚઃ‫׸‬Ӥᐄèᇨۙዲᝃԧ஁‫څ‬͹ઘརіê. .

(17)

(18)

(19)

(20)

(21)

(22)

(23)

(24)

(25)

(26)

(27)

(28) .

(29) ! " # . % &

(30) & ' ( . . 1 % % 23 0 % % ! 1 %

(31) % 0

(32) ! 4 % 0

(33)

(34) % , 0

(35) + %

(36) % %

(37)

(38) ! 1

(39) %

(40) $

(41)

(42)

(43) $

(44) 0

(45) ! ) 5 0% , 0 0 0

(46)

(47) %

(48)

(49) $ , 4 6

(50)

(51) ! )

(52)

(53) 5 0% , 0 0 0

(54)

(55) ,

(56) $

(57) %

(58) %

(59) !. .

(60) გᒨ ݄ਣ়፟ੰ௣ཬၮʧʥ༶௡ࡵᘖ̀è௡࿭ӎ‫ߨڅ‬ԦϿ‫֝ش‬ዖீ‫୐ڸ‬೸ၞ‫ݶ‬ɿʩ‫ڡ‬ ‫ׇ‬è‫ێ‬ઘึᒨ‫ݤ‬ዘШࣗ෧ԯ႕థʧ‫ݤ˼ࠄڅ‬ዘèਜʅߨԦ̅٘˄͚èϛ቉̂ᅞі̅ࡓʜ ˀྻյດ‫څ‬ર˼‫ݤ‬ዘèՔൃˆӎጆ๢‫ࠁקۯ‬੣̷ϴ‫ލ‬Ѡ൦ʩዖଵ௫èནᎳ͚੣ఋϲዖ‫ڗ‬ (S]HYV*HYKLUHZ֝:H\YHIO(TPUዖஒߨԦ࿾̤ܿ˫ਮ՗̅٘èෆᓕӎ‫څ‬୧ߎʜ᝗ӎϛߨԦᄚ ੥ӧʖɿᅟᆨêʜึᒨШࣗͮ௫̴ɿࡵयً֝ᆫ‫څ‬࿨ᝁ‫ܯ‬ᐽ࿐è᝗ӎ֝յ̨࿨ᝁ‫ܯ‬Ͽ࢝ ়ੰϰ˼֝ᆫ‫څ‬θʎሶռዖ๤֝቉̂èʜึᒨథक़ሤ‫׉ن‬ዖֺ֝෧඄̂ዖ‫ۃ‬ϛ୏቉֝࿨ іʖ‫݀څˆൃ؀‬ᙰ֝ᏹѫê͚͐ʜึᒨP*(:;࠴഑ˁ‫؀‬Њɿ৺޵:>665ᖼԫ‫څ‬࿗шé[LYT ɿ৺̴੣ωΆιࠛ‫څ‬ዣ˪èՋ‫ݶ‬ၮʧ·ଥజᘘӅ‫څ‬ϗዟèԆЊї࡮èӎߠ‫ے‬ၮʧ·ଥ ‫ׇ‬๢ჱйˀ˳êజ݉ึᒨ̔ͺ઩ʯ‫څ‬ड੯̤˫‫࡮˪د‬ϛӷዖཕʖ‫څ‬௽шèͶդӎ๢ӧ̷ ѬʎèಮૼЊӧϧ‫୐ڸڅ‬ê. .

(61)

(62) ဈ࠲. P. (IZ[YHJ[. PP. გᒨ. PPP. ;HISLVM*VU[LU[Z. P]. 3PZ[VM-PN\YLZ. ]P. 3PZ[VM;HISLZ. ]PPP. *OHW[LY . 0U[YVK\J[PVU. . . *VU[YVS:`Z[LTZ . 7. . 5L^=\SULYHIPSP[PLZHUK;OYLH[Z . 8. . 6\Y(WWYVHJO . 8. . :`UVWZPZ . 9. *OHW[LY . 7YVJLZZ+LZJYPW[PVU. . *OHW[LY . ;OYLH[(ZZLZZTLU[. . *OHW[LY . ([[HJRTVKLSZ. . . (KKP[P]L([[HJRZ . 78. . 4\S[PWSPJH[P]L:JHSPUN([[HJRZ . 7:. . +LSH`([[HJRZ . 79. *OHW[LY . 4VKLS)HZLK([[HJR+L[LJ[PVU. . 3PULHY4VKLS . . 7;.

(63) . *OHW[LY . +L[LJ[PVU4L[OVKZ . 7/. . :LX\LU[PHS+L[LJ[PVU . -.. . *OHUNL+L[LJ[PVU . -.. . 9LZWVUZL<ZPUN3PULHY4VKLS . --. ,_WLYPTLU[Z. . ;YHPUPUN7HYHTL[LYZ . -:. . ;YHPUPUN b . -:. . ;YHPUPUN τ . -9. . :HML[`VM(\[VTH[PJ9LZWVUZL . -;. . +L[LJ[PVUHUK9LZWVUZL . -<. . 4\S[PWSPJH[P]L:JHSPUN([[HJRZ . -<. . +LSH`([[HJRZ . 87. *OHW[LY . :[LHS[O`([[HJRZ. . . 4VKLS:[LHS[O`([[HJRZ . 89. . ,_WLYPTLU[Z . 8;. *OHW[LY 9LMLYLUJLZ. *VUJS\KPUN9LTHYRZHUK-\[\YL>VYR. .

(64) !"#

(65) . (YJOP[LJ[\YLVM[OL:PTWSPMPLK;, 7SHU[ . =. . :PNUHSZ^P[OV\[5VPZL . <. . :PNUHSZ^P[O.H\ZZPHUUVPZL TLHU$" ]HY$ . /. . 0U[LNYP[`H[[HJR y3max MYVT t = 10 [V 30 ;OLZ`Z[LTYLTHPUZPUHZHMLZ[H[LMVYH[[HJRZ VU y3 . . 77. :HML[`JHUILIYLHJOLKI`JVTWYVTPZPUNZLUZVY y2 H +V: H[[HJRZ VU[OLV[OLY OHUK KVUV[JH\ZLHU`KHTHNLHUK[OL`HYLLHZ`[VKL[LJ[ I. . 77. . 7;. . ;OLWYVWVZLKKL[LJ[PVUTVK\SL! \ZL3PULHY4VKLS. . ;OLWHYHTLU[LYVM(+4! b -VY y1 9951 bZHYL 0.015 ;OLTLHU]HS\LVM by1 PZ 0.0642 -:. . ;OLU\TILYVMMHSZLHSHYTZKLJYLHZLZL_WVULU[PHSS`^P[OPUJYLHZPUN τ ;OPZYLZ\S[Z JVUMPYT[OL[OLVY`Z\WWVY[PUN[OLUVUWHYHTL[YPJ*<:<4 HSNVYP[OT . . -9. ;OL[PTLMVYKL[LJ[PVUPUJYLHZLZSPULHYS`^P[OPUJYLHZPUN τ ;OPZYLZ\S[ZJVUMPYT[OL[OLVY` ILOPUK[OLUVUWHYHTL[YPJ*<:<4 HSNVYP[OT . -=. . y˜1 = y1 ∗ 0.5 . -/. . y˜2 = y2 ∗ 0.5 . 8.. . y˜3 = y3 ∗ 0.5 . 87. . KL[LJ[PVU[PTL]Z ZJHSPUNH[[HJR 5V[L[OH[MVY λm = 1 [OLYLPZUVHSHYT . 87. . y˜2 (t) = y2 (t − 10) . 8-. . KLSH`[PTL]Z JYHZO[PTL KL[LJ[PVU[PTL . 8-. y˜1 (t) = y1 ∗ 0.8 y˜2 (t) = y2 (t − 10) . 88. y˜2 (t) = y2 (t − 10) y˜3 = y3 ∗ 1.2 . 8:. Z[LHS[O`H[[HJRy˜2 = y2 ∗ 0.9 . 8;. . .

(66) . Z[LHS[O`H[[HJRy˜2 = y2 + noise . 8<. . Z[LHS[O`H[[HJR . 8<. .

(67)

(68) . -VY;OYLZOVSKZ τy1 = 50, τy2 = 10000, τy3 = 200 ^LVI[HPUUVMHSZLHSHYT ;OLYLMVYL ^LVUS`YLWVY[[OLL_WLJ[LKWYLZZ\YL [OLZ[HUKHYKKL]PH[PVUVM[OLWYLZZ\YL HUK[OL TH_PT\TWYLZZ\YLYLHJOLK\UKLYUVMHSZLHSHYT. . . -<. )LOH]PVYVM[OLWSHU[HM[LYYLZWVUZL[VHMHSZLHSHYT^P[O[OYLZOVSKZ τy1 = 5, τy2 =. 1000, τy3 = 20 . . -<.

(69) $

(70) % & # . 0

(71)

(72) $

(73)

(74) $6 % !

(75) % %$ %% 0

(76) %

(77) ! > %, 0 4% 0

(78) 6 0 $ !. %'%

(79) %$

(80) PRQLWRU

(81) FRQWURO % % ! % 0

(82) 0

(83) 2>3

(84) % 0

(85) ! %

(86) %% ,

(87) 23, %

(88) + 23 2

(89) 3, $ 23 2 $

(90)

(91)

(92)

(93) 0 3! % $ % ,

(94)

(95) $ %0,

(96) , 0

(97) 0 0 0 %

(98)

(99) %

(100) ! %

(101) 0

(102) , , , % ,

(103) .

(104) ! ) 4 %,

(105)

(106)

(107) % % , . 7.

(108) %

(109) 0 %% ,

(110) 0

(111) %0 . ! 1 0

(112) 0 % % ? 0 , , % ? %#, $

(113) ,

(114)

(115) ?

(116)

(117)

(118) 0!

(119)

(120)

(121) @7A, @-A! $B 273 % $ %$$

(122) $ $ , 2-3 %

(123)

(124)

(125) $ % % 0 % $

(126) , 283 4 6 %

(127) %! 1

(128) $0 0 %%

(129)

(130)

(131) $B 0 4 0 ! UHJ XODWRU\ FRQWURO OD\HU

(132) % $ ! % $

(133) $ % ! % $

(134) % %

(135) 0 + ! C

(136) , VXSHUYLVRU\ FRQWURO OD\HU % $ 0 % $

(137) %

(138) % ! +

(139)

(140) % ,

(141) $

(142) %%

(143) 2>3 ! > % $

(144) %

(145) %$ % ! #0 , % $

(146) % 6 $

(147) %

(148) @8A! % 6

(149)

(150) 0 % %0! 1 %4

(151) $

(152) % > % $ %

(153)

(154) %

(155) 0 0 % %0!. -.

(156) # , 4%

(157)

(158) $ %

(159) !

(160) , 0 %

(161)

(162) % $ % 2 3

(163) !. %' (

(164) ) *#

(165)

(166)

(167) % %$ , , ,

(168) ! $

(169) %

(170)

(171)

(172)

(173) 6 ,

(174) % 0

(175) > , , ! > , $ %4

(176)

(177) %

(178)

(179) , $! ' $ 0, $ 0 %

(180) !

(181)

(182) , 6

(183) %

(184)

(185) 4% $ ! % , $

(186)

(187)

(188) @:79A!. %'+ ,# $$ . 1 $ % 0 273 0 0 , 2-3 % %

(189) >

(190) %,

(191) 283 .

(192) $ % 2 , , 3,

(193) ,

(194) % $ ! 1 .

(195)

(196)

(197)

(198) %

(199) % VXU 8.

(200) YLYDELOLW\ 2 $ % 0

(201) 3? 0

(202)

(203) 0 %$ 0

(204) ! > %, 0 $ , , $ $ 0 0

(205)

(206)

(207)

(208) % 0 %

(209)

(210) > ! > %, %

(211)

(212) % ! *

(213)

(214) 0

(215)

(216) , 0 % 0

(217) ! > 0 0 B

(218) 0 % > 0 % 0

(219) ! > %% 0 %% % % %

(220) ! > %% 0 %

(221) ! 1 0 B 273

(222) %

(223) ,

(224) 2-3

(225)

(226)

(227) % . !

(228) $

(229)

(230)

(231) % $ ! 1 %%%

(232) 0 % % 0

(233)

(234) 273

(235)

(236) + , 2-3 % $ , 283 % +

(237) $

(238)

(239) ,

(240) 2:3

(241)

(242) !

(243)

(244) % % % ! ( > , 0

(245) 5 % ! % %

(246) 0 !

(247) 4% % ! 0 . :.

(248) % 0 %

(249) ! > % %

(250) %

(251)

(252) %

(253) !

(254)

(255) % % 0

(256) ,

(257)

(258) %

(259)

(260) %

(261) !. %'- $ > 4 %, 0 % %

(262) & % 2& 3 0 0

(263) $

(264) %

(265) $ ! % %

(266) %

(267) ! % 8

(268) %

(269) 0 4 6

(270) % ! > % :, 0 %

(271)

(272) $ $ ! 1 %

(273) $

(274)

(275)

(276)

(277) 0

(278) % 9! > % =,

(279)

(280)

(281) %

(282) %

(283)

(284) &! % ; % 0 4% 0

(285)

(286)

(287) %.

(288)

(289)

(290)

(291) ! 1 %

(292)

(293) % <!. 9.

(294) $

(295)

(296)

(297) $ . > %%, 0 & % 2&3

(298)

(299)

(300) % > 0 %%

(301) $ * @7=A 4% ! 1 $

(302) $ %

(303) % ) -!7! %

(304) %

(305) )C**'

(306) > 0 %

(307) ! 1 0

(308)

(309) !. Loop 4 Controller C4. F4sp F4. P. Pmax. Loop 1 Controller C1. Valve V2. F3. Purge. u1 u2 Feed 1 (A+B+C). F1 Valve V1. Pressure sensor S2. Reactor sensor S3 u3. y3sp. Psp Product(D). F4. Valve V3. Feed 2 F2 (pure A). Loop 2 P controller C2 (y2). Product sensor S1. y3 F4 (y1). Loop 3 controller C3. ) -!7 %

(310) & . % $ 0 % %

(311) 4

(312) V 122 (m3 )! 0

(313) $ A

(314) C . =.

(315) % B +

(316) %

(317) D B. A + C −→ D.

(318) 1 A, C

(319) B?

(320) 2 % A? 3 % % A, B, C?

(321) 4 4 +

(322) %

(323) D!

(324) 0 i

(325)

(326) $ Fi (kmol h−1 )! FRQWURO REMHFWLYHV UHJXODWH F4 , %

(327) %

(328) D, % F4sp (kmol h−1 ), 0 P , % % , $0 3000 kP a

(329)

(330) VDIHW\

(331) , % y3 ,

(332) , % !.

(333) $B

(334) $ , * @7=A % 0 2 ) -!73. • % 7 % % 7 C1 ,

(335) 7 V1

(336) %

(337) S1 ! % 7 %

(338) F4 = y1

(339) % u1

(340) B

(341) 7 V1 !

(342) B V1 , % 7 %

(343)

(344) %

(345) ! • % -

(346) % % - C2 , % V2

(347) % S2 !. ;.

(348) % - P = y2

(349)

(350) $ %

(351) % u2 ! u2 % % %

(352) % ,

(353) ! • % 8

(354) % % 8 C3 ,

(355) - V3

(356) S3 ! % 8 y3 0

(357)

(358) % u3

(359) B

(360) - V3 ! % 8 % $ y3

(361)

(362) - ! • % : % % : C4 , % 7 C1 ,

(363) 7 V1

(364) % S2 ! % :

(365)

(366) % % % u2 %−2 ! 1 P = y2 , % : % F4sp

(367) u1 % P = y2 !. y2. y1. Amount of A in purge ( mol % ). 2700.0001 Pressure ( kPa ). Product Rate ( kmol / hour ). y3. 2700.0002. 100.0001. 100. 2700 2699.9999 2699.9998 2699.9997. 0. 10. 20 Time (hour). 30. 40. 2699.9996. 0. 10. 20 Time (hour). 30. 40. 47.0001. Manipulated Variables (%) feed1 valve feed2 valve purge valve. 80 70 60. 47. 50 40 30. 46.9999. 0. 10. 20 Time (hour). 30. 40. 20. 0. 10. 20 Time (hour). 30. 40. ) -!- 0 ' . % % % 0

(368) !

(369) % , %

(370) F4 = y1 100 kmol h−1 , % P = y2 2700 KP a

(371) A y3 47 molU! 1

(372)

(373) W

(374) $ 0 6

(375) <.

(376) y. y. 1. y. 2. Amount of A in purge ( mol % ). 101.5 101 100.5 100 99.5. 2720. 2700. 2680. 99 98.5. 0. 10. 20 Time (hour). 30. 40. 2660. 0. 10. 20 Time (hour). Manipulated Variables (%). 3. 2740. Pressure ( kPa ). Product Rate ( kmol / hour ). 102. 30. 40. 47.2. 90. feed1 valve feed2 valve purge valve. 80. 47. 70 46.8. 60. 46.6. 50 40. 46.4 46.2. 30 0. 10. 20 Time (hour). 30. 40. 20. 0. 10. 20 Time (hour). 30. 40. ) -!8 0 W , X .? X .!0.2 % ui (k) %

(377) ! ) -!

(378) -!8 0 % 0 2

(379) 3

(380) 0 % !. /.

(381) $

(382) +.

(383)

(384)

(385) . 1

(386) $ 4%

(387) $ &

(388) ! % 0 % 3000 ! >

(389) 4%

(390) +% ! % 3000 , 0 ! yi

(391) $ i

(392) y˜

(393)

(394) $ ! yi + y˜i

(395) ? yi

(396) y˜i 0 %

(397) ! ). 4% , 0

(398) 0 max/min 2

(399) 4 , !, y max y min 3? 0 , . 0 $

(400) % ! 1 0 . 6 ! • , 4%

(401) %

(402) 0 0 %

(403) ! >

(404) 0

(405) % , , %

(406)

(407) ! ) 4 %, $ y3 y3max t = 10 30, $

(408) A ! ) 4% , 0

(409) % $

(410) ,

(411) ) 8!7! ) , % 3000 ! > 0

(412) % y1

(413) y3 ! & 2y min

(414) y m ax3 5 7..

(415) ! y2. y3 120 Amount of A in purge ( mol % ). 3000. Pressure ( kPa ). 2900 2800 2700 2600 2500 2400. 0. 10. 20 Time (hour). 30. 40. y˜3 y3. 100. 80. 60. 40 0. 10. 20 Time (hour). 30. 40. ) 8!7 > y3max t = 10 30! y3 ! • y2min

(416) 0 % %

(417) % +

(418) %

(419) ! 1 % 2y2 ) 8!-233 % % 3000

(420) % ! > 4% , $ 20 2t = 10 t = 303 2 4% 3 % ! > % $ %

(421) %% !. y2. y2. y˜2 y2. X: 28.6 Y: 3002. Pressure ( kPa ). 3000 2500 2000 1500 1000. 3050. Pressure ( kPa ). 3500. y˜2 y2. 2950. 2850. 2750. 500 0. 0. 10. 20 Time (hour). 30. 2650. 40. 23. 0. 10. 20 Time (hour). 30. 40. 2$3. ) 8!- $ $

(422) $ % y2 28!-233! ,

(423) ,

(424)

(425) 2

(426)

(427) !3 28!-2$33!. • 1

(428)

(429) % ! 1 % -. :.

(430) -. % 4

(431)

(432) -/.. ! 77.

(433) 1

(434) % % 0 % . . % ,

(435) %6 $! % , 4% , y2

(436) $ %! %

(437) 0 &! )0 0 .

(438)

(439) !. 7-.

(440) $

(441)

(442) . > %% 0 0

(443) % ! 1

(444) 0

(445) $ 0 p $ y(k) = {y1 (k), . . . , yp (k)}, 0 yi (k)

(446) $ i k!

(447)

(448)

(449) yi k! ,

(450)

(451)

(452) 4 . ∀k, yi (k) ∈ [yimin , yimax ]! Yi = [yimin , yimax ]! 1 +

(453) %

(454) $ %% ! y˜(k) ∈ Rp

(455) UHFHLYHG PHDVXUHPHQWV E\ WKH FRQWUROOHU k!

(456)

(457) % ! >

(458) , y˜(k) $

(459) y(k)? 0 , 0

(460)

(461) y˜i (k) 0 Yi 2

(462) $

(463)

(464) $ 3! Ka = {ks , . . . , ke } %

(465) ? $0 ks

(466) % ke !. -'% .

(467)

(468)

(469)

(470)

(471) $ λa ! λa $

(472) $! > , $ . 78.

(473) λa ! > λa

(474) $, $

(475)

(476)

(477) !

(478)

(479)

(480) ,

(481)

(482) 0 [yimin , yimax ]!

(483)

(484) $

(485)

(486) 0 ! ⎧ ⎪ ⎪ ⎪ ⎪ yi (t) ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ yi (t) + λa. y˜ia (t) = ⎪. ⎪ ⎪ ⎪ yimin ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ yimax. t ∈ / Ta t ∈ Ta Y yi (t) + λa ∈ Yi t ∈ Ta Y yi (t) + λa < yimin t ∈ Ta Y yi (t) + λa > yimax. -' # $ .

(487) " ' , % $ ! VFDOLQJ SDUDPHWHU λm (t),

(488) y

(489)

(490) VFDOLQJ YDOXH y˜ !

(491)

(492)

(493) ,

(494)

(495) 0 [yimin , yimax ]! , 0

(496) 0 ! ⎧ ⎪ ⎪ ⎪ ⎪ yi (k) ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎨ λm i (k)yi (k). y˜im (k) = ⎪. ⎪ ⎪ ⎪ yimin ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ yimax. k ∈ / Ka k ∈ Ka min k ∈ Ka Y λm i (k)yi (k) < yi max k ∈ Ka Y λm i (k)yi (k) > yi. i, yi

(497) y˜i ! 1 %%

(498) , .

(499)

(500)

(501) % $

(502) !. 7:.

(503) -'+

(504) * + %

(505) !

(506)

(507) $ 0 ! % $,

(508) 0

(509) 0 $

(510) ! 0 +

(511)

(512) , 0 λd

(513) ! ⎧ ⎪ ⎪ ⎪ ⎪ yi (k) ⎪ ⎪ ⎪ ⎪ ⎨. k ∈ / Ka. y˜id (k) = ⎪ yi (k − λdi (k)). k ∈ Ka Y ≥ λdi (k). ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎩ yi (0). k < λdi (k). ' y(0) %%

(514) t %

(515) % λd !

(516) , 0 0

(517)

(518) %%

(519)

(520) % $

(521) !. 79.

(522) $

(523) /

(524)

(525)

(526)

(527) . $

(528) $

(529)

(530) @7;A! C $

(531) %

(532)

(533) > ,

(534)

(535) 0 0 $ , 0 % .

(536) % ! C 0 0 0 % + % , y(k),

(537) % + , u(k),

(538)

(539) $ %

(540)

(541) ! W % + u(k),

(542) 0 4$ $

(543) 4%

(544) %

(545)

(546) ! , % + y(k), % $

(547)

(548) $ %

(549)

(550) % 0 4%

(551) % ! C %%

(552)

(553) %

(554) ) 9!7! % + u(k)

(555) % $ %$

(556) $

(557)

(558) W % + w(k)! % + $

(559)

(560) ! % + u(k)

(561) .

(562) % %

(563)

(564) ! 2> , 0

(565)

(566) $

(567) 9!7!3

(568) 0 %

(569) % + yˆ(k)!

(570)

(571) 2 3 0 % 0 + + y˜(k)

(572)

(573) $

(574) $. 7=.

(575) 0 + yˆ(k) $

(576)

(577) !

(578) $0 0 + !. (sensors). Computing Blocks. ) 9!7 %%

(579)

(580)

(581)

(582) ! 6 %$ , 0

(583) 273 %

(584) % % ,

(585) 2-3

(586) ! > 9!7 0

(587) .

(588) %

(589) ! > 9!-, 0

(590) $

(591)

(592)

(593) 0 % 2(( 3 !. /'%.

(594)

(595) .

(596) % , %

(597) % $ %

(598) %

(599) 0 0 ! % %

(600) $

(601)

(602) % %

(603) $

(604)

(605) 0 % % %

(606) %

(607)

(608) $

(609) $ % % 0

(610)

(611) + ! > . $ 0

(612) ? 4 %, % %.

(613) % $

(614) $ %

(615) % ! 0 , %

(616)

(617) B

(618) 0 % % @-, 8A! 7;.

(619) ) %% , %

(620) ,

(621) $

(622) % %

(623) @-A! #0 , B % ,

(624) % %

(625)

(626) %

(627)

(628)

(629)

(630)

(631) B ,

(632) % $ % $ $ $

(633) %4

(634) % ! %$

(635) %

(636) 2

(637)

(638) % 3

(639) % %

(640) %

(641) ! . %

(642) OLQHDU ! $

(643)

(644)

(645) x(k)

(646) % u(k) x(k + 1) = Ax(k) + Bu(k). 29!73. 0 %

(647) $ k ∈ Z+ , x(k) = (x1 (k), . . . , xn (k)) ∈ Rn ,

(648) u(k) = (u1 (k), . . . , um (k)) ∈ Rm %! 4 A = (aij ) ∈ Rn×n.

(649) %

(650) %

(651) i j,

(652) B = (bij ) ∈ Rn×m % 4 i % j! 29!73

(653) $ VHQVRU QHWZRUN 0 p ! 1 $ % + $ + yˆ(k) = Cx(k),. 29!-3. 0 yˆ(k) = (ˆ y1 (k), . . . , yˆp (k)) ∈ Rp ,

(654) yˆl (k) ∈ R

(655)

(656) $ l k! 4 C ∈ Rp×n

(657) % 4! > %% 0 , 6

(658) $ A, B,

(659) C, $

(660) $ 6 &

(661) $

(662) %

(663) ! 2 * @7=A!3

(664)

(665)

(666)

(667) -! 7<.

(668)

(669)

(670) % &

(671) 0 %

(672) $

(673) !. /'

(674)

(675)

(676) 0

(677)

(678) , 0 +

(679)

(680)

(681) %%! +

(682)

(683) %$ 0 4

(684) , $ $

(685) 0 . $

(686) ! %$

(687) RSWLPDO VWRSSLQJ SUREOHPV! 0 %$ +

(688) 2 0 + % 3,

(689) +

(690) 2 0

(691) 3!

(692) %$ $ Z

(693) @7<A! > % %% %$ , 0 + z(1), z(2), . . . , z(N ),

(694)

(695) $ % , N ,

(696)

(697) $ $

(698) dN $0 0 % H0 2 $ 3

(699) H1 23!

(700) $0 +

(701)

(702)

(703) + z(i)

(704) $ % H0 $ % H1 !

(705)

(706) 0 % ! C

(707) ,

(708) $ z(i)

(709) H0

(710) , ks % H1 ! #

(711) % $! %$ %%, $

(712) +

(713) + ! #0 ,

(714)

(715) ,

(716) ! , 0 0 $

(717) $ 0 . 7/.

(718) !. /''%

(719) 1#

(720)

(721)

(722) W 4

(723) %$$

(724) 4

(725) %$$

(726) , +

(727) %$ 6 $ $ +

(728)

(729) $0 0 % ! + %$$ 2*3 1

(730) @7/A 2

(731)

(732)

(733) 0 2*13 $ % % 3! * $ 0

(734)

(735) %$

(736) % @-.A, 0 @-7A, %4

(737) $ %. @--A,

(738) $ @-8A! $ z(k)

(739) Hj

(740) 0 %$$

(741) $ pj , * $

(742) $

(743) $ 0 + S(k + 1) = . p1 (z(k)) + S(k) p0 (z(k)). N = {n : S(n) ∈ / [L, U ]}. n 0 S(0) = 0! *

(744) dN

(745)

(746) ⎧ ⎪ ⎪ ⎪ ⎨ H1. S(N ) ≥ U. ⎪ ⎩ H0. S(N ) ≤ L,. dN = ⎪ ⎪. 29!83. b

(747) U ≈ 1−b ,

(748) 0 a

(749)

(750) %$$

(751) b 0 L ≈ 1−a a.

(752)

(753) %$$

(754)

(755) 2 3!. /'' "

(756)

(757)

(758) W

(759) %$

(760) % $ , 0 % ks ! 2(( 3

(761) *$ 0 . -..

(762) .

(763)

(764) %$ , (( $ *! W 4

(765) , (( % 6 N 20 N ≥ ks 3 0 %

(766)

(767)

(768)

(769) ! S(0) = 0! (( %