<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Optimization of urban semaphore times turning into JSSP</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Antonio M R Almeida</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jose A F Macedo</string-name>
          <email>jose.macedo@dc.ufc.br</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Javam C Machado</string-name>
          <email>javam.machado@dc.ufc.br</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Federal University of Ceara</institution>
          ,
          <addr-line>Fortaleza CE 60440-900</addr-line>
          ,
          <country country="BR">Brazil</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The objective of this paper is to cover the research in the area of adaptive traffic control with emphasis on applied optimization methods. A distinction can be made between classical systems, which operate with a common cycle time, and the more flexible ones, phasebased approaches, which are shown to be more suitable for adaptive traffic control. Classic optimization solutions for this problem result in a model which is relatively easy to represent but may be difficult to fit into the standard mixed-integer programming (MIP) scheme. We propose an alternative approach to find an optimal global solution for the green wave problem on hot routes, which consists of reducing it to a Job Shop Scheduler problem using the Webster Model to adapt the cycles to road characteristics and average traffic speed.</p>
      </abstract>
      <kwd-group>
        <kwd>Trajectory Pattern Mining</kwd>
        <kwd>Green Wave</kwd>
        <kwd>Traffic-Light Scheduler</kwd>
        <kwd>Job Shop Scheduler</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>INTRODUCTION</title>
      <p>In recent years, there has been a significant increase in the number of systems
with built-in GPS function. The proliferation of these devices allowed the
collection of a large number of GPS trajectories. Many applications, such as route
planners, route finders, and georeferenced social networks, began using GPS data
information to provide new services that were not previously available.</p>
      <p>Traffic congestion is one of the leading causes of productivity loss and
decrease of living standards in urban settings. The data generated by smartphones
with GPS provide rich datasets that can be mined to offer solutions to urban
traffic problems. Our problem creates an optimization method to program traffic
lights that encourages the creation of convoys of vehicles forming a green wave
of routes with greater flow, using as input the flow variation estimated by GPS
trajectories as input.</p>
      <p>
        Traffic congestion causes delays that add significant costs to society and
business on a daily basis and also increases CO2 emissions and the risk of accidents.
The study [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] reports that in 2002, people who spent 100,000 hours in queues on
Greater Copenhagen’s road infrastructure, generated an economic loss of more
than 750 million euros.
      </p>
      <p>
        In order to alleviate traffic congestion, there are basically two solutions:
improving public transportation or expanding road infrastructure. In urban areas,
the latter is often impossible due to residential areas adjacent to existing roads.
A more subtle way to improve network performance is to make better use of
existing roads, which can be achieved in part by proper configuration,
optimization of traffic signal parameters, increasing the overall flow efficiency of vehicles
and reducing losses.[
        <xref ref-type="bibr" rid="ref19">19</xref>
        ]
      </p>
      <p>
        This paper is an extended version and clarify the novel scientific content
presented in the manuscript GPS2GR [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] of the same authors.
2
2.1
      </p>
    </sec>
    <sec id="sec-2">
      <title>BACKGROUND</title>
      <sec id="sec-2-1">
        <title>Green Wave Problem</title>
        <p>
          Mobility is one of the most significant concerns in the world’s largest cities. Due
to the growth vehicle fleet levels and the limitation of urban roads, It can be
assumed that the vast majority of vehicles exceed the flowing capacity of large
cities. Paper [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] studied the optimization of urban traffic using an Automaton
cellular traffic model. This study demonstrates the effect of signal control
strategies on vehicle traffic. In addition, it has shown that traffic controlled by traffic
lights can be reduced to a simpler single-line problem.
        </p>
        <p>
          Another study [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ] investigated traffic flow controlled by traffic lights on a
single track route using the ideal speed model. previous studies differ in the
relationship between road capacity and the saturation limit. The [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ] study described
vehicle traffic through a sequence of traffic lights on a highway and presented a
dynamic model in which a vehicle is prevented from passing other vehicles.
        </p>
        <p>Figure 1 has an illustration with an example of a graph with a vehicle in the
space and time dimensions and the constraints for the green wave to occur. In
this the vehicle must be maintained between a minimum and maximum average
speed, thus maintaining the synchrony of displacement in the physical space of
the track and the elapsed time</p>
        <p>The definition of the problem consider the flow of vehicles passing through
