Discrete-Event Systems-Based Power Admission Control of Thermal Appliances in Smart Buildings

Titre:

Title

:

Discrete-Event Systems-Based Power Admission Control of Thermal

Appliances in Smart Buildings

Auteurs:

Authors

: Waselul H. Sadid, Saad A. Abobakr, et Guchuan Zhu

Date: 2017

Type:

Article de revue / Journal article

Référence:

Citation

:

Sadid, W. H., Abobakr, S. A. & Zhu, G. (2017). Discrete-Event Systems-Based Power Admission Control of Thermal Appliances in Smart Buildings. IEEE

Transactions on Smart Grid, 8(6), p. 2665-2674. doi:10.1109/tsg.2016.2535198

Document en libre accès dans PolyPublie

Open Access document in PolyPublie URL de PolyPublie:

PolyPublie URL: https://publications.polymtl.ca/2834/

Version: Version finale avant publication / Accepted version_{Révisé par les pairs / Refereed} Conditions d’utilisation:

Terms of Use: Tous droits réservés / All rights reserved

Document publié chez l’éditeur officiel

Document issued by the official publisher Titre de la revue:

Journal Title: IEEE Transactions on Smart Grid (Vol. 8) Maison d’édition:

Publisher: IEEE URL officiel:

Official URL: https://doi.org/10.1109/TSG.2016.2535198

Mention légale: Legal notice:

"© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including

reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to."

Ce fichier a été téléchargé à partir de PolyPublie, le dépôt institutionnel de Polytechnique Montréal

This file has been downloaded from PolyPublie, the institutional repository of Polytechnique Montréal

