ABSTRACT

DQRSWLPDOFRQWUROSUREOHP

7. GENERAL STATEMENT OF TRAFFIC CONTROL PROBLEM

(SIGNAL PLAN CHOICE)

7KH RSWLPDO FRQWURO SUREOHP LV WKH SUREOHP RI FKRRVLQJ FRQWURO )(˜u IURPWKHVHWRIIHDVLEOHFRQWUROV UU f ZKLFKJLYHVWKHRSWLPDOYDOXHRI WKHFKRVHQRSWLPL]DWLRQFULWHULRQ cJ 7KHUHIRUHLWLVQHFHVVDU\WR ɚ 'H¿QHWKHVHWZKRVHHOHPHQWVDUHWKHFRQWUROVWKDWFDQEHFKRVHQLH GH¿QHWKHVHWRIIHDVLEOHFRQWUROV UU f

E 'H¿QH WKHPHDVXUH WKDWFDQEHXVHGIRUFRPSDULQJHIIHFWVRIDQ\ WZR FRQWUROV DQG IRU WKH FKRLFH RI WKH EHVW FRQWURO EHFDXVH VHW fU is XQRUGHUHG,QWKHRSWLPDOFRQWUROSUREOHPVWKLVPHDVXUHLVWHUPHGthe optimality criterion, the goal function, the performance index, or the

objective function