a finite series of traffic lights. Each vehicle moves at an average speed v, the
path is not blocked by other vehicles and there are no non-synchronized traffic
signals. We consider vehicle traffic in the one-dimensional network. It encourages
the formation of vehicle trains through the orchestration of traffic lights where
vehicles tend to travel together, all with the average speed of the v route. In
synchronized strategy, all traffic lights change simultaneously from red to green,
and vice versa over a fixed period of time. The sum of the times is called the
cycle time.</p>
        <p>In the green-wave strategy, the traffic light changes with a certain time delay
t shifted between the semaphore phases of two successive intersections. The delay
time is called the travel time. The change of traffic lights spreads backwards, like
a green wave.</p>
        <p>When a vehicle arrives at a traffic light and the light is red, the vehicle stops
there. Then, when the traffic light changes from red to green, the vehicle moves
on. On the other hand, when a vehicle reaches a traffic light and the light is green,
it does not stop and keep moving without changing the speed (green wave).
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Systems for Offline Optimization</title>
        <p>
          Definition 1 (Hot Route) It is used to reveal the common behavior of a set
of paths in a given time window. The hot route in this context is the sequence of
adjacent edges that share the certain amount of traffic (minTraffic) defined as a
parameter. [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ]
Definition 2 (Convoy) Grouping of vehicles in space-time following a
common flow at the average track speed held together in a green-wave window.
Definition 3 (Webster model) Study on semaphore times and formulas that
defines a simplified model of relation between the traffic lights times. [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ]
Definition 4 (Green Route) Is a Green Wave over a Hot Route. Green Route
has the advantage of optimizing the flow independent of the path that the flow
follows in that time window.
        </p>
        <p>A lot of research has been done since the 1960s on offline traffic optimization
systems. In order for the mathematical model to be solvable without an external
evaluation tool, such as TRANSYT, it must contain functional constraints that
relate, for example. the appropriate displacement for traffic lights along
arterial parameters for the specific flow, such as the saturation flow rate and the
vehicle convoy dispersion factor. Considering a typical optimization formulation
involving a common cycle time, divisions and green compensations, even
considering a discretization of time, the search space of a solution is very broad,
especially when considering some form of simulation to obtain the target value.
Systems that operate in this way are best suited for off-line use, because trial
runs have resulted in very costly processes, typically of several hours, even for
small networks.
2.3</p>
      </sec>
      <sec id="sec-2-3">
        <title>Adaptive &amp; Cooperative Systems</title>
        <p>
          The adaptive traffic control systems aim to coordinate the controlled
intersections by signal, controlling a performance index that indicates an optimized
solution, but possibly not optimal. They do this by dynamically adjusting cycle
times, phase sequences, and green time according to both detected and predicted
traffic, thus reacting to dynamic aspects of traffic that cannot be captured by
the static optimization routines used to generate time-of-day plans. Here we
cite three adaptive operating systems: RHODES [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ], Phase-by-Phase [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ] and
DOGS [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ]. These proposals offer solutions that converge at a time t to a
minimum that can be local. Simplifications commonly used as standard cycle times
may not be suitable for large networks.
2.4
        </p>
      </sec>
      <sec id="sec-2-4">
        <title>Traffic density-based discovery of hot routes in road networks</title>
        <p>
          This work [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] proposes a new density-based algorithm named FlowScan.
Instead of clustering the moving objects, road segments are clustered based on the
density of common traffic they share.
2.5
        </p>
      </sec>
      <sec id="sec-2-5">
        <title>The Job-Shop Scheduling Problem (JSSP)</title>
        <p>The problem Job-Shop Scheduling is classified in the literature as NP-Hard, that
is, it is a problem for which there are no algorithms that solve it at polynomial
time. It is a combinatorial optimization problem (Souza, 2001), which is an
explicit or implicit enumeration of all possible alternatives to search for satisfactory
solutions or the search for the optimal solution, depending on the class of the
optimization algorithm used.</p>
        <p>The optimization algorithms can be classified into two classes: mathematical
models (search for optimal solution) and heuristics (search for approximation).</p>
        <p>
          Since the problem of optimizing green waves on public roads is of NP-Hard