,((( 75$16$&7,216 21 60$57 *5,' 

'LVFUHWH(YHQW 6\VWHPV%DVHG 3RZHU $GPLVVLRQ

&RQWURO RI 7KHUPDO $SSOLDQFHV LQ 6PDUW %XLOGLQJV

:DVHOXO + 6DGLG 6DDG $ $EREDNU DQG *XFKXDQ =KX 6HQLRU 0HPEHU ,(((

$EVWUDFW²7KLV SDSHU DGGUHVVHV WKH DGPLVVLRQ FRQWURO RI WKHU

PDO DSSOLDQFHV LQ WKH FRQWH[W RI VPDUW EXLOGLQJV 7KH VFKHGXOLQJ RI WKHUPDO GHYLFHV RSHUDWLRQ LV IRUPXODWHG LQ WKH IUDPHZRUN RI GLVFUHWHHYHQW V\VWHPV ZKLFK DOORZV IRU WKH PRGHOLQJ DQG GHVLJQ RI DGPLVVLRQ FRQWURO WR EH FDUULHG RXW LQ D V\VWHPDWLF PDQQHU DQG HQVXULQJ WKH H[LVWHQFH RI WKH IHDVLEOH VFKHGXOLQJ SULRU WR H[SORULQJ FRQWURO VROXWLRQV 7ZR DOJRULWKPV DUH GHYHO RSHG IRU WKH SXUSRVH RI SHDN GHPDQG UHGXFWLRQ :KLOH WKH ILUV DOJRULWKP YDOLGDWHV WKH VFKHGXODELOLW\ IRU WKH FRQWURO RI WKHUPDO DSSOLDQFHV WKH VHFRQG DOJRULWKP PD\ DFKLHYH D PRUH HIILFLHQ XVH RI DYDLODEOH FDSDFLW\ E\ H[SORULQJ WKH FRQFHSW RI PD[±PLQ IDLU QHVV 6LPXODWLRQ VWXGLHV DUH FDUULHG RXW LQ 0$7/$%6LPXOLQN SODWIRUP DQG WKH UHVXOWV VKRZ D QRWLFHDEOH LPSURYHPHQW RQ SHDN SRZHU UHGXFWLRQ

,QGH[ 7HUPV²$GPLVVLRQ FRQWURO VPDUW EXLOGLQJV GLVFUHWH

HYHQW V\VWHPV VFKHGXOLQJ PD[±PLQ IDLUQHVV

, ,1752'8&7,21

5

(6,'(17,$/ DQG FRPPHUFLDO VHFWRUV DUH WKH ODUJHVW FRQVXPHU RI HOHFWULFLW\ ZRUOGZLGH 1RZDGD\V WKH UHV LGHQWLDO DQG FRPPHUFLDO EXLOGLQJV FRQVXPH DERXW  RI WKH JOREDO HOHFWULFLW\ DFFRUGLQJ WR WKH XQLWHG 1DWLRQV (QYLURQPHQW 3URJUDPPH 81(3 >@ ,W LV WKHUHIRUH HFRQRPLFDOO\ DQG HQYLURQPHQWDOO\ LPSRUWDQW WR GHYHORS VROXWLRQV IRU SRZHU FRQ VXPSWLRQ UHGXFWLRQ LQ EXLOGLQJV LQ DQ HIILFLHQ DQG HIIHFWLYH PDQQHU ZKLFK ZLOO JUHDWO\ FRQWULEXWH WR WKH LQLWLDWLYH RI WKH 6PDUW *ULG

'LIIHUHQW VWXGLHV LQGLFDWH WKDW UHGXFLQJ WKH SHDN SRZHU FRQVXPSWLRQ LV RQH RI WKH PRVW HIIHFWLYH ZD\V IRU HQHUJ\ PDQ DJHPHQW LQ EXLOGLQJV LQ WKH FRQWH[W RI WKH 6PDUW *ULG >@±>@ +HDWLQJ YHQWLODWLRQ DQG DLU FRQGLWLRQLQJ +9$& V\VWHPV FDQ SOD\ DQ LPSRUWDQW UROH LQ UHGXFLQJ WKH HQHUJ\ GHPDQG EHFDXVH WKH\ UHSUHVHQW DERXW  RI WKH WRWDO HQHUJ\ XWLOL]DWLRQ LQ EXLOGLQJV >@±>@ ,Q DGGLWLRQ RI RWKHU WKHUPDO DSSOLDQFHV WKH FRQWURO RI WKLV FDWHJRU\ RI GHYLFHV PD\ KDYH D VLJQLILFDQ DQG

0DQXVFULSW UHFHLYHG -XO\   UHYLVHG $XJXVW   'HFHPEHU   DQG -DQXDU\   DFFHSWHG )HEUXDU\   7KLV ZRUN ZDV VXSSRUWHG LQ SDUW E\ WKH 0LWDFV$FFHOHUDWH *UDGXDWH 5HVHDUFK ,QWHUQVKLS 3URJUDP LQ SDUW E\ )XVLRQ (QHUJ\ ,QF DQG LQ SDUW E\ WKH 1DWXUDO 6FLHQFHV DQG (QJLQHHULQJ 5HVHDUFK &RXQFLO RI &DQDGD XQGHU *UDQW 5*3,1 7KH ZRUN RI 6 $ $EREDNU ZDV VXSSRUWHG E\ WKH 0LQLVWU\ RI +LJKHU (GXFDWLRQ RI /LE\D DQG WKH &ROOHJH RI (OHFWURQLF 7HFKQRORJ\ %DQLZDOHHG /LE\D 3DSHU QR 76*

7KH DXWKRUV DUH ZLWK WKH 'HSDUWPHQW RI (OHFWULFDO (QJLQHHULQJ 3RO\WHFKQLTXH 0RQWUHDO 8QLYHUVLWp GH 0RQWUpDO 0RQWUHDO 4& +7 - &DQDGD HPDLO PGZDVHOXOKDTXHVDGLG#SRO\PWOFD VDDGDEREDNU#SRO\PWOFD JXFKXDQ]KX#SRO\PWOFD

&RORU YHUVLRQV RI RQH RU PRUH RI WKH I JXUHV LQ WKLV SDSHU DUH DYDLODEOH RQOLQH DW KWWSLHHH[SORUH.LHHH.RUJ

'LJLWDO 2EMHFW ,GHQWLILH 76*

GHILQLW YH LPSDFW RQ SHDN SRZHU GHPDQG UHGXFWLRQ 7KLV LV EHFDXVH RI WZR PDLQ UHDVRQV )LUVW WKHUPDO DSSOLDQFHV DUH WKH ODUJHVW HQHUJ\ FRQVXPHUV LQ EXLOGLQJ VHFWRUV ,Q &DQDGD IRU H[DPSOH DOPRVW  RI WKH WRWDO HQHUJ\ XVH LV FRQVXPHG E\ WKHVH GHYLFHV >@ LQFOXGLQJ VSDFH KHDWLQJ  VSDFH FRROLQJ  DQG ZDWHU KHDWLQJ  6HFRQG DQG PRUH LPSRUWDQWO\ WKH RSHUDWLRQ RI WKHUPDO DSSOLDQFHV H[KLELWV DQ HODVWLF SURSHUW\ GXH WR WKH VORZ WKHUPRG\QDPLFV DQG IO [LEOH SHUIRUPDQFH UHTXLUHPHQWV 7KLV DOORZV GHVLJQLQJ DQG LPSOH PHQWLQJ GLIIHUHQW VFKHPHV WR RSHUDWH WKHVH GHYLFHV WR UHGXFH WKH SRZHU FRQVXPSWLRQ ZKLOH SURYLGLQJ DQ DGHTXDWH FRP IRUW OHYHO IRU WKH RFFXSDQWV )XUWKHUPRUH SHDN SRZHU FDQ FRVW DV PXFK DV  WLPHV WKDW RI WKH QRPLQDO UDWH >@ +HQFH SHDN GHPDQG UHGXFWLRQ KDV D YHU\ VLJQLILFDQ LPSDFW RQ UHDOOLIH SUREOHPV

7KHUH H[LVWV D ULFK OLWHUDWXUH UHJDUGLQJ HQHUJ\ FRQVXPSWLRQ PDQDJHPHQW LQ VPDUW EXLOGLQJV 2QH RI WKH PRVW SRSXODU PHWK RGV LV WR IRUPXODWH WKH FRQWURO RI DSSOLDQFHV RSHUDWLRQ DV DQ RSWLPDO VFKHGXOLQJ SUREOHP $ PRGHO GHYHORSHG LQ >@ LV EDVHG RQ PL[HG LQWHJHU OLQHDU SURJUDPPLQJ 0,/3 IRU KRXVH KROG XVHUV DOORZLQJ WKH FRQVXPHUV WR PRGLI\ WKH VFKHGXOLQJ RI DSSOLDQFHV RSHUDWLRQ E\ WDNLQJ LQWR DFFRXQW WKH FRPIRUW OHYHO DQG WKH WRWDO HQHUJ\ FRVW ,Q >@ DQ DXWRQRPRXV VFKHGXO LQJ LV HYROYHG E\ DFFRXQWLQJ UHDOWLPH LQIRUPDWLRQ H[FKDQJH EHWZHHQ PLFURJULG DQG FRQVXPHUV $ JUHHG\ DSSURDFK KDV EHHQ GHYHORSHG LQ >@ UHO\LQJ RQ WKH YDU\LQJ SULFH WR HQVXUH DQ RSWLPDO VWDUW WLPH RI HDFK DSSOLDQFH $QRWKHU JUHHG\ DOJR ULWKP KDV EHHQ SURSRVHG LQ >@ WR UHGXFH WKH SHDN GHPDQG FRQVLGHULQJ WZR FDVHV ZKHUH ORDG GHPDQGV DUH HLWKHU UDQ GRP RU NQRZQ LQ DGYDQFH $ QRQOLQHDU RSWLPL]DWLRQ PRGHO LV SURSRVHG LQ >@ WR VFKHGXOH KRPH DSSOLDQFHV WR UHGXFH HOHF WULFLW\ FRVWV E\ VKLIWLQJ WKH FRQVXPSWLRQ 'LIIHUHQW VFKHGXOLQJ DOJRULWKPV ZHUH SURSRVHG LQ >@ WR RSWLPDOO\ PDQDJH WKH UHQHZDEOH HQHUJ\ DQG WKH HQHUJ\ IURP WKH JULG WR UHGXFH WKH SHDN SRZHU FRQVXPSWLRQ IRU GHIHUDEOH ORDGV

6RPH RWKHU DSSURDFKHV VXFK DV JDPH WKHRU\ DQG PRGHO SUHGLFWLYH FRQWURO 03& KDYH DOVR EHHQ SURSRVHG DQG LPSOH PHQWHG IRU SHDN SRZHU GHPDQG UHGXFWLRQ 7KH JDPH WKHRU\ LV DQ LQWHUHVWLQJ WRRO LQ GHVLJQLQJ FRQWURO VWUDWHJLHV IRU HQHUJ\ PDQDJHPHQW LQ VPDUW EXLOGLQJV $ WUDGHRII EHWZHHQ WKHVH REMHFWLYHV KDV EHHQ SURSRVHG LQ >@ LQ WKH FRQWH[W RI JDPH WKHRU\ ZKLFK RSWLPL]HV WKH HQHUJ\ FRQVXPSWLRQ E\ VKLIWLQJ WKH ORZ SULRULW\ DSSOLDQFHV WR RIISLFN SHULRG $ JOREDO RSWL PDO SHUIRUPDQFH KDV EHHQ DFKLHYHG LQ >@ EDVHG RQ WKH HQHUJ\ FRQVXPSWLRQ RI WKH FRQVXPHUV $ FRRSHUDWLYH JDPH KDV EHHQ VHW XS LQ >@ DPRQJ WKH XVHUV E\ VKDULQJ WKHLU ORDG SUR ILOHV ZKLFK UHGXFHV WKH SHDN WR DYHUDJH UDWLR 03& LV DOVR

 F  ,((( 3HUVRQDO XVH LV SHUPLWWHG EXW UHSXEOLFDWLRQUHGLVWULEXWLRQ UHTXLUHV ,((( SHUPLVVLRQ 6HH KWWSZZZLHHHRUJSXEOLFDWLRQVBVWDQGDUGVSXEOLFDWLRQVULJKWVLQGH[KWPO IRU PRUH LQIRUPDWLRQ

 ,((( 75$16$&7,216 21 60$57 *5,'

D SRSXODU FRQWURO VWUDWHJ\ KHOSLQJ UHJXODWH WKH HQHUJ\ FRQ VXPSWLRQ DQG SHDN ORDG UHGXFWLRQ $Q 03&EDVHG G\QDPLF SRZHU FRQWURO VFKHPH KDV EHHQ SUHVHQWHG LQ >@ WR UHGXFH WKH SHDN GHPDQG ZKLOH NHHSLQJ WKH GHVLUHG UDQJH RI WKHU PDO FRPIRUW $ GLVWULEXWHG 03& DOJRULWKP GHYHORSHG LQ >@ ZDV DSSOLHG RQ VLQJOH DQG PXOWL]RQH WKHUPDO EXLOGLQJV ZKLFK UHGXFHV WKH SRZHU FRQVXPSWLRQ VLJQLILFDQWO  $Q 03& FRQWUROOHU LV LQWURGXFHG LQ >@ IRU VFKHGXOLQJ WKHUPDO DQG QRQ WKHUPDO DSSOLDQFHV LQ D UHVLGHQWLDO EXLOGLQJ ZKLFK VKRZV D QRWDEOH HQHUJ\ FRVW VDYLQJ E\ FRQVLGHULQJ WLPHYDU\LQJ SULFLQJ SURYLGHG E\ WKH 6PDUW *ULG

1RWH WKDW WKH EXLOGLQJ LV D FRPSOH[ V\VWHP WKDW PD\ FRPELQH DQG LQWHJUDWH D ELJ QXPEHU RI VXEV\VWHPV ZLWK VLJ QLILFDQWO GLIIHUHQW G\QDPLFV RSHUDWLQJ LQ GLIIHUHQW PDQQHUV WLPHWULJJHUHG RU HYHQWWULJJHUHG &RQVHTXHQWO\ LW PD\ QRW EH IHDVLEOH WR ILQ D VLQJOH VROXWLRQ WR PDQDJH WKH SRZHU FRQ VXPSWLRQ LQ WKH FRQWH[W RI 'HPDQG5HVSRQVH WR DFKLHYH WKH JOREDO RSWLPDOLW\ 7KH OD\HUHG VWUXFWXUH GHYHORSHG LQ >@ FDQ EH FRQVLGHUHG DV D VROXWLRQ WKDW DOORZV VSOLWWLQJ WKH SUREOHP WR D VHW RI VXESUREOHPV :LWK WKLV DUFKLWHFWXUH D EXLOGLQJ HQHUJ\ PDQDJHPHQW V\VWHP FDQ EH GLYLGHG LQWR GLIIHUHQW PRG XOHV LQ WKUHH PDLQ OD\HUV DGPLVVLRQ FRQWUROOHU $& ORDG EDODQFHU /% DQG GHPDQG UHVSRQVH PDQDJHU '50 7KH $& LQWHUDFWV ZLWK DSSOLDQFHV DQG PDQDJHV WKH DFFHSWDQFH RI WKH UHTXHVWV EDVHG RQ WKHLU SULRULW\ DQG WKH DYDLODEOH FDSDFLW\ 7KH '50 DFWV DV DQ LQWHUIDFH WR WKH JULG FROOHFWV GDWD IURP ERWK WKH JULG DQG WKH EXLOGLQJ DQG WDNHV GHFLVLRQ IRU GHPDQG UHJXODWLRQ EDVHG RQ HQHUJ\ SULFH 7KH /% FRRUGLQDWHV WKH RSHU DWLRQ RI $& DQG '50 E\ SURGXFLQJ D ORQJ WHUP VFKHGXOLQJ WR GLVWULEXWH WKH ORDG RYHU D WLPH KRUL]RQ DQG KDQGOHV WKH SRZHU FDSDFLW\ FRQVWUDLQWV

,W VKRXOG EH QRWLFHG WKDW H[WHQVLYH ZRUN RQ 'HPDQG 5HVSRQVH LQ WKH 6PDUW *ULG KDV EHHQ UHSRUWHG LQ WKH UHFHQW OLWHUDWXUH ,W LV UHFRJQL]HG WKDW WKH WKHRU\ RI RSWLPL]DWLRQ LV D SRZHUIXO WRRO WR PRGHO DQG VROYH D JUHDW YDULHW\ RI SURE OHPV LQ WKLV ILHO VHH HJ >@ DQG WKH UHIHUHQFHV WKHUHLQ ,W LV D FRPPRQ IUDPHZRUN XVHG LQ WKH GHYHORSPHQW RI GLYHUVH LQFHQWLYHEDVHG DQG SULFHEDVHG 'HPDQG5HVSRQVH SURJUDPV LQ ZKLFK GLIIHUHQW RSWLPL]DWLRQ WHFKQLTXHV VXFK DV FRQYH[ RSWLPL]DWLRQ LQWHJHU SURJUDPPLQJ G\QDPLF SURJUDPPLQJ VWRFKDVWLF SURJUDPPLQJ UREXVW RSWLPL]DWLRQ 0DUNRY GHFLVLRQ SURFHVV JDPH WKHRU\ DQG 03& FRQWURO KDYH HPSOR\HG WR DFKLHYH VXFK REMHFWLYHV DV XWLOLW\ PD[LPL]DWLRQ DQG FRVW UHGXF WLRQ LQ WKH RSHUDWLRQ RI WKH 6PDUW *ULG )URP WKH FRQVXPHU VLGH PDWKHPDWLFDO SURJUDPPLQJ LV DOVR D SRZHUIXO WRRO IRU WKH PDQDJHPHQW RI ORDGV RI GLIIHUHQW QDWXUHV WKH LQWHJUDWLRQ RI UHQHZDEOH UHVRXUFHV DQG VWRUDJH DQG WKH RSHUDWLRQ RI GLI IHUHQW V\VWHPV LQ WKH FRQWH[W RI WKH 6PDUW *ULG ,QGHHG PRVW RI WKH H[LVWLQJ VROXWLRQV DUH DSSOLFDEOH RU FDQ EH DGDSWHG WR LPSOHPHQW GLIIHUHQW FRPSRQHQWV LQ WKH DIRUHPHQWLRQHG DUFKL WHFWXUH ,Q SDUWLFXODU WKH LQWURGXFWLRQ RI WKH $& OD\HU DOORZV KLGLQJ WKH GHWDLOV UHJDUGLQJ WKH FRQILJXUDWLR HJ WKH QXPEHU RI DSSOLDQFHV LQ D V\VWHP DQG WKHLU SURSHUWLHV DQG WKH RSHU DWLRQ RI SK\VLFDO V\VWHPV DQG KHQFH LW ZLOO JUHDWO\ IDFLOLWDWH WKH LQWHJUDWLRQ RI GLIIHUHQW VROXWLRQV IRU FRPSOH[ DSSOLFDWLRQV 7KH SUHVHQW ZRUN IRFXVHV RQ WKH $& RI WKHUPDO DSSOLDQFHV LQ WKH FRQWH[W RI WKH DIRUHPHQWLRQHG OD\HUHG DUFKLWHFWXUH >@ ,W LV PRWLYDWHG E\ WKH IDFW WKDW WKH $& LQWHUDFWV ZLWK WKH HQHUJ\

PDQDJHPHQW V\VWHP DQG WKH SK\VLFDO EXLOGLQJ ZKLFK LV HVVHQ WLDO IRU WKH LPSOHPHQWDWLRQ RI WKH FRQFHSW DQG WKH VROXWLRQV RI VPDUW EXLOGLQJV 7KH DLP LV WR UHGXFH SHDN SRZHU GHPDQG E\ FRRUGLQDWLQJ WKH RSHUDWLRQ RI DSSOLDQFHV ZKLOH UHVSHFWLQJ WKH SRZHU FDSDFLW\ FRQVWUDLQWV LPSRVHG E\ WKH KLJKHU OD\HUV ,Q WKLV SDSHU ZH IRUPXODWH WKH SUREOHP RI VFKHGXOLQJ D QXP EHU RI WKHUPDO DSSOLDQFHV LQ WKH IUDPHZRUN RI GLVFUHWHHYHQW V\VWHPV ZLWK ZKLFK WKH RSHUDWLRQ RI HDFK DSSOLDQFH FDQ EH H[SUHVVHG E\ D VHW RI VWDWHV DQG HYHQWV UHSUHVHQWLQJ WKH VWD WXV DQG WKH DFWLRQV RI WKH FRUUHVSRQGLQJ DSSOLDQFH DQG WKH FRPPXQLFDWLRQ ZLWKLQ WKH $& OD\HU ,Q '(6 D V\VWHP FDQ EH UHSUHVHQWHG E\ D ILQLWHVWDW PDFKLQH )60 DV D UHJXODU ODQJXDJH RYHU D ILQLW VHW RI HYHQWV >@ $GPLVVLRQ FRQWURO IRU DSSOLDQFHV RSHUDWLRQ DPRXQWV WKHQ WR GHFLGLQJ WR DFFHSW RU UHMHFW D UHTXHVW EDVHG RQ WKH SULRULW\ DQG WKH FDSDFLW\ FRQVWUDLQW

&RPSDULQJ ZLWK WKH H[LVWLQJ ZRUN WKH DSSOLFDWLRQ RI WKH IUDPHZRUN RI '(6 DOORZV IRU WKH GHVLJQ RI FRPSOH[ FRQ WURO V\VWHPV WR EH FDUULHG RXW LQ D V\VWHPDWLF PDQQHU 7KH PDLQ EHKDYLRUV RI D FRQWURO VFKHPH VXFK DV WKH VFKHGXODELO LW\ ZLWK UHVSHFW WR WKH JLYHQ FRQVWUDLQWV FDQ EH GHGXFHG IURP WKH EDVLF V\VWHP SURSHUWLHV LQ SDUWLFXODU WKH FRQWUROODELOLW\ DQG WKH REVHUYDELOLW\ ,Q WKLV ZD\ ZH FDQ EHQHIL IURP WKH WKHRU\ DQG WKH WRROV GHYHORSHG VLQFH GHFDGHV IRU '(6 GHVLJQ DQG DQDO\VLV WR VROYH GLYHUVH SUREOHPV ZLWK HYHU JURZLQJ FRP SOH[LWLHV DULVLQJ IURP WKH HPHUJLQJ ILHO RI WKH 6PDUW *ULG 0RUHRYHU LW LV ZRUWK QRWLQJ WKDW WKH RSHUDWLRQ RI PDQ\ SRZHU V\VWHPV VXFK DV HFRQRPLF VLJQDOLQJ GHPDQGUHVSRQVH ORDG PDQDJHPHQW DQG GHFLVLRQ PDNLQJ H[KLELWV D GLVFUHWH HYHQW QDWXUH 7KLV W\SH RI SUREOHPV FDQ HYHQWXDOO\ EH KDQGOHG E\ XWLOL]LQJ FRQWLQXRXVWLPH PRGHOV )RU H[DPSOH WKH 'HPDQG 5HVSRQVH 5HVRXUFH 7\SH ,, '55 7\SH ,, DW 0LGFRQWLQHQW ,62 PDUNHW LV PRGHOHG VLPLODU WR D JHQHUDWRU ZLWK FRQWLQXRXV WLPH G\QDPLFV VHH HJ >@ 1HYHUWKHOHVV WKH IUDPHZRUN RI '(6 LV D YLDEOH DOWHUQDWLYH IRU PDQ\ PRGHOLQJ DQG GHVLJQ SUREOHPV UHODWHG WR WKH RSHUDWLRQ RI WKH 6PDUW *ULG

7KH PDLQ FRQWULEXWLRQV RI WKLV ZRUN DUH WKH IROORZLQJ  ZH LQWURGXFHG D IRUPDO IRUPXODWLRQ RI SRZHU DGPLVVLRQ

FRQWURO LQ WKH IUDPHZRUN RI '(6

 ZH HVWDEOLVKHG FULWHULD IRU VFKHGXODELOLW\ DVVHVVPHQW EDVHG RQ '(6 WKHRU\

 ZH GHYHORSHG WZR DOJRULWKPV IRU DSSOLDQFH VFKHGXOLQJ LQ WKH IUDPHZRUN RI '(6 ZKLFK DOORZ IRU SHDN SRZHU FRQVXPSWLRQ UHGXFWLRQ LQ VPDUW EXLOGLQJV

7KH UHPDLQLQJ RI WKH SDSHU LV RUJDQL]HG DV IROORZV 6HFWLRQ ,, LQWURGXFHV WKH EDVLF QRWLRQV DQG WHUPLQRORJLHV RI '(6 6HFWLRQ ,,, SUHVHQWV WKH PRGHO RI DSSOLDQFHV XVLQJ ILQLWHVWDW DXWRPDWRQ 7KH '(6EDVHG DGPLVVLRQ FRQWURO LV DGGUHVVHG LQ 6HFWLRQ ,9 7ZR DOJRULWKPV DUH SURSRVHG LQ WKLV VHFWLRQ IRU SRZHU GLVWULEXWLRQ DPRQJ WKH DSSOLDQFHV 6LPXODWLRQ VWXGLHV DUH FDUULHG RXW LQ 6HFWLRQ 9 WR YDOLGDWH WKH GHYHORSHG FRQWURO VFKHPHV IROORZHG E\ VRPH FRQFOXVLRQV DQG UHFRPPHQGDWLRQ RQ IXWXUH ZRUN LQ 6HFWLRQ 9,

,, %$&.*5281' 21'(6

7KH '(6 LV D IUDPHZRUN IRU WKH PRGHOLQJ RI V\VWHPV ZKRVH G\QDPLFV FDQ EH GHVFULEHG E\ WUDQVLWLRQV DPRQJ D VHW RI ILQLW

6$',' HW DO ',6&5(7((9(17 6<67(06%$6(' 32:(5 $'0,66,21 &21752/ 2) 7+(50$/ $33/,$1&(6 

)LJ  $Q )60 0/

VWDWHV ZKLFK FDQ EH XVHG LQ WKH DQDO\VLV DQG GHVLJQ RI WKH VHTXHQFHV RI KLJKOHYHO FRPPDQGV LQ PDQ\ FRQWURO V\VWHPV 7KH DLP LV WR ILQ D FRQWUROOHU WKDW IRUFHV WKH V\VWHP WR EHKDYH DFFRUGLQJ WR WKH LPSRVHG FRQVWUDLQWV 2QH RI WKH PRVW SRSXODU FRQWURO DUFKLWHFWXUHV IRU '(6 LV WKH VXSHUYLVRU\ FRQWURO ZKLFK ZLOO UHVWULFW WKH V\VWHP EHKDYLRU WR D VHW RI GHVLJQ VSHFLILFD WLRQV >@ >@ >@ 7KH VWDWH VSDFH RI D '(6 LV D GLVFUHWH VHW DQG WKH WUDQVLWLRQ PHFKDQLVP LV HYHQWGULYHQ 7KHUHIRUH WKH V\VWHP VWDWHV FDQ EH FKDQJHG RQO\ DW GLVFUHWH SRLQWV RI WLPH FRUUHVSRQGLQJ WR WKH RFFXUUHQFH RI HYHQWV

7KH EHKDYLRU RI D '(6 LV XVXDOO\ GHVFULEHG E\ D UHJXODU ODQ JXDJH $ ODQJXDJH GHQRWHG E\ / LV VDLG WR EH UHJXODU ZKLFK FDQ EH UHSUHVHQWHG E\ D ILQLW DXWRPDWRQ RU )60 $Q )60 GHQRWHG E\ 0/ IRU / LV D I YHWXSOH 0/ = (4, , δ, T, 4P),

ZKHUH 4 LV D ILQLW VHW RI VWDWHV  LV D ILQLW DOSKDEHW δ  4 ×  → 4 LV WKH WUDQVLWLRQ IXQFWLRQ T∈ 4 LV WKH LQLWLDO

VWDWH DQG 4P LV WKH VHW RI PDUNHG VWDWHV 7KH UHTXLUHG EHKDY

LRU RU VSHFLILFDWLRQ GHQRWHG E\ . PXVW EH D VXEVHW RI WKH V\VWHP EHKDYLRU UHTXLULQJ FRQWURO LH .⊆ / ,Q WKH VXSHUYL VRU\ FRQWURO RI '(6 WKH FRQWUROOHU NHHSV WKH V\VWHP LQ . E\ LVVXLQJ FRQWURO GLUHFWLYHV WR SUHYHQW WKH V\VWHP IURP SHUIRUP LQJ EHKDYLRU LQ /\ . / \ . GHQRWHV WKH VHW RI VHTXHQFHV RI / WKDW DUH QRW LQ . 7KH FRQWUROOHU LVVXHV D FRQWURO GHFLVLRQ HJ HQDEOH RU GLVDEOH DQ HYHQW WR ILQ D VXEODQJXDJH RI / DQG WKH FRQWURO REMHFWLYH LV UHDFKHG ZKHQ FRUUHFW SDWWHUQ RI FRQWURO GHFLVLRQV LV LVVXHG WR NHHS WKH V\VWHP LQ .

)LJXUH  VKRZV DQ H[DPSOH RI 0/ LQ ZKLFK WKH ODQJXDJH JHQHUDWHG IURP 0/ LV / {ε, D, E, DE, ED, DEF, EDF} ,I WKH VSHFLILFDWLR FRQWDLQV RQO\ WKH VROLG OLQH WUDQVLWLRQV WKHQ .= {ε, D, E, DE, ED, DEF}

7KH SUHIL FORVXUH RI D ODQJXDJH / LV GHILQH DV / = {V ∈ ∗ _{| (∃V} _{∈ }∗_{) VXFK WKDW VV} _{∈ /} :KHQ / LV SUHIL[FORVHG} / = / 8QOHVV RWKHUZLVH VWDWHG ZH ZRUN H[FOXVLYHO\ ZLWK SUHIL[FORVH ODQJXDJHV

7KH FORVHG EHKDYLRU RI D V\VWHP GHQRWHG E\ / FRQWDLQV DOO SRVVLEOH HYHQW VHTXHQFHV WKH V\VWHP PD\ JHQHUDWH 7KH PDUNHG EHKDYLRU RI WKH V\VWHP LV /P ZKLFK LV D VXEVHW RI

WKH FORVHG EHKDYLRU UHSUHVHQWLQJ FRPSOHWHG WDVNV EHKDYLRUV DQG LV GHILQH DV /P = {V ∈ / | δ(T, V) = T∧ T ∈ 4P} $ V\VWHP LV QRQEORFNLQJ LI /P = /. $ ODQJXDJH . LV VDLG WR EH /PFORVHG LI .= . ∩ /P 7KH V\QFKURQRXV SURGXFW RI WZR )60V 0L (4L L δL TL 4PL) IRU L = {, } LV GHQRWHG E\ 00 ,W LV GHILQH DV 00 = (4 × 4, ∪ , δδ, (T, T), 4P × 4P) >@ %\ DVVXPSWLRQ WKH VHW RI HYHQWV  LV SDUWLWLRQHG LQWR GLV MRLQW VHWV RI FRQWUROODEOH DQG XQFRQWUROODEOH HYHQWV GHQRWHG E\ F DQG XF UHVSHFWLYHO\ 2QO\ FRQWUROODEOH HYHQWV FDQ EH SUHYHQWHG IURP RFFXUULQJ LH PD\ EH GLVDEOHG DV

XQFRQWUROODEOH HYHQWV DUH VXSSRVHG WR EH SHUPDQHQWO\ HQDEOHG ,I LQ D VXSHUYLVRU\ FRQWURO SUREOHP RQO\ D VXEVHW RI HYHQWV FDQ EH REVHUYHG E\ WKH FRQWUROOHU WKHQ WKH HYHQWV VHW  FDQ EH SDUWLWLRQHG DOVR LQWR WKH GLVMRLQW VHWV RI REVHUYDEOH DQG XQREVHUYDEOH HYHQWV GHQRWHG E\R DQGXR UHVSHFWLYHO\

7KH FRQWUROODEOH HYHQWV RI WKH V\VWHP FDQ EH G\QDPLFDOO\ HQDEOHG RU GLVDEOHG E\ D FRQWUROOHU DFFRUGLQJ WR WKH VSHFLIL FDWLRQ VR WKDW D SDUWLFXODU VXEVHW RI WKH FRQWUROODEOH HYHQWV LV HQDEOHG WR IRUP D FRQWURO SDWWHUQ 7KH VHW RI DOO FRQWURO SDWWHUQV FDQ EH GHILQH DV

 = {γ ∈ 3()|γ ⊇ XF},  ZKHUHγ LV D FRQWURO SDWWHUQ FRQVLVWLQJ RQO\ D VXEVHW RI FRQWURO ODEOH HYHQWV WKDW DUH HQDEOHG E\ WKH FRQWUROOHU 3() UHSUHVHQWV WKH SRZHU VHW RI 1RWH WKDW WKH XQFRQWUROODEOH HYHQWV DUH DOVR D SDUW RI WKH FRQWURO SDWWHUQ VLQFH WKH\ FDQQRW EH GLVDEOHG E\ DQ\ FRQWUROOHU

$ VXSHUYLVRU\ FRQWURO IRU D V\VWHP FDQ EH GHILQH DV D PDS SLQJ IURP WKH ODQJXDJH RI WKH V\VWHP WR WKH VHW RI FRQWURO SDWWHUQV DV 6  / → . $ ODQJXDJH . LV FRQWUROODEOH LI DQG RQO\ LI >@

.XF∩ / ⊆ ..  7KH FRQWUROODELOLW\ FULWHULRQ PHDQV WKDW DQ XQFRQWUROODEOH HYHQW σ ∈ XF FDQ QRW EH SUHYHQWHG IURP RFFXUULQJ LQ / +HQFH LI VXFK DQ HYHQW σ RFFXUV DIWHU D VHTXHQFH V ∈ . WKHQσ PXVW UHPDLQ WKURXJK WKH VHTXHQFH Vσ ∈ . )RU H[DP SOH LQ )LJ  . LV FRQWUROODEOH LI WKH HYHQW F LV FRQWUROODEOH RWKHUZLVH . LV XQFRQWUROODEOH

)RU HYHQW EDVHG FRQWURO D FRQWUROOHU¶V YLHZ RI WKH V\VWHP EHKDYLRU FDQ EH PRGHOHG E\ WKH QDWXUDO SURMHFWLRQπ  ∗→ ∗ R GHILQH DV π(σ) =  ε, LI σ ∈  \ R; σ, LI σ ∈ R, 

ZKHUH ε GHQRWHV WKH HPSW\ VHTXHQFH 7KLV RSHUDWRU UHPRYHV WKH HYHQWVσ IURP D VHTXHQFH LQ ∗ WKDW DUH QRW IRXQG LQR 7KH DERYH GHILQLWLR FDQ EH H[WHQGHG WR VHTXHQFHV DV IROORZV π(ε) = ε DQG ∀V ∈ ∗_{, σ ∈ . π(Vσ ) = π(V)π(σ ) 7KH}

LQYHUVH SURMHFWLRQ RIπ IRU V∈ _R∗ LV WKH PDSSLQJ IURP _R∗ WR 3(∗)

π−(V) =X∈ ∗ | π(X) = V.  $ ODQJXDJH . LV VDLG WR EH REVHUYDEOH ZLWK UHVSHFW WR /, π, DQGF LI IRU DOO V∈ . DQG DOO σ ∈ F LW KROGV >@

(Vσ ∈ .) ∧ (Vσ ∈ /) ⇒ π−>π(V)@σ ∩ . = ∅.  ,Q RWKHU ZRUGV WKH SURMHFWLRQ π SURYLGHV WKH QHFHVVDU\ LQIRUPDWLRQ WR WKH FRQWUROOHU WR GHFLGH ZKHWKHU DQ HYHQW WR EH HQDEOHG RU GLVDEOHG WR DWWDLQ WKH V\VWHP VSHFLILFDWLRQ

,I WKH FRQWUROOHU UHFHLYHV WKH VDPH LQIRUPDWLRQ WKURXJK GLI IHUHQW VHTXHQFHV V, V ∈ / LW ZLOO WDNH WKH VDPH DFWLRQ EDVHG RQ LWV SDUWLDO REVHUYDWLRQ +HQFH WKH GHFLVLRQ LV PDGH LQ REVHUYDWLRQDOO\ HTXLYDOHQW PDQQHU DV EHORZ



 ,((( 75$16$&7,216 21 60$57 *5,'

)LJ  $ ILQLWHVWDW DXWRPDWRQ RI DQ DSSOLDQFH

$ FRQWUROOHU FDQ EH V\QWKHVL]HG ZKHQ WKH VSHFLILFDWLR . ⊆ / LV FRQWUROODEOH DQG REVHUYDEOH 7KLV LV WKH FDVH ZKHUH WKH FRQWUROOHU FDQ WDNH FRUUHFW FRQWURO GHFLVLRQ EDVHG RQO\ RQ LWV REVHUYDWLRQ RI D VHTXHQFH

,,, '(6 02'(/ $1'&21752/ 2)60$57$33/,$1&(6 $ 0RGHOLQJ $SSOLDQFH 2SHUDWLRQ LQ '(6

,Q WKH FRQVLGHUHG SUREOHP WKH $& PDQDJHV WKH DFFHVV WR SRZHU DQG FRQWUROV WKH DSSOLDQFHV RSHUDWLRQ 5HTXHVWV IURP HDFK DSSOLDQFH ZLOO EH DFFHSWHG RU UHMHFWHG E\ WKH $& GHSHQGLQJ RQ WKH SULRULW\ DQG WKH FDSDFLW\ DYDLODEOH LQ HDFK LQYRFDWLRQ $SSOLDQFH ORDG PDQDJHPHQW FDQ EH UHSUHVHQWHG E\ DQ )60 DV VKRZQ LQ )LJ  ,Q RWKHU ZRUGV DSSOLDQFH RSHU DWLRQ FDQ EH FKDUDFWHUL]HG E\ D VHW RI VWDWHV DQG HYHQWV $Q DSSOLDQFH FKDQJHV LWV VWDWH E\ H[HFXWLQJ DQ HYHQW +HQFH LW FDQ EH HDVLO\ IRUPXODWHG LQ '(6 ZKLFK GHVFULEHV WKH EHKDY LRU RI WKH ORDG UHTXLULQJ FRQWURO DQG WKH VSHFLILFDWLR DV UHJXODU ODQJXDJHV RYHU D VHW RI GLVFUHWH HYHQWV

,Q WKH FRQVLGHUHG SUREOHP HDFK DSSOLDQFH LV FKDUDFWHUL]HG E\ D VHW RI YDULDEOHV VWDWXV SUHHPSWLRQ KHXULVWLF YDOXH DQG UHTXHVWHG SRZHU 7KH VWDWXV RI DQ DSSOLDQFH FDQ EH GHILQH ZUW WKH VWDWHV RI WKH )60 VKRZQ LQ )LJ  DV EHORZ

6WDWH  2II LW LV QRW HQDEOHG 6WDWH  5HDG\ LW LV UHDG\ WR VWDUW 6WDWH  5XQ LW UXQV DQG FRQVXPHV SRZHU 6WDWH  ,GOH LW VWRSV DQG FRQVXPHV QR SRZHU

6LQFH WKH LQWHUUXSWLRQ DQG WKH SULRULW\ RI HDFK DSSOLDQFH VKRXOG EH FRQVLGHUHG ZKLOH VFKHGXOLQJ WKH RSHUDWLRQ SUH HPSWLRQ DQG KHXULVWLF VWUDWHJLHV ZLOO EH XVHG IRU WKHVH WDVNV 3UHHPSWLRQ VSHFLILH ZKHWKHU WKH WDVN LV LQWHUUXSWHG WR JLYH SULRULW\ WR DQRWKHU WDVN ZKLOH KHXULVWLF YDOXH GHILQH WKH SUL RULW\ RI WKH DSSOLDQFH 7KH FRPSXWDWLRQ RI KHXULVWLF YDOXHV LV EDVHG RQ SHUIRUPDQFH FRQVLGHUDWLRQV DQG RWKHU IDFWRUV VXFK DV WKH GHDGOLQH DQG WKH OD[LW\ RI UHTXHVWV >@ >@

7KH UHTXHVWHG SRZHU LV WKH SRZHU WKDW UHTXLUHG IRU DQ DSSOL DQFH WR UXQ +RZHYHU WKH WRWDO SRZHU FRQVXPSWLRQ KDV WR UHVSHFW WKH PD[LPXP GHPDQG RI WKH EXLOGLQJ GXULQJ SRZHU GLVWULEXWLRQ RYHU WKH DSSOLDQFHV

% 6FKHGXODELOLW\ $QDO\VLV RI $GPLVVLRQ &RQWURO

,Q WKH VXSHUYLVRU\ FRQWURO WR DFFHSW RU UHMHFW D UHTXHVW RI DQ DSSOLDQFH D FRQWUROOHU GHFLGHV ZKLFK HYHQWV DUH HQDEOHG WKURXJK D VHTXHQFH EDVHG RQ LWV REVHUYDWLRQ (VVHQWLDOO\ WKH VFKHGXODELOLW\ RI DSSOLDQFHV RSHUDWLRQ GHSHQGV RQ WZR EDVLF SURSHUWLHV RI '(6 FRQWUROODELOLW\ DQG REVHUYDELOLW\ 7KHUHIRUH

)LJ  $FFHSWLQJ RU UHMHFWLQJ WKH UHTXHVW RI DQ DSSOLDQFH

LQ FRQWURO V\QWKHVLV D YLHZCLLV ILUV GHVLJQHG IRU HDFK DSSOL DQFH L IURP FRQWUROOHU SHUVSHFWLYH ,I WKH DSSOLDQFHV RSHUDWLRQV DUH LQGHSHQGHQW RI HDFK RWKHU WKHQ D FHQWUDOL]HG FRQWUROOHU¶V YLHZC FDQ EH IRUPXODWHG E\ WDNLQJ WKH V\QFKURQRXV SURGXFW RI WKH LQGLYLGXDO YLHZV +RZHYHU ZKHQ WZR RU PRUH DSSOLDQFHV DUH GHSHQGHQW WKH YLHZ RI WKH FRUUHVSRQGLQJ DSSOLDQFHV DUH ILUV JHQHUDWHG WRJHWKHU DQG WKHQ ZH WDNH WKH V\QFKURQRXV SURGXFW ZLWK WKH UHVW RI WKH DSSOLDQFHV WR GHVLJQ C 7KH VFKHGXODELOLW\ RI VXFK D VFKHPH ZLOO EH DVVHVVHG EDVHG RQ WKH SURSHUWLHV RI WKH FRQVLGHUHG V\VWHP DQG WKH FRQWUROOHU )LJXUH  LOOXVWUDWHV WKH SURFHVV IRU DFFHSWLQJ RU UHMHFWLQJ WKH UHTXHVW RI DQ DSSOLDQFH

/HW /_C EH WKH ODQJXDJH JHQHUDWHG IURP C DQG ._C EH WKH VSHFLILFDWLRQ 7KHQ WKH FRQWURO ODZ LV D PDS

  π(/C) → 3(),

VXFK WKDW∀V ∈ ∗/_C(V) ∩ XF⊆ ._C ZKHUH_L(V) GHILQH WKH VHW RI HYHQWV RFFXU DIWHU WKH VHTXHQFH V  _L(V) {σ ∈ |Vσ ∈ L}, ∀L ⊆ ∗_.

7KH FRQWURO GHFLVLRQV ZLOO EH PDGH LQ REVHUYDWLRQDOO\ HTXLYDOHQW PDQQHU DV VSHFLILH LQ 

'HILQLWLR  'HQRWH E\//_C WKH FRQWUROOHG V\VWHP XQGHU WKH VXSHUYLVLRQ RI 7KH FORVHG EHKDYLRU RI //_C LV GHILQH DV D ODQJXDJH L(//_C) ⊆ /_C VXFK WKDW L ε ∈ L(//_C), DQG LL ∀V ∈ L(//_C) DQG ∀σ ∈ (V) Vσ ∈ /_C ⇒ Vσ ∈ L(//C) 7KH PDUNHG EHKDYLRU RI//_C LV /P(//C) L(//C) ∩ /P 'HQRWH E\/0/C WKH V\VWHP 0/C XQGHU WKH VXSHUYLVLRQ RI

 DQG OHW L(/0/_C) EH WKH ODQJXDJH JHQHUDWHG E\ /0/_C 7KHQ WKH QHFHVVDU\ DQG VXIILFLHQ FRQGLWLRQV IRU WKH H[LV WHQFH RI D FRQWUROOHU VDWLVI\LQJ ._C DUH JLYHQ E\ WKH IROORZLQJ WKHRUHP >@

7KHRUHP  7KHUH H[LVWV D FRQWUROOHU IRU WKH V\VWHP 0/_C VXFK WKDW /0/_C LV QRQEORFNLQJ DQG WKH FORVHG EHKDYLRU RI /0/_C LV UHVWULFWHG WR . LHL(/0/_C) ⊆ ._C LI DQG RQO\ LI

L ._C LV FRQWUROODEOH ZUW /_C DQGXF LL ._C LV REVHUYDEOH ZUW /_Cπ DQG F DQG LLL ._C LV /PFORVHG

,9 '(6%$6('6&+('8/,1*$/*25,7+0

,Q WKH FRQVLGHUHG $& SUREOHP D FRQWUROOHU LV GHVLJQHG WR VFKHGXOH WKH DSSOLDQFHV RSHUDWLRQ GHSHQGLQJ RQ WKH DYDLODEOH FDSDFLW\ 1RWH WKDW ZH FRQVLGHU WKH ZRUVW FDVH LQ DOJRULWKP GHVLJQ EHFDXVH DOO WKH DSSOLDQFHV PD\ LVVXH UHTXHVWV DW WKH VDPH WLPH

7KHRUHP  LQGLFDWHV WKDW D IHDVLEOH VFKHGXOLQJ LV DFKLHY DEOH LI DQG RQO\ LI WKH VSHFLILFDWLR ._C LV FRQWUROODEOH DQG

6$',' HW DO ',6&5(7((9(17 6<67(06%$6(' 32:(5 $'0,66,21 &21752/ 2) 7+(50$/ $33/,$1&(6 

)LJ  $ SRUWLRQ RI FHQWUDOL]HG FRQWUROOHU IRU  DSSOLDQFHV

REVHUYDEOH )RU WKH FRQWUROOHU¶V REVHUYDWLRQ VKRZQ LQ )LJ  RQO\ RQH UHTXHVW ZLWK WKH KLJKHVW SULRULW\ FDQ EH YHULILH LQ RQH VWDWH LQ WKH V\VWHP EHKDYLRU /_C %XW WKH RWKHU UHTXHVWV FDQQRW EH GLVDEOHG EHFDXVH WKH HYHQW UHTXHVW JHQHUDWHG E\ DQ DSSOLDQFH LV QRW XQGHU WKH FRQWURO ,Q WKLV FDVH WKH VXEVH TXHQW HYHQW YHULI\ LV GLVDEOHG E\ WKH FRQWUROOHU ,Q DGGLWLRQ LI D UHTXHVW LV DFFHSWHG WKHQ WKH HYHQW DFFHSW UHODWHG WR WKDW UHTXHVW LV HQDEOHG DQG WKH HYHQW UHMHFW LV GLVDEOHG E\ WKH FRQ WUROOHU 2WKHUZLVH DFFHSW HYHQW LV GLVDEOHG DQG UHMHFW HYHQW LV HQDEOHG $IWHU YHULI\LQJ DOO WKH UHTXHVWV LQ /_C WKH FRUUH VSRQGLQJ DFFHSW RU UHMHFW HYHQWV DUH HQDEOHG ,Q WKLV ZD\ WKH VHTXHQFH UHSUHVHQWLQJ WKH RSWLPDO VFKHGXOLQJ RI WKH DSSOL DQFHV LV H[SORUHG IURP D VHW RI VHTXHQFHV LQ '(6 ZKLFK VKRZV DOWHUQDWH ZD\V WR GR WKH VFKHGXOLQJ $V UHTXHVW LV WKH RQO\ XQFRQWUROODEOH HYHQW ZKLFK LV QHYHU GLVDEOHG E\ WKH FRQWUROOHU ._C LV FRQWUROODEOH ,Q DGGLWLRQ ZKHQ DQ DSSOLDQFH LV QRQSUHHPSWLYH WKH FRUUHVSRQGLQJ DFFHSW HYHQW EHFRPHV XQFRQWUROODEOH ,Q WKDW FDVH LI WKHUH LV QR DYDLODEOH FDSDF LW\ WR HQDEOH WKDW HYHQW WKHQ ._C EHFRPHV XQFRQWUROODEOH &RQVHTXHQWO\ WKHUH LV QR IHDVLEOH VFKHGXOH $W WKH VDPH WLPH WKH FRQWUROOHU WDNHV WKH VDPH GHFLVLRQ IRU WKH VHTXHQFHV REVHU YDWLRQDOO\ HTXLYDOHQW +HQFH ._CLV REVHUYDEOH ,Q DGGLWLRQ WKH ODQJXDJH /PGHILQH WKH VHTXHQFH WKDW UHSUHVHQW WKH VFKHGXOLQJ

RI DSSOLDQFHV 7KHQ ._C LV /PFORVHG $ 6FKHGXOLQJ $OJRULWKP LQ '(6

7KH ILUV DOJRULWKP WR LPSOHPHQW LV DGDSWHG IURP >@ DQG >@ $V GHWDLOHG LQ $OJRULWKP  ZKHQ WKH UHTXHVWV IURP GLIIHUHQW DSSOLDQFHV DUH JHQHUDWHG WKH SULRULW\ RI HDFK DSSOLDQFH LV GHILQH DFFRUGLQJ WR LWV KHXULVWLF YDOXH :KHQ DQ HYHQW UHTXHVW LV JHQHUDWHG LQ WKH VXEVHTXHQW VWDWHV LWV DFFHSWDQFH ZLOO EH FKHFNHG WKURXJK WKH HYHQW YHULI\ WR GHWHUPLQH WKH QH[W VWDWH WR WUDQVLW WR DFFHSW RU UHMHFW $IWHU H[HFXWLQJ D UHTXHVW WKH RQH ZLWK WKH KLJKHVW SULRULW\ ZLOO EH DFFRXQWHG LQ WKH QH[W VWDWH

,Q DGGLWLRQ WKH UHTXHVWV FRPH IURP WKH QRQSUHHPSWLYH DSSOLDQFHV DUH YHULILH ILUVW EHFDXVH VXFK DSSOLDQFHV FDQQRW EH LQWHUUXSWHG 7KH UHPDLQLQJ DSSOLDQFHV DUH YHULILH VHTXHQ WLDOO\ DFFRUGLQJ WR WKHLU SULRULWLHV ,QGHHG WKH SUHHPSWLYLW\ ZKLFK LV D VWDWLF EHKDYLRU RI DQ DSSOLDQFH DQG WKH SULRULW\ DUH WKH RQO\ LQIRUPDWLRQ UHTXLUHG E\ WKH FRQWUROOHU WR GHFLGH ZKLFK LV WKH QH[W UHTXHVW WR EH YHULILHG

6LQFH D '(6 FRQWURO VFKHPH FDQ EH JHQHUDWHG DV D UHJXODU ODQJXDJH LW LV SRVVLEOH WR PRGLI\ WKH ODQJXDJH DFFRUGLQJ WR WKH JLYHQ VSHFLILFDWLRQ 7KH FRQWUROOHG EHKDYLRU WR EH FRQVWUXFWHG LV HQVXUHG E\ $OJRULWKP  IRU WKH FRQVLGHUHG $& :H FRQVLGHU WKH IROORZLQJ YDULDEOHV LQ WKH DOJRULWKP

• N  VHW RI UHTXHVWV • Q QXPEHU RI UHTXHVWV

• L M UHTXHVW∈ N

• SL UHTXHVWHG SRZHU RI WKH DSSOLDQFH DVVRFLDWHG WR UHTXHVW L

• FRQV WRWDO SRZHU FRQVXPSWLRQ RI WKH DFFHSWHG UHTXHVWV • & FDSDFLW\ OLPLW

7R LOOXVWUDWH WKH RSHUDWLRQ RI WKH $& VFKHPH JLYHQ LQ $OJRULWKP  ZH FRQVLGHU WKH IROORZLQJ H[DPSOH

([DPSOH  $ FRQWUROOHU¶V YLHZCL LV PRGHOHG DV VKRZQ LQ )LJ  IRU HDFK DSSOLDQFH L∈ N  ZKHUH WKH DSSOLDQFHV RSHUD WLRQV DUH LQGHSHQGHQW RQ HDFK RWKHU 7KHQC LV IRUPXODWHG E\ WDNLQJ WKH V\QFKURQRXV SURGXFWCL, ∀L ∈ N DV C C|| . . . ||C1 6XSSRVH WKDW /_CLV WKH ODQJXDJH JHQHUDWHG E\ WKH FROOHFWLRQ RI DOO WUDQVLWLRQV ZKHUHDV ._C LV WKH ODQJXDJH JHQHUDWHG E\ VROLG OLQH WUDQVLWLRQV

)RU VLPSOLFLW\ ZH FRQVLGHU WKH FDVH RI  DSSOLDQFHV 7KH V\QFKURQRXV SURGXFW JLYHV  VWDWHV DQG  WUDQVLWLRQV LQ WKLV FDVH 6XSSRVH WKDW $SSOLDQFH  KDV D KLJKHU SULRULW\ 7KHQ $SSOLDQFH  LV YHULILH ILUV WR GHFLGH ZKHWKHU LW LV DFFHSWHG 7KHQ FRUUHVSRQGLQJ DFFHSW RU UHMHFW HYHQW HQDEOHG 7KHQ

WKH UHTXHVW JHQHUDWHG E\ $SSOLDQFH  UHTXHVW LV FRQVLGHUHG

DQG WKH VDPH VWHSV DUH UHSHDWHG $ SRUWLRQ RI WKH FRQWUROOHG V\VWHP LV VKRZQ LQ )LJ  LQ ZKLFK WKH PDUNHG VWDWHV DUH GHQRWHG E\ GRXEOH FLUFOH DYRLG WR UHDFK LQ WKLV H[DPSOH DQG WKH GLVDEOHG WUDQVLWLRQV DUH GHQRWHG E\ GRWWHG OLQH ,Q WKLV H[DPSOH ERWK UHTXHVWV DUH DFFHSWHG DV WKH H[HFXWLRQ UHVXOW ,Q WKLV ZD\ WKH VFKHGXOLQJ JHQHUDWHG E\ $OJRULWKP  VDWLVILH ._C 1RWH WKDW LI WKH UHTXHVW JHQHUDWHG IURP $SSOLDQFH  GHSHQGV RQ WKH DFFHSWDQFH RI $SSOLDQFH  WKHQ C EHFRPHV VLPSOHU ,Q WKDW FDVH ZH KDYH WR GHVLJQ WKH )60 LQ VXFK D ZD\ WKDW WKH HYHQW UHTXHVWRQO\ DSSHDUV DIWHU WKH HYHQW DFFHSW

&RQVHTXHQWO\ WKH VHTXHQFHV ZLWK WKH DSSHDUDQFH RI UHTXHVW

EHIRUH DFFHSWZLOO EH UHPRYHG IURPC ZKLOH SHUIRUPLQJ WKH

V\QFKURQRXV SURGXFW 2

7KH IROORZLQJ WKHRUHP SURYLGHV WKH VFKHGXODELOLW\ DVVHVV PHQW IRU WKH GHYHORSHG $& VFKHPH

7KHRUHP  ,I WKH DSSOLDQFHV DUH VFKHGXOHG IROORZLQJ $OJRULWKP  WKHQ_L∈NSL≤ &

3URRI 6FKHGXOLQJ RI WKH DSSOLDQFHV LQ '(6 SURYLGHV WKH FRQWUROOHG EHKDYLRU ZKLFK LV REWDLQHG IURP $OJRULWKP  7KDW PHDQV LW VDWLVILH WKH VSHFLILFDWLR ._C ZKLFK LPSOLHV WKDW ._C LV FRQWUROODEOH 7KHQ DVVXPH WKDW L(/0/_C) ⊆ ._C EXW 

L∈NSL > &. 7KDW PHDQV WKHUH H[LVWV D UHTXHVW M ∈ N  ZKLFK LV DFFHSWHG E\ WKH FRQWUROOHU  H[FHHGV WKH FDSDFLW\ & 7KHQ ∃M ∈ N VXFK WKDW _{L∈N \{M}}SL ≤ & 7KLV LPSOLHV WKDW _{L∈N \{M}}SL  M=LSM > &. +HQFH UHTXHVWM FDQQRW EH DFFHSWHG E\ $OJRULWKP  7KHUHIRUH WKHUH H[LVWV D VHTXHQFH V ∈ /_C VXFK WKDW VDFFHSW_M ∈ ._C DQG VUHMHFW_M ∈ ._C ,Q WKDW FDVH LI VDFFHSW_M∈ L(/0/C) WKHQ L(/0/C) ⊃ .C, ZKLFK

 ,((( 75$16$&7,216 21 60$57 *5,'

$OJRULWKP  $OJRULWKP IRU $GPLVVLRQ &RQWUROOHU

,QSXW 6RUW WKH UHTXHVWV DFFRUGLQJ WR WKH KHXULVWLF YDOXH LQ

GHVFHQGLQJ RUGHU  FRQV   L=   UHSHDW  LI UHTXHVW L LV QRQSUHHPSWLYH WKHQ  HQDEOH DFFHSWL

 FRQV= FRQV + SL UHPRYH UHTXHVW L IURPN

 HQG LI  L= L +   XQWLO L<= Q  XSGDWHN DQG Q  L=   UHSHDW

 HQDEOH YHULI\L GLVDEOH YHULI\M IRU M∈ N \ {L}  LI FRQV+ SL<= & DQG DSSOLDQFH L LV UXQQLQJ WKHQ  HQDEOH DFFHSWL DQG GLVDEOH UHMHFWL

 FRQV= FRQV + SL  HOVH

 HQDEOH UHMHFWL DQG GLVDEOH DFFHSWL

 HQG LI

 L= L +   XQWLO L<= Q

1RWH WKDW WKH VFKHGXOLQJ DOJRULWKP LV DSSOLFDEOH WR WKH FRQVLGHUHG V\VWHP UHJDUGOHVV RI WKH GHSHQGHQF\ DPRQJ WKH DSSOLDQFHV ,Q IDFW WKH GHSHQGHQF\ ZLOO EH KDQGOHG E\ WKH FRQWUROOHU¶V YLHZ C WKURXJK WKH GHVLJQ RI DSSURSULDWH )60V ,Q HDFK VWDWH RI WKH )60 WKH UROH RI WKH DOJRULWKP LV WR GHFLGH ZKLFK LV WKH QH[W VWDWH WR EH H[HFXWHG VR WKDW WKH ZKROH V\VWHP FDQ HYROYH IROORZLQJ WKH FRUUHFW VHTXHQFH 0RUHRYHU C EHFRPHV OHVV FRPSOH[ LQ WKH SUHVHQFH RI GHSHQGHQFLHV % 0D[0LQ6FKHGXOLQJ $OJRULWKP

$OJRULWKP  RQO\ DFFHSWV RU UHMHFWV D UHTXHVW GHSHQGLQJ RQ WKH DYDLODEOH FDSDFLW\ +RZHYHU LW PD\ KDSSHQ WKDW PRUH WKDQ RQH UHTXHVW KDYH WKH VDPH SULRULW\ ZKLOH WKH WRWDO GHPDQG H[FHHGV WKH FDSDFLW\ OLPLW ,W LPSOLHV WKDW QRW DOO RI WKH UHTXHVWV FDQ EH DFFHSWHG 2EYLRXVO\ GLVDEOLQJ DQ DPRXQW RI DSSOLDQFHV PD\ UHVXOW LQ DQ LQHIILFLHQ XVH RI WKH DYDLODEOH SRZHU DQG OHDG WR WKH SHUIRUPDQFH GHJUDGDWLRQ 7R ILQ VROXWLRQV WR GLVWULEXWH WKH DYDLODEOH SRZHU DPRQJ WKH DSSOLDQFHV LQ DQ RSWLPDO PDQ QHU ZH VXSSRVH WKDW WKH DFFHSWDEOH SRZHU IRU HDFK DSSOLDQFH L EHORQJV WR D VRFDOOHG IDOOLELOLW\ UDQJH SOE,L≤ SL≤ SXE,L ZKHUH SOE,L DQG SXE,L GHQRWH UHVSHFWLYHO\ WKH ORZHU DQG WKH XSSHU ERXQGV RI WKH UHTXHVWHG SRZHU :H WKHQ FRQVLGHU DQ RSWLPDO SRZHU GLVWULEXWLRQ LQ WKH VHQVH RI PD[PLQ IDLUQHVV ZKLFK LV D ZLGHO\ XVHG VFKHPH IRU UHVRXUFH DOORFDWLRQV VHH HJ >@ 7KH XVH RI PD[PLQ IDLU VFKHPHV FDQ DOORFDWH DV PXFK SRZHU DV SRVVLEOH WR DOO WKH DSSOLDQFHV ZKLOH NHHSLQJ WKH GLVWULEXWLRQ EDODQFHG 7KLV PHDQV WKDW ZH FDQ UXQ WKH PD[LPXP QXPEHU RI DSSOLDQFHV VLPXOWDQHRXVO\

7KH PD[PLQ IDLU SRZHU GLVWULEXWLRQ DPRQJ D VHW RI 1 DSSOL DQFHV LQGH[HG E\ N = {, . . . , 1} FDQ EH IRUPXODWHG DV D OLQHDU SURJUDPPLQJ SUREOHP E\ VHWWLQJ W ≤ SL IRU DOO L∈ N 

$OJRULWKP  0D[0LQ6FKHGXOLQJ $OJRULWKP

,QSXW 6RUW WKH UHTXHVWV DFFRUGLQJ WR WKH KHXULVWLF YDOXH LQ

GHVFHQGLQJ RUGHU  FRQV  SL=  IRU DOO L ∈ N  L=   UHSHDW  LI UHTXHVW L LV QRQSUHHPSWLYH WKHQ  HQDEOH DFFHSWL

 FRQV= FRQV + SL UHPRYH UHTXHVW L IURPN

 HQG LI  L= L +   XQWLO L<= Q  XSGDWHN DQG Q  W= PLQ{SOEL}  L=   UHSHDW

 HQDEOH YHULI\L GLVDEOH YHULI\M IRU M∈ N \ {L}  LI FRQV+ W <= & DQG DSSOLDQFH L LV UXQQLQJ WKHQ

 HQDEOH DFFHSWL  SL= SL+ W FRQV = FRQV + W  SOEL = SOEL− W DQG SXEL = SXEL− W  HQG LI  L= L +   XQWLO L<= Q  5HSHDW WKH SUHYLRXV VWHSV FRQVLGHULQJ W= PLQ{SXEL}

ZKHUH SL DUH WKH GHFLVLRQ YDULDEOHV H[SUHVVHG DV

PD[ W; D

VW W− SL≤ , ∀L ∈ N ; E S_OE,L≤ SL≤ SXE,L, ∀L ∈ N ; F L∈N

SL≤ &. G 8VLQJ WKH DERYH IRUPXODWLRQ ZH XSGDWH $OJRULWKP  WR D PD[PLQVFKHGXOLQJ 006 VFKHPH JLYHQ LQ $OJRULWKP  WKDW DOORZV IRU D PRUH HIILFLHQ XVH RI WKH DYDLODEOH FDSDFLW\ ,Q DGGLWLRQ WR WKH YDULDEOHV RI $OJRULWKP  IHZ PRUH SDUDPHWHUV DUH FRQVLGHUHG DV EHORZ

• SOEL PLQLPXP SRZHU UHTXLUHG IRU UHTXHVW L

• SXEL PD[LPXP SRZHU UHTXLUHG IRU UHTXHVW L

7KH 006 DOJRULWKP LQLWLDOO\ GLVWULEXWHV WKH PLQLPXP SRZHU UHTXHVW VHOHFWHG IURP WKH IHDVLELOLW\ VHW WR WKH DSSOL DQFHV 7KHQ LW PD[LPL]HV WKH SRZHU FRQVXPSWLRQ RI HDFK DSSOLDQFH DFFRUGLQJ WR LWV IHDVLELOLW\ UDQJH DQG WKH DYDLODEOH FDSDFLW\ 1RWH WKDW WKH OLQHDU SURJUDPPLQJ SUREOHP LQYROYHG LQ 006 FDQ EH VROYHG HIILFLHQWO E\ XVLQJ WKH SURJUHVVLYH ILOOLQ DOJRULWKP >@±>@ ZKLFK LV WKH VROXWLRQ DGRSWHG LQ $OJRULWKP 

6FKHGXODELOLW\ DVVHVVPHQW RI WKH $& VFKHPH SURGXFHG E\ $OJRULWKP  LV JLYHQ EHORZ

&RUROODU\  ,I WKH DSSOLDQFHV DUH VFKHGXOHG IROORZLQJ $OJRULWKP  WKHQ 

L∈N SL≤ &

3URRI :KHQ DSSOLDQFHV DUH VFKHGXOHG E\ HPSOR\LQJ $OJRULWKP  WKH FRUUHVSRQGLQJ HYHQW VHTXHQFH SURYLGHV WKH FRQWUROOHG EHKDYLRU RI WKH V\VWHP 7KDW PHDQV ._C LV FRQWURO ODEOH 7KH UHVW RI WKH SURRI IROORZV 7KHRUHP 

6$',' HW DO ',6&5(7((9(17 6<67(06%$6(' 32:(5 $'0,66,21 &21752/ 2) 7+(50$/ $33/,$1&(6 

)LQDOO\ WKH ZRUVW FDVH FRPSXWDWLRQ FRPSOH[LW\ RI ERWK DOJRULWKPV LV O(Q_{) ZKHUH Q LV WKH QXPEHU RI UHTXHVWV WR}

SURFHHG

9 6,08/$7,21678',(6 $ 6LPXODWLRQ 6HWXS

7KH VLPXODWLRQ VWXGLHV DUH FDUULHG RXW ZLWK 0DWODE6LPXOLQN 7ZR GLIIHUHQW W\SHV RI WKHUPDO DSSOL DQFHV QDPHO\ KHDWHU DQG UHIULJHUDWRU DUH FRQVLGHUHG LQ WKH VLPXODWLRQ 7KH G\QDPLFDO PRGHO RI WKH KHDWLQJ V\VWHP DQG WKH UHIULJHUDWRUV DUH WDNHQ IURP >@ DQG >@ 6SHFLILFDOO  WKH G\QDPLFV RI WKH KHDWLQJ V\VWHP DUH JLYHQ E\

G7L GW =  &L5DL (7D− 7L) +  &L 1  M=,M=L  5ML  7M− 7L  +  &L L,  ZKHUH 1 LV WKH QXPEHU RI URRPV 7LLV WKH LQWHULRU WHPSHUDWXUH RI URRP L L∈ {, . . . , 1} 7DLV WKH DPELHQW WHPSHUDWXUH 5DL LV WKH WKHUPDO UHVLVWDQFH EHWZHHQ URRP L DQG WKH DPELHQW 5ML LV WKH WKHUPDO UHVLVWDQFH EHWZHHQ 5RRP L DQG 5RRP M &L LV WKH KHDW FDSDFLW\ DQG LLV WKH SRZHU LQSXW WR WKH KHDWHU RI URRP L 7KH G\QDPLFDO PRGHO RI WKH UHIULJHUDWRU WDNHV D VLPLODU EXW VLPSOHU IRUP G7U GW =  &U5D U (7D− 7U) −$F &U F,  ZKHUH 7U LV WKH UHIULJHUDWRU FKDPEHU WHPSHUDWXUH 7D LV WKH DPELHQW WHPSHUDWXUH &U LV D WKHUPDO PDVV UHSUHVHQWLQJ WKH UHIULJHUDWLRQ FKDPEHU WKH LQVXODWLRQ LV PRGHOHG DV D WKHUPDO UHVLVWDQFH 5D_U $F LV WKH RYHUDOO FRHIILFLHQ SHUIRUPDQFH DQG F LV WKH UHIULJHUDWRU SRZHU LQSXW 7KH SDUDPHWHUV RI WKHU PRG\QDPLF PRGHOV XVHG LQ WKH VLPXODWRQ DUH JLYHQ LQ WKH $SSHQGL[

7KH FRQVLGHUHG VHWXS LQ H[SHULPHQW FRQWDLQV IRXU URRPV 5RRP  DQG  LQFOXGH RQH KHDWHU DQG RQH UHIULJHUDWRU HDFK DQG 5RRP  DQG  FRQWDLQ RQO\ RQH KHDWHU HDFK $ FODVVL FDO SURSRUWLRQDOLQWHJUDO 3, FRQWUROOHU LV XVHG WR FRQWURO WKH KHDWLQJ V\VWHP ZLWK WKH PD[LPDO WHPSHUDWXUH VHW WR ◦& $Q 212)) VFKHPH LV XVHG WR FRQWURO WKH UHIULJHUDWRUV WKDW DUH WXUQHG RQ ZKHQ WKH FKDPEHU WHPSHUDWXUH LV ◦& DQG VKXW GRZQ ZKHQ WHPSHUDWXUH UHDFKHV ◦& ,Q DGGLWLRQ WKH URRP WHPSHUDWXUH LV FRQVLGHUHG DV WKH DPELHQW WHPSHUDWXUH IRU WKH UHIULJHUDWRU SODFHG LQ WKH FRUUHVSRQGLQJ URRP ZKLOH WKH DPEL HQW WHPSHUDWXUH RI HDFK URRP LV VHW WR ◦& 0RUHRYHU XQOLNH WKH KHDWHUV WKH UHIULJHUDWRUV DUH QRQSUHHPSWLYH ORDGV 7KH FHQWUDOL]HG FRQWUROOHU¶V YLHZ C IRU DOO WKH DSSOLDQFHV LV JHQ HUDWHG XVLQJ 0DWODE 7RROER[ '(&. >@ ZKLFK UHVXOWV LQ D V\VWHP ZLWK  VWDWHV DQG  WUDQVLWLRQV 1RWH WKDW LI WKHUH H[LVWV DQ\ GHSHQGHQF\ EHWZHHQ WKH DSSOLDQFHV VRPH WUDQVLWLRQV ZLOO EH H[FOXGHG VHTXHQWLDOO\ &RQVHTXHQWO\ WKH FRUUHVSRQGLQJ C EHFRPHV VPDOOHU ZLWK OHVV QXPEHU RI VWDWHV DQG WUDQVLWLRQV

,Q WKH H[SHULPHQWV WKH KHXULVWLF YDOXH LV GHILQH DV D IDFWRU EHWZHHQ  DQG  $V WKH KHDWHUV DUH FRQWUROOHG E\ 3, FRQWUROOHU ZKLFK DPRXQWV WR UHJXODWLQJ WKH WHPSHUDWXUH WR D SUHGHILQH UHIHUHQFH 7PD[ WKH KHXULVWLF YDOXH IRU KHDWHUV LV FRPSXWHG DV

YK= PD[  πDUFWDQ(7PD[− 7),  . 

2Q WKH RWKHU KDQG WKH UHIULJHUDWRUV DUH RSHUDWHG LQ DQ 212)) PDQQHU GHSHQGLQJ RQ WKH ORZHU DQG XSSHU WHPSHUDWXUH ERXQGV 7KHUHIRUH WKH KHXULVWLF YDOXH IRU UHIULJHUDWRUV WDNHV  RU  ZKHQ WKH WHPSHUDWXUH LV LQ RU RXW RI WKH GHILQH ]RQH

% 6LPXODWLRQ 5HVXOWV DQG $QDO\VLV

:H YDOLGDWH ILUV $OJRULWKP  ,Q WKH VLPXODWLRQ WKH WLPH VSDQ LV QRUPDOL]HG WR  WLPH XQLWV ,W LV VXSSRVHG WKDW WKH LQLWLDO UHTXHVWHG SRZHU LV  : IRU +HDWHU  DQG  DQG  : IRU +HDWHU  DQG  7KH UHTXHVWHG SRZHU IRU WKH UHIULJ HUDWRUV LV  : +HQFH WKH WRWDO SRZHU UHTXLUHG WR DFFHSW DOO WKH UHTXHVWV FDQ EH DV KLJK DV  : +RZHYHU ZH FRQVLGHU  : IRU WKH ILUV  WLPH XQLWV DV WKH WRWDO FDSDFLW\ OLPLW ZKLFK LV OHVV WKDQ WKH / RI WKH WRWDO LQLWLDO SRZHU UHTXLUHG LQ WKH ZRUVW FDVH 7KHQ WKH FDSDFLW\ OLPLW LV UHGXFHG WR  : DW  WLPH VWHSV DQG WR  : DW  WLPH VWHSV 7KH WKUHH SRZHU FDSDFLW\ OHYHOV DUH DERXW UHVSHFWLYHO\   DQG  RI WKH ZRUVW FDVH SHDN SRZHU GHPDQG 7KLV FRQILJXUDWLR LV UHDVRQDEOH LQ WKH VHQVH WKDW WKH VWDUWXS RU SUHKHDWLQJ VKRXOG EH SHUIRUPHG LQ RIISHDN WLPH SHULRGV VR WKDW WKH WRWDO FRQ VXPSWLRQ PD\ EHFRPH PXFK OHVV GXULQJ WKH RQSHDN SHULRG 1RWH WKDW  : LV WKH FDSDFLW\ OLPLW EHORZ ZKLFK WKHUH GRHV QRW H[LVW IHDVLEOH VFKHGXOLQJ 1RWH DOVR WKDW WKH FDSDFLW\ OLPLW LV D WUDGHRII EHWZHHQ WKH HQHUJ\ FRQVXPSWLRQ DQG WKH WKHUPDO FRPIRUW ZKLFK KDV WR EH JHQHUDWHG E\ WKH /% DQG '50 OD\HUV LQ WKH FRQWH[W RI WKH FRQVLGHUHG DUFKLWHFWXUH

7KH DFFHSWDQFH VWDWXV RI WKH KHDWHUV(+, . . . , +) DQG WKH UHIULJHUDWRUV ()5, )5) LV VKRZQ LQ )LJ  7KH RSHUDWLRQDO VWDWH RI WKH DSSOLDQFHV LV LQGLFDWHG E\ µ21¶ DQG µ2))¶ 7KH WRWDO SRZHU FRQVXPSWLRQ RI DOO WKH DSSOLDQFHV DV ZHOO DV WKH SRZHU FRQVWUDLQWV DUH GHSLFWHG LQ )LJ  )LJXUH  VKRZV LQGLYLGXDO URRP WHPSHUDWXUHV (5, . . . , 5) DQG WKH UHIULJ HUDWRU WHPSHUDWXUHV ()5, )5) 7KH WHPSHUDWXUH RI DOO WKH URRPV LV PDLQWDLQHG LQ D UDQJH EHWZHHQ ◦DQG ◦& XQWLO  WLPH VWHSV :LWK D SRZHU FDSDFLW\ OLPLW RI : WKH RYHU DOO SHUIRUPDQFH LV VWLOO DFFHSWDEOH ZKHUH WKH URRP WHPSHUDWXUH LV PDLQWDLQHG LQ D UDQJH EHWZHHQ ◦ DQG ◦& PRVW RI WKH WLPH +RZHYHU WKHUH LV D VOLJKW SHUIRUPDQFH GHJUDGDWLRQ DW VRPH SRLQWV ZLWK D URRP WHPSHUDWXUH DV ORZ DV ◦& EHFDXVH DOO WKH DYDLODEOH FDSDFLW\ KDV EHHQ XVHG E\ D UHIULJHUD WRU )XUWKHUPRUH WKH WHPSHUDWXUH RI WKH UHIULJHUDWRUV LV DOZD\V PDLQWDLQHG LQ WKH UDQJH EHWZHHQ ◦ WR ◦& DV LPSRVHG LQ H[SHULPHQWV 7KHUHIRUH WKLV FRQWURO VFKHPH ZLWK DQ DGHTXDWH WXQLQJ RI KHXULVWLF YDOXHV FDQ NHHS WKH URRP DQG UHIULJHUDWRU WHPSHUDWXUHV LQ WKH GHVLUHG UDQJH ZKHQ WKH SRZHU FDSDFLW\ LV VHW WR  : ZKLFK LV RQO\  RI WKH ZRUVW FDVH SHDN SRZHU GHPDQG

7KHQ ZH UXQ WKH VLPXODWLRQ WR YDOLGDWH $OJRULWKP  IRU WKH VDPH VHWXS EXW ZLWK D FDSDFLW\ OLPLW RI  : IRU   WLPH VWHSV ZKLFK LV DERXW  RI WKH ZRUVW FDVH SHDN SRZHU GHPDQG DQG WKHQ  : DQG  : IRU WKH UHPDLQLQJ WLPH DV LQ WKH SUHYLRXV H[SHULPHQW 1RWH WKDW E\ XVLQJ WKLV DOJR ULWKP DOO WKH DSSOLDQFHV DUH DFFHSWHG DW WKH VWDUWXS VWHS ZLWK OHVV FDSDFLW\ 7KLV PHDQV WKDW $OJRULWKP  LV PRUH HIIHFWLYH LQ WHUPV RI SHDN GHPDQG UHGXFWLRQ )LJXUHV  DQG  LOOXVWUDWH WKH DFFHSWDQFH VWDWXV DQG WKH WRWDO FRQVXPSWLRQ FRUUHVSRQGLQJ WR $OJRULWKP  7KH UHVXOWV VKRZ WKDW FRPSDUHG WR $OJRULWKP 

 ,((( 75$16$&7,216 21 60$57 *5,'

)LJ  $FFHSWDQFH RI DSSOLDQFHV XVLQJ $OJRULWKP 

)LJ  7RWDO SRZHU FRQVXPSWLRQ RI DSSOLDQFHV XVLQJ $OJRULWKP 

)LJ  5RRP DQG UHIULJHUDWRU WHPSHUDWXUHV XVLQJ $OJRULWKP 

WKH DSSOLDQFHV VZLWFK OHVV IUHTXHQWO\ EHWZHHQ 21 DQG 2)) DQG WKH WRWDO SRZHU SURILO LV PXFK IODWWH  7KHUHIRUH WKLV VFKHPH LV OHVV KDUPIXO WR WKH DSSOLDQFH OLIH DQG SRZHU V\VWHP VWDELOLW\ 7KH WHPSHUDWXUH RI LQGLYLGXDO URRPV DQG UHIULJHU DWRUV LV VKRZQ LQ )LJ  ,W FDQ EH VHHQ WKDW WKH URRP WHPSHUDWXUHV UHDFK WR WKH GHVLUHG UDQJH LQ D PRUH XQLIRUP PDQQHU 0RUHRYHU WKH WHPSHUDWXUH LQ DOO WKH URRPV LV PDLQ WDLQHG EHWZHHQ ◦ DQG ◦& PRVW RI WKH WLPH H[FHSW D VOLJKW GHJUDGDWLRQ IRU D URRP ZLWK D WHPSHUDWXUH DV ORZ DV ◦& ZKHQ D UHIULJHUDWRU LV WXUQHG RQ ZKLOH WKH SRZHU FDSDF LW\ OLPLW LV VHW WR  : ,W VKRZV WKDW WKLV VFKHPH LV YHU\ HIILFLHQ IRU SHDN SRZHU GHPDQG UHGXFWLRQ

)LJ  $FFHSWDQFH RI DSSOLDQFHV E\ $OJRULWKP 

)LJ  7RWDO SRZHU FRQVXPSWLRQ RI DSSOLDQFHV XVLQJ $OJRULWKP 

)LJ  5RRP DQG UHIULJHUDWRU WHPSHUDWXUHV XVLQJ $OJRULWKP 

)LQDOO\ WKH VLPXODWLRQ RI  WLPH VWHSV ZLWK D VDPSOLQJ UDWH RI  WLPH XQLW WDNHV V IRU $OJRULWKP  DQG V IRU $OJRULWKP  LQ D 3HQWLXP  3&

9, &21&/86,21

7KLV SDSHU SUHVHQWV D QRYHO IRUPXODWLRQ IRU WKH DGPLVVLRQ FRQWURO RI WKHUPDO DSSOLDQFHV LQ WKH IUDPHZRUN RI '(6 7KLV DSSURDFK DOORZV DVVHVVLQJ WKH H[LVWHQFH RI WKH FRQWUROOHU IRU VFKHGXOLQJ DSSOLDQFHV RSHUDWLRQ ZLWK UHVSHFW WR WKH SRZHU FDSDFLW\ FRQVWUDLQWV LQ VPDUW EXLOGLQJV 7ZR DOJRULWKPV DUH GHYHORSHG WR LPSOHPHQW WKH SURSRVHG VFKHPH 7KH VLPXODWLRQ UHVXOWV VKRZ WKDW ERWK DOJRULWKPV DUH HIIHFWLYH LQ SHDN GHPDQG UHGXFWLRQ ZKLOH $OJRULWKP  EDVHG RQ PD[PLQ IDLUQHVV LV PRUH HIILFLHQ UHTXLULQJ OHVV SRZHU FDSDFLW\ WKDQ $OJRULWKP 

6$',' HW DO ',6&5(7((9(17 6<67(06%$6(' 32:(5 $'0,66,21 &21752/ 2) 7+(50$/ $33/,$1&(6  7$%/( , &21),*85$7,21 2)7+(50$/3$5$0(7(56 )25+($7(56 7$%/( ,, 3$5$0(7(56 2)7+(50$/5(6,67$1&(6 )25+($7(56 7$%/( ,,, 3$5$0(7(56 2)5()5,*(5$7256

1RWH WKDW HYHQWXDOO\ RWKHU W\SH RI IDLUQHVV FDQ DOVR EH FRQVLG HUHG LQ FRQWURO GHVLJQ 0RUHRYHU GHFHQWUDOL]HG GLVFUHWHHYHQW FRQWURO LV PRUH VXLWDEOH IRU ODUJH VFDOH V\VWHPV :H PD\ DOVR FRQVLGHU WKH DSSOLFDWLRQ RI 03&EDVHG WHFKQLTXHV LQ WKH IUDPHZRUN RI '(6 LQ RUGHU WR JXDUDQWHH WKH SHUIRUPDQFH RI DSSOLDQFHV RSHUDWLRQ

$33(1',;

02'(/3$5$0(7(56

7KH SDUDPHWHUV RI WKH WKHUPRG\QDPLF PRGHOV DUH OLVWHG LQ 7DEOHV , ,, DQG ,,, ZKLFK KDYH EHHQ QRUPDOL]HG IURP WKH UHDO YDOXHV WR UXQ WKH VLPXODWLRQ IRU  WLPH XQLWV

5()(5(1&(6

>@ 8QLWHG 1DWLRQV (QYLURQPHQW 3URJUDPPH  :K\ %XLOGLQJV >2QOLQH@ $YDLODEOH KWWSZZZXQHSRUJVEFL$ERXW6%&, %DFNJURXQGDVS

>@ * 7 &RVWDQ]R * =KX 0 ) $QMRV DQG * 6DYDUG ³$ V\VWHP DUFKLWHF WXUH IRU DXWRQRPRXV GHPDQG VLGH ORDG PDQDJHPHQW LQ VPDUW EXLOGLQJV´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 'HF  >@ 0 3LSDWWDQDVRPSRUQ 0 .X]OX DQG 6 5DKPDQ ³$Q DOJRULWKP IRU

LQWHOOLJHQW KRPH HQHUJ\ PDQDJHPHQW DQG GHPDQG UHVSRQVH DQDO\VLV´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 'HF  >@ & 2 $GLND DQG / :DQJ ³$XWRQRPRXV DSSOLDQFH VFKHGXOLQJ IRU KRXVH

KROG HQHUJ\ PDQDJHPHQW´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 0DU 

>@ - <DR * 7 &RVWDQ]R * =KX DQG % :HQ ³3RZHU DGPLVVLRQ FRQWURO ZLWK SUHGLFWLYH WKHUPDO PDQDJHPHQW LQ VPDUW EXLOGLQJV´ ,((( 7UDQV ,QG (OHFWURQ YRO  QR  SS ± $SU 

>@ - / 0DWKLHX 3 1 3ULFH 6 .LOLFFRWH DQG 0 $ 3LHWWH ³4XDQWLI\LQJ FKDQJHV LQ EXLOGLQJ HOHFWULFLW\ XVH ZLWK DSSOLFDWLRQ WR GHPDQG UHVSRQVH´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 6HS 

>@ / 3pUH]/RPEDUG - 2UWL] DQG & 3RXW ³$ UHYLHZ RQ EXLOGLQJV HQHUJ\ FRQVXPSWLRQ LQIRUPDWLRQ´ (QHUJ\ %XLOG YRO  QR  SS ± 

>@ $ $IUDP DQG ) -DQDEL6KDULIL ³7KHRU\ DQG DSSOLFDWLRQV RI +9$& FRQWURO V\VWHPV²$ UHYLHZ RI PRGHO SUHGLFWLYH FRQWURO 03&´ %XLOG (QYLURQ YRO  SS ± )HE 

>@ ) 5 3D]KHUL HW DO ³6PDUW JULG FDQ PDNH 6DXGL $UDELD PHJDZDWW H[SRUWHU´ LQ 3URF 3RZHU (QHUJ\ (QJ &RQI $33((& :XKDQ &KLQD  SS ±

>@ 1DWXUDO 5HVRXUFHV &DQDGD  (QHUJ\ (IILFLHQF 7UHQGV LQ &DQDGD  WR  >2QOLQH@ $YDLODEOH KWWSRHHQUFDQJFFDSXEOLFDWLRQV VWDWLVWLFVWUHQGVFKDSWHUFIP"DWWU 

>@ 7 1JKLHP 0 %HKO 5 0DQJKDUDP DQG * 3DSSDV ³*UHHQ VFKHGXOLQJ RI FRQWURO V\VWHPV IRU SHDN GHPDQG UHGXFWLRQ´ LQ 3URF WK ,((( &RQI &RQWURO 'HFLV 2UODQGR )/ 86$  SS ±

>@ $ $JQHWLV * GH 3DVFDOH 3 'HWWL DQG $ 9LFLQR ³/RDG VFKHGXOLQJ IRU KRXVHKROG HQHUJ\ FRQVXPSWLRQ RSWLPL]DWLRQ´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 'HF 

>@ 3 &KDYDOL 3 <DQJ DQG $ 1HKRUDL ³$ GLVWULEXWHG DOJRULWKP RI DSSOL DQFH VFKHGXOLQJ IRU KRPH HQHUJ\ PDQDJHPHQW V\VWHP´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± -DQ 

>@ * 2¶%ULHQ DQG 5 5DMDJRSDO ³6FKHGXOLQJ QRQSUHHPSWLYH GHIHUUDEOH ORDGV´ ,((( 7UDQV 3RZHU 6\VW YRO  QR  SS ± 0DU  >@ ' 6HWOKDRORD ; ;LD DQG - =KDQJ ³2SWLPDO VFKHGXOLQJ RI KRXVH KROG DSSOLDQFHV IRU GHPDQG UHVSRQVH´ (OHFW 3RZHU 6\VW 5HV YRO  SS ± 1RY 

>@ $ 6XEUDPDQLDQ HW DO ³5HDOWLPH VFKHGXOLQJ RI GHIHUUDEOH HOHFWULF ORDGV´ LQ 3URF $PHU &RQWURO &RQI 0RQWUHDO 4& &DQDGD  SS ±

>@ 1 <DDJRXEL DQG + 7 0RXIWDK ³8VHUDZDUH JDPH WKHRUHWLF DSSURDFK IRU GHPDQG PDQDJHPHQW´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 0DU 

>@ 6 &DURQ DQG * .HVLGLV ³,QFHQWLYHEDVHG HQHUJ\ FRQVXPSWLRQ VFKHGXO LQJ DOJRULWKPV IRU WKH VPDUW JULG´ LQ 3URF ,((( 6PDUW *ULGV &RPPXQ *DLWKHUVEXUJ 0' 86$ 2FW  SS ±

>@ 3' 0RURÜVDQ 5 %RXUGDLV ' 'XPXU DQG - %XLVVRQ ³%XLOGLQJ WHP SHUDWXUH UHJXODWLRQ XVLQJ D GLVWULEXWHG PRGHO SUHGLFWLYH FRQWURO´ (QHUJ\ %XLOG YRO  QR  SS ± 

>@ & &KHQ - :DQJ < +HR DQG 6 .LVKRUH ³03&EDVHG DSSOLDQFH VFKHGXOLQJ IRU UHVLGHQWLDO EXLOGLQJ HQHUJ\ PDQDJHPHQW FRQWUROOHU´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± 6HS 

>@ 5 'HQJ = <DQJ 0< &KRZ DQG - &KHQ ³$ VXUYH\ RQ GHPDQG UHVSRQVH LQ VPDUW JULGV 0DWKHPDWLFDO PRGHOV DQG DSSURDFKHV´ ,((( 7UDQV ,QG ,QIRUPDW YRO  QR  SS ± -XQ  >@ 3 - 5DPDGJH DQG : 0 :RQKDP ³6XSHUYLVRU\ FRQWURO RI D FODVV

RI GLVFUHWH HYHQW SURFHVVHV´ 6,$0 - &RQWURO 2SWLP YRO  QR  SS ± 

>@ ) 5DKLPL DQG $ ,SDNFKL ³'HPDQG UHVSRQVH DV D PDUNHW UHVRXUFH XQGHU WKH VPDUW JULG SDUDGLJP´ ,((( 7UDQV 6PDUW *ULG YRO  QR  SS ± -XQ 

>@ . 5XGLH DQG : 0 :RQKDP ³7KLQN JOREDOO\ DFW ORFDOO\ 'HFHQWUDOL]HG VXSHUYLVRU\ FRQWURO´ ,((( 7UDQV $XWRP &RQWURO YRO  QR  SS ± 1RY 

>@ 5 6HQJXSWD DQG 6 /DIRUWXQH ³$Q RSWLPDO FRQWURO WKHRU\ IRU GLVFUHWH HYHQW V\VWHPV´ 6,$0 - &RQWURO 2SWLP YRO  QR  SS ± 

>@ : 0 :RQKDP ³1RWHV RQ FRQWURO RI GLVFUHWHHYHQW V\VWHPV´ 6\VWHPV &RQWURO *URXS 'HSW (OHFW &RPSXW (QJ 8QLY 7RURQWR 7HFK 5HS (&( ) -XO 

>@ ) /LQ DQG : 0 :RQKDP ³2Q REVHUYDELOLW\ RI GLVFUHWHHYHQW V\VWHPV´ ,QI 6FL YRO  QR  SS ± 

>@ * 7 &RVWDQ]R ³'HPDQG VLGH PDQDJHPHQW LQ WKH VPDUW JULG´ 06F WKHVLV 'HSW (OHFW (QJ eFROH 3RO\WHFKQLTXH GH 0RQWUpDO 0RQWUHDO 4& &DQDGD 

>@ % 5DGXQRYLF DQG -< /H %RXGHF ³$ XQLILH IUDPHZRUN IRU PD[PLQ DQG PLQPD[ IDLUQHVV ZLWK DSSOLFDWLRQV´ ,((($&0 7UDQV 1HWZRUN YRO  QR  SS ± 2FW 

>@ ' 3 %HUWVHNDV 5 * *DOODJHU DQG 3 +XPEOHW 'DWD 1HWZRUNV YRO  (QJOHZRRG &OLIIV 1- 86$ 3UHQWLFH+DOO 

>@ 0 3LyUR DQG ' 0HGKL 5RXWLQJ )ORZ DQG &DSDFLW\ 'HVLJQ LQ &RPPXQLFDWLRQ DQG &RPSXWHU 1HWZRUNV $PVWHUGDP 7KH 1HWKHUODQGV (OVHYLHU 

>@ * 7 &RVWDQ]R ) 6RVVDQ 0 0DULQHOOL 3 %DFKHU DQG + 0DGVHQ ³*UH\ER[ PRGHOLQJ IRU V\VWHP LGHQWLILFDWLR RI KRXVHKROG UHIULJHUD WRUV $ VWHS WRZDUG VPDUW DSSOLDQFHV´ LQ 3URF ,QW <RXWK &RQI (QHUJ\ 6LyIRN +XQJDU\  SS ±

>@ 6 + =DG 'LVFUHWH (YHQW &RQWURO .LW &RQFRUGLD 8QLY 0RQWUHDO 4& &DQDGD 

:DVHOXO + 6DGLG UHFHLYHG WKH %6F GHJUHH LQ HOHF WULFDO DQG HOHFWURQLF HQJLQHHULQJ IURP WKH 5DMVKDKL 8QLYHUVLW\ RI (QJLQHHULQJ DQG 7HFKQRORJ\ 5DMVKDKL %DQJODGHVK LQ  WKH 06F GHJUHH LQ FRP SXWHU VFLHQFH DQG HQJLQHHULQJ IURP WKH %DQJODGHVK 8QLYHUVLW\ RI (QJLQHHULQJ DQG 7HFKQRORJ\ 'KDND %DQJODGHVK LQ  DQG WKH 3K' GHJUHH LQ HOHF WULFDO DQG FRPSXWHU HQJLQHHULQJ IURP &RQFRUGLD 8QLYHUVLW\ 0RQWUHDO 4& &DQDGD LQ 

+H LV FXUUHQWO\ DQ ,QGXVWULDO 3RVWGRFWRUDO ,QWHUQ DZDUGHG E\ WKH 0LWDFV$FFHOHUDWH *UDGXDWH 5HVHDUFK ,QWHUQVKLS 3URJUDP DW )XVLRQ (QHUJ\ ,QF /DYDO 4& &DQDGD DQG eFROH 3RO\WHFKQLTXH GH 0RQWUpDO 0RQWUHDO +LV UHVHDUFK LQWHUHVWV LQFOXGH GHFHQWUDOL]HG FRQWURO RI GLVFUHWHHYHQW V\VWHPV DSSOLFDWLRQV RI JDPH WKHRU\ UREXVW FRQWURO DQG GHPDQG VLGH HQHUJ\ PDQDJHPHQW LQ VPDUW EXLOGLQJV

 ,((( 75$16$&7,216 21 60$57 *5,'

6DDG $ $EREDNU ZDV ERUQ LQ %DQLZDOHHG /LE\D LQ  +H UHFHLYHG WKH %6F GHJUHH LQ FRQ WURO HQJLQHHULQJ IURP WKH &ROOHJH RI (OHFWURQLF 7HFKQRORJ\ %DQLZDOHHG /LE\D LQ  DQG WKH 06F GHJUHH LQ LQVWUXPHQWDWLRQ DQG FRQWURO HQJL QHHULQJ IURP WKH $FDGHP\ RI *UDGXDWH 6WXGLHV 7ULSROL /LE\D LQ  +H LV FXUUHQWO\ SXUVXLQJ WKH 3K' GHJUHH DW eFROH 3RO\WHFKQLTXH GH 0RQWUpDO 0RQWUHDO 4& &DQDGD +LV UHVHDUFK LV RULHQWHG WRZDUG WKH DSSOLFDWLRQ RI PRGHO SUHGLFWLYH FRQWURO WR GHPDQG UHVSRQVH PDQDJHPHQW LQ VPDUW EXLOG LQJV GHPDQG VLGH HQHUJ\ PDQDJHPHQW EXLOGLQJ HQHUJ\ V\VWHPV PRGHOLQJ DQG VLPXODWLRQ V\VWHP LGHQWLILFDWLRQ DQG DGDSWLYH FRQWURO

*XFKXDQ =KX 0¶±60¶ UHFHLYHG WKH 06 GHJUHH LQ HOHFWULFDO HQJLQHHULQJ IURP WKH %HLMLQJ ,QVWLWXWH RI $HURQDXWLFV DQG $VWURQDXWLFV %HLMLQJ &KLQD LQ  WKH 3K' GHJUHH LQ PDWKHPDWLFV DQG FRQWURO IURP eFROH GHV 0LQHV GH 3DULV 3DULV )UDQFH LQ  DQG WKH JUDGXDWH 'LSORPD GHJUHH LQ FRP SXWHU VFLHQFH IURP &RQFRUGLD 8QLYHUVLW\ 0RQWUHDO 4& &DQDGD LQ 

+H LV FXUUHQWO\ DQ $VVRFLDWH 3URIHVVRU ZLWK eFROH 3RO\WHFKQLTXH GH 0RQWUpDO +LV UHVHDUFK LQWHUHVWV LQFOXGH FRQWURO RI GLVWULEXWHG SDUDPHWHU V\VWHPV QRQOLQHDU DQG UREXVW FRQWURO DQG RSWLPL]DWLRQ ZLWK WKHLU DSSOLFDWLRQV WR PLFURV\VWHPV DHURVSDFH V\VWHPV FRPPXQLFDWLRQ QHWZRUNV DQG VPDUW JULG