Hyperpath Searching Algorithm considering Delay at Intersection and Its Application in CVIS for Vehicle Navigation

. The periodic change of intersection signals in urban road systems is the leading cause of uncertain delays. Therefore, aiming to minimize the travel time on the road segments and the expected delay at the intersections, a hyperpath search method based on intersection signal timing is proposed. The expanded network representation is used to capture the diﬀerent turning delays at intersections. According to the intersection signal timing, the maximum waiting time of each turn and the turning movement ratio is obtained. A “recommendation priority passable phase” guidance strategy is proposed for the cooperative vehicle-in-frastructure system (CVIS) based on the optimal hyperpath. The simulation experiments show that the vehicles can shift the driving route in the hyperpath set according to the guidance strategy, which eﬀectively reduces the actual delay at intersections, and further realize an optimized distribution of traﬃc ﬂows in the road network.


Introduction
e intelligent transportation system, along with the driverless technology and the cooperative vehicle-infrastructure system (CVIS), has played a pivotal role in improving efficiency and reducing travel delays on the road network [1]. e route search algorithm is the key technology that makes for vehicle route guidance and traffic distribution optimization. Expressed more formally, in connection with the need to realize reliable route guidance, the intelligent transportation system mostly uses the Dijkstra algorithm and its improved algorithms (such as the A * algorithm considered heuristic information) to solve the shortest path problem [2]. However, the simple-path algorithm cannot consider the several uncertain resources in the transportation networks such as traffic congestion, weather conditions, and vehicle accidents. In this way, traffic is easily guided to the same route, leading to overload along the way, then reducing the navigation system's practicability and credibility [3].
Lee [4] found that the test results indicated that the multiple path routing strategy performed better than the commonly used shortest path routing strategy using traffic simulation. Hence, shortest path methods have been extended to generate alternative routes, perhaps to avoid sites of congestion or specified areas.
Chen et al. [5] reviewed methods for generating multiple paths in the context of route guidance. Traditionally, al-ternati2ve paths could be calculated by two categories of the algorithm in graph theory, namely, (1) the k-shortest path (KSP) algorithms proposed by Eppstein [6], Martins [7], and Jimenez and Marzal [8] and (2) the totally disjoint path algorithms proposed by Dinic [9] and Torrieri [10].
However, these algorithms have some drawbacks for route guidance. For the k-shortest path algorithms, the searched k edges have considerable overlap, reducing choice diversity. For the disjoint path algorithms, the primary shortest path of the network may not be included, or the length of alternative paths may be unacceptable.
Intersections are the bottleneck in urban traffic networks, and the drivers' turning movement at signalized intersections can impact the traffic distribution on the road network. It may often be observed, apparently indeed in the great majority of experienced drivers, that they will change lanes early to cross the intersection instead of waiting. Based on the above, all paths, which can reduce the drivers' waiting time at signalized intersections, are defined as the hyperpath set on the road networks. Our numerical results show that the hyperpath algorithm performs better in reducing delays, rather than both the shortest path algorithms and the multiple path algorithms.
At last, this article applies the hyperpath algorithm to vehicle navigation with the CVIS. Under the "recommend priority passable phase" rule, the cooperative vehicle-infrastructure system is introduced to improve the vehicle guidance system based on the hyperpath algorithm. Under the information interaction, the driver can change the lane in advance by voice, text, picture, and video so that the driver can shift their routes in the hyperpath subset. In fact, the traffic distribution will be optimized, reducing the total time and improving the network performance. e outline of this article is given as follows: Section 2 reviews the literature on multiple path algorithms and discusses the shortcomings of the existing path planning algorithms. en, we describe the origin of the hyperpath from the transit assignment. Section 3 develops the hyperpath algorithm incorporated with the signal timing and then gives the constraints and the proofs. In Section 4, the hyperpath algorithm is tested on randomly generated road networks to demonstrate the advantages of the proposed algorithm. Section 5 introduces the CVIs to realize the vehicle route guidance. Section 6 presents the conclusions thus far and suggestions for future work.