complexity, the solutions have been adaptive methods [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ] to find local solutions
through trial and fee-feedback, similar to the methods of signal processing. In
figure 2 it has a runtime Pi that corresponds in the original problem to the green
time of the traffic light and a time to start Ti that corresponds to the time that
the convoy will take to reach the traffic light.
        </p>
        <p>Consider a set of n tasks (jobs) and a set of m machines, where each task
is composed by a set of operations whose execution order is defined. For each
operation, we want to know in which machine it must be executed and the
necessary time for it to be completed. Each convoy becomes a task, which runs
on multiple machines (traffic lights) synchronously.</p>
        <p>– A task cannot be assigned to the same machine twice.
– There is no order of execution in relation to different task operations.
– An operation cannot be interrupted.</p>
        <p>– Each machine can process only one task (operation) at a time.
The purpose of JSSP is to distribute tasks among machines so that the processing
time necessary to finish executing all of them (also known as makespan) is as
small as possible. In other words, we want to determine the sequence of machines
that minimize the makespan.</p>
        <p>In our approach, we made a reduction of the problem of the green wave to
a problem of Job Scheduler where the traffic lights are the processors and the
convoys of vehicles are the tasks.
2.6</p>
      </sec>
      <sec id="sec-2-6">
        <title>Simulation of Urban MObility</title>
        <p>
          Simulation of Urban MObility (SUMO)[
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] is an urban traffic microsimulation
framework, including import modeling and demand generation components. SUMO
helps to investigate various research topics such as route selection algorithms and
traffic signal programming or vehicle communication simulation. Therefore, the
framework is used in different projects to simulate automatic driving or traffic
management strategies.
        </p>
        <p>In our work, we use the SUMO traffic simulation mechanism to compare the
base-line with constant traffic times, but optimized against the traffic-light times
produced by the GR algorithm.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>METHODOLOGY</title>
      <p>Our approach provides a flow optimization solution on previously identified Hot
Routes. We propose a method to optimize convoys of vehicles on hot routes.
These clusters of vehicles will gain benefit from the green light exchange, when
they are approaching an intersection. However, these convoys of vehicles need to
have an average speed that matches the average speed of the hot route. We have
concluded our approach by offering an alternative way to solve the optimization
problem, reducing it to a job shop scheduler problem, and applying a branch &amp;
bound method to solve it.</p>
      <p>In short, the proposed GR algorithm produces a green wave over predefined
flows using combinatorial optimization approach to arrive at the best solution
for an urban context.
3.1</p>
      <sec id="sec-3-1">
        <title>Webster model</title>
        <p>
          According to the Webster model in the table 1 for urban semaphores [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ] ,
the yellow time of an isolated semaphore is given by the equation 1. For usual
situations, we can consider the driver’s reaction time Td = 1s and an average
deceleration given by a = 2.8m/s. Therefore, the yellow time depends on the
velocity in the approaching pathway (V).
        </p>
        <p>Ty = Td + 2Va (1)
For simplicity the standard defined in the table 2 is adopted for Ty.</p>
        <p>The general red time Tgr, see table 3, of an approximation is a function of
the following variables:
– Velocity V of this approximation;
– Width L of the track to be crossed (of the distance to be covered by the</p>
        <p>Vehicle within approach);
– Vehicle c length;</p>
        <sec id="sec-3-1-1">
          <title>Approaching pathway Ty</title>
          <p>Street - 40Km/h 3s</p>
          <p>Avenue - 60Km/h 4s
Expressway - 80Km/h 5s</p>
          <p>Table 2. Yellow time
– Clearance time Tf (minimum time elapsed between the beginning of time of
the transverse track and the moment of entry of a vehicle into Speed).</p>
          <p>Considering the usual situations, the following parameters were adopted:
– Secondary roads (streets) with a maximum width of 9 m, and speed of 40
km / h
– Preferred routes (avenues) up to 30 m wide, and speed 60 km / h;
– Vehicle of 5 m;
– Clearance time Tf = 1.2s.</p>
          <p>According to Webster’s model, we must adopt sub-multiple cycles of time or
programming period, to enable any change of plans without cutting abruptly
the time of green current, never adopt Tc less than 30 s and only in special cases
accept Tc greater than 120 s</p>
          <p>Tc = Tg + Ty + Tr + Tgr, 30 ≤ Tc ≤ 120</p>
          <p>The concept of minimum green time Tg−min is associated with the concept
