Abstract
Personal rapid transit (PRT) is a public and automated transport system in which a fleet of small driverless vehicles operate in order to transport passengers between a set of stations through a network of guided ways. Each customer is carried from one station to another directly with no stop in intermediate stations. This mode of transport can result in a high level of unused capacity due to the empty moves of the vehicles. In this paper, we model the problem of minimizing the energy consumed by the PRT system while assuming predeterministic list of orders; then we solve it using some constructive heuristics. Experiments are run on 1320 randomly generated test problems with various sizes. Our algorithms are shown to give good results over large trip instances.
1. Introduction
Using public transportation means, such as train, metro, or bus, can lead to lengthy and suffering journey. The consecutive stops at the intermediate stations, the long waiting times at the stations, and the multiple line changing make the trip less comfortable. Using private cars seems to be a solution. However, the high cost related to the fuel consumption, pollution, and congestion problems presents serious drawbacks to private car users (see Donatos and Kioulafas [1] and Banister [2]).
In order to create a new transportation technology, an increasing effort is provided by researchers worldwide in different research areas including economy, energy, urban planning, safety, sustainable development, and transport environment (see Townsend and Zacharias [3] and Chadli et al. [4]).
In this context, the personal rapid transit (PRT) is considered as an interesting emerging technology. The basic idea of PRT can be traced back to 1953. The first academic article that treated the PRT system was written by Fichter [5]. And the first real implementation of a PRT system was made in the 70s by the University of West Virginia in Morgan town to connect the threetown campus as well as the down town area. In fact, PRT is an innovative system which combines the convenience of private travel and the advantage of public transport. PRT is composed generally of an electrical driverless fleet of vehicles called pods (Figure 1) that can take passengers directly from their departure station to their destination without any stop. This is possible due to the bypasses that exist in every station (Figure 2) which allow PRT pods to bypass the intermediate stations until arriving to their destination without stopping (see Won et al. [6] and Schweizer and Mantecchini [7]). A central automatic system guides the pods through a network of dedicated guides ways [8].
(a)
(b)
There was no real interest in the PRT system until the 90s when technology progresses related to the PRT system such as battery vehicle, stations structures, and automated control systems were made (see Dahmani et al. [9] and Dahmani et al. [10]). During the 90s, different PRT projects were prospected and studied. In fact, the taxi 2000 system [11] was selected for testing and construction in O’hare airport (Rosemont, USA). At present, there are a number of PRT systems that are operational as the Heathrow airport PRT system (London, UK) which allows people to travel from the car parking to Terminal 5 in the airport and the Masdar city (Abu Dhabi, UAE) which is planned to be the first zero carbon emission city where PRT is the only powered intercity transportation system.
Two routing approaches for the PRT pods exist. The first one is the synchronous (or clear path) approach where a list of scheduled trips is planned before pods leave the depot. In this case, the central automatic system that guides the pods should prepare the route of each pod before starting the execution of the different trips [12]. The second one is the asynchronous approach where pods move from one station to another basically upon the request of customers. This approach seems more comfortable for customers but harder to control for the system supervisor. In this latter case, it becomes difficult to predict the congestion problems in the PRT network. The decision of the automatic system that guides the pods will be restricted to the assignment of the nearest available pod to the customer (see Kornhauser and McEvaddy [13] and Irving [14]).
A comparative study of the two approaches was made by Xithalis [15]. It is shown that despite the fact that the clear path approach offers less flexibility to customers, it is still much more interesting than the asynchronous approach because of its high capacity, congestionfree operation, and less topology limitations and also because it offers communications that are not realtime critical [8].
Unfortunately, both of routing approaches can result in a high level of unused capacity and wasted energy. However due to its deterministic aspect, the clear path approach offers the opportunity to optimize the wasted energy by designing optimal routing of the PRT pods based on the list of scheduled trips and the characteristics of the PRT network. In this context, many exact methods based on linear programming are presented for the vehicle routing problem with time window (see Baldacci et al. [16], Baños et al. [17], and Çetinkaya et al. [18]). These exact methods are time consuming procedures; therefore, some heuristic algorithms are presented; among them we quote briefly (Pang [19], Ursani et al. [20], and Belhaiza et al. [21]). The aim of this paper is to minimize the total consumed energy in the case of synchronous routing approach of PRT pods while ensuring all the scheduled trips.
This paper is organized as follows: Section 2 presents the problem definition and the mathematical formulation; Section 3 includes a description of the constructive heuristics proposed to solve the problem. We present the results of the proposed methods in Section 4. The conclusion follows.
2. Problem Definition and Mathematical Formulation
In this section, we present the problem definition as presented in the work of Mrad and Hidri [22]. Consider a connected network of personal rapid transit (PRT) with a finite number of stations and one depot. We assume that we have a deterministic list of trips and that the vehicles have a limited battery capacity . Thus, the road from the depot to itself while visiting some stations must never use more than electricity charge. We suppose also that we have an unlimited number of vehicles to serve all the passengers demands.
The set of trips has the cardinality . Each trip () has a departure time , a departure station , an arrival time , and an arrival station . It is worth noting that the arrival time is the departure time plus the duration of the shortest path from the departure to the arrival stations. Furthermore, denotes the lasted duration taking the shortest path from station to station .
In the sequel, we present an integer programming formulations, based on the following underlying network representation. Consider the graph , with the set of nodes , where and are two dummy nodes and is the set of arcs. Denote and , and sort the trips in the increasing order of their departure time. The set of arcs is defined as follows.(i)If with and , then we add an arc with cost representing the energy consumed from the arrival station of trip to the arrival station of trip .(ii)For each node , we add an arc (the cost of this arc is and it represents the energy used to reach the arrival station of trip , from the depot).(iii)For each node , we add an arc (the cost of this arc is and it represents the energy used from the arrival station of trip to the depot).
2.1. An AssignmentBased Formulation
In this section, an assignmentbased formulation is presented. To that aim, the following decision variables and definitions are introduced.(i), if the station is visited immediately after station and , otherwise.(ii) is the amount of charge used to reach the node from the depot.(iii)Consider for .(iv)Consider for .
In addition, we define the following:(i) is the set of nodes such that an arc exists;(ii) is the set of nodes such that an arc exists.
Hence, the minimum charge assuring the trips is equal to the optimal value of the following programming model:
Objective (1) is to minimize the total used charge. Constraints (2) and (3) require that each node must be visited and left only one time, respectively. Constraints (4) ensure the following conditions.(i)If , then with .
Constraints (5) present a trivial bound limitation on the charge needed to perform the trip . Finally, constraints (6) and (7) indicate that the decision variables are binaryvalued and are positive real variables.
3. Constructive Methods
In this section, we present three constructive heuristics for the problem considered above.
We first solve the following relaxed linear program:
However, by solving this linear program, we can get infeasible tour which consumes more energy than what the battery allows. To fix this dilemma, we propose three different algorithms which are presented hereafter.
3.1. Greedy Correction Algorithm
3.1.1. Approach
Each infeasible path can be divided into a set of feasible paths using the following method. Let be the sequence of trips that should be visited by a PRT car in the th infeasible path. We start by the first trip in the sequence and we continue to add trips while the cumulative energy required by these trips is less or equal to the battery capacity. Once the battery capacity is exceeded, a new path should be considered starting from the first noncovered node in the sequence . We continue to build feasible paths till all trips of are covered. This method will be applied on all infeasible paths.
3.1.2. Illustration
It is supposed that after the resolution of the relaxed linear program, which does not consider the battery’s capacity, we will find a set of infeasible paths. Each infeasible path begins and returns to the depot in order to make trips Figure 3 includes an example illustrating the correction of infeasible routes based on the heuristic described above. The capacity of the battery in this example is equal to 40.
3.1.3. Algorithm
Algorithm 1 describes in detail the different steps of the heuristic. We suppose that we have the procedure RelaxedProb (integer TotalCost and integer PathStructure ) which takes two parameters: an empty array TotalCost which is filled by the total cost of each path provided using this method. The second parameter is the matrix PathStructure which will be completed by all the different paths of itinerary. We suppose also that the function size (array) takes an array as an argument and returns its size. The function GreedyCost should take the structure of an infeasible path and try to correct it in order to respect the battery’s capacity. It will split the infeasible route to a set of feasible routes.

