Journal of Advanced Transportation

Volume 2017, Article ID 1943846, 12 pages

https://doi.org/10.1155/2017/1943846

## Design and Evaluation of a Mathematical Optimization Model for Traffic Signal Plan Transition Based on Social Cost Function

^{1}Department of Industrial Engineering, Universidad del Norte, Atlantico, Colombia^{2}Department of Civil and Environmental Engineering, Universidad del Norte, Atlantico, Colombia^{3}Department of Transport, Universidad de Cantabria, Cantabria, Spain

Correspondence should be addressed to Rita Peñabaena-Niebles; oc.ude.etroninu@anepr

Received 20 January 2017; Revised 24 August 2017; Accepted 7 September 2017; Published 19 October 2017

Academic Editor: Jose E. Naranjo

Copyright © 2017 Rita Peñabaena-Niebles et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Signal plan transition is the process of changing from one timing plan to another. It begins when the first intersection starts adjusting signal timing plans and ends when the last intersection completes adjusting signal timing plans. The transition between signal timing plans is required because traffic patterns change during the day. Therefore, it is necessary to modify signal timing parameters offset, phase split, and cycle length for different expectations of traffic volume. This paper presents an alternative and new mathematical model to enhance the performance of traffic signals coordination at intersections during the transition phase. This model is oriented to describe the transition regarding coordination parameters in all intersections of an arterial road for minimizing the social cost during the transition phase expressed in function of costs due to delays, fuel consumption, and air emissions. An ant colony algorithm was designed, coded, and simulated to find the optimal transition parameters using available data. The model was evaluated based on its ability to minimize social costs during the transition period. Results showed that the proposed method performs better than traditional ones.

#### 1. Introduction

The rapid increase in urban traffic demand because of a growing population and economic development has led to an increase in the effects of traffic congestion and the associated externalities. A recent study revealed that the total traffic congestion cost in American urban areas would grow from $101 billion dollars to $133 billion dollars in 2015 to $199 billion dollars in 2020. Delay times will grow to 6.1 billion hours in 2015 and 8.4 billion hours in 2020. The amount of fuel wasted due to congestion will increase to 2.5 billion gallons in 2015 and 4.5 billion gallons in 2020 [1]. Further, the 29 percent of total US greenhouse gas (GHG) emissions and over 5 percent of GHG emissions in the world are generated by the transportation sector [2]. The emissions of CO_{2} from fossil fuel combustion increased by 17 percent from 1990 to 2011. This led to an increase in overall emissions from transportation activities of 18 percent [3].

The statistics above show that, despite the efforts performed, there is still work to do in order to alleviate congestion problem and its implications. Efficient transportation system strategies have become a tool for mitigating traffic problems and improving mobility in cities. In addition, they may lead to a potential reduction in fuel consumption, GHG emissions, and delay. Improving traffic signals is one of the most valuable tools for decreasing total congestion and its effects. A study of the status of signals in USA indicated that basic signal improvements could achieve a 15 to 20 percent reduction in delay times, while advanced improvements can reduce them by up to 40 percent [4].

Many of researches [5–11] are directed towards increasing efficiency of traffic systems related to traffic signals. Improving traffic signals is one of the most effective tools for decreasing total congestion, travel time, delays, air pollution emissions, and fuel consumption. The coordination of traffic signals and optimization of timing plans and transition phases are often used to improve signals and traffic flow in arterial streets.

The signal timing is modified to achieve the coordination during the transition or process of changing from one signal timing plan to another new plan. Adjusting a timing plan may have an adverse impact on the level of service because traffic signals are operating with suboptimal values [12]. This increases travel time, delays, speed, stops, and greatest percentage of pollutant emissions and fuel consumption [13, 14], while minimizing the benefits that the new plan could achieve.

An optimal transition improves the efficiency of signal systems even in adaptive systems and preemption signal systems. In those systems, the need for better transition algorithms is heightened because the transition between timing plans occurs more frequently and its effects become more pronounced.

