Refining Lane-Based Traffic Signal Settings to Satisfy Spatial Lane Length Requirements

. In conventional lane-based signal optimization models, lane markings guiding road users in making turns are optimized with traffic signal settings in a unified framework to maximize the overall intersection capacity or minimize the total delay. The spatial queue requirements of road lanes should be considered to avoid overdesigns of green durations. Point queue system adopted in the conventional lane-based framework causes overflow in practice. Based on the optimization results from the original lane-based designs, a refinement is proposed to enhance the lane-based settings to ensure that spatial holding limits of the approaching traffic lanes are not exceeded. A solution heuristic is developed to modify the green start times, green durations, and cycle length by considering the vehicle queuing patterns and physical holding capacities along the approaching traffic lanes. To show the effectiveness of this traffic signal refinement, a case study of one of the busiest and most complicated intersections in Hong Kong is given for demonstration. A site survey was conducted to collect existing traffic demand patterns and existing traffic signal settings in peak periods. Results show that the proposed refinement method is effective to ensure that all vehicle queue lengths satisfy spatial lane capacity limits, including short lanes, for daily operation.

Aggregated lane-use patterns were first considered as design variables to optimize intersection performance [17].In the latest lane-based optimization method, individual lanemarking arrows for left turn, straight-ahead, and right turn movements were defined as discrete binary variables in a mixed-integer linear programming optimization framework [13-16, 18, 19].As a direct extension of the conventional group-based (phase-based) design approach, the lane-based approach is an offline design method, and peak hourly vehicular flow rates from traffic surveys are usually set as demand flow inputs to optimize a set of cooperative lane markings for operation.The use of surveyed demand flow rates as inputs is still reasonable because, once painted on the ground, lane markings are not expected to vary in different signal cycles.Other real-time or online methods may still be applied to fine-tune the traffic signal timings when all lanemarking arrows are optimized and given.The lane-based method has also been extended and applied for traffic signal optimization in signalized road networks by using the peak hourly flow rates as demand flow inputs.Platoon dispersion is modeled to realize the effects of coordinated traffic signal settings across upstream and downstream intersections [15].Han and Gayah [20] even developed a continuum model for dynamic traffic networks that considers offset, spillback, and multiple signal phases.A more innovative idea of adopting a displaced left-turn (DLT) lane was reported by Sun et al. [21] to facilitate a continuous flow design to improve oversaturated bottleneck intersections.However, shifting and reserving a DLT lane may sometimes be impractical because of insufficient available road lanes in urban street networks.D' Acierno et al. [22] studied two-way coordinated arterials and minimized the total delay by adopting a microsimulation model.Stage sequence optimization was reported by Memoli et al. [23] for network traffic signal settings.Other studies relating to coordinated signalized systems were performed by Gayah and Daganzo [24] for two-way arterials and by Zhou and Zhuang [25] for tandem intersections.Route choices influenced by traffic signal controls were studied by Liu and Smith [26].
In this study, we aim to refine the existing lanebased method for isolated intersections connected by shortapproach lanes with limited spatial holding capacities.Liu and Chang [27] reported that adjacent lane groups could easily be blocked if lane markings and shared lane markings are not designed in a cooperative manner, especially for approach lanes with (short) flare lanes under oversaturated conditions.Lu and Yang [28] recently estimated the dynamic queue distribution in a signalized network via a probability-generating model in which queue formation and dissipation, platoon dispersion, queue merging and diverging, queue spillover, and downstream blockage were all modeled as stochastic events.In our case study, the intersection is one of the busiest and most complicated intersections located in Hong Kong Island (details can be found in the case study).Major legs are relatively long and minor legs are relatively short and traffic signals are operated without coordination.Connecting to the short lanes, there is another signalized intersection of two phases controlling two conflicting movements.Both of these conflicting movements will be discharged in turn to enter to the short lanes continuously.Uniform vehicle arrival pattern entering the short lanes is assumed.Referring to the street map, similar intersection settings could be found near the case study area.The proposed formulation is to deal with signal-controlled intersections with these kinds of geometric settings.In our proposed formulation, the lanebased approach is used initially to optimize the lane markings (single-arrow marking or shared lane markings, with two or three arrows on each approach lane) to effectively avoid potential internal blocking.However, the existing defect of the lane-based design method is that it adopts a point queue system that neglects the spatial requirements and limits along the approaching traffic road links (i.e., the maximum queue length should not be longer than the actual physical road length), which are critical for short-approach traffic lanes."Short lane" means that the physical length of the lane is relatively short and can be occupied by only a few vehicles (or pcu).Signal-controlled intersections with short physical road lengths with limited holding capacities are common in urban areas.Ignoring the limited spatial requirements of such approaching traffic lanes may lead to unrealistic designs for traffic signal settings.Short lanes will overflow.Existing lane-based traffic signal optimization tends to design longer green times and longer cycle lengths to maximize the overall intersection capacity [13][14][15][16].To overcome this weakness, we propose a new set of refinements to modify the traffic signal settings at isolated intersections to prevent overflow.
In this study, we compute vehicle queue lengths under various traffic and control conditions.Comparing the vehicle queue lengths and the spatial lane-holding capacities, overflowing and nonoverflowing approaching traffic lanes are identified and grouped.Excess green durations are extracted from the nonoverflowing lane group and used to control the overflowing lane group.Based on this new control logic, a set of refinement procedures to fine-tune lane-based-optimized traffic signal settings is proposed.A search heuristic is also developed to modify the green start times, green durations, and cycle length until the developed vehicle queues satisfy the spatial requirements in which the optimized lane-marking patterns are implemented.To evaluate the refinement results, a VISSIM simulation model is built to simulate the maximum queue lengths obtained from implementing the original lane-based optimized settings and the refined traffic signal settings.This paper is organized as follows.In Section 3, evaluations of traffic queue lengths and their effects on traffic signal settings are discussed.In Section 4, a mathematical formulation of the traffic signal refinement model and the corresponding solution algorithms are presented.Finally, a case study of a typical signal-controlled intersection in Hong Kong is analyzed, and new traffic signal settings are produced following the proposed refinements to eliminate overflowing vehicle queues.

Notations and Symbols
To formulate the proposed traffic signal refinement procedures, a signal-controlled intersection with   traffic legs and   approaching traffic lanes from each leg i is considered.For each leg i, traffic lanes are numbered consecutively from 1 to   , starting from the curbside lane (near the pavement).Other symbols used are shown in Notations section.

Queue Lengths under Different Control Patterns
Traffic signal timings at an intersection operate and repeat to form a signal cycle with a cycle time .Conflicting traffic movements are not allowed upon entering the common area of an intersection and receiving the right-of-way during the same green period.Their respective signal phases become "incompatible," implying that their green durations must be well separated within a signal cycle.When a signal displays red, the arriving vehicles must not be discharged, and they are held up in the form of vehicle queues along the approaching traffic lanes.For approaching traffic lane  from leg , ℓ , is defined as the initial queue length (just before a signal cycle starts).The vehicle queue length along approach lane  from leg  within a signal cycle [0, ] is denoted by  , () in where  , () = ∑   =1( ̸ =)  ,, () is the total traffic demand that enters approach lane  from leg  at a particular time ,  ,, () represents the traffic flow from leg  to leg  on lane  at time , and  , () expresses the saturation flow (i.e., discharge rate) of lane k from leg  at time .Depending on the width of the t c 0