of time-wasted of the Webster model and must be respected under the penalty
of causing major traffic jams. In table 4, the usual values of Tg−min are shown:</p>
          <p>To define the percentage of the cycle that corresponds to green, we adopted
a proportion of traffic volume between the approach path and the secondary
pathway, that is, where Fa is the approach path flow and Fb the secondary path
flow, then</p>
          <p>Tg = Tc − Ty − Tgr ∗ Ta/(Ta + Tb)</p>
          <p>Tc = Tr + Ty + Tgr + Tg
(2)
(3)</p>
          <p>Approaching pathway minimum green time Tg−min</p>
          <p>Street - 40Km/h 12s</p>
          <p>Avenue - 60Km/h 15s
Expressway - 80Km/h 17s</p>
          <p>Table 4. Minimum green time
3.2</p>
        </sec>
      </sec>
      <sec id="sec-3-2">
        <title>Implementation of Green Route</title>
        <p>
          The classic problem of optimizing [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ] the semaphore scheduler to produce a
green wave effect on a path is represented by the following mathematical model,
see notation in table 5:
min
        </p>
        <p>T T (Ψ, q∗(Ψ )) =</p>
        <p>L
X ql · tj (Ψ, q∗(Ψ ))
l=1
subject to : Cmin,n ≤ Cn ≤ Cmax,n,</p>
        <p>0 ≤ θn ≤ Cn − 1
φmin,np ≤ φnp ≤ φmax,np</p>
        <p>Cn =</p>
        <p>Pn
X(φnp + Inp)
p=1</p>
        <p>∀n,
∀n,p,
∀n
(5)</p>
        <p>
          We propose an optimized method that reduces the green-wave problem to
the Job-shop scheduler problem, allowing the use of Branch and Bound solver
[
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] to find an optimal solution to the original problem.
        </p>
        <p>
          We generate convoys on the hot routes and look for an optimal solution for
these convoys to travel on hot routes without colliding. Inspired by the work
[
          <xref ref-type="bibr" rid="ref11">11</xref>
          ] we propose the formation of virtual convoys of vehicles on a hot route,
optimizing the displacement of these convoys along the hot route. With this
model the sequence of block subsections traversed by a convoy are viewed as a
set of machines in a job shop scheduling problem, where convoys correspond to
jobs. The traversing of a block subsection by a convoy is called an operation oi,
and requires a running time pi. [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ]
3.3
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>Reduction of the green wave problem to Job-shop scheduler</title>
        <p>Consider the following transformations from the original semaphore optimization
problem to a JSSP:
– Traffic lights are mapped to the processors
– Convoys are formed to replicate the Webster cycle on the Hot Route
– Convoys are mapped to the Jobs
– Green time is the job run time
– Webster model are problem constraints
– We will use the branch and bound method to find an optimal solution that
minimizes makespan
– The solution generates a set of Jobs that can execute without conflicts in
the processors, that is, a set of convoys of vehicles that travel at the average
speed of the route and are able to pass in all the open semaphores
In this way the JSSP variables are:
– Job-shop(Jm): In a job shop with m machines (traffic lights), each job
represents a car convoy that has a particular and predetermined route to
follow (hot route)
– Processing time (pij): The pij represents the processing time of the Job
j on machine i.
– Makespan (Cmax): The makespan (manufacturing time), defined as Max
(C1, ..., Cn), the end time of the last job leaves the system. A minimum
manufacturing time usually implies maximum use of the machine (s).</p>
      </sec>
      <sec id="sec-3-4">
        <title>3.4 Implementation details</title>
        <p>
          The whole implementation was done in C# language, because some of the
baseline algorithms were originally written in this language. The implemented code
is available in the GitHub repository. [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ]. The input of GR algorithm are Route
Routes and Map (OSM) and the output is the traffic light scheduller (XML).
4
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>SIMULATION RESULTS</title>
      <sec id="sec-4-1">
        <title>4.1 Input data</title>
        <p>
          For testing purposes, we used real trajectory data extracted from Taxi Simples,
a taxi company based in Fortaleza, Brazil. [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] This dataset had a very high
        </p>
        <p>ALGORITHM 1: GR - Green Way over Hot Route</p>
        <sec id="sec-4-1-1">
          <title>Input: R[] set of trajectories with flow annotation</title>
          <p>Output: S set of scheduler for all traffic light