Two approaches have been identified in the literature to address the transition phase: applied methods, which are studies where the transition is attained by a sudden or gradual change of the parameters of the plan, while mathematical methods are based on optimizing operational measures of effectiveness during transition using mathematical models [15, 16]. A recent study [15] concluded that most transition articles are focused on applied methods (78.3%) and only a few addressed mathematical methods (21.7%). Also, literature mainly focuses on investigating and analysing existing methods rather than presenting new solutions to optimize the transition phase.

Research projects conducted to date on transition strategies have centred on evaluating the impact and performance measures using different transition strategies on various traffic conditions. Most of the proposed transition methods were empirical methods based on experience, and they do not take advantage of current modelling, mathematical, and optimization techniques. During 1970 to 1981, most articles applied empirical methods, but only one mathematical method was developed [17]. In this work, the RAST algorithm was designed to minimize the duration of the transition period at critical nodes. Over the last two decades, the same trend remained. The amount of applied empirical methods was greater than the number of the developed mathematical methods. However; more attempts to design new mathematical methods were made: Abbas et al. [18] presented a traffic signal offset transitioning algorithm as an integrated optimization approach. Selekwa et al. [19] proposed a methodology to optimize traffic flow based on dynamic quadratic optimization. Lee and Williams [20] presented a nonlinear mathematical model that provides constrained delay minimization. Other studies about transition have oriented their efforts in optimizing time-of-day break points at a coordinated actuated traffic signal control system [21, 22]

Existing mathematical methods aim to optimize only one measurement of efficiency and only minimize secondary factors such as parameter variation or time spent in transition. This can be seen as a disadvantage because complex methods are required to resemble prevailing conditions. This issue was pointed out by Selekwa et al. [19] and Penabaena-Niebles et al. [15] which stated that existing methods usually are not based on any optimization procedure and measurements of traffic flow are not optimized. As a result, the need of a more complex mathematical method able to resemble in a more accurate way the existing conditions arises. Consequently, there is an opportunity to design new mathematical models that provide solutions to the transition problem by simultaneously optimizing more than one measurement of efficiency and using advanced solution techniques.

The design of a mathematical model is presented in this paper in order to enhance the performance of traffic signals coordination at intersections during the transition phase. This model describes the transition in terms of coordination parameters of all intersections in an arterial road to minimize the social cost during the transition phase expressed in function of the delay cost, fuel consumption cost, and air emission cost. An ant colony algorithm determines the optimal parameters of coordination and the social cost due to transition, including user and environment costs. This method is considered because its main advantage is to allow the construction of the solution space, avoiding the generation of infeasible solutions. This issue is typical of evolutionary algorithms such as GA in the stage of crossover [20]. Also, its speed in processing time and suitability are considered relevant for dynamic problems [21–23] because of the complex characteristics of the problem under study and the importance of obtaining small response times.

The proposed model was designed to quantify the economic impact of a transition that benefits all modes of travel, improving not only measurements of traffic flow but also influencing the reduction of gas emissions and fuel consumption. Frequently, when a solution to the congestion problem is given, solutions are chosen separately, with the risk of causing the exacerbation of other problems. Only by considering multiple objectives, the full value of a mathematical model can be correctly addressed. The proposed model aims to generate a broad range of direct and indirect benefits. Primarily, it is intended to minimize the cost related to delay time, fuel, and gas emissions. However, this approach can also lead to a reduction of mileage that decreases vehicle depreciation, wear-and-tear, oil cost, and maintenance cost (repair and replacement).

The aim of this paper is to present a new method to address a complex problem, as is the transition between signal timing plans, and assess the impact regarding social cost and externalities generated during this phase, in relation to traditional methods, such as immediate, two cycles, and three-cycle transition.

#### 2. The Mathematical Model of Transition between Signal Timing Plans

The mathematical model for transition is formulated as a nonlinear mathematical model where the transition is represented as a dynamic process in the time, oriented to maintain a progression and to smooth the adjusting the coordination parameters, offset, split, and cycle length of all intersections of an arterial. This model is limited to develop only the issues associated with the transition between signal timing plans and to measure the effectiveness of the proposed model in function of the social cost related to delay, fuel consumption, and gas emissions. This section presents the mathematical formulation of transition problem.