Red time period
Green time period as specified in the Transportation Planning and Design Manual (for the nearside lane).The constant "1940" is replaced by "2080" if the traffic lane is a nonnearside lane [29].In this study, we measure the lane width to estimate the lane saturation flow assuming a constant turning radius across different approach lanes and zero uphill gradient.The turning proportion depends on the optimized lane flows, which are assigned to different approach lanes in the optimization process.
Mathematically, ∫  0  , () in (1) represents the total flow arrivals within time period [0, ], whereas ∫  0  , () calculates the total number of vehicles discharged within time period [0, ].These total arrivals and total discharges within time period [0, ] are represented by the two shaded areas in Figures 1 and 2, respectively.Figure 1 shows the typical shape of traffic arrivals, and the (shaded) area under the curve represents the cumulative arrivals in lane  from leg . Figure 2 plots a typical saturation flow (discharge rate), and the (shaded) area under the saturation flow curve represents the cumulative discharges in lane  from leg .
To model the vehicle queue development and to realize the spatial requirements along an approaching traffic lane under different traffic conditions, the curve in Figure 3 shows how the vehicle queue length varies within a signal cycle and how it can be deduced from the cumulative arrivals and cumulative discharges.For unsaturated traffic conditions, all traffic arrivals can be fully discharged during a signal cycle, assuming that the approaching traffic lanes are sufficiently long to hold all arriving vehicles without overflowing.The traffic arrival flow must reach an ideal traffic state (i.e.,  * in Figure 3) within the green duration (period) of a signal cycle.The green start time and green duration of lane-based signal t c 0

Red time period
Green time period

Red time period
Green time period Cumulative number of vehicles or pcu settings are given by  , and  , , respectively.The vehicle queue length,  , (), in signal cycle [0, ] can be evaluated by ∀ = 1, 2, . . .,   ,  = 1, 2, . . .,   , where the arrival rate  , () = ∑   =1( ̸ =)  ,, () represents the total number of arriving vehicles entering lane  from leg  to all the other leg .In (3),  * , specifies the green duration required to reach an ideal traffic state  * when all arrival vehicle queues are just dissolved, as given in Figure 3.This particular moment is further illustrated in Figures 5 and 6 under different traffic conditions.
Figure 3 shows graphically the general vehicle queue development along approach lane k from leg .At the end of the red signal,  , , a maximum queue length  , should

Cumulative number of vehicles or pcu
Red time period Green time period c 0

Cumulative arrivals
Cumulative discharges

Cumulative discharges
Red time period Green time period In general, Figure 4 lists four possible traffic signal patterns that display green and red signals within a signal cycle.In case (a), the signal cycle pattern is the same as that presented in Figure 3, in which the red signal starts when the signal cycle starts,  , > 0. The green signal ends at the end of signal cycle ,  , +  , = .The maximum queue length would then be found at the end of the red signal (or the start of the green signal), as given in In case (b), the green signal starts at the beginning of the signal cycle,  , = 0.The end of the red signal must then be found at the end of the signal cycle.The maximum queue length would thus be found at the end of the red signal or at the end of the signal cycle, as given in In case (c), the green signal starts and ends within the signal cycle (i.e., 0 <  , +  , < ).The maximum queue length would still be found at the end of the red signal (just before the green signal starts in the signal cycle), and the queue would form during the whole red signal period from the end of the green signal,  , +  , , until the end of the signal cycle, , and from the start of the red signal (equivalent to the start of signal cycle) until the end of the red signal (equivalent to the start of the green signal,  , ).The following gives the maximum queue length accordingly: Finally, in case (d), the start of the green time period is greater than the end of the green time period within a signal cycle,  , +  , −  <  , .This inequality holds only when  <  , +  , , implying that the green signal starts later in one signal cycle; the green period then lasts until the end of the signal cycle and further extends to the next signal cycle.The end of the green signal is thus found inside the next signal cycle.The maximum queue length could be evaluated by (4d), with the start of the red signal (equivalent to the end of the green signal,  , +  , ) at  , +  , −  and the end of the red signal (equivalent to the start of the green signal) at  , : The goal of this study is to enhance the traffic signal settings optimized by the lane-based model to fulfill the spatial queue requirements.We must therefore estimate the physical holding capacities of the approach road lanes for further analysis.Let  , be the actual length of approach road lane  from leg  (in meters), and let  V be the physical length of standard vehicle V plus a gap length between front and rear bumpers of two consecutive vehicles occupying the road space (in meters/pcu).The lane-holding capacity can then be defined by  , / V , which represents the maximum number of standard vehicles that could be held up and occupy the approaching traffic lane (in pcu).Comparing the maximum queue length  , , evaluated from (4a)-(4d) and the physical holding capacity  , / V , approaching traffic lane  from leg  can always be classified as one of the following two lane types: (1) a nonoverflowing traffic lane (i.e.,  , <  , / V ) or (2) an overflowing traffic lane (i.e.,  , >  , / V ).In case (1), the maximum queue length is lower than the actual holding capacity, as given in Figure 5, and thus approach lane  from leg  is categorized into lane set   .Lane-based traffic signal settings for approaching traffic lanes in set   will not induce overflow in practical operations.More importantly, an excess green duration,  , −  * , , may exist.In case (2), the maximum queue length exceeds the actual physical holding capacity, as shown in Figure 6.Approach lane  from leg  is thus grouped into lane set   .The lane-based traffic signal settings for approaching traffic lanes in set   would induce overflow.Because of the spatial requirements, the maximum queue lengths must be reduced for these overflowing traffic lanes by refining the traffic signal settings.There is a special case in which the maximum queue length equals the physical holding capacity (i.e.,  , =  , / V ).The lane-based traffic signal timings under this condition do not induce overflow, and the green durations are just enough to clear the incoming traffic.If lane set   is nonempty, some approaching traffic lanes overflow, and the lane-based traffic signal settings should be refined to satisfy the spatial queue requirements.
The two sets of vertical double solid lines in Figures 5 and 6 indicate the maximum physical holding capacity,  , / V , of approaching traffic lane  from leg .In Figure 5, the maximum queue length is smaller than the spatial laneholding capacity.In Figure 6, the maximum queue length is larger than the spatial lane-holding capacity.Thus,  * , is the green duration required to keep the maximum queue length in lane  from leg  from exceeding its physical holding capacity. * , (in Figure 5) is the required green duration to reach the ideal traffic state  * .By using the maximum queue length evaluated by (4a)-(4d), the minimum green duration, For a given lane-based traffic signal setting, as shown in Figure 6, if the optimized green duration,  , , from the lanebased method in approach lane  from leg  is shorter than the required green duration,  * , (ensuring the maximum queue length would not exceed the spatial capacity), overflow is likely to occur.It is expected that such overflow could be prevented if a longer green duration is provided.In Figure 5, in contrast, approaching traffic lane k from leg i is not overflowing and there is excess green duration.It is considered that reducing the green duration could still maintain an ideal nonoverflowing traffic state  * .It is found that the green duration could be reduced by no more than ( , − max{ * , , ℎ , }) time units.