1 P rocessors ← {};
2 Jobs ← {};
3 w ←WebsterModel(R[]);
4 w.greentime ← w.mingreentime;
5 (w.greentime++ &lt;= w.maxgreentime) P rocessors ← DTL(R[], w);
6 Jobs ← MC(R[], w);
7 s ←JSSP.Solver(Processors, Jobs);
8 if s!= null then
9 break;
10 end</p>
          <p>
            /* repeats by increasing the green time, in search of a solution
11 return s;
/* s variable contains an optimal solution
*/
*/
ALGORITHM 2: MC-MakeConvoys
ALGORITHM 3: DTL-DiscoveryTrafficLights
frequency sampling rate, but was filtered down to reflect one with a low-sampling
character. Maps in OSM XML format were obtained from OpenStreetMap and
then parsed into a road network-like graph data structure using an XML parser
written in C# [
            <xref ref-type="bibr" rid="ref1 ref22">22, 1</xref>
            ] . The dataset used has collected data paths in the period
between 11/14/2015 and 09/05/2016, containing 22,791,003 GPS points.
4.2
          </p>
        </sec>
      </sec>
      <sec id="sec-4-2">
        <title>Experiments Setup</title>
        <p>For the experiments, we used a Intel (R) Core (TM) i7-4770S CPU @ 3.10GHz
with 16GB RAM memory, 256KB Cache L1, 1.0 MB Cache L2 and 8.0 MB
Cache L3.</p>
        <p>
          The trajectory data of the Taxi [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] were downloaded and unzipped, and the
day 6/5/2016 was randomly chosen to perform the experiments of this article,
which alone contains 749,049 GPS trajectory points. The format of the files was
converted from CSV to GPX, and the city map of Fortaleza was downloaded
from the website Open Street Map [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ].
        </p>
        <p>To demonstrate the effectiveness of our algorithms, we perform the sequence
of the following steps on the raw data of GPS trajectories in the city of Fortaleza.
4.3</p>
      </sec>
      <sec id="sec-4-3">
        <title>Experimental Results</title>
        <p>
          To evaluate the GR algorithm we used frequent routes obtained from the data
set of taxi trajectories mentioned above, using routes that contained traffic lights
in their route and where there were intersections. To extract the Hot routes we
use the Flowscan algorithm[
          <xref ref-type="bibr" rid="ref13">13</xref>
          ], we use the minTraffic = 1 parameters to ensure
that the Hot Routes have the greatest possible coverage of the trajectories of
the city. We used the Webster Model to calculate cycle times based on highway
type parameters and average track speed.
        </p>
        <p>All the approaches used in this study showed very promising results and
high applicability. Based on real-time trajectories of raw data we can obtain the
city traffic behavior at each time slice where the behavior is linear. The query
visualization can be used as a tool to discover the higher density flow (hot routes)
and influence the creation of public policies for urban traffic.</p>
        <p>
          In our experiments, we used the Simulation of Urban Mobility (SUMO) [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]
software (version 0.29.0). That tool is open source, and has a tremendous
efficiency on large sets of data routes. Moreover, to show the effectiveness of
the Green Route algorithm, three simulations were performed on a Intel(R)
Core(TM) i7-4770S CPU @ 3.10GHz.
        </p>
        <p>In each simulation, we isolated a fixed number of hot routes, using one in the
first experiment, two in the second, and finally three on the third. In addition, for
each hot route, we extracted its respective traffic lights, latitude and longitude
positions. Furthermore, in order to execute the experiments, we had to calculate
the rate of cars passing on each hot routes. For that, each hot route has an
attribute called traffic segment, which tells us the number of vehicles in that
specific segment. Therefore, by summing up all the traffic segments (on each hot
route), we get the rate of cars.</p>
        <p>On SUMO, for each simulation, we measured the average trip length (s), the
average trip duration (s), and the average waiting time (s). For each simulation,
we first performed it using the default traffic lights of the SUMO software, which
are generated based on the common traffic of the route. Only after, we performed
it again but then using our traffic lights configuration, in which we get it from
our GR algorithm.</p>
        <p>In Table 6, we present the results of the simulations for the first, second, and