Literature Review
e k-shortest path (KSP) problems involve finding the shortest path, the second shortest path, and so on to the kth shortest path between a given origin and a destination (O-D) pair [11]. KSPs are usually provided in route guidance systems to satisfy various preferences that different users have for path choices [12]. Chen et al. introduced the A * technique to improve KSPs finding performance in stochastic networks under travel time uncertainty [13]. Some scholars proposed the improved KSPs that can find different shortest paths with a reasonable degree of similarity and close travel time, and the numerical result is satisfactory [14][15][16]. Recently, an efficient deviation path algorithm has been proposed for finding exactly the k-shortest simple paths without loops in road networks, which performs significantly better than the state-of-the-art algorithms [17]. A considerable amount of research has been devoted to developing KSP algorithms with better performance on the algorithm speed and ability to consider uncertainties. However, existing improved KSP algorithms do not change the nature, so that the k-shortest simple paths overlap each other and lack accessibility. e k-shortest simple paths have different optimal targets, which cannot be achieved when the drivers shift their routes. e total disjoint path algorithm offers a major reduction in computation time for large networks. [10]. Here, "disjointness" can be considered in terms of either nodes or links [18]. A link-disjoint path-pair is a pair of paths between these nodes with no common links, but they still might share common nodes [19]. Accordingly, a node-disjoint path-pair is a pair of link-disjoint paths between these nodes with no common nodes [20]. Recently, scholars have taken into account the total disjoint path algorithm's vital feature to provide reliable service on the network, which guarantees to survive any single link failure [21]. As referred to earlier, the disjoint paths may not be shortest, but they are more suitable to uncertain traffic conditions.
Conventionally, path selection in the road network in the time-dependent vehicle routing problem is denoted as flexibility [22][23][24]. However, not all alternative paths have flexibility, but the ones with the same constraint conditions can have it. For instance, the k-shortest paths with different objective functions lack flexibility and are the same as the pair of the disjoint paths. e drivers cannot avoid the uncertain delay via shifting their routes among the results of multipaths. Consequently, there is an urgent need to realize path flexibility, which can reduce delays at intersections.
Indeed, empirical studies have shown that travel time variations significantly influence travelers' route-choice behavior [25]. Unlike previous algorithms, the driver can flexibly shift their routes to avoid delay in the hyperpath set. So the hyperpath algorithm has accessibility. Spiess and Florian [26] employed the hyperpath to solve passenger flow distribution on bus lines. In the public transportation model, the hyperpath that includes all the bus lines set between the origin and destination is interpreted as an optimal riding strategy. Bell [27] further considered the uncertainties of travel time on each link in the road network and applied Spiess and Florian's transit hyperpath to the road network. Bell pointed out that the hyperpath search algorithm was a special multipath algorithm that takes the minimum expected travel time as the goal. e hyperpath algorithm searches all paths that will be possible to become the shortest one between the origin and destination and incorporates them into the hyperpath subnet. Based on Bell's research, Ma et al. [28] proposed an improved method to speed up the hyperpath algorithm. However, the current hyperpath algorithms do not consider the impact of intersection delays on the expected travel time.
Moreover, we consider the delays at signalized intersections, which significantly contribute to the uncertainty of travel times, particularly in urban transportation networks [29][30][31][32]. In contrast, existing hyperpath studies about the road network have rarely addressed delays at signalized intersections due to the fact that signalized intersections can largely increase the complexity of the algorithm.
We aim to develop an efficient hyperpath searching algorithm typically applied to signalized road networks. e proposed algorithm conquers the inaccessibility of the most existing multiple path algorithms (e.g., KSP). Table 1 summarizes the differences of our proposed algorithm from the relevant studies. e contributions of this study are presented as follows: (i) We propose a hyperpath-based vehicle routing method to realize the accessibility among the multiple paths, reducing the delay at intersections, which is more efficient and performs better than the existing multiple path algorithms (ii) We propose a hyperpath algorithm that considers the uncertain delay at signalized intersections in the road networks (iii) We introduce the CVIS to realize vehicle navigation under the optimal hyperpath 3. Models