Refinement Model for Lane-Based Optimization Signal Settings
The lane-based optimization method is the latest approach for optimizing lane markings and traffic signal settings to maximize the overall intersection capacity (i.e., to maximize the reserve capacity) or to minimize the total delay.One critical issue is to examine its effectiveness in satisfying the spatial queue requirements (not to induce overflow) for all approaching traffic lanes.In this section, based on the optimization results from the original lane-based design framework, a new refining optimization process is proposed to modify the lane-based traffic signal settings to satisfy the physical spatial limits for approaching traffic lanes.A search heuristic is developed to fine-tune the lane-based signal settings, including the green start times, green durations, and cycle times, by considering the vehicle queuing patterns and physical holding capacities along all approaching traffic lanes.
Variations in vehicle queues are simulated numerically to guide the search path and direction.Stopping search criteria are set, and the whole solution process is terminated when all spatial vehicle queues along the approach lanes are within the lane-holding capacities or when their discrepancies are minimized.Objective Function.In the present study, we aim to examine and verify the lane-based traffic signal optimization model results, including the lane markings and traffic signal settings, to satisfy spatial queue requirements on existing road lanes and to modify them if necessary to ensure that the refined traffic signal settings are capable of managing the incoming traffic without leading to overflow.When operating the refined traffic signal settings, it is expected that the maximum queue lengths due to vehicle arrivals should not exceed the actual physical length of the approach road lanes.
To form an effective mathematical objective function to prevent overflow, we first defined a parameter  , to depend on [   , − ( , / V )/Ω  ] in (6), where   and Ω  are user-defined inputs for weighting the randomness of traffic arrivals (which may lead to increased maximum queue lengths) and weighting the importance of traffic legs in avoiding traffic overflow, respectively. , and  , / V are the maximum queue length and lane-holding capacity of lane  from leg , respectively. , then denotes numerically the "space shortage" to hold up all incoming vehicles without overflowing: Based on the numerical value of  , for an individual approaching traffic lane, if  , > 0, approach lane  from leg  will be classified as "overflowing" and lane  will be collected in the set   .If  , < 0, then lane k from leg i will be classified as an approaching traffic lane with a spatial buffer and lane k will be collected in the set   .Clearly, for every lane  ∈   ,  , can be regarded as the overflowing queue length (to be minimized).For each approaching traffic lane  ∈   , negative  , indicates that excess green durations may exist on lane k from leg i.These excess green durations can be extracted to control the overflowing road lanes in set   .
With the parameter  , introduced above, the objective now is to reduce the overflow by minimizing  , whenever its numerical values are positive (overflow occurs on lane k from leg i because the actual lane length is shorter than the maximum queue length).To define the objective function, it is thus reasonable to include the overflowing vehicle queues from all overflowing approach lanes.Mathematically, the following equation is adopted as the objective function for refining the lane-based traffic signal optimization results: where   is the set of overflowing approach lanes from leg i in which the physical road length is shorter than the maximum queue length  , .
In the original lane-based model, vehicle queues are not considered explicitly and a point queue modeling system is applied.Although this maximizes the overall intersection capacity (throughputs), the optimized cycle length is always binding at its maximum allowable limit (usually 120 s in Hong Kong).If there are short lanes with very limited capacities (lane lengths) to hold incoming vehicles, overflow and spillback of vehicle queues would easily occur.This is a defect of the existing lane-based design approach.In the proposed design framework, cycle length (time) is also considered as a control variable to be adjusted (reduced) to allow faster changes of rights-of-way among conflicting turning movements.It is expected that incoming traffic could be discharged in time with better use of all green durations.
Identifying Overflowing Approaching Traffic Lanes Depending on Spatial Holding Capacity.The maximum queue length along an approaching traffic lane is determined by its incoming traffic demands and the traffic signal settings, including the green start times, green durations, and cycle times.These could be varied to influence the maximum vehicle queue length along approach road lanes.Actual lane lengths are fixed parameters and cannot be changed during daily operations.Overflow may depend heavily on the traffic signal settings.In the proposed refinement process, it is necessary to identify which approaching traffic lanes are overflowing or not overflowing.
(1) Approach Road Lanes Exceeding Spatial Capacity.Operating improper traffic signal timings may cause the maximum queue length of an approach lane to exceed its spatial holding capacity, as described in Figure 6, resulting in overflow.The objective function is used to minimize the overflow on all approaching traffic lanes.Mathematically, the maximum queue lengths on overflowing approaching traffic lanes should be reduced.Overflowing approaching traffic lanes can be identified using for  = 1, 2, . . .,   ,  ∈   . , represents the maximum queue length, and  , / V is the spatial holding capacity of lane  from leg .Equation ( 8) identifies the overflowing approaching traffic lanes, and the respective  , values are positive.Thus, the weighted sum of all  , values will form the objective function for the traffic signal refinement model.
(2) Approach Road Lanes without Exceeding Spatial Capacity.
If a spatial lane-holding capacity is large enough to hold all incoming traffic vehicles without overflowing, such an approach road lane is regarded as a nonoverflowing lane, given in Figure 5.In this case, excess green duration may exist that could be extracted to control the overflowing approach lanes.With sufficient spatial holding capacities and green durations to manage the maximum vehicle queues, the assigned green durations on nonoverflowing approaching traffic lanes could be reduced at the expense of increasing the residue queue lengths.There is no harm in doing so if the maximum queue lengths so developed are shorter than the spatial lane-holding capacities.the following equation was developed to identify all these nonoverflowing approaching traffic lanes forming a part of the solution region: for  = 1, 2, . . .,   ,  ∈   .
Lane-Based Traffic Signal Settings for Refinement.For operating traffic signal settings optimized from the lane-based method, overflow may occur because the signal timings may not be able to manage the incoming vehicles effectively; that is, they may not be able to maintain the maximum queue length below the lane-holding capacity.To maximize the intersection capacity, the lane-based traffic signal optimization could assign excess green time to nonoverflowing approaching traffic lanes.Also, the respective long red durations assigned to the incompatible phases may lead to long vehicle queues.If the maximum queue lengths exceed the lane-holding capacities, overflow occurs.If the spatial queue requirements along short-approach road lanes are ignored, the design of traffic signal settings becomes unrealistic and unreliable.To eliminate or reduce the degree of overflow, the green durations assigned to nonoverflowing and overflowing approaching traffic lanes should be refined.The proposed refinement procedures for the traffic signal settings are enhanced by restructuring the lane-based optimized signal timings with consideration of spatial lane-holding capacities, safety requirements for practical implementation, and the ideal state of vehicle queue development for all approach road lanes.
(1) Overflowing Approaching Traffic Lanes under Lane-Based Traffic Signal Settings.Considering the spatial requirements of approach road lanes, it is important to examine the ability of the optimized signal settings from the lane-based optimization framework to control all incoming traffic so that the maximum vehicle queue lengths are all less than the respective lane-holding capacities.If the cycle time is fixed at , the green duration should be longer than a threshold value  * , (i.e., the maximum queue length would at most be equal to the spatial holding capacity).To confirm that an approach lane  from leg  is overflowing, the green duration optimized by the lane-based method should be less than this minimum requirement, as given in for  = 1, 2, . . .,   ,  ∈   . , represents the green duration used to control approach lane  from leg i optimized by the lane-based method. * , is the required green duration to avoid overflow that is determined numerically by solving (5a) using a line search technique.
(2) Nonoverflowing Approach Lanes under Lane-Based Traffic Signal Settings.When operating lane-based optimized traffic signal settings, vehicle queues develop.If the spatial laneholding capacity is large enough to hold the incoming traffic that accumulates during red signals, overflow can be avoided.Numerically, this condition is verified if the maximum queue length is less than the spatial lane-holding capacity.However, in the proposed refinement framework, it is considered that the lane-based settings must also be refined if the assigned green duration is longer than that needed to dissolve the waiting vehicle queue.When the cycle length c is fixed, it is possible to reassign the excess green durations by shifting them from nonoverflowing traffic lanes to overflowing traffic lanes.This can effectively alleviate the degree of overflow along those overflowing approach road lanes.The feasible amount of green duration to be reduced and shifted depends on the new minimum green duration,  * , (i.e., the green duration for the traffic on lane  from leg  to reach an ideal traffic state) and on the minimum green duration for safety concerns.Thus, the lane-based traffic signal settings for the nonoverflowing approach road lanes should satisfy the constraint given in for  = 1, 2, . . .,   ,  ∈   . * , in ( 11) is the green duration required for the traffic on approach lane k from leg i to reach an ideal traffic state, which is numerically evaluated by solving (5b).ℎ , is the minimum green duration for the traffic movement(s) on approach lane k from leg i for safety operations to prevent frequent stop-and-go motion.Equation ( 11) is a governing constraint to ensure that the refined green duration is able to discharge the maximum traffic queue after shifting the excess green duration to overflowing approach lanes.
(3) Size of Time Step for Refining the Traffic Signal Timings.It has been revealed that unbalanced green durations allocated by the lane-based optimization method may lead to unnecessary overflow.Excess green durations may exist, which could be extracted from nonoverflowing approach lanes and added to the green durations assigned to overflowing approach lanes.During this refinement process, a proper time step size, Δ, should be used to extract the green durations to balance the green durations of the overflowing and nonoverflowing approach traffic lanes in the heuristic solution process.From (10), the upper bound for choosing Δ should be bound by ( * , −  , ).Any increase of the green duration may reduce the degree of overflow of an overflowing approach lane.Time step sizes that satisfy (12) are all permitted.The finer the Δ value, the better the solution resolution: for  = 1, 2, . . .,   ,  ∈   .
For nonoverflowing approach traffic lanes, their spatial lane capacities and the lane-based optimized traffic signal settings enable them to hold and discharge their maximum vehicle queues.For nonoverflowing approaching traffic lane k from leg i, the refined green durations should be good enough to control the incoming traffic without overflow and without violating the basic specifications for safety.Thus, the respective feasible Δ value for refining the green durations should be within the range specified by for  = 1, 2, . . .,   ,  ∈   .
Compatible Traffic Signal Settings with the Lane-Based Design Requirements.With the vehicle queue lengths along the approach road lanes computed from ( 3) and (4a)-(4d), whether an approach road lane is overflowing or not can be detected by comparing its maximum queue length and its spatial lane-holding capacity.Short lanes are usually the problematic source of overflowing because they have very tight spatial capacities to hold up incoming vehicle queues.To formulate the proposed traffic signal refinement procedures, governing constraint sets for the traffic signal settings that are compatible with the lane-based design requirements are given as follows.
(1) Feasible Cycle Length.For an intersection under different traffic demand conditions, different signal cycle lengths for practical operations are required.If all green durations are set at their minimum allowable limits (usually 5 s for the display green times), then a minimum cycle time,  min , should be used.Based on the lane-based optimization results, an optimized cycle length  should always be available, which would be regarded as the maximum bound for the refined cycle length .The feasible range of c is governed by We set the cycle length optimized by the lane-based model as the maximum bound because the point queue system adopted in the lane-based method always overdesigns the cycle length.In the proposed formulation, we refine the traffic signal settings until the maximum queue lengths are all below the spatial lane capacities for all approach road lanes.
(2) Constraints for the Start and Duration of Green Times.
Traffic signal settings are operated and repeated in cycles.Green signals could be started arbitrarily along the time axis.
The duration of green times should be longer than a required minimum duration for safety operations.In signal cycles, the start and duration of green times are bounded by the length of the signal cycle.Constraints for the start and duration of green times for approach lane k from leg i are given, respectively, by the following: for  = 1, 2, . . .,   ,  = 1, 2, . . .,   .
(3) Traffic Signal Settings on Approaching Traffic Lanes.In practical operations, some turning movements from different legs cannot receive the right-of-way simultaneously because they involve incompatible movement turns in which their destination legs are identical.Turning movements from the same leg are always compatible without clashing in the common intersection area.Shared-lane markings that allow two or more turning movements at the same time along an approaching traffic lane could be designed.Once sharedlane designs are optimized from the lane-based method, all involved turning movements should be controlled by the same traffic signal phase such that the start and duration of green times should be identical.For approach lane k from leg i permitting a movement turn to destination j, the following constraint sets are required: for ,  = 1, 2, . . .,   ( ̸ = ),  = 1, 2, . . .,   . ,, is the lane-marking output from the lane-based optimization framework.Numerically,  ,, = 1 means that a traffic movement turn from leg i to leg j is permitted on approach lane k.Equation ( 16) will then force  , = Θ , ,  , = Φ , , and ℎ , =  , to ensure identical signal settings on all approaching traffic lanes involving the same turning movements to destination leg .If a turning movement from leg  to leg  is not permitted on approach lane k, then  ,, = 0, implying that the binding effects of the constraints given in ( 16) are relaxed and the traffic signal settings could all be different (i.e., controlled by other constraint sets).
(4) Clearance Time of Movements.Two traffic turning movements are incompatible if they cannot receive the rightof-way at the same time, and the set of all incompatible movements is denoted as Ψ.For any pair of incompatible movements,  = (, , ) and V = (, , ).If lane markings on approaching traffic lanes exist, then, for safety concerns, an intergreen (clearance) time is given to separate their rightsof-way.For approaching traffic lane k from leg  and another approach lane o from leg m, if their turning movements to destination legs j and n, respectively, are incompatible, then the clearance time constraint can be set as follows: where  ,V is a user-specified minimum intergreen time to separate turning movements  and V and Π ,,, is the successor function [9] regulating the order of signal displays for the two incompatible signal groups (, ) and (, ), where Π ,,, = 0 if the green start of signal group (, ) follows that of signal group (, ), and vice versa when Π ,,, = 1.
The proposed traffic signal refinement problem can now be formulated by minimizing the objective function in (7) subject to the constraint sets in ( 8)- (17).