7KHSHUIRUPDQFHLQGH[LVGH¿QHGE\WKHIROORZLQJPDSSLQJ

R @>@> 00 coucc ttttcJ WX

LH WKH SHUIRUPDQFH LQGH[ LV WKH IXQFWLRQ RI PDSSLQJ DQ RUGHUHG SDLU )( @>@> 00 tttt wx WRDQHOHPHQWRIWKHOLQHDUO\RUGHUHGVHW Rc 0RVWIUHTXHQWO\

Rc LV WKH VHW RI UHDO QXPEHUV LH RR c 7KH RSWLPDO YDOXH RI WKH SHUIRUPDQFHLQGH[LVGHWHUPLQHGXVLQJYDOXHVRILQSXWDQGVWDWHLQLQWHUYDO @> 0 tt 7KHUHIRUH WKLVYDOXHUHSUHVHQWVVRPH³LQWHJUDO´PHDVXUHRIFRQWURO

TXDOLW\RQWKHLQWHUVHFWLRQLQ @> 0 tt LQWHUYDOUDWKHUWKDQDPHDVXUHUHODWHGWR DVSHFL¿FWLPH

)RULVRODWHGVLJQDOL]HGLQWHUVHFWLRQV @>@>@> 000 tttttt UQX u VRWKDWWKH SHUIRUPDQFHLQGH[ cJ cc FDQEHSUHVHQWHGE\WKHH[SUHVVLRQ

R @>@>@> 000 ouucc ttttttcJ WUQ

%HDULQJLQPLQGWKDW @> 0 ttW LVGH¿QHGE\

DQGWKDWWKHLQLWLDOVWDWH )( 0tw LVNQRZQDVZHOODVHOHPHQWVRI @> 0 ttQ ZKRVH FRPSRQHQWVDUHWUDI¿FVWUHDPVYROXPHVLQLQWHUYDO @> 0 tt WKHSHUIRUPDQFH LQGH[FDQEHSUHVHQWHGE\WKHIROORZLQJPDSSLQJ

R @> 0 oc ttcJ U

7KHDVVXPSWLRQLVWKDWWUDI¿FVWUHDPV¶YROXPHVDUHHLWKHUFRQVWDQWVRUFDQEH GHVFULEHGDVVWDWLRQDU\VWRFKDVWLFSURFHVVHVLQ @> 0 tt LQWHUYDO (OHPHQWVRI @> 0 ttU DUHSHULRGLFDOYHFWRUWLPHIXQFWLRQVDQGEHFDXVHRI

WKDWLWLVVXI¿FLHQWWRGHWHUPLQHWKHLUYDOXHV )(˜u DWHDFKLQVWDQWRIWKHEDVLF SHULRG @0> c 8VLQJWKHVHYDOXHVLWLVSRVVLEOHWRGHWHUPLQHYDOXHVRIHDFK FRPSRQHQWRIYHFWRU @> 0 ttu DWDQ\LQVWDQW @> 0 ttt c )XQFWLRQ )(˜u is a UHVWULFWLRQRI @> 0 ttu to @>@0> 0 ttc

,IWKHVHWRIIHDVLEOHFRQWUROVLV fU DQG

fu U˜)(

WKHQWKHFRQWUROTXDOLW\FDQEHGHWHUPLQHGXVLQJWKHUHVWULFWLRQ )(˜u RIFRQWURO @> 0 ttu WRLQWHUYDO @>@0> 0 ttc 7KXVWKHSHUIRUPDQFHLQGH[FDQEHGHVFULEHG

DVWKHPDSSLQJ

R ofcJ U

6LQFH WKH VHW RI UHDO QXPEHUV 5 LV OLQHDUO\ RUGHUHG E\ d UHODWLRQ LQWURGXFWLRQ RI WKH cJ IXQFWLRQPDNHV LW SRVVLEOH WR LQWURGXFH WKH OLQHDU RUGHUUHODWLRQLQWKHVHW fU DVZHOO7KHRUGHUUHODWLRQ SR LVLQWURGXFHGLQ

fU E\WKHFRQYHQWLRQWKDW )( ˜u LVEHWWHURUDWOHDVWDVJRRGDV )( ˜u LH

)()( ˜˜ SuRu LIDQGRQO\LI ))(())(( ˜d˜ uJuJ cc LH

)()())(())(( ˜˜Ÿ˜d˜ SuRuuJuJ cc

7KHSUREOHPRIWKHFKRLFHRIRSWLPDOFRQWUROFDQQRZEHVWDWHGDVIROORZV 7KHVHWRIIHDVLEOHFRQWUROV fU LVJLYHQDQGWKHSHUIRUPDQFHLQGH[LV

R ofcJ U

/HW *

u JuJ

'HWHUPLQHWKHVHWRIRSWLPDOFRQWUROV

}))(*()(*|)(*{* *ccf JuJuu ˜˜˜ UU

+HUHLWLVFRQVLGHUHGWKDWWKHEHVWFRQWUROLVWKHFRQWUROPDSSHGWRWKHPLQLPDO SHUIRUPDQFHLQGH[YDOXH 7KHUHPD\ EH VRPH FDVHV RI FRXUVH ZLWK ‡ *U LH QR IHDVLEOH

VROXWLRQFDQEHIRXQG ‡ Ÿ‡ fUU*

6ROYLQJ RSWLPDO FRQWURO SUREOHP DOZD\V LPSOLHV VROYLQJ VRPH PLQLPL]DWLRQRUPD[LPL]DWLRQSUREOHP$PD[LPL]DWLRQSUREOHPFDQDOZD\V EHWUDQVIRUPHGLQWRDPLQLPL]DWLRQSUREOHPDQGYLFHYHUVD7KLVLVSRVVLEOH EHFDXVH

7KHIDFWVWDWHGE\FDQDOVREHH[SUHVVHGDVIROORZV

))((inf}))((|))((inf{))(*( )(

˜ ˜˜ ˜ ˜

U

2EYLRXVO\WKHSUREOHPRIWKHFKRLFHRIWKHRSWLPDOFRQWUROFDQEHGH¿QHG E\WKHSDLU )( cf JU DQGWKHVWDWHPHQWZKHWKHUWKHSHUIRUPDQFHLQGH[VKDOO EHPLQLPL]HGRUPD[LPL]HG

8. THE SET OF FEASIBLE CONTROLS (SIGNAL PLANS)

The formulation of the optimal control problem ),( cf JU implies GH¿QLQJWKHIHDVLEOHFRQWUROVHW fU , whose element fu U˜)( LVGH¿QHGE\ an ordered pair as follows:

Tu ),()( W ¸¸¹

· ¨¨©

§ W

˜ u u

,

where

],,,,,[ K21 uuuuu !! k

LV WKH FRQWURO VWUXFWXUH VLJQDO SODQ VWUXFWXUH $ FRQWURO VWUXFWXUH component

)(],,,,,[ P21 K kuuuu Tkk

LVDYHFWRUZKRVHFRPSRQHQWVDVVXPHYDOXHVIURPVHW }1,0{ LH

),(}1,0{ PK  pkukp ,

where P LV WKH VHW RI VLJQDO JURXS LQGLFHV LQ WKH FRPSOHWH VHW RI VLJQDO JURXSV7KHFRPSOHWHVHWRIVLJQDOJURXSVKDVWREHFKRVHQEHIRUHVWDUWRIWKH SUREOHPVROYLQJ 7KHVHFRQGHOHPHQWRIWKHSDLUWUHSUHVHQWVWKHF\FOHWLPHVSOLW

LH ],,,,,[ K21 WWWW W !! k

The terms control and signal planDUHXVHGDVV\QRQ\PV&RPSRQHQW ku is termed the control vector or phase

&RQWUROLVDOVRGHVFULEHGDVWKHYHFWRUWLPHIXQFWLRQ T

p uuuuu ])()()(,)([)( P21 ˜˜˜˜ ˜ , where one vector component, )(˜pu UHSUHVHQWVWKHFRQWUROYDULDEOHDVVLJQHG WRVLJQDOJURXS pDc 9DOXHVRIWKLVYDULDEOHGXULQJDF\FOHWLPHDUHGH¿QHG E\WKHVHTXHQFH

LHE\ WKHYDOXHVRIYDULDEOHV kpu for K,,2,1 ! k 7KHGXUDWLRQRI HDFK component kpu RIWKDWVHTXHQFHLVGHWHUPLQHGE\WKHYDOXHRIFRPSRQHQW

kW of vector W with the same index, k+HQFHWKHFRQWUROYDULDEOH )(˜pu can be GH¿QHGE\WKHSDLU

)(,),()( PW ˜ pu Tpp u

7KHSUREOHPVRIRSWLPDOVLJQDOSODQFKRLFH ),( cf JU , can be formulated DVPDWKHPDWLFDORSWLPL]DWLRQSUREOHPV7KHVHWRIIHDVLEOHFRQWUROV fU , is GHWHUPLQHGE\ WKHFRQVWUDLQWV WKDWKDYH WREHVDWLV¿HGE\FKRVHQFRQWUROV In some problems, constraints on state variables of the process are also

SUHVHQW The set of feasible controls, fU GHSHQGV DOVR RQ WKH SUREOHPEHLQJ

VROYHGDQGLWLVQRWFRPSOHWHO\WKHVDPHLQDOOSUREOHPVRIWKHFKRLFHRIWKH RSWLPDOFRQWURO1DPHO\ WKHUHH[LVWFRQVWUDLQWVRQFRQWURO WKDWKDYH WREH VDWLV¿HGUHJDUGOHVVRIWKHSUREOHPFRQVLGHUHGDQGWKHUHH[LVWFRQVWUDLQWVWKDW DUHSUHVHQWLQVRPHSUREOHPVDQGQRWLQRWKHUV)RULQVWDQFHLQWKHSUREOHP RIFKRRVLQJ WKH VLJQDOSODQ WKDWPLQLPL]HV WKHFDSDFLW\ WKH VXPRISKDVH GXUDWLRQVKDVWREHHTXDOWRDJLYHQF\FOHWLPHZKHUHDVLQWKHSUREOHPRI F\FOHWLPHPD[LPL]DWLRQWKLVFRQVWUDLQWGRHVQ¶WH[LVW

7KHFRQVWUDLQWVWKDWGH¿QHWKHVHWRIIHDVLEOHFRQWUROV

%HDULQJ LQPLQG WKH HOHPHQWV RI WKH FRQWURO VLJQDO SODQ LQFOXGHG LQ WKHFRQVWUDLQWVRQHFDQQRWHWKDW WKHUHDUHJURXSVRIFRQVWUDLQWVUHODWHGWR SDUWLFXODU FRPSRQHQWV RI FRQWURO YDULDEOHV LH WKH FRQVWUDLQWV UHODWHG WR FRQWUROFRPSRQHQWVDVVLJQHGWRVLJQDOJURXSVFRQVWUDLQWVUHODWHGWRSKDVHV WKHLU VHTXHQFH DQG VWUXFWXUH DQG FRQVWUDLQWV UHODWHG WR SKDVH GXUDWLRQV F\FOHWLPHDOORFDWLRQWRSKDVHV ,QRUGHU WR IRUPXODWH WKHFRQVWUDLQWV UHODWHG WRSKDVHV WKHLU VHTXHQFH

DQGVWUXFWXUHLWLVQHFHVVDU\WRGHWHUPLQHWKHUHODWLRQVWKDWH[LVWLQWKHVHWRI FRQWUROYDULDEOHV2QWKHEDVLVRIWKHVHUHODWLRQVLWLVSRVVLEOHWRGHWHUPLQH WKH FRQWURO YDULDEOHV WKDW FDQ VLPXOWDQHRXVO\ DVVXPH YDOXH ZKLFK LV QHFHVVDU\IRUGHWHUPLQDWLRQRIWKHVHWRIIHDVLEOHSKDVHV)RU¿QGLQJIHDVLEOH SKDVHVHTXHQFHVLWLVQHFHVVDU\WRNQRZZKHWKHUDVLJQDOJURXSFDQJDLQWKH ULJKWRIZD\DVVRRQDVDQRWKHUJURXSKDVORVWLWRUDWLPHGHOD\LVQHHGHGIRU LQWHUVHFWLRQFOHDUDQFHLHWKHLQWHUJUHHQWLPHKDVWREHJUHDWHUWKDQ]HUR

7KHFRQWUROYDULDEOHVKDYHWRVDWLVI\WKHIROORZLQJFRQGLWLRQV

ƒ (DFKFRQWUROYDULDEOHWKHFRPSRQHQWDVVLJQHGWRRQHVLJQDOJURXS KDVWRVDWLVI\WKHFRQGLWLRQWKDWWKHVLJQDOJURXSFDQJDLQWKHULJKW RIZD\RQO\RQFHLQWKHF\FOH

ƒ 7KHGXUDWLRQRIJUHHQLQGLFDWLRQJUHHQWLPHIRUHDFKVLJQDOJURXS KDVWREHORQJHUWKDQWKHSUHGH¿QHGPLQLPXPJUHHQWLPH

ƒ 7KH GXUDWLRQ RI JUHHQ WLPH IRU HDFK YHKLFOH VLJQDO JURXS KDV WR VDWLVI\WKHFDSDFLW\FRQVWUDLQWLHLWVYDOXHKDVWREHODUJHHQRXJK WRDFFRPPRGDWHDOOYHKLFOHVWKDWDUULYHGXULQJDF\FOHWROHDYHWKH LQWHUVHFWLRQGXULQJWKHVDPHF\FOH7KLVFRQVWUDLQWRIFRXUVHPDNHV VHQVHRQO\LQWKHFDVHZKHQQRDSSURDFKLVRYHUVDWXUDWHG

7KH GH¿QLWLRQ RI WKH VHW RI IHDVLEOH SKDVHV LH WKH VHW RI FRQWURO YHFWRUVJLYLQJWKHULJKWRIZD\WRPRUHWKDQRQHVLJQDOJURXSLVEDVHGRQ WKH LQIRUPDWLRQRQ WKHSDLUVRIVLJQDOJURXSV WKDWFDQVLPXOWDQHRXVO\JDLQ WKH ULJKWRIZD\7KLV LQIRUPDWLRQ FDQ EH REWDLQHG IURP WKH VLJQDO JURXS FRPSDWLELOLW\UHODWLRQRUFRPSDWLELOLW\JUDSK6XEVHFWLRQ$OOIHDVLEOH SKDVHVFDQEHGHWHUPLQHGXVLQJWKLVUHODWLRQ 7KHVLJQDOSODQVWUXFWXUHLHWKHSKDVHVHTXHQFHKDVWREHGHWHUPLQHG

EHDULQJLQPLQGWKDWZKHQDVLJQDOJURXSORVHVLWVULJKWRIZD\DQLQFRPSDWLEOH VLJQDOJURXSXVXDOO\FDQQRWLPPHGLDWHO\JDLQWKHULJKWRIZD\6RPHWLPH KDVWRSDVVLQWHUJUHHQWLPHEHIRUHWKHLQFRPSDWLEOHVLJQDOJURXSJDLQVWKH ULJKWRIZD\7KXVLQWKHVLJQDOSODQVWUXFWXUHDSKDVHFDQEHIROORZHGRQO\ E\SDUWLFXODUIHDVLEOHSKDVHV 7LPHFRQVWUDLQWVUHIHUWRSKDVHGXUDWLRQVDQGWKHF\FOHGXUDWLRQ7KHVXP

RISKDVHGXUDWLRQVKDVWREHOHVVWKDQRUHTXDOWRWKHGHWHUPLQHGF\FOHWLPH 7KHF\FOHWLPHKDVWREHOHVVWKDQRUHTXDOWRDSUHGH¿QHGPD[LPDOYDOXH XVXDOO\VHWWRVDQGRQO\H[FHSWLRQDOO\ORQJHU &RQVWUDLQWV UHODWHG WR WUDI¿FSURFHVV VWDWHV LH YHKLFOHTXHXH OHQJWKV

RQVRPHDSSURDFKHVDSSHDULQVRPHFRQWUROSUREOHPV6XFKFRQVWUDLQWVDUH XVXDOO\WUDQVIRUPHGWRFRQVWUDLQWVRQGXUDWLRQRIWKHUHGVLJQDOLQGLFDWLRQ± UHGWLPHFRQVWUDLQWV1DPHO\LWLVSRVVLEOHIRUDJLYHQDYHUDJHÀRZYROXPH WRGHWHUPLQHWKHPD[LPDOUHGWLPHVRWKDWWKHTXHXHOHQJWKGRHVQ¶WH[FHHG VRPHSUHVFULEHGYDOXH

7KH IHDVLEOHVHWRIVLJQDOSODQVFDQEH WKXVGH¿QHGE\ WKH IROORZLQJ constraints:

ɚ &RQWUROYDULDEOHFRQVWUDLQWV

7KHFRQVWUDLQWVRIRQHJUHHQLQWHUYDOLQWKHF\FOHIRUHDFKVLJQDO JURXS±(DFKVLJQDOJURXSPXVWJHWWKHULJKWRIZD\RQFHDQGRQO\ RQFHGXULQJWKHF\FOH

0LQLPDOJUHHQWLPHVFRQVWUDLQWV±7KHGXUDWLRQRIJUHHQLQGLFDWLRQ RIWUDI¿FOLJKWV²JUHHQWLPHDOORFDWHGWRDVLJQDOJURXSKDVWR EHORQJHURUDWOHDVWHTXDOWRDJLYHQPLQLPXPJUHHQWLPHYDOXH GH¿QHGIRUHDFKVLJQDOJURXS

0D[LPDOUHGWLPHFRQVWUDLQWV±7KHGXUDWLRQRIUHGLQGLFDWLRQRI WUDI¿FOLJKWV²UHGWLPHDOORFDWHGWRDVLJQDOJURXSKDVWREHVKRUWHU WKDQDJLYHQPD[LPDOUHGWLPHYDOXHGH¿QHGIRUVRPHRUHDFK VLJQDOJURXS

&DSDFLW\FRQVWUDLQWVÀRZEDODQFHFRQVWUDLQWV±7KHJUHHQWLPH DOORFDWHGWRDYHKLFOHVLJQDOJURXSKDVWREHORQJHQRXJKWRHQDEOH DOOYHKLFOHVDUULYLQJGXULQJDF\FOHWRLQWHUVHFWLRQDSSURDFKHV EHORQJLQJWRWKDWVLJQDOJURXSWROHDYHWKHLQWHUVHFWLRQGXULQJWKH JUHHQWLPH

E &RQVWUDLQWVRQWKHFRPSRVLWLRQRIFRQWUROYHFWRUV²SKDVHV

,Q VRPH LQWHUYDOV GXULQJ WKH F\FOH WKH ULJKWRIZD\ FDQ EH VLPXOWDQHRXVO\ JLYHQ RQO\ WR FRPSDWLEOH VLJQDO JURXSV 6XEVHFWLRQ

F &RQVWUDLQWVRQFRQWUROYHFWRUVHTXHQFHDQGRQVLJQDOSODQVWUXFWXUH

0LQLPDOLQWHUJUHHQFRQVWUDLQWV±7KHGXUDWLRQRISKDVHVSRVLWLRQHG EHWZHHQWKHSKDVHWKDWWDNHVRIIWKHULJKWRIZD\WRVRPH VLJQDOJURXSVDQGWKHSKDVHWKDWJLYHVWKHULJKWRIZD\WRVRPH LQFRPSDWLEOHVLJQDOJURXSVKDVWREHORQJHUWKDQWKHVSHFL¿HG PLQLPDOLQWHUJUHHQWLPHV

3KDVHVHTXHQFHFRQVWUDLQWV±)RUHDFKIHDVLEOHSKDVHDVXEVHWRI WKHVHWRIIHDVLEOHSKDVHVLVGH¿QHGFRQWDLQLQJWKHSKDVHVWKDWFDQ EHFKRVHQDVQH[WLQWKHVLJQDOSODQVWUXFWXUH7KLVPHDQVWKDWHDFK SKDVHLQWKHVLJQDOSODQVWUXFWXUHKDVWREHORQJWRWKHVXEVHWRI SRVVLEOHIROORZHUVGH¿QHGIRUWKHSUHFHGLQJSKDVHLQWKHVWUXFWXUH

G 7LPHFRQVWUDLQWV

7KHVXPRISKDVHGXUDWLRQVKDVWREHHTXDOWRWKHF\FOHWLPH 7KHVXPRISKDVHGXUDWLRQVKDVWREHHTXDORUOHVVWKDQDJLYHQ PD[LPDOF\FOHWLPHYDOXH

7KHVHFRQVWUDLQWV DUHSUHVHQW LQPRVWSUREOHPVRIRSWLPDO VLJQDOSODQ FKRLFH6RPHRIWKHFRQVWUDLQWVH[LVWLQDOPRVWDOOSUREOHPVZKHUHDVVRPH FRQVWUDLQWVDSSHDULQVRPHSUREOHPVDQGQRWLQRWKHUV&RQVWUDLQWVɚɚE DQGFKDYHWREHVDWLV¿HGE\DQ\VLJQDOSODQ

&RQVWUDLQWVRQFRQWUROYDULDEOHV

$VPHQWLRQHGLQWKHSUHYLRXVVHFWLRQWKHUHH[LVWVDVHWRIFRQVWUDLQWVWKDW KDYHWREHVDWLV¿HGE\FRQWUROYDULDEOHVLHWKHYDULDEOHVWKDWFRQWUROVLJQDO JURXSV7KH DVVLJQPHQWRI FRQWURO YDULDEOHV WR VLJQDO JURXSV FDQEHGRQH RQO\DIWHUWKHFKRLFHRIWKHFRPSOHWHVHWRIVLJQDOJURXSV%HFDXVHRIWKDWDOO constraints presented in this section are related to one, chosen, complete set

RIVLJQDOJURXSV This section presents mathematical expressions for control variable

FRQVWUDLQWV&RQWUROYDULDEOHLVGH¿QHGE\H[SUHVVLRQ

)(, ),( ),(

),()( K21

P» ¼

º « ¬

ª WWWW

» ¼

º « ¬

ª W

W ˜ p uuuu

u k

u u

Thus, control variable constraints are functions of vectors pu and W

8.2.1. The constraint of one interval of green indication

during the cycle

7KLV FRQVWUDLQWPHQWLRQHG DV ɚ KDV WR EH VDWLV¿HG E\ HDFK FRQWURO YDULDEOH,IWKLVFRQGLWLRQLVVDWLV¿HGWKHWLPHLQWHUYDOEHWZHHQWZRVXEVHTXHQW VWDUWVRIJUHHQLQWHUYDOIRUDVLJQDOJURXSLVHTXDOWRWKHF\FOHWLPH7KXVWKH SKDVHVJLYLQJWKHULJKWRIZD\WRRQHVLJQDOJURXSKDYHWREHFRQVHFXWLYH 7KLVFRQVWUDLQW LVFRPPRQ LQH[LVWLQJ W\SHVRI WUDI¿FFRQWUROE\¿[HG

VLJQDOSODQVDQGGULYHUVDQGSHGHVWULDQVKDYHJRWWHQDFFXVWRPHGWRLW$OVR WLPHORVVHVJHQHUDOO\LQFUHDVHLIWKHQXPEHURILQWHUYDOVRIJUHHQLQGLFDWLRQ IRUDVLJQDOJURXS LVJUHDWHU WKDQRQH2PLWWLQJ WKLVFRQVWUDLQW OHDGV WRDQ H[WHQVLRQRIWKHVHWRIIHDVLEOHVLJQDOSODQVDQGEHFDXVHRIWKDWLQVRPHFDVHV WKHRSWLPDOVLJQDOSODQFDQKDYHPRUHWKDQRQHLQWHUYDORIJUHHQLQGLFDWLRQ IRUDVLJQDOJURXS 7KHDQDO\WLFDOH[SUHVVLRQRIWKLVFRQVWUDLQWKDVWREHYDOLGIRUDQ\SRVLWLRQ

RIJUHHQLQWHUYDOLQWKHF\FOHUHODWLYHWRWKHEHJLQQLQJRIWKHF\FOH)LJXUH SUHVHQWVDOOSRVVLEOHSRVLWLRQVRIJUHHQLQWHUYDOPRUHSUHFLVHO\HIIHFWLYH JUHHQLQWHUYDO,QIRUPXODWLQJWKHDQDO\WLFDOH[SUHVVLRQWKHIDFWLVXVHGWKDW LQWKLVFDVHWKHQXPEHURIFKDQJHVRIFRQWUROYDULDEOHYDOXHVIURPWR DQGIURPWRIRUHDFKVLJQDOJURXSGXULQJRQHF\FOHKDVWREHHTXDOWR VHH)LJ 7KH DQDO\WLFDO H[SUHVVLRQ RI WKLV FRQVWUDLQW IRU FRQWURO YDULDEOH

T ppu ),()( W ˜ u , where ],,,,,[

k pppp uuuu !! u , }1,0{

k pu , ( Pp )

can be formulated as follows:

)(,2)2(mod)( K

puu k

where }P,,2,1{ ! P LVWKHVHWRIVLJQDOJURXSLQGLFHV

0 c t

0 c t

0 c t

u t1( )

u t2( )

u t3( )

W1 W W W W

» » »

¼

º

« « «

¬

ª

],,,,[ 21 uuuuuu

2)2(mod)10()2(mod)00()2(mod)00(

)2(mod)00()2(mod)01()2(mod)(

kk uu

2)2(mod)01()2(mod)11()2mod()10(

)2(mod)00()2(mod)00()2(mod)(

kk uu

)2(mod)10()2(mod)00()2(mod)(

kk uu

8.2.2. Constraints of minimal duration of green indication intervals

6RPHWLPHVLWKDSSHQVWKDWWKHFDOFXODWHGGXUDWLRQVRIJUHHQLQGLFDWLRQV GLVSOD\HGJUHHQWLPHDUHYHU\VKRUWMXVWDFRXSOHRIVHFRQGV8VXDOO\VXFK VKRUW JUHHQ WLPHV DUH QRW SHUPLWWHG DQG EHFDXVH RI WKDW IRU HDFK FRQWURO variable, the PLQLPDOGLVSOD\HGJUHHQWLPHLVGH¿QHG 7KHUHDUHPDQ\UHDVRQVIRULQWURGXFLQJPLQLPDOGLVSOD\HGJUHHQWLPHV

6RPHRIWKHUHDVRQVDUHSV\FKRORJLFDO²GULYHUVQRWDFFXVWRPHGWRYHU\VKRUW GLVSOD\HGJUHHQWLPHFRXOGDVVXPHDWUDI¿FOLJKWPLVWDNHDQGVWRSUHVSHFWLQJ LWDOVRQRWLQJWKDWWKHJUHHQWLPHLVVKRUWGULYHUVFRXOGDFFHOHUDWHLQRUGHU WR SDVV WKURXJK WKH LQWHUVHFWLRQ VR WKDW WKH VDIHW\ ZRXOG EH VLJQL¿FDQWO\ UHGXFHG HWF7HFKQLFDO UHDVRQVDUHDOVRSUHVHQWSDUWLFXODUO\ZLWKYHKLFOH DFWXDWHGVLJQDOVZKHUHWKHGDWDREWDLQHGIURPYHKLFOHGHWHFWRUVDUHXVHGIRU JHQHUDWLRQRIFRQWURO,QVRPHRIWKHVHV\VWHPVWKHJUHHQLQGLFDWLRQLVJLYHQ WRDVLJQDOJURXSRQO\LISDUWLFXODUGHWHFWRUVDUH³DFWXDWHG´7KHSRVVLELOLW\ H[LVWVWKDWVRPHYHKLFOHEHFDXVHRIDYHU\VKRUWGLVSOD\HGJUHHQWLPHVWD\V WUDSSHGEHWZHHQWKHGHWHFWRUORRSDQGVWRSOLQHDQGZRQ¶WJHWWKHULJKWRI ZD\XQOHVVDQRWKHUYHKLFOHDUULYHVEHKLQG LW7RSUHYHQWVXFKVLWXDWLRQVD PLQLPDOGLVSOD\HGJUHHQWLPHLVSHULRGLFDOO\DVVLJQHGWRHDFKFRQWUROYDULDEOH LQHDFKF\FOHUHJDUGOHVVRIGHWHFWRUDFWXDWLRQ 0LQLPDOYDOXHVRIPLQLPDOGLVSOD\HGJUHHQWLPHVDUHUHFRPPHQGHGE\

WHFKQLFDOVWDQGDUGVLQPDQ\FRXQWULHV,Q*HUPDQ\IRULQVWDQFHWKHIROORZLQJ YDOXHVDUH¿[HGDVORZHUOLPLWVIRUPLQLPDOGLVSOD\HGJUHHQWLPHV>@ x 9HKLFOHVLJQDOJURXSFRQWUROYDULDEOHV±V x 3HGHVWULDQVLJQDOJURXSVFRQWUROYDULDEOHVV x 7UDPVLJQDOJURXSVFRQWUROYDULDEOHVV

)HDVLEOHVLJQDOSODQVKDYHWRVDWLVI\WKHFRQVWUDLQWVRIPLQLPDOGLVSOD\HG JUHHQWLPHV7KHVHWLPHVDUHFRPSRQHQWRIWKHYHFWRU

),( P21 PpPPPP GGGGG

0LQLPDO GLVSOD\HG JUHHQ WLPH pPG IRU FRQWURO YDULDEOH FRQWUROOLQJ VLJQDOJURXS pDc ( }P,,2,1{ !p LVGHWHUPLQHGXVLQJWKHPLQLPDOGLVSOD\HG

JUHHQ WLPHV IRU HDFK WUDI¿F VWUHDP iV WKDW EHORQJV WR VLJQDO JURXS pDc ,IPLQLPDOGLVSOD\HGJUHHQWLPHIRU iV ( Ji ) is

P iG , then the minimal

GLVSOD\HGJUHHQ WLPH pPG IRUFRQWUROYDULDEOH WKDWFRQWUROV VLJQDOJURXS pDc LVJLYHQE\WKHIROORZLQJH[SUHVVLRQ

)(,}|{max 0 P cV pGDGG P ipi

LH )(,0 pi

P i DGG cVt

/LNHZLVH WKH PLQLPDO HIIHFWLYH JUHHQ WLPHV IRU VLJQDO JURXSV pPg , ( Pp DUHJLYHQE\WKHH[SUHVVLRQ

)}P,2,1{(,}|{max !cV pDgg pi P ipP

,Q WKHFRPSXWLQJSURFHVVRI VLJQDOSODQFKRLFH WKHHIIHFWLYHYDOXHVRI JUHHQDQGUHGWLPHDUHXVHG 0LQLPDOHIIHFWLYHJUHHQ WLPHVIRUYHKLFOHVLJQDOJURXSVDUHFDOFXODWHG

LQ WKH VDPHZD\ DV RWKHU HIIHFWLYH JUHHQ WLPHV IRU YHKLFOH VLJQDO JURXSV $SSHQGL[9LH

)(,)( P ccc plaGllaGg pppPppppPpP

where pa and pl DUHXVXDOO\WKHVWDQGDUGYDOXHVVDQGVUHVSHFWLYHO\ 7KHPLQLPDOHIIHFWLYHJUHHQWLPHVIRUSHGHVWULDQDQGWUDPWUDI¿FVWUHDPV

DUHXVXDOO\RIWKHVDPHGXUDWLRQDVJUHHQVLJQDOLQGLFDWLRQVLHGLVSOD\HG JUHHQWLPHV 0LQLPDOHIIHFWLYHJUHHQWLPHVDUHFRPSRQHQWVRIYHFWRU Pg LH

),,,,,( P21 PpPPPP ggggg !!