Hyperpath-Based Choice
Strategy. e concept of the hyperpath, i.e., a set of paths any one of which may be optimal, comes from the field of transit assignment and is associated with the common-line issue. We assume that the passenger arrives at bus stop A, whose destination is bus stop D. Assume that three attractive bus lines given the headways arrive randomly in Figure 1. e passenger taking the bus line depends on which one happens to arrive next. e lines that are attractive at a given stop hence constitute the common lines, namely, hyperpath. Under the ''take whichever attractive line arrives next" rule, the hyperpath may be found by minimizing the expected travel time and that the resulting problem is a linear program.
(i) We assume that there is only bus line 1 from stop A to stop D, with a headway of 6 minutes. Hence, the expected waiting time of passengers is T � 6 min. (ii) We assume that three bus lines are attractive, which is referred to earlier. It will become evident that the expected waiting time of passengers is Since the applicability of the transit assignment model is satisfying, some researchers have introduced this concept into the road network.
Bell noted the parallel between link frequency and link delay and then extended the Spiess and Florian algorithm by adding node potentials into the link selection step, yielding an algorithm that resembles the Astar algorithm, but which generates a hyperpath.
Consider a road network with eight links and seven nodes, shown in Figure 2. In Bell's paper [27], each link delay is equal to a random number R. For simplicity, the delay at the intersection is not considered. In this case, it can be seen in Figure 2, as all the links are unreliable, the hyperpath contains two paths, and whichever path of the set of hyperpath will become the shortest one.
Since the delay at signalized intersections is the main component of travel time, we significantly emphasize its influence on the performance of the hyperpath algorithm.
is study improves the original hyperpath search algorithm by expanding the signalized intersection. Aiming to minimize the travel time on the road segments and the expected delay at the intersections, we get a hyperpath set between the origin and destination.
We discuss the relationship of the turning movement, signal timing, and delay, as shown in Figure 3. Take one entrance lane as an example, where it consists of a left-turn movement and a through movement, corresponding to different signal phases. Assuming that the delay at the intersection is entirely controlled by the signal timing, the turning delay varies with the turning movement. In this way, this article refers to the signal timing delay at intersections to the waiting time in the transit network and then proposes the equation of the delay at intersections in the road network.
e original hyperpath algorithm only considers uncertain delays on the road segment, which is the delays of leaving their upstream nodes. e turning delay will depend on the turning movement that vehicle passes through the intersection. As shown in Figure 4(a), the delays caused by signal timing vary in different entrances and exits. is article expands the intersection with signal control in the road network so that the hyperpath algorithm overcomes the original shortcomings that cannot capture the turning delay at intersections. Each turn is described as a virtual link. Link weight is used to represent the turning delay at intersections. Take Figure 4 as an example, and there are four types of turns and four virtual links at one-way intersections; for the twoway, there are twelve types of turns and twelve virtual links.
is approach is to expand each intersection in the network. us, taking the one-way intersection as an example, the label rule is shown in Figure 5. e node j is expanded to four nodes. e travel time between nodes i and j is c ij , and the travel time on the virtual link is the turning delay. d ijk denotes the turning delay from road segment (i, j) to road segment (j, k).

Hyperpath Model.
In the extended road network, the optimal hyperpath problem is described as a mathematical optimization model that takes the minimum travel time on the road segment and the expected delay at intersections as the objective function.
Define the following sets and variables:      Journal of Advanced Transportation In (1), the expected travel time is shown. Note that expected delay is interpreted as what would be expected by a pessimistic driver, namely, its exposure to maximum link delay. e travel time c ij is a state of the free flow; i.e., the travel time does not change with increased traffic.
In (2), g i is the origin and destination identification. When the node is the starting point r, g i � 1. When the node is the endpoint s, g i � −1; otherwise, g i � 0. During the trip, there can be detours, but it is not allowed to arrive at a place twice. In (2), for the origin, its value is 1, which means the path starts from the origin. For the destination, the value is −1, which means that the trip stops at this point and ends the trip. Otherwise, its value is 0, which means that the path passes through the node with a certain probability. at is, it leaves after reaching the node.
In (3), the choice probability ranges from 0 to 1. e maximum probability of the link selected is 1. If not, the probability is 0.
Equation (4) indicates that the vehicle chooses to detour instead of waiting at the current intersection because the current turning delay is greater than the product of the travel time and the probability of being selected.
For the extended network, the virtual road segment corresponds to the turning movement at intersections, and the maximum delay d ijk is caused by the periodic change of the signal light. is article assumes that the vehicle arrives randomly at the intersection and defines the intersection service frequency f r j (f r j � 1/d r j ) of the turning r j . In the hyperpath set, for node j, there may be multiple available turning r j , and R j (e.g., R j � {d ijk , d ijn , d mjk , d mjn }) is the set of all available turns at this node. Further, we define the intersection service frequency f j � r j ∈R j f r j ; then at the intersection, the expected waiting time w j is as follows:

Optimal Hyperpath Algorithm
3.3.1. Initialization. Specify the origin r and the destination s; create a set L of links and add all links in the road network to the set L; create a set H of the hyperpath so that the set H is initially an empty set. Initialize the variables as follows:

Main Steps
Step 1: find the shortest link in the set L, take (u j + c ij ) as the current link, and remove it from the set L.
Step 2: if the current link meets the conditions: u i ≥ u j + c ij , go to Step 3; otherwise, go back to Step 1.
Step 3: update the data.

Journal of Advanced Transportation
If i � r, f ijk � 1, If u i � ∞ or f i � 0, Step 4: add the current link (i, j) to the set H. At this time, if the condition L � ∅ or u i + c ij ≥ u r is satisfied, go to Step 5; otherwise, go back to Step 2.
Step 5: get the link and node choice probability: from largest to smallest, sort all links (i, j) in the network according to the value of u i + c ij and traverse all the links according to the sorted order; if the link (i, j) ∈ H, access the database to obtain the probability of selected for each turn.
Starting from the origin r, trace back the hyperpath to the destination s and output it for route guidance strategy.

Algorithm Validation.
e algorithm validation is as follows.

Proposition 1. Assumption of maximum pessimistic expectation implies that c jk
Proof 1. e Lagrangian function for equations (1)-(4)is as follows: where μ and λ are the Lagrange multipliers concerning μ ≥ 0 and λ ≥ 0. e optimal solution of the Lagrange function is as follows: According to (5), zd ijk /zw i ≤ 1; then from (11), we can know that 1 − i∈Γ − (j) (j,k)∈A + At the solution, because w i is equal to 0 or over. If λ i equals 0, p jk could be reduced to 0 at the solution, violating the assumption that p jk > 0. So, by the complementary slackness conditions, λ i > 0 implies that c jk · p jk � d ijk > 0 for (j, k) ∈ A + j and i ∈ Γ − (j).

Illustrative Example
To demonstrate the Hyperstar algorithm, we use a grid-type transportation network, as shown in Figure 6, with node r as the origin and node s as the destination. All arcs can be traveled in both directions, leading to 62 directional links. Except for the nodes 5 and 16, the other nodes are controlled by signal timing. e network is expanded to virtual links referred to earlier coded in C# language. Figure 7 shows the signal timing at each intersection with signal control. Table 2 presents the travel time of links. Note that every link is two-way, but we just list one case when the travel time of two links, whose upstream and downstream nodes interchange, is the same. Table 3 lists the turning delays at intersections. Based on the assumption of maximum pessimistic expectation, taking the T-shaped intersection two shown in Figure 6 as an example, the calculation of the turning delays will be described. When the forward intersection number of the path is origin r, and the backward intersection number is three, the vehicle needs to go through intersection two. According to the signal timing of Figure 7, going through the intersection, two corresponds to the first phase, and the green time of the first phase in one cycle time is 25 s, the yellow time is 5 s, and the red time is the 60 s. Since the vehicle stops during the yellow time and the red time, it is determined that the turning delay is 65 s. According to it, the turning delays at intersections in Figure 6 are derived in Table 3.

Work Process of CVIs.
Based on the hyperpath, this section introduces the CVIs to realize route guidance. e CVIs consist of four parts: intelligent traffic management system, intelligent communication system, intelligent vehicle system, and intelligent roadside system. e intelligent traffic management system processes the information obtained by both the intelligent vehicle system and the intelligent roadside system and then calculates the turning delay included in the hyperpath set, which is specifically divided into the following two situations: Case 1. According to the transmitted information, when the turn encounters the green light, the intelligent traffic management system obtains the remaining green light time t 1 and the vehicle's distance l from the current position to the turn-stop line. After that, the intelligent traffic management system calculates the number of vehicles Q 2 that can pass during the remaining green time. If Q 2 ≥ Q 1 , the time when the vehicle arrives at the stop line is t � l/v 1 , if Q 2 < Q 1 . e signal cycle time is T, which is obtained by the database. e number of vehicles is Q 3 that can be passed during one signal cycle. e dissipation speed of the vehicles is v 2 . e number of vehicles that need to wait is n � Q 1 − Q 2 )/Q 3 during a signal cycle. e time to arrive at the stop line is t � t 1 + nT + (Q 1 − Q 2 − nQ 3 )/v 2 . e number of vehicles in front of the induced vehicle is Q 1 , the symbol ⌊⌋ indicates rounding down and Q 2 � q · t 1 .
Case 2. When the turn encounters the red light, the intelligent traffic management system obtains the remaining red time t 3 from the current phase. If the turn encounters the yellow light, the intelligent traffic management system should obtain the remaining yellow time plus red time. According to the database, the signal cycle time is T. e number of vehicles that can pass during one signal cycle is Q 3 . e dissipation speed of the vehicles is v 2 . e number of the vehicles that need to wait is n � Q 1 /Q 3 . e time to arrive at the stop line is e intelligent traffic management system determines the turning movement with the shortest time and recommends it to the driver.
at ensures that vehicles always choose the passable priority phase at the intersection to     Figure 9 shows the CVIs, and Figure 10 represents the information interaction principle of the vehicle route guidance system under the CVIs.  hyperpath algorithm (shown in Figure 9) and the only path with the shortest time. Calculate the delays of vehicles at the intersection, as shown in Table 5. e results in Table 5 show that compared with the shortest path, applying the hyperpath guidance system in the road network can reduce the delays by 5.8% and travel times by 9.2%. It can be seen that the adoption of the hyperpath guidance strategy can realize the reasonable distribution of traffic in the network, reduce the delay at intersections, and achieve the shortest travel time in the network.