Solution Heuristics.
In the present formulation, the spatial queue requirements of lane-holding capacities are considered.The details of vehicle queue developments in a signal cycle and maximum queue lengths along approach road lanes are evaluated using (3) and (4a)-(4d), and different lane conditions can be modeled.By comparing the maximum queue lengths and the physical lane-holding capacities, all approaching traffic lanes can be classified into one of two groups: (i) overflowing or (ii) not overflowing, as discussed in Section 3. Mathematically, overflowing approach lane k is grouped in set   , and the set of all overflowing approach lanes is defined as .If approaching traffic lane k is not overflowing, it is grouped in set   and the set of all nonoverflowing approaching traffic lanes is denoted as B. The green durations are considered insufficient for the overflowing approaching traffic lanes in set A, as illustrated in Figure 6.The weighted sum of  , for all approach lanes in set A constitutes the objective function for the refinement process.Green durations are, however, considered to be more than sufficient for approach lanes without overflow in set B, as presented in Figure 5. Equation ( 9) of all approach lanes in set B provides the necessary constraints in the design framework.In the proposed solution heuristics for each fixed cycle time , the green durations are extracted from the nonoverflowing lane set B and added to the green durations assigned to overflowing lane set A until all excess green durations are transferred.
When implementing the lane-based traffic signal optimization results, no overflow implies that the traffic signal settings optimized by the lane-based framework satisfy the spatial queue requirements for all approach road lanes and should satisfy the requirements in ( 8)-( 17) mathematically.However, if overflow occurs, the lane-based settings no longer fulfill the spatial requirements for approaching traffic lanes.In general, short approaching traffic lanes with limited laneholding capacities may lack sufficient road space to hold the maximum number of vehicles.To reduce the degree of overflow, the green durations could be shifted from nonoverflowing approaching traffic lanes to overflowing approach traffic lanes, and thus the overall performance and reliability of the intersection could be improved.If the cycle time  optimized by the lane-based framework is fixed, the green durations could be refined until the objective function value is minimized.Reducing the objective function value to zero may also be possible.The cycle time should be considered a decision variable in the refinement process.To find practical traffic signal settings, a search heuristic is proposed to solve this traffic signal refinement process.The refining process for the lane-based optimization results is summarized by the flow chart in Figure 7.
Preparations.Assume that traffic signal settings (, ) are initialized by taking the lane-based model outputs as inputs to start the proposed refinement process.Based on the users' input demand flow patterns and the optimized traffic signal settings, lane-marking patterns and assigned lane flows are obtained from the lane-based optimization model.We first check whether all approaching traffic lanes are not overflowing.If this is the case (i.e., set A is empty), then the refinement process terminates, taking the lane-based optimized settings for implementation.If some approach lanes are found to be overflowing (i.e., set A is not empty),