third scenarios. In the first line, we show the amount of vehicles loaded, then
in the second line the number of hot routes, and finally on the third line the
is show lane length (km). The remaining ones are the measures that we used
throughout the simulation.</p>
        <p>Listing 1.1. Part of scheduler file from GR
&lt;?xml v e r s i o n = " 1 . 0 " e n c o d i n g ="UTF−8"?&gt;
&lt;s c h e d u l e r &gt;
&lt; t r a f f i c −l i g h t i d ="0"&gt;
&lt;g r e e n s t a r t = " 0 0 : 0 0 : 0 0 " end = " 0 0 : 0 0 : 1 7 " /&gt;
&lt;g r e e n s t a r t = " 0 0 : 0 0 : 3 4 " end = " 0 0 : 0 0 : 5 1 " /&gt;
&lt;g r e e n s t a r t = " 0 0 : 0 1 : 0 8 " end = " 0 0 : 0 1 : 2 5 " /&gt;</p>
        <p>Second scenario
% SUMO GPS2GR
6291 6291</p>
        <p>3 3
653,26 653,26
%
Simulation First scenario</p>
        <p>SUMO GPS2GR
loaded vehicles # 791 791
rot houtes # 1 1
total lane length (km) 84,94 84,94
Average time</p>
        <sec id="sec-4-3-1">
          <title>Trip1 waiting time (s)</title>
          <p>Trip duration (s)
Trip time loss (s)</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>DISCUSSION AND CONCLUSIONS</title>
      <p>
        We were able to complete an implementation and tests of the GR algorithms.
This algorithm converged and generated optimized solutions of the opening and
closing times of the traffic lights along the hot routes [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ].
      </p>
      <p>We prove by simulation that the solution obtained by the GR algorithm
is optimal since its optimal solution is always better than the good solutions
generated by heuristic methods. Optimization on rot route can solve classic
vehicle containment problems at the end of a green wave, as it takes into account
flow optimization, that is, green wave overflow, no matter what its path is.</p>
      <p>As future work we can consider the application of GR algorithm on real time