The Hyperpath in Nanjing Local Road Network
In order to validate our solution approach in a realistic context, we built our hyperpath network based on the local road network obtained from the center of Nanjing. By taking an investigation, there are 49 intersections and 37 out of them are controlled by traffic signals. Also, 29 road segments are involved, and some of them are oneway roads. ree road types (i.e., the arterial street, subarterial road, and branch road) are associated with different design speeds. e network is illustrated in Figure 11.
According to the output of the algorithm in Section 3.3, the optimal hyperpath is marked in Figure 12. Note that node 37 is the origin, and node 1 is the destination.
If we employ the Dijkstra algorithm on this network, the shortest path is 37-32-26-25-47-43-18-17-14-10-9-7-38-1, and the shortest travel time is 1,142 s. However, from the optimal hyperpath algorithm, the expected travel time is 1,093.88 s. Compared with the shortest path, the expected travel time of the optimal hyperpath is reduced by 4.2%. is result clearly showed the application of the hyperpath algorithm compared to the Dijkstra algorithm in terms of delays and travel time.  Figure 11: Local road network in Nanjing.

Conclusions
is article offers an efficient way to generate the optimal hyperpath set based on the signal timing and the CVIs for use in vehicle route guidance systems. Under the maximum pessimistic expectation assumption, this article generates the maximum waiting time for each turn at the intersection. Further, we find out the expected waiting time for linear combination, which avoids processing a large amount of data and accelerates the algorithm speed in the route guidance system. ere is a "recommendation priority passable phase" strategy for the cooperative vehicle-infrastructure system, leading to a real-time and exact vehicle route guidance system.
For individuals, the driver can shift the driving route in the hyperpath subnet for the use of the route guidance system to avoid delays at intersections. As far as the overall network, this can be proven that using a hyperpath algorithm in the network will give a reasonable traffic distribution.
us, the total travel time is reduced, and the transportation network's performance is improved, which will produce substantial economic benefits. In order to meet the increased demand for personalized travel, the hyperpath guidance system can introduce corresponding demand factors to change the objective function to improve network performance and further achieve personalized guidance to drivers. Meanwhile, it is vital to take into account the cooperative vehicle-infrastructure system when vehicles are guided. e tests concluded that compared with the shortest path, applying the hyperpath guidance system in the road network can reduce the delays by 5.8% and travel times by 9.2%. Such properties make the hyperpath algorithm a 26 1 Beijing  Figure 12: e optimal hyperpath from origin node 37 to destination node 1.
promising solution for use in intelligent transportation systems, which was confirmed by an experimental study comparing the travel time and delay time with the shortest path algorithms.
ere are two assumptions about calculating the waiting time of vehicles at intersections based on signal timing. One is the assumption of maximum pessimistic expectations. e waiting time for each turn of the vehicle at the intersection is red time plus yellow time.
e other is the independent hypothesis, assuming that the vehicle's phases are independent of each other when calculating the expected waiting time at the intersection. ese two assumptions are ideal, leading to a specific deviation from the actual situation. Future research will further improve the mentioned assumptions to make the hyperpath algorithm more suitable for actual road network conditions.

Data Availability
e network data used to support the findings of this study are included within the article.

Conflicts of Interest
e authors declare that there are no conflicts of interest regarding the publication of this article.