No
Results of lane-based optimization model q, s, , , , ,  as inputs for refinement.
Group approaching traffic lanes into sets A and B by equation ( 8) and equation (9).
in equation ( 7 reevaluating the values of and by equations (4a)-(4d) and equation (6) and group From the overflowing lane set A, identify the worst lane with the largest (i * , k * ) value; from the nonoverflowing lane set B, search an incompatible lane produce a suitable time step from equations ( 12)- (13).Δt with the shortest excess green time; record and by equation ( 10)-( 17  we look for other approach lanes without overflow (i.e., set B is not empty).Green durations for approach lanes in set B are considered to be excess; those excess green durations are extracted and added to the green durations of the overflowing approach lanes.
Reassignment of Green Durations.The reassignment process for the green duration involves extracting the excess green durations from nonoverflowing approaching traffic lanes (i.e., set B) and adding those times to the green durations of the overflowing approach lanes (i.e., set A).During this process, extreme cases are selected first by picking up the most severely overflowing approach lane (i.e., the largest value of  , in lane set A).An overflowing approach lane ( * ,  * ) from set A and a nonoverflowing approach lane ( # ,  # ) from set B are identified.A suitable Δ for adjusting the green durations between the approach lanes ( * ,  * ) and ( # ,  # ) is selected by satisfying ( 12)-( 13).The Δ value should be kept as small as possible to ensure that the excess green durations can be redistributed effectively.The refinement process is composed of two parts: (1) the green duration is reassigned from approaching traffic lane ( * ,  * ) to approaching traffic lane ( # ,  # ) by updating   * , * to   * , * + Δ and   # , # by   # , # − Δ and (2) the traffic signal settings for other approach traffic lanes should be subsequently revised to satisfy the design constraints in ( 10)- (17).As a result, the refined trial settings (, ) are found.It is expected that the degree of overflow would thus be reduced for the overflowing approach traffic lane.Update Rules.The maximum queue lengths along the approaching traffic lanes could vary and change instantly after the refinement of the traffic signal settings.Upon adjusting one time step Δ over the green durations ( * ,  * ), approach lane sets A and B should be updated for further refinement.The objective function value  * is revised.If the termination condition cannot be met, the refinement process continues by updating  , and  , numerically by (4a)-(4d) and (6).Approach lane sets A and B are updated as well.
Termination Condition.In the proposed refinement process, we aim to eliminate overflow or reduce the degree of overflow of approaching traffic lanes.Whenever approach lane set A is found to be empty (i.e., no overflow), the whole traffic signal refinement and the heuristic search process are terminated.If neither approach lane set A nor B is empty, the refinement of the green durations continues by repeating the reassignment of green durations as described above.A case could occur in which approach lane set B is empty (i.e., no nonoverflowing approach lane exists) but approach lane set A is not empty.To deal with this special case, the lane-based optimized cycle length is adjusted to generate more solution candidates for examination.Again, the refinement for cycle length is also conducted by reducing it by one Δ time unit at a time.New trial settings for green durations are then repeated as discussed above until the termination condition is met.
Upon completing the entire refinement process, the traffic signal settings, including green durations, green start times, cycle time, and the lane-marking sets, would all be compatible for practical operations and the overflow would be either reduced or eliminated (i.e., objective function value is zero).

A Case Study
To demonstrate the proposed lane-based refinement method for practical applications, a case study is given for illustration.
A site survey at one of the busiest and most complex signal-controlled intersections in Hong Kong (Wanchai) was conducted to collect turning flow patterns covering the morning, off, and evening peak periods.The connecting road links have different lengths and widths with different spatial holding capacities and discharge rates.The optimization results from the conventional lane-based approach served as inputs, including the demand turning flows, lane-marking patterns, and traffic signal settings.The geometric details of the intersection are given in Figure 15.The intersection is an isolated crossroad intersection.Hennessy Road is a major road consisting of four approaches and three exit lanes.Fleming Road is a minor road with two approaches and two exit lanes.To account for the spatial lane-holding capacities, the physical road lengths were measured and converted to the number of standard vehicles that could be held along the approach road lanes.It was assumed that a standard vehicle length is 5 m plus 1 m gap between front and rear bumpers of two consecutive vehicles (given as 1 pcu); that is,  V = 6 m.The actual measured lane lengths along Hennessy Road were ( , =) 90 m for Legs 2 and 4; those along Fleming Road were ( , =) 30 m for Legs 1 and 3.The spatial holding capacity for each approach lane from Leg 1 and Leg 3 was 5 pcu and that for each lane from Leg 2 and Leg 4 was 15 pcu.All approaching traffic lanes were of identical importance in terms of overflow, and we used the weighting factors   = 1 and Ω  = 1 for all leg i. Traffic turning demands and the observed traffic signal settings are given in Table 7. Lane-based traffic signal and lane-marking optimization results are shown in Figure 15 (i.e., optimized patterns of lane markings) and in Table 8 (i.e., optimized lane flows and optimized signal settings).These served as refinement model inputs in the proposed refining process to eliminate overflow.To conform to the common code of practice used in Hong Kong, we further assumed that minimum green durations for all vehicular movements were 6 s and that the required intergreen times for pairs of conflicting vehicular movements were also 6 s.

Spatial Queue Lengths.
Directly implementing the optimized traffic signal settings obtained from the lane-based model, it was found that some critical approach lanes could overflow because the spatial lane-holding capacities were practically inadequate to hold all approach demand flow.From the conventional lane-based optimization framework, capacity maximization and delay minimization settings were optimized to generate various traffic signal settings, including various green durations and cycle times, as found in Table 8.Based on these results, the maximum queue lengths  , (in a signal cycle) along the approach traffic lanes were calculated using (4a)-(4d); the results are given in Table 1.The actual lane lengths,  , , were measured, and the spatial lane-holding capacities were estimated (in pcu), which are the lane lengths divided by the standard vehicle length plus a gap between front and rear bumpers of two consecutive vehicles,  V .In the case study, the approaching traffic lanes from Legs 1 and 3 were found to overflow because the maximum queue lengths were generally greater than the lane-holding capacities in all study periods.This is strong evidence of the weakness of operating according to the lane-based optimization results without taking into consideration the spatial capacities of the approaching traffic lanes.

Overflow due to Improper Green Duration Optimization from Lane-Based Model.
To realize the potential problem of the lane-based traffic signal optimization results, we borrowed some previous findings, which are tabulated in Table 8.Total lane flows,  , , and green durations,  , , in the morning, off, and evening peak hours were optimized using the lane-based optimization model adopting a point queue system.Taking into consideration the spatial lane capacities, the incoming traffic exhibited overflow.It was found that the maximum queue lengths were longer than the lane-holding capacities, as explained in Section 5.1 (Table 1), because the red durations were too long and traffic accumulated in front of stop lines.Under the fixed cycle length, extending the green durations would somewhat shorten the red durations and overflow could be reduced or even eliminated.For this, a new minimum required green duration,  * , , is calculated numerically from (5a).Table 2 presents the new minimum green times required to avoid overflow.When comparing them to the lane-based optimized green durations,  , , a significant numerical difference was found from  , −  * , .If  , −  * , is negative, satisfying inequality (10), the approaching traffic lane k from leg i overflows.If the condition of ( 10) is violated, the approaching traffic lane should be nonoverflowing.For any nonoverflowing approaching traffic lane, the minimum green duration,  * , , is evaluated numerically in (5b) to reach an ideal traffic state  * without developing residue queues.
The approaching traffic lanes from Leg 1 and Leg 3 were found to overflow in all study periods using either the capacity maximization or delayed minimization settings.To prevent such overflow, longer green durations,  * , , should be used.As for Leg 2 and Leg 4, none of the approaching traffic lanes overflowed when using the optimized green duration,  , , from the lane-based optimization framework.Indeed, the  * , values are the minimum green durations for the approaching traffic lanes to operate without overflowing.Whenever  , −  * , is positive, excess green durations are Note. , is the green durations (in seconds) optimized by the lane-based optimization model;  * , and  * , are the minimum required green durations (in seconds) evaluated by the proposed traffic signal refinement method for not inducing overflowing and reaching ideal traffic state along approach traffic lanes.optimized from the lane-based optimization model.Obviously, approaching traffic lanes from Leg 1 and Leg 3 require longer green durations, and those from Leg 2 and Leg 4 supply excess green duration.Refining the signal settings could certainly minimize the degree of overflow.
Overflow along approaching traffic lanes from Leg 1 and Leg 3 could be avoided if the traffic signal settings obtained from lane-based optimization model are refined by the proposed formulation satisfying ( 8)- (17).

Refining Traffic Signal Settings under Fixed Cycle Length.
Adopting a point queue system, traffic signal settings from the lane-based optimization model are considered to be optimal for practical operations to maximize the overall intersection capacity or minimize the total delay.In Section 5.2, we mentioned that the conventional lane-based method overdesigns the required green durations once the concepts of spatial queues and spatial lane capacities are introduced.In this study, we developed new design equations, (1)-( 17), to refine the traffic signal settings to prevent overflow of approaching traffic lanes.Under a fixed cycle time, , our strategy for refining the lane-based traffic signal optimization results is to extract excess green duration from nonoverflowing traffic lanes and add those times to overflowing approaching traffic lanes.During the solution process, all traffic signal timings are designed to be safe and compatible with the general lane-based specifications.The solution process is terminated when all excess green duration from the nonoverflowing traffic lanes is shifted to extend the green durations of the overflowing approaching traffic lanes.
Referring to Table 1, we find that approaching traffic lanes from Legs 1 and 3 are overflowing, although the level of overflow differs between legs.According to the maximum spatial queue length,  , , the approaching traffic lanes from Leg 1 are more critical than those from Leg 3 in the morning peak period, with longer maximum vehicle queue lengths.Such a difference between Legs 1 and 3 in the maximum spatial queue length is reduced during off and evening peak periods.
To reduce the level of overflow, we first deal with the most critical approaching traffic lanes.In this case study, the approaching traffic lanes from Legs 1 and 3 overflow in all study periods under capacity-maximizing or delayminimizing settings, and the approaching traffic lanes from Leg 1 overflow more seriously during the morning and off peak periods.Excess green durations along the approaching traffic lanes from Legs 2 and 4 could be extracted and reassigned to overflowing approaching traffic lanes from Legs 1 and 3. To facilitate this refinement process, Δ = 1 s has been adopted to satisfy the constraints of ( 12) and (13).To refine the signal settings from the maximizing capacity in the morning peak period, the excess green duration from Leg 2 is extracted first (8 s), and then the excess green duration from Leg 4 (9 s) is extracted.These 17 s of excess green duration are added to the green durations of the approach lanes from Leg 1. Figure 8(a) shows the refinement results.With the green duration added to Leg 1, the maximum queue lengths along approach lanes 1 and 2 from Leg 1 are shortened from 8.043 pcu and 8.582 pcu (shown in Table 1) to 6.572 pcu and 7.013 pcu (shown in Table 3), respectively.Correspondingly, the maximum queue lengths along the approaching traffic lanes from Legs 2 and 4 increase because of the shortened green durations.However, the shortened queue lengths from Leg 1 are still longer than those from Leg 3 (as shown in Table 3).Figure 8(b) shows very similar results for refining the delay-minimizing settings.For other cases during the off and evening peak periods, Figures 8(c)-8(f) plot the refinement results.Because the maximum queue lengths  , along the approach lanes from Legs 1 and 3 are relatively small (less than 1 pcu), reassigning all excess green durations from the nonoverflowing traffic lanes to the approach lanes from a single leg at a time may not be effective in balancing the level of overflow as a whole.To refine the traffic signal settings in these cases, Δ = 1 s would be extracted from the nonoverflowing approach traffic lanes from Legs 2 and 4. Every extracted green duration of Δ = 1 s would then be reassigned to the approaching traffic lanes (Leg 1 in Figures 8(c) and 8(d) or Leg 3 in Figures 8(e) and 8(f)) with longer initial maximum queue lengths.Until the maximum queue lengths along the approaching traffic lanes from Legs 1 and 3 are equal, the extracted green durations would be reassigned in turn to approaching traffic lanes from Legs 1 and 3 iteratively until all remaining excess green duration is used.In this way, we can ensure that the levels of overflow along approaching traffic lanes from Legs 1 and 3 could be improved in a balanced manner.Figures 8(c)-8(f) show uniform decreases in the beginning for the critical traffic lanes and then stepping down along all overflowing approach traffic lanes in developing the maximum queue lengths along approaching traffic lanes from Legs 1 and 3 to realize balanced improvements during the solution process.
We have demonstrated that the proposed refining process is able to shorten the maximum queue lengths by reassigning the available green durations among overflowing and nonoverflowing approaching traffic lanes from different legs.These improvements could also be reflected by the numerical objective function values.Figure 9 plots the performance of the objective function in (7) for difference cases in different study periods by the refinement process governed by ( 8)- (17).The traffic signal settings optimized by the conventional lane-based model serve as the initial inputs to the proposed refining process.With respect to the objective function in (7) encapsulating the spatial queues and lane-holding capacities, the curves in Figure 9 show significant improvements, which are reflected in further reduction in the objective function values in all study cases.The total excess green duration from nonoverflowing approaching traffic lanes is extracted, and every Δ is reassigned iteratively to the overflowing approach traffic lanes.During this refinement process, the objective function values are observed to improve (drop) iteratively.Under this fixed cycle time refinement, the objective function may not be fully optimized because our study aim was to eliminate the overflow until  , ≤  , / V for all approaching traffic lanes.
Table 3 shows that the maximum queue lengths along the approaching traffic lanes from Legs 1 and 3 could still exceed the spatial holding capacity,  , / V = 5 pcu, after refinement of the green durations has finished meeting the respective stopping criteria.It is expected that the objective function value could be further reduced if the cycle time was relaxed as one of the fine-tuning parameters in the proposed refinement algorithm.Further discussions are given in Section 5.4.

Refining Traffic Signal Settings with Adjustable Cycle
Length.In Section 5.3, it is demonstrated that the objective   function values in ( 7) could be iteratively reduced by refining the traffic signal settings to consider the spatial queues and spatial lane capacities.Without refining the cycle time, , the objective function may not be fully optimized, implying that the shortened maximum queue lengths along the approaching traffic lanes could still be longer than the spatial laneholding capacities (i.e., still overflowing).In this section, we further relax the cycle time (length)  as a model variable for refinement to continue the improvement.
Maximum queue lengths are developed according to the lengths of the red times.If full green is given, there must be no (residual) vehicle queues.The longer the red duration is, the more the incoming vehicles are held up and the longer the vehicle queue lengths become.If we keep the cycle time constant, extending the green durations would mean that the red durations are relatively shorter and thus the maximum queue lengths should be shorter.However, there is a limit.Within a signal-controlled intersection, there are conflicting phases in which green durations must not be given during the same time span, which means that reducing red durations is effective for reducing the maximum queue lengths of the same phase.The resultant long green durations would lead to very long red durations for other conflicting phases.For these, maximum queue lengths could grow longer than the physical approach lane lengths, and overflow could occur again in the other legs.These conflicts are the reason why all green duration and red durations, together with the cycle time, must be well designed to eliminate overflow.
For demonstration, we took the minimum cycle time  min to be 48 s.The lane-based optimization cycle length  is set to be 120 s in the case of maximizing RC and 90.4 s and 88.0 s in the case of minimizing total delay as the maximum cycle  times.A reduced time step size of Δ = 0.1 s was adopted in performing the refinement process.A feasible range for searching the refined cycle time c was set within the interval [ min , ], with a step size of Δ = 1.0 s.A search heuristic was applied for solving the signal refinement model subject to (8)-( 17), as described in Figure 7.
In Figure 10, the objective function values in (7) subject to the various model constraints given in ( 8)-( 17) are plotted for all study cases.By adjusting (reducing) the cycle times, all overflowing approaching traffic lanes from Legs 1 and 3 were repaired, in which all maximum queue lengths were controlled to be below the spatial lane-holding capacities (5 pcu).This was achieved as all the objective function values were found to be zero.The resultant cycle times after the refining process were as follows.For the case of maximizing RC, the refined cycle times were 71.0 s during the morning peak period, 74.0 s in the off peak period, and 80.0 s in the evening peak period.For the case of minimizing total delay, the cycle times were 71.4 s, 75.0 s, and 82.0 s for the morning, off, and evening peak periods, respectively.Tables 4, 5, and 6 tabulate all details of the refinement results for the traffic signal settings in various cases and study periods, including lane traffic flows, turning proportions, flow factors, start and duration of green times, and maximum spatial queue lengths.The maximum queue lengths along the approaching traffic lanes from Legs 1 and 3 were all below their spatial holding capacities (i.e., the maximum queue lengths fulfilled the space requirements of all physical road lengths).The results prove that the refined traffic signal settings are better and more effective for practical operations.For the given patterns of traffic demand turning      flows and lane markings, the refined traffic signal results from the two design objectives, capacity maximization and total delay minimization, are quite similar.Thus, the proposed traffic signal refinement procedure is effective and provides consistent results to eliminate overflow problems.
It is also interesting to observe how the spatial queues developed within a signal cycle across different approaching traffic lanes from different legs.Figure 11 gives the details.The vertical axis represents the maximum queue length in pcu and the horizontal axis is the time axis.When using

22
Journal of Advanced Transportation the refined traffic signal settings, all approaching traffic lanes from Legs 1 and 3 can hold their maximum queue lengths without overflowing (i.e., the maximum queue lengths are controlled within the lane-holding capacities of approaching traffic lanes from Legs 1 and 3).

Evaluations of the Refinement Procedures Using VISSIM
Simulation Model.To evaluate the proposed refinement procedures, the maximum queue lengths are critical parameters to be examined.Overflowing occurs if the maximum queue lengths exceed the physical holding capacities of approach lanes.A VISSIM simulation model was built to model the case study intersection taking the original lane-based optimization model results and the refined traffic signal settings as inputs.From Google map, the intersection layout was captured and inserted to the VISSIM background image.Proper scale was adjusted so that the holding capacities of major roads (15 pcu/lane) and short lanes (5 pcu/lane) are matched.Intersection geometries including all approach and exit lanes were added as VISSIM links with respect to the background image.Based on the lane-marking patterns, connectors were then introduced to connect all approach and exit lanes.For shared lanes, turning proportions were available from the lane-based model outputs and the refinement results.Ratios of turning were defined as relative flows in VISSIM through the interface of vehicle routes.For each link in VISSIM, a signal head was added near the stop line position.Similarly, vehicle inputs (i.e., allocated lane flows from lanebased model outputs and refinement results) were added at the end of links.Nodes were added to VISSIM links with signal heads so that maximum queue lengths, average queue lengths, total discharges, and other engineering parameters could be displayed as output records.For simulating the intersection operations, traffic signal settings including cycle time, ends of green, ends of red, length of amber, and length of red/amber were all given as VISSIM inputs through the interface of signal controllers.And the total simulation period was set to be one hour.From node results in VISSIM, we could then collect the simulated maximum queue lengths for comparisons.A standard vehicle was assumed to be 5.0 m in length.Gap between front and rear bumpers of two consecutive vehicles was set to be 1.0 m with default standard deviation of 0.3 m.Various simulated maximum queue lengths in pcu are tabulated in Tables 1, 4, 5, and 6 for comparisons and evaluations.In general, the difference between the simulated and calculated maximum queue lengths is within ±10.0%.Simulation results are considered to be consistent with the calculated results in terms of the maximum queue lengths.The differences between the calculated and simulated maximum queue lengths may be due to constant gap (in calculation) and varying gap (in simulation) distances adopted in the two modeling platforms.With default standard deviation of 0.3 m in simulating the varying gaps between front and rear bumpers of two consecutive vehicles in VISSIM, the simulated results of maximum queue lengths could be slightly overflowing as presented in the last two columns of Tables 4, 5, and 6.To prevent overflowing due to traffic dynamics, different weighting factors Ω  and   , for leg i could be specified to provide safety buffers.Relevant applications are discussed in the next section.

Applications of the Proposed Traffic Signal
Refinement Procedures.The proposed lane-based signal refinement procedures are applicable to enhancing traffic signal settings to deal with different traffic conditions and different intersections by specifying different model parameters.Actual traffic flow and arrival patterns are time-varying in nature.Various queuing patterns and initial traffic conditions may be involved.It is necessary to give different initial as inputs to test the proposed algorithms to further demonstrate their modeling features.For signal-controlled intersections, there are T-junctions or cross-intersections, and approach lanes from different legs may have different physical lengths.Some legs could be more critical.Slight overflow may induce long vehicle queues that block upstream road lanes or intersections, causing large total delays.In this formulation, we introduce two sets of numerical weighting factors, Ω  and   , for leg i in the objective function.The weighting factor Ω  for leg i specifies the relative importance of the road space from different legs.  for leg i represents the fluctuation of maximum queue lengths due to the randomness of traffic arrivals, which were not included when calculating the maximum queue lengths.In the original case study, all weighting factors of   and Ω  were set to 1.0, thus assuming that all legs were equally important and there was no random effect for minimizing the objective function,  = ∑   =1 ∑ ∈  (   , − ( , / V )/Ω  ).From Figure 12, if heavier weighting factors Ω 1 (Leg 1) and Ω 3 (Leg 3) are given to legs with short lanes, the operating cycle times are further reduced.Because the spatial holding capacities of short lanes are limited, a larger weighting factor simply serves as a safety factor to enlarge the buffer space between the maximum queue lengths  , and the actual holding capacity  , / V .To prevent overflow, the rightof-way for short lanes should be granted more frequently by implementing a shorter cycle length.The weighting factors  1 (Leg 1) and  3 (Leg 3), shown in Figure 12, have similar results.If the random arrival of incoming vehicles or abnormal traffic fluctuations leads to longer maximum queue lengths from Legs 1 and 3, weighting factors  1 and  3 should be given larger values because overflow would occur more easily.Also, the operating cycle time should be further reduced to avoid overflow along these approach lanes.Similar trends were observed for all study cases.
Another traffic condition that could be varied in daily traffic signal operations is the initial queue length,  , .In the original case study, we set all initial queue lengths to zero.In reality, initial vehicle queues may exist, and the signal settings must be adjusted to prevent overflow.From an operational point of view, implementing the refined traffic signal settings could effectively reduce the probability of overflow.Because traffic demand patterns are random in nature, it is possible to have residual vehicle queues on the approaching traffic lanes after the display of green signals.To eliminate these residual vehicle queues, the proposed refinement method could be applied by setting a nonzero initial vehicle queue length as an input.For short lanes from Legs 1 and 3 with spatial capacities of 5 pcu in the previous case study, as shown in Figure 13, increasing the initial queue length  , from 0.0 to 3.0 pcu has been tested.Different cases show similar results, in which shorter cycle lengths should be used to ensure that all approaching traffic lanes, especially the short lanes, do not overflow.Until the minimum cycle length (48 s) is reached, no further reduction is possible.As for the long approaching traffic lanes from Legs 2 and 4 with spatial capacities of 15 pcu, increasing the initial queue length  , from 0.0 to 14.0 pcu has also been examined.It is found that the cycle length should be reduced initially to ensure that short lanes from Legs 1 and 3 do not overflow.Because the approaching traffic lanes from Legs 2 and 4 are longer with larger spatial capacities to hold more incoming vehicles without overflowing, the cycle length could then be maintained at a steady level, even when longer initial queues are added.Until the longer approaching traffic lanes overflow after adding around 10 pcu as an initial queue length, the cycle length is decreased again and further reduced until the minimum cycle length (48 s) is reached.This decreasing trend stops when no further reduction in cycle time is possible.
In general, nonzero and nonequal initial queue lengths from different legs are common in practice.Figure 14 plots the analysis results from the proposed traffic signal refinement process.The combined effects of different initial queue lengths from different legs are illustrated.As in all the above study cases, the operating cycle times are generally reduced if longer initial queues are given irrespective of the legs.
To sum up, for approaching traffic lanes with limited holding capacities such as approaching traffic lanes from Legs 1 and 3 in the case study, overflow occurs as the maximum queue length of an approaching traffic lane is developed that is proportional to the length of the red time within a signal cycle.Because of the spatial queue requirements along short lanes, the original lane-based signal optimization results are no longer suitable for practical operations.In different traffic demand patterns (in different survey periods), the proposed traffic signal refinement was found to be effective for refining the red durations, green durations, and cycle times to prevent overflow.

Conclusions
In the conventional lane-based optimization framework, which is developed using a point queue approach, signal timing settings are always optimized to maximize the overall capacity, neglecting the spatial queue requirements of short physical road lengths.One critical issue is to examine whether the optimized settings also satisfy the vehicle queuing requirements without causing overflow along all approaching traffic lanes.Based on the lane-based optimization results from the original design framework, a refinement method is proposed to fine-tune the lane-based signal settings to ensure that the physical spatial limits for approaching traffic lanes, including short lanes, are not exceeded.A search heuristic is developed to modify the lane-based signal settings for isolated intersections, including green start times, green durations, and cycle length, considering vehicle queuing patterns and physical holding capacities along all approaching traffic lanes.The proposed refinement algorithm is found to be effective for refining the red durations, green durations, and cycle times to ensure that all vehicular traffic is well controlled such that all spatial queue lengths satisfy the spatial lane capacities governed by the established lane-marking patterns.A VISSIM simulation model is built to simulate and evaluate the maximum queue lengths.Differences between the calculated and simulated maximum queue lengths are found to be within ±10%.Results of the maximum queue lengths are considered to be consistent.Safety factors could be applied in the refinement procedures to provide additional buffers to avoid overflowing due to traffic dynamics.For further study, lane-marking patterns established at (upstream) intersections surely affect the demand (flow turning) patterns at downstream intersections.In a network, individual lane markings at intersection level would serve as "links" to connect upstream and downstream intersections.Ban turn can be implemented by not providing the respective lane marking (arrow).Entire network configurations would be controlled by lane-marking patterns.OD demand would be composed of path flows and path flows would then be distributed to intersections as turning demand flows.As long as OD demand flow exists, a single path or multiple paths should exist depending on the demand intensities.Path flows then control the turning flows at intersections.With demand flows at intersections, lane markings could be optimized.By developing flow conservation constraints (at different levels), proper assigned lane flows, lane markings, and network link connectivity could be designed.This problem could be developed by extending the lane-based optimization framework to deal with overflowing problems for linked signalized network systems.Challenges would be designing green times with proper offsets in which the arrivals and discharges of traffic at intersections could be optimized taking platoon or other arrival patterns into considerations.

𝑖, 𝑚:
Leg or  of a signal-controlled intersection , : Destination (exit) leg  or  of a signal-controlled intersection , : Approaching traffic lane  or   ,, (): Arrival rate of a turning movement from leg  to leg  on lane  at time   , (): Total lane flow on lane  from leg  at time   , (): Saturation flow (discharge) rate on lane  from leg  at time  : Cycle length after the proposed refinement process (spatial queue system) : Cycle length from the lane-based traffic signal optimization (point queue system)  , : Green start time for traffic movement(s) on approach lane  from leg   , : Green duration for traffic movement(s) on approach lane  from leg  ℎ , : Minimum green duration for traffic movement(s) on approach lane  from leg   * , : Required green duration of approach lane  from leg  to prevent the maximum vehicle queue length from exceeding physical holding capacity  * , : Green duration required without leaving residue vehicle queues on approach lane  from leg  Θ , : Green start time for traffic movement from leg  to leg

Figure 1 :
Figure 1: Typical traffic arrivals and cumulative arrivals (in number of vehicles or pcu) in an approaching traffic lane under traffic signal controls.

Figure 2 :
Figure 2: Typical saturation flow and cumulative discharges (in number of vehicles or pcu) in an approaching traffic lane under traffic signal controls.

Figure 3 :
Figure 3: General vehicle queue development on approach lane  from leg .
Start of green (end of red) = ; End of green (start of red) = or Red signal Green signal

Figure 4 :
Figure 4: Four different possible patterns to display green and red signals in a signal cycle.

Figure 5 :
Figure 5: Typical traffic signal settings for nonoverflowing approach lane  from leg .

Figure 6 :
Figure 6: Typical traffic signal settings for overflowing approach lane  from leg .
is the respective objective function value.J * approach traffic lanes using equations (8)-(9) again.Based on the new traffic signal settings , update the lane sets A and B by * * ( ,  ) ), and set the revised traffic signal settings as a new solution * * ( ,  ) and as the respective objective function value.J * Refine signal settings on incompatible lanes and by updating by (i * , k * ) (i # , k # )  i * , k * and by , revise traffic signal settings for other traffic lanes −Δt +Δt  i * , k *  i # , k #  i # , k # Shorten the cycle time by reducing it by one time unit maximum allowable limit to as the new Δc: c − Δc repeat the solution process.

Figure 7 :
Figure 7: Proposed search heuristics for refining the traffic signal settings.

Figure 8 :
Figure8: Variations of maximum queue lengths (in pcu) of approach road lanes in the refinement process of green durations.
reassigning green duration times Objective function value Max RC in morning peak Max RC in off peak Max RC in evening peak Min total delay in morning peak Min total delay in off peak Min total delay in evening peak

Figure 9 :
Figure 9: Optimization of the objective function values during the refinement process under a fixed cycle time, .
Max RC in morning peak Max RC in off peak Max RC in evening peak Min total delay in morning peak Min total delay in off peak Min total delay in evening peak

Figure 10 :
Figure 10: Optimization of objective function values of signal refinement model with adjustable cycle length.

4 ( 4 (Figure 11 :
Figure 11: Queue length (in pcu) against time (from start to end of a signal cycle in seconds) under the refined traffic signal settings.

Figure 15 :
Figure 15: Optimized lane-marking inputs for the proposed refinement process at the surveyed intersection.

Table 1 :
Maximum queue length under the lane-based signal optimization settings.
Note.Cumulative numbers of arrival vehicles that require lane  from leg  to hold up in a signal cycle.

Table 2 :
Differences of green durations between traffic signal settings with spatial queue requirements and those without spatial queue requirements.

Table 3 :
Maximum queue length after traffic signal refinement at fixed cycle time.

Table 4 :
Detailed traffic signal timing results for the morning peak period.

Table 5 :
Detailed traffic signal timing results for the off peak period.

Table 6 :
Detailed traffic signal timing results for the evening peak period.

Table 7 :
Traffic demand pattern and existing traffic signal settings.

Table 8 :
Key signal optimization results from the multiperiod lane-based model as current model inputs.