information streaming in order to reflect real time aspects of the flow such as
accidents, road maintenance, etc.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Almeida</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lima</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Macedo</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Machado</surname>
          </string-name>
          , J.:
          <article-title>Dmm: A distributed mapmatching algorithm using the mapreduce paradigm (</article-title>
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Almeida</surname>
            ,
            <given-names>A.M.</given-names>
          </string-name>
          R.: https://github.com/antoniomralmeida/TPM (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Almeida</surname>
            ,
            <given-names>A.M.R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Leite</surname>
            ,
            <given-names>J.L.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Macedo</surname>
            ,
            <given-names>J.A.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Machado</surname>
            ,
            <given-names>J.C.</given-names>
          </string-name>
          :
          <article-title>Gps2gr: Optimized urban green routes based on gps trajectories</article-title>
          .
          <source>In: Proceedings of the 8th ACM SIGSPATIAL Workshop on GeoStreaming</source>
          . pp.
          <fpage>39</fpage>
          -
          <lpage>48</lpage>
          . IWGS'17,
          <string-name>
            <surname>ACM</surname>
          </string-name>
          , New York, NY, USA (
          <year>2017</year>
          ). https://doi.org/10.1145/3148160.3148167, http://doi. acm.
          <source>org/10</source>
          .1145/3148160.3148167
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Behrisch</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bieker</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Erdmann</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Krajzewicz</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>Sumo-simulation of urban mobility: an overview</article-title>
          .
          <source>In: Proceedings of SIMUL</source>
          <year>2011</year>
          ,
          <article-title>The Third International Conference on Advances in System Simulation</article-title>
          .
          <source>ThinkMind</source>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Braga</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Taxi dataset fortaleza, ceará</article-title>
          . https://s3.amazonaws.com/txsimples_ tracking/index.html (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Brockfeld</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Barlovic</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schadschneider</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Schreckenberg</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Optimizing traffic lights in a cellular automaton model for city traffic</article-title>
          .
          <source>Physical Review E</source>
          <volume>64</volume>
          (
          <issue>5</issue>
          ),
          <volume>056132</volume>
          (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Center</surname>
            ,
            <given-names>G.A.</given-names>
          </string-name>
          :
          <article-title>Simulation of urban mobility</article-title>
          . http://sumo.dlr.de/index.html (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Corman</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>D'Ariano</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pacciarelli</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pranzo</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Evaluation of green wave policy in real-time railway traffic management</article-title>
          .
          <source>Transportation Research Part C: Emerging Technologies</source>
          <volume>17</volume>
          (
          <issue>6</issue>
          ),
          <fpage>607</fpage>
          -
          <lpage>616</lpage>
          (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Daganzo</surname>
            ,
            <given-names>C.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sheffi</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          :
          <article-title>On stochastic models of traffic assignment</article-title>
          .
          <source>Transportation science 11(3)</source>
          ,
          <fpage>253</fpage>
          -
          <lpage>274</lpage>
          (
          <year>1977</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10. Google:
          <article-title>Google optimization tools</article-title>
          . https://developers.google.com/ optimization/ (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Higgins</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kozan</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ferreira</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>Optimal scheduling of trains on a single line track</article-title>
          .
          <source>Transportation research part B: Methodological</source>
          <volume>30</volume>
          (
          <issue>2</issue>
          ),
          <fpage>147</fpage>
          -
          <lpage>161</lpage>
          (
          <year>1996</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Lauritzen</surname>
            ,
            <given-names>S.M.</given-names>
          </string-name>
          :
          <article-title>Evaluation of dogs</article-title>
          .
          <source>Danish Road Directorate</source>
          (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Li</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          , Han,
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Lee</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.G.</given-names>
            ,
            <surname>Gonzalez</surname>
          </string-name>
          , H.:
          <article-title>Traffic density-based discovery of hot routes in road networks</article-title>
          .
          <source>In: International Symposium on Spatial and Temporal Databases</source>
          . pp.
          <fpage>441</fpage>
          -
          <lpage>459</lpage>
          . Springer (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Machemehl</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shenoda</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Development of a phase-by-phase, arrival-based, delay-optimized adaptive traffic signal control methodology with metaheuristic search</article-title>
          .
          <source>Tech. rep. (</source>
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Mirchandani</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wang</surname>
            ,
            <given-names>F.Y.</given-names>
          </string-name>
          :
          <article-title>Rhodes to intelligent transportation systems</article-title>
          .
          <source>IEEE Intelligent Systems</source>
          <volume>20</volume>
          (
          <issue>1</issue>
          ),
          <fpage>10</fpage>
          -
          <lpage>15</lpage>
          (
          <year>2005</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Nagatani</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Vehicular traffic through a sequence of green-wave lights</article-title>
          .
          <source>Physica A: Statistical Mechanics and its Applications</source>
          <volume>380</volume>
          ,
          <fpage>503</fpage>
          -
          <lpage>511</lpage>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17. OpenStreetMap: Openstreetmap. http://www.openstreetmap.com/ (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Sasaki</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nagatani</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          :
          <article-title>Transition and saturation of traffic flow controlled by traffic lights</article-title>
          .
          <source>Physica A: Statistical Mechanics and its Applications</source>
          <volume>325</volume>
          (
          <issue>3</issue>
          ),
          <fpage>531</fpage>
          -
          <lpage>546</lpage>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <surname>Warberg</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Larsen</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jørgensen</surname>
            ,
            <given-names>R.M.:</given-names>
          </string-name>
          <article-title>Green wave traffic optimization-a survey</article-title>
          .
          <source>Tech. rep., Informatics and Mathematical Modelling</source>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Webster</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cobbe</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          :
          <article-title>Traffic signals</article-title>
          .
          <source>road research technical paper no. 56. HMSQ, London</source>
          <volume>111</volume>
          (
          <year>1966</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Ying</surname>
            ,
            <given-names>J.J.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shi</surname>
            ,
            <given-names>B.N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lan</surname>
            ,
            <given-names>K.C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tseng</surname>
            ,
            <given-names>V.S.</given-names>
          </string-name>
          :
          <article-title>Spatial-temporal mining for urban map-matching (</article-title>
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <surname>Zheng</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lou</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zhang</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Xie</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          :
          <article-title>Map-matching for low-sampling-rate gps trajectories (Feb 25</article-title>
          <year>2010</year>
          ), uS Patent App.
          <volume>12</volume>
          /712,857
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>