3.2. Split Correction Algorithm
3.2.1. Approach
The routefirst cluster second approach was introduced by Beasley [23]. The main idea of this approach consists of building an auxiliary graph, with the vertices of an infeasible path including the depot. An arc such that in the graph represents a feasible tour from to which visits the vertices . The final extremity of an arc represents the end of the tour, and the cost of the arc is the cost of the tour. Only arcs having cost less than the capacity of the battery are considered in the graph. An optimal partition is obtained by solving the shortest path problem on the obtained auxiliary graph. Each arc considered in the solution of the shortest path problem represents a feasible tour including trips that should be considered in the solution of the PRT problem.
3.2.2. Illustration
Figure 4 represents an application of the Split procedure to get the optimal splitting of a tour for the VRP problem. Figure 4(a) shows a sequence and the costs are written on the arcs. The middle graph contains such an arc with a cost of 55 for the trip . The bold path has three arcs, and its cost is 255. The lower part gives the resulting solution with three trips.
(a)
(b)
(c)
3.3. Optimal Correction Algorithm
3.3.1. Approach
Solving the relaxed PRT problem (RLPRT) will lead to a set of paths. Unfortunately, it is possible that some infeasible paths may exist in this set. In this heuristic, we will correct the infeasible resulting tours while considering that the set of trips included in an infeasible path is in itself a new subproblem that can be solved optimally using the formulation (PRT(1)). In fact, assuming that the number of trips that belong to only one path is reduced, then the resulting subproblem can be solved to optimality in a short time using integer linear programming.
3.3.2. Illustration
Figure 5 illustrates how a feasible solution can be found through two steps. In the first step, the resolution of the relaxed integer linear program (RLPRT) will provide a set of paths potentially infeasible because no constraint related to the battery capacity is considered. In the second step, each set of trips belonging to an infeasible path will be considered as the input of the integer linear program PRT(1) which ensures the feasibility of any solution regarding the requirement of the PRT system as described in this paper.
3.3.3. Algorithm
Algorithm 2 describes the process of solving the problem using two main functions. The first RelaxedProb (integer TotalCost and integer PathStructure ) solves the relaxed integer linear program (RLPRT). The second function InitialProb (integer trip and integer Cost ) solves the original linear program PRT(1) which takes into account the constraints of the battery. This function returns the total cost of the different tours built from the set of trips of the corrected infeasible path.

4. Computational Results
All the algorithms were coded in C++ and compiled with Visual Studio 2010. The LP instances have been solved using Cplex 12.2. All the computational experiments were carried out on a Dual Core 2.70 GHz Personal Computer with 1 GB RAM under Windows XP.
4.1. Data Sets
We generated 40 instances for 33 values of ranging in . So, in general we did test the proposed heuristics on 1320 different instances. Table 1 summarizes the generating principle of each type of instances.
In order to evaluate the results, we computed the average relative gap (GAP) defined by (i) is the solution of the heuristic.(ii)LB is the lower bound obtained by the linear relaxation of PRT(1) (see Section 2).
4.2. Results
The performance of all the developed heuristics are shown in Tables 2, 3, and 4. We could note that the best heuristic in terms of average gap is the optimal correction heuristic with a value of 5.901% and in terms of computational time the best one is the split correction heuristic which has an average time of 0.239 seconds.
5. Conclusion
Given the ecological, economic, and social interests, the personal rapid transit (PRT) is a research area that attracts more and more researchers from different domains. Optimizing the energy used by a PRT system is an important and challenging problem that has a direct impact on the cost of this new transportation mean. Since the exact approaches are time consuming and are not able to solve large instances (see Mrad and Hidri [22]), we propose in this paper to solve heuristically larger instances. In this work, three different constructive heuristics were presented. Our methods can find a high quality solution for almost all the different randomly generated instances. As an extension to this work, metaheuristics can be developed and other versions of the PRT problem can be considered by changing the charging strategy of the batteries or by limiting the fleet size of PRT vehicles.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgment
The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding of this research through the Research Group Project no. RGPVPP296.