##### 2.1. Model Approach and Basic Considerations

The proposed transition mathematical model has basic considerations. The model is oriented at minimizing delay, fuel consumption, and air emission gas during the transition period in function of the social cost established for each component of the model.

The objective function considers the effect of signals on delay, fuel consumption, and gas emissions at intersections. This assumption is important because the delay caused by a full stop may affect in a particular manner the vehicle acceleration and deceleration trajectories, fuel consumption, and air emissions. The presence of traffic signals causes interruptions in traffic flow because vehicles decelerate when they approach a stop line and signal turns red. Then, they stand still until the signal turns green. Finally, vehicles accelerate to pass the intersection [23]. This concept is used assuming no initial queue and no queue move up delay.

The constraint search spaced for transition procedure is defined by the strategies implemented by Lee and Williams [20]. Stepwise changes in offsets are associated with specific stepwise changes in background cycle length and vice versa during the transition phase. Thus, a common cycle length is maintained for the operations of a coordinated arterial, preserving the correlation between system cycle length and offset during the transition period. The authors demonstrated that this technique results in a more efficient transition. Precedence constraints during the transition period are developed to ensure that the total variations of control variables are within the levels of change established during the transition period. Finally, conditions for the standard NEMA dual ring structure for signal timings are contemplated.

##### 2.2. Transition Problem Variables and Objective Function

The proposed mathematical transition model has four decision variables: the number of steps of the transition , the offset shift in the intersection on each transition step , the common cycle length shift on each transition step , and the green effective timing in the intersection on each step for the movement . The number of transition steps is the number of cycles needed to complete the transition. The offset change is the offset variation between transition steps, where offset is defined as the start of the green time on the coordinated phase of an intersection relative to the start of green time at a reference intersection. The common cycle length change is the common cycle length variation between steps during the transition, where the cycle length is the time needed to complete a rotation through all phases. It must be the same for all intersections in the coordination plan to maintain a consistent time based relationship [24], perform the effect of the transition, and ensure progression in the network. The split change is the variation of the green time in a phase within cycle between transitions steps.

The objective of the mathematical model in this research aims is to minimize the social cost during the transition period using the social cost function proposed by Peñabaena-Niebles et al. [25]. This model considers a generalized cost involving the effect of signals on the delay time, fuel consumption, and gas emissions at intersections. Therefore, the social cost function, which is applicable to any network of intersections with unsaturated traffic flow, is as presented in where is the intersection, is the transition step, are the movements by the lane or lanes, is the type of vehicle, and is the type of gas emission. In the model, the social cost (SC) is computed as the sum of driver or user cost and environment cost. In turn, the driver costs are given as an average delay by vehicle and the fuel consumption including the time cost per person in the vehicles and the vehicle operating costs . The cost is estimated using the vehicle occupation time , the average income, and a time value factor that turns average income into a value of time [26]. Meanwhile, the operating cost factor of the vehicles is formed by the fuel costs, tires, oil, repair, and maintenance. Similarly, the environment cost is the price or the monetary valuation of the greenhouse gas emissions considering the global warming potential of the emission according to the type of gas to be evaluated .

In this formulation, the Highway Capacity Manual (HCM) [27] delay model was selected to estimate average control delay per vehicle for each intersection in a corridor or arterial road, assuming no initial queue. This delay model is expressed in terms of cycle length, green time, progression factors, and traffic flow. In order to determine the delay in (1), the effect of the quality of progression in the coordinated movement was considered by calculating a following previous work by Lee [28]. Based on this, the percentage arrival under green is calculated assuming that vehicles released from upstream signals will reach the downstream signal in the free flow travel time, allowing a platoon of vehicles to move through several signals without stopping. The fuel consumption and gas emission components included are estimated according to the models proposed by Akçelik [29] and Frey et al. [30]. In order to evaluate the impact of signalized intersections on fuel consumption and air emissions, both components are based on the assumption of three independent amounts corresponding to three driving modes: idling, acceleration, and deceleration.

##### 2.3. Feasibility Constraints

This section explains the conditions that define the space of possible solutions or restrictions in the proposed transition model. First, (2) sets out an equal cycle length for all intersections of the coordinated arterial defined as the common cycle length () on each transition step .Besides, (3)–(5) determine the signal timing transition plan or the values of parameters of coordination: cycle length ( and phase green time () for the movement and offset () in function the change for all intersections in each transition step . Explicitly, (2) and (3) allow the existence of system or common cycle lengths () and consider the relationship between offset and cycle length , in all intersections in each transition step . This is necessary to provide progressive operation between intersections.

Equations (6) ensure that the total variation in the parameters coordination is inside of the level of change established for old and new signal plan (before and after transition signal plan). For this, it is necessary that the optimal signal timing plan parameters are determined before and after the transition period.In turn, (7) are precedence constraints and allow that coordination parameters are within the interval between previous step cycle length and cycle length after the transition. The set of constrains defined by (8) are the conditions for the standard NEMA dual ring structure for signal timings, where and are the yellow and red time of intersection at the transition step for movement , respectively.Finally, (9) sets the maximum number of transition steps regarding the analysed period and the initial cycle length .

#### 3. Ant Colony Optimization

For solving the mathematical model for the transition between signal timing plans, the problem will be represented as an Ant Colony Optimization (ACO) problem, where the ACO algorithm is designed to find the transition parameters that minimize social cost.

ACO is inspired by the cooperative behaviour of real ant colonies and their process to find a food source [31]. These ants deposit a chemical substance, called pheromone, which is accumulative and evaporative, in order to mark some favourable paths that other members of the colony should follow. ACO is an iterative algorithm, in which each iteration, a set of possible solutions, is constructed using artificial ants [32]. At each step, the ants travel the shorter path following the pheromone trail left by previous ants. The pheromone trails tend to evaporate, which means that it decreases when few ants travel on the path and increases when many ants travel on it. Consequently, the pheromone evaporates faster on long paths and short paths occur opposite. This phenomenon causes that all the ants tend to travel the shortest path.

Ant colony optimization was designed by Dorigo and Caro [33] as a metaheuristic or an algorithm that can be applied to different optimization problems with some modifications. Initially, this algorithm was used to solve single objective problems based on the traveling salesman problem (TSP). However, recently it has been applied to combinatorial optimization problems such as distribution scheduling problem, vehicle routing problem, and railroad blocking problem, among other applications [34–38]. ACO has been applied to transportation systems optimization, but these works have been oriented to find optimal signal setting in function of traffic demand [39–41].

In this research, ACO generates the coordination parameters during transition cycles, which are a signal plan for each step to achieve the transition. Then, the social cost is determined using the transition plan to evaluate the actual transition plan and improving the set of parameters coordination in the next iteration. This is repeated until the solution converges to a minimum value or a previously defined number of iterations are reached. The next subsections describe in detail the implementation of ACO algorithm for solving the minimization problem.

##### 3.1. Ant Colony Preparation

The algorithm begins assuming a number of ants in the colony . In this problem, three subtypes of ants (AntD, AntF, and AntE) are defined and all of them are associated with delay cost, fuel consumption cost, and air emission cost, respectively. The number of ants for each subtype is the third part of the total population or ants in the colony; that is, all components of the objective function are equally important.

##### 3.2. Constructing Ant Solution

Ants are randomly placed on a solution space that represents a multidimensional structure where all possible solutions of the problem are defined. A set of possible discrete values for each of the problem variables is assumed. For this, it is necessary to set a single solution. In this case, the proposed mathematical transition model has four decision variables: number of transition steps, offset change , common cycle length change , and effective green time or split change . Cycle length () can be calculated from and offset change using (3). Concurrently, split change can be obtained from cycle length using (5) and (8). Steps , common cycle length change , and offset change must be known to find a solution. This means that a set of different values for each of the variables should be obtained. The decision variable is restricted as an integer number (see (9)) and the common cycle length change and offset change are two multidimensional arrays. Therefore, there are much more possible ways of being generated.

Nevertheless, for indices and , the values of and are restricted by (2) and (4). Therefore, they can only vary independently through index . To avoid generating random values on each one of the* j* submatrices of and , these values are interpolated with an exponential function. At the same time, this allows that the obtained solutions are analysed more properly in order to infer rules that lead to a better understanding of them.

Considering the above assumptions, (2) and (4) are redefined as follows:The values of and are given as parameters for all interceptions , as well as all the values for and for all interceptions . Consequently, the only unknown variables in equations are and , which are exponents that allow the output of the function to vary according to them. Therefore, a solution can be generated just with three parameters: , , and , which are the three dimensions in the space solution.

Different values of and yield different interpolations for a solution. One of the properties of the exponential functions is as follows: If , then for Also, due to the fact that the exponential function is monotonically increasing in its entire domain, (2) and (4) are always respected.

Then, the solution space is a three-dimensional structure that contains all possible triplets composed by , , and ; thuswhere* N* is the set of all the possible values for and* C*Pow and ΦPow are all the possible values for and , respectively.

The values of and affect the interpolation in (10). For values below one, they define an initially fast growing and lastly slow growing curve, and values above one describe the opposite. Finally, when or are equal to 1, they yield linear interpolation functions.

Hence a reasonable range for ΦPow and* C*Pow, which allows the comparison of different behaviours of the objective function, isHowever, these values can vary because they are parameters in the constructor of solution space.

##### 3.3. Defining Probabilities

Once the ant colony and the solution space are instantiated, ants can start to move. Ants of different types are randomly distributed through the solution space at the beginning of the algorithm. Each ant must be initialized with values for its coordinates in , , and axes. They are used as parameters to build the solution corresponding to that location in the space.

A move of an ant means a change in its position from one point in the solution space to another, generating a new solution. However, there are some restrictions: first, the same ant must not have visited the same position before and second, that point must be in the neighbour. These points are obtained either by adding or by subtracting one unit to exclusively one of the coordinates , , and of the current position. The number of movements for any ant is given as a parameter of the algorithm and referred as iterations.

In ACO algorithm, the probability that an ant moves to more than one neighbour point is given by the following expression:where is the amount of pheromone deposited in the point (, , ) of the solution space, is a parameter that controls the influence of , is the attractiveness of a point in the space, and is a parameter to control the influence of .

##### 3.4. Selection and Evaluation of Paths

The class solution provides all the functionality needed to get the output value of the social cost. Ants define this value, depending on their type (AntD, AntF, and AntE) to obtain the attractiveness of their neighbour points in the solution space as expressed in (16), in which is the objective function that corresponds to the ant type

##### 3.5. Updating Pheromone

Each time that ants move through the solution space, they leave a trail of pheromone. It is accumulated in a three-dimensional floating point array within the class solution space. This matrix is updated as follows. For each ant, a trail of pheromone is added to the same point of the solution space where the ant is located in the neighbour points:where represents the pheromone trail left by an ant and a value inversely proportional to the distance of the neighbour point to the original point where the ant was located.

At the end of the iteration, the trail evaporates based on (16), where is the pheromone evaporation coefficient.The ACO process is finished either if the number the iterations is reached or until the process converges. This means that all the ants choose the same best path.

#### 4. Numerical Example

A hypothetical linear network with three signalized intersections adapted from the case presented by Lee and Williams [20] was used to execute the proposed mathematical model for transition. Also, the effects of transition timing plans optimized in stops, delays, and its impact on the social cost during the transition period were evaluated.

As shown in Figure 1, each approach of the intersections is configured with a single exclusive left turn lane, 3 full lanes on the main street, and 1 full lane on side streets. The turning movement ratios for each intersection are set to 15%, 75%, and 10% for the left turn, through, and right turn movements, respectively.