CARSP: A Smart Parking System Based on Doubly Periodic Rolling Horizon Allocation Approach

,


Introduction
With the swift development in urbanization and the great growth in living standards, the conflict between the increasing parking demands and scarce parking resources is becoming severer [1].Besides parking resource shortage, inefficient parking resource usage also leads to parking difficulties, especially the increasing amounts of the blind search for available parking.Constrained by the limited land space in the urban area, it is difficult to solve the parking problem solely by constructing more parking resources.erefore, how to efficiently utilize the limited parking resources has become a significant issue.
In practice, more and more commercial companies worldwide have built online smart parking systems with the progress in Internet and communication technology, such as Airparking (China), Pavemint (the United States), and Nokisaki Parking (Japan).Applications of the above smart parking systems indicate that appropriate dynamic allocation approaches are the key to effectively maximizing system integrated benefit and maintaining allocation speed.
Most online smart parking systems adopt First-Book-First-Serve (FBFS), and some studies proposed event-driven allocation approaches based on FBFS.In FBFS, each unallocated demand has a unique allocation priority, and each allocation process uses all unallocated resources to match one unallocated demand at demand submission time.Obviously, FBFS has an extremely high allocation speed since each demand is allocated immediately.However, FBFS sacrifices the allocation effect since each demand is allocated independently and myopically without any overall planning.
As the research scale expands, researchers recognize that a large number of demands will be submitted to the system concurrently, while FBFS will result in unnecessary waiting of users.To improve the allocation effect, researchers proposed time-driven allocation approaches based on Rolling Horizon (RH).Based on Rolling Horizon allocation approaches, parking system collects demands in each allocation interval and allocates them simultaneously at the end time point of the interval.Demands participating in each allocation have the same priority.Naturally, unallocated demands could collectively participate in each allocation time point to achieve a better allocation effect.e unallocated demands refer to both newly submitted and previously submitted but unallocated demands.
On this basis, some researchers noticed that users have different demand submission preferences: some prefer submitting demands a long time in advance before the trip, while some prefer submitting demands a short time in advance during the trip.Since the parking demands and resources are submitted to the system dynamically as time rolls on, the system managers can reallocate the allocated but unoccupied demands and meanwhile allocate the unallocated demands at each allocation time point to improve the resource utilization so as to improve the system's integrated benefit.e allocated but unoccupied demands and unallocated demands are collectively regarded as unoccupied demands.
e allocation is called narrow allocation (NA for short) when only unallocated demands and resources participate, while the allocation is called broad allocation (BA for short) when unoccupied demands and resources participate.In other words, NA is allocation, while BA is the combination of allocation and reallocation.BA is practical and able to optimize the allocation effect as long as the system promises that these allocated but unoccupied demands can be successfully reallocated in each BA.erefore, a rolling horizon allocation approach conducting NA at each allocation time point is Rolling Horizon Narrow Allocation (RHN), and a rolling horizon allocation approach conducting BA at each allocation time point is Rolling Horizon Broad Allocation (RHB).
Under the same condition, i.e., the same overall time horizon, allocation period, demands and resources, RHN and RHB have different allocation effects and allocation speeds.In each allocation, the scales of demands and resources in RHN are smaller than that in RHB.us, RHN leads to higher allocation speed, while RHB leads to a better allocation effect.Especially, the larger the research scale is, the longer the allocation period is, and the closer the parking peak is, the larger the demand and service scale difference is, hence leading to the greater allocation effect gap and allocation speed gap between RHN and RHB.In this way, both RHN and RHB have unique drawbacks.
In this paper, we firstly present an online smart parking system named CARSP to imply demands and resources collection, allocation, and response in the dynamic parking environment.CARSP not only fully considers the heterogeneity of demands and resources but also achieves accurate allocation to parking spaces rather than parking facilities, which are different from most existing smart parking systems.
To mitigate the drawbacks of FBFS, RHN, and RHB, we creatively propose the Doubly Periodic Rolling Horizon allocation approach that circularly conduct NA within a short period and BA within a long period.DPRH is a brand new attempt at a dynamic allocation approach since it combines the superiorities of RHN and RHB, i.e., optimizing allocation effect and guaranteeing allocation speed.NA and BA models are formulated to optimize the integrated benefit for both system managers and CPLEX solvers are applied to solve the model at each allocation time point to obtain the optimal solution.
e rest of this study is structured as follows.Section 2 reviews the relevant studies.In Section 3, the structure and reaction scheme of "Collection-Allocation-Response" smart parking system are presented.In Section 4, the novel Doubly Periodic Rolling Horizon allocation approach is described.Meanwhile, the narrow and broad allocation models are formulated.In Section 5, seven performance metrics are designed to evaluate the allocation effect and speed.Meanwhile, a three-day district-level instance in Beijing, China, is studied.Section 6 gives the conclusions.

Literature Review
In existing studies on dynamic parking allocation problems, some focused on proposing event-driven allocation approaches.Raichura and Padhariya [2] proposed a smart parking allocation system containing a static allocation process and a dynamic allocation process.e dynamic allocation process was event-driven, which meant only when a user arrived at the allocated parking facility earlier would the user be reallocated to a more suitable parking facility.Nugraha and Tanamas [3] proposed a dynamic allocation subsystem based on an event-driven approach to reallocate FBFS results when trigger events happen.To maximize the user's comfort level and the owner's revenue simultaneously, Hassija et al. [4] proposed an event-driven parking space allocation framework based on the Virtual Voting and Adaptive Pricing Algorithm.
To obtain better allocation effects, some studies focused on proposing time-driven allocation approaches to allocate parking demands and parking services group-by-group at each allocation time point, in which RHN, RHB, and static allocation models are improved.

Developments on Rolling Horizon Narrow Allocation.
In the studies on time-driven allocation approaches based on RH, some focused on Narrow Allocation and proposed a rolling horizon narrow allocation approach.
Zou et al. [5] firstly formulated a static allocation model from the perspective of society.Afterward, a dynamic model with the objective of maximizing social welfare was formulated and solved at each decision time interval as time rolled on.Both static and dynamic models were improved with a payment scheme to align users' selfish intents with the system managers' intents.Lei and Ouyang [6] regarded the problem as a Stackelberg leader-follower game and formulated a multiperiod bilevel model.e upper level decided the dynamic parking price of each parking facility and aimed at maximizing system profits, while the lower level decided the dynamic allocation and aimed at minimizing users' disutility.An approximate dynamic programming approach was proposed to solve the model at each decision time point.He et al. [7] proposed an RHN to solve the dynamic parking allocation problem.A binary integer programming model with the objective of minimizing users' costs was formulated.At each decision time point, the static model was solved by ILOG CPLEX.Yan et al. [8] focused on the dynamic parking allocation problem under uncertain demand and supply.Based on RHN, a mixed-integer programming model with the objective of minimizing users' costs was formulated and solved by an iterative two-stage heuristic algorithm.

Developments on Rolling Horizon Broad Allocation.
In the studies on time-driven allocation approaches based on RH, some focused on Broad Allocation and proposed a rolling horizon broad allocation approach (RHB for short).
Geng and Cassandras [9] and Geng and Cassandras [10] firstly defined users' costs function as the weighted sum of the total monetary costs and walking distance between the parking space and actual destination.en mixed-integer linear programming models with the objective of minimizing users' costs were formulated.Afterward, the RHB was proposed to allocate users including unallocated users and allocated users at each decision time point.However, users who were away from their destination were kept in a waiting queue and forbidden to be allocated, which not only increased users' waiting costs but also failed to respond timely to users on providing parking guarantees.Based on the above studies, Kotb et al. [11] combined dynamic and static parking space allocation.A mixed-integer programming model aiming at minimizing users' costs was formulated, in which users' costs function was similar to the above studies.Under RHB, users in the dynamic reservation would participate in BA at each decision time point until they reached destination zones, while users in static reservation would not participate in subsequent allocation once they were successfully allocated.Mladenović et al. [12] proposed a four-layer RH framework to tackle the real-time updates of parking demands and parking spaces.During each time interval, users that had not arrived at their parking will be reallocated.A binary integer programming model aiming to minimize users' costs was formulated.A heuristic algorithm and an exact algorithm were implied to solve the allocation model at each decision time point.Zhao et al. [13] researched the large-scale parking allocation problem in a dynamic parking environment of mixed automated and human-driven vehicles.A mixed-integer programming model aiming at minimizing users' costs was formulated and solved by Monte Carlo Tree Search at each decision time point.

Improvements in Static Allocation
Models.Studies focused on improving static allocation models are from the perspectives of system managers, users, and society.
From the perspective of system managers, the objective of allocation models was generally maximizing system profits.Xu et al. [14] researched the private parking space sharing problem with the market design theory and extended the parking space allocation mechanism with money flow.Static allocation mechanisms named TTCD and PC-TTCC for lessor-like agents and lessee-like agents, respectively, were proposed.Yang et al. [15] supposed the system received parking supply and demand before a certain time and formulated a binary integer programming model aiming at maximizing system profits.User costs containing walking time cost and rejection cost were also considered and transferred into penalties for the system managers in the objective function.Han et al. [16] focused on the sharing of residential parking spaces and the improvements in parking resource utilization.A binary integer programming model with the objective of maximizing system profits was formulated.Ning et al. [17] focused on the private shared parking spaces allocation and formulated a binary integer programming model aiming at maximizing system profits, in which costs for failing allocating demands were also considered in the objective function as the penalty for the system managers.Jiang and Fan [18] focused on the users' parking unpunctually and formulated a binary stochastic linear programming model with the objective of maximizing system profits.e stochastic programming model was then transformed into an expectation model by formulating the parking probability function of users and owners.
From the perspective of users, the objective of allocation models was generally minimizing user costs.When constructing user cost functions, traveling time for parking, walking distance or walking time from parking facilities to destinations, and parking price were major considerations.Arellano-Verdejo and Alba [19] focused on the available parking space allocation in a city according to users' preferences.e user costs function was formulated by combining the driving distance with the preference deviation distance.
e driving distance was the distance between users' current positions and the allocated parking spaces, and the preference deviation distance was the distance between the allocated parking spaces and the parking spaces desired by users.Meanwhile, an evolutionary algorithm based on Steady-State Evolutionary Algorithm was designed to solve the problem.To solve the problem brought by unpunctuality, Li et al. [20] formulated a shared parking allocation optimization model considering user's default, which possibilities were measured by credit value.e objective was to maximize the shared parking rate for all users.e problem was transformed into a vertex coloring problem and solved by an improved ant colony algorithm.
From the perspective of society, the objective of allocation models was generally maximizing shared parking resource utilization.Shao et al. [21] formulated an allocation model to embrace private residential parking space sharing between residents and public users.e objective of the model was to maximize resource utilization under given Journal of Advanced Transportation demand and supply time windows and preset parking prices.
Some researchers considered all three perspectives, and therefore, formulated allocation models with multiple objectives.Jiang et al. [22] constructed a two-stage method to allocate private parking spaces.e rst stage screened the available parking spaces according to demand walking distance and parking price.e second stage allocated spaces to demands by a formulated multiobjective allocation model aiming to maximize users' satisfaction, private idle parking space owners' satisfaction, and the system pro ts. e model was solved by an improved nondominated sorting genetic algorithm II (INSGA II).
Table 1 shows the summary of the studies on rolling horizon allocation approaches in smart parking systems, in which this study is included.
Apparently, existing studies on rolling horizon allocation approaches were either RHN or RHB.Few had proposed a rolling horizon allocation approach that integrated the superiorities of RHN and RHB.

"Collection-Allocation-Response" Smart
Parking System In the dynamic parking environment, "Collection-Allocation-Response" smart parking system (CARSP for short) collects enough demand and service data at one time, allocates demands and services without unnecessary interaction processes, and responds to users and owners with necessary noti cations.Under this consideration, CARSP is composed of a collection center (CC for short), allocation center (AC for short), and response center (RC for short).CC and RC are responsible for data transmission through human-machine interaction in the front end, while AC is accountable for data storing, allocating, and updating in the back end.e framework of CARSP is shown in Figure 1.All notations of this paper are summarized in Table 2. are fully open to the public, such as the public parking garages and the curbside parking spaces.Private parking facilities refer to the parking facilities that are personal belongings, such as the residential parking garages.In a certain area, both public and private parking facilities compose the set of parking facilities S f 1, 2, . . ., F { } .Based on the renting schemes, parking spaces are classi ed into short-term renting and long-term renting parking spaces.Owners can choose either renting scheme according Table 1: Summary of the studies on rolling horizon allocation approach in the online smart parking system.

Study
Participants Allocation approach Case study Scale (total demands-total spaces) Time horizon Allocation period Zou et al. [5] U-S RHN 200-100 20 periods NM Lei and ouyang [6] U-S RHN NM-295 360 min 30 min He et al. [7] U-S RHN 1500-1000 1080 min 3 min Yan et al. [8] U-S-O RHN 300-200 720 min 10 min Geng and cassandras [9] U-S RHB NM-30 300 min 10/15/20/25/30 s Geng and cassandras [10] U-S RHB NM-2611 3000 min 1 min Kotb et al. [11] U-S RHB NM-112 720 min NM Mladenović et al. [12] U-S RHB 1000-480 1440 min 1 min Zhao et al. [13] U  e parking space location of parking service j p j e parking price of parking service j r j e short-term renting price of parking service j 0 -if parking service j is long-term renting r j ′ e long-term renting price of parking service j 0 -if parking service j is short-term renting q e compensation price τ 0 e length of parking time interval τ e allocation period τ′ e BA period T AR e time threshold to determine whether demands and services are arriving T AP e time threshold to determine whether demands and services are approaching e size of NA parking demand set at time point t I B (t) e size of BA parking demand set at time point t I j e number of parking demands served by parking space j d ij e walking distance between parking space location of parking service j and destination location of parking demand i c ij e time window relationship between parking demand i and parking service j 1 -if the time window of parking demand i is within that of parking service j 0 -otherwise c ii′ e time window relationship between parking demand i and parking demand i′ 1 -if the time window of parking demand i is not in conflict with that of parking demand i′ 0 -otherwise b jf e belonging relationship between parking service j and parking facility f 1 -if parking service j belongs to parking facility f 0 -otherwise Journal of Advanced Transportation to their situations.ough system managers totally decide the parking prices, owners can mainly decide the renting prices.
For each short-term renting parking space, the owner provides short-term usage authority to CARSP according to real-time parking arrangements.For example, commuters can provide their own parking spaces to CARSP for nine-tove sharing on weekdays.Under the short-term renting price, the rent will be paid once the parking space is occupied for a speci c period.
For each long-term renting parking space, the owner provides long-term usage authority to CARSP according to historical parking characteristics.For example, shopping mall managers can provide long-term idle parking spaces to CARSP for twenty-four-hour sharing.Under the long-term renting price, the rent will be paid in advance whether the parking space is occupied or not.
Each owner can submit several parking spaces, and each parking space can provide several parking services.Each parking service corresponds to a unique service time window composed of continuous parking time intervals.
Figure 2 shows a typical example of one parking space providing two parking services.e Time window of parking space [10: 30, 12: 00] is divided into eighteen parking time intervals with a length of 5 minutes.Time window of parking service j is [10: 30, 11: 00], and the time window of parking service j′ is [11: 30, 12: 00].e parking space is not for sharing in the time window [11: 00, 11: 30].
Each parking service j ∈ S j 1, 2, . . ., J { } contains the following information: time window [t S j , t E j ], parking space location [long j , lat j ], parking price p j , short-term renting price r j , and long-term renting price r j ′ .Simultaneously, the service data stored in AC includes the unallocated parking service set S U j (t), the allocated (but not occupied) parking service set S A j (t), the occupied (but not terminated) parking service set S O j (t), and the terminated parking service set S T j (t).Moreover, the allocated (but not occupied) parking service set S A j (t) includes both the arriving parking service set S AR j (t) and the allocated but not arriving parking service set S ARN j (t).Given the same time threshold T AR , parking service j in S A j (t) belongs to the arriving parking service set S AR j (t) if t S j ≤ t + T AR and the allocated but not arriving parking service set S ARN j (t) otherwise.

Allocation Center
Inspired by Spectrum, a parking spectrum graph is introduced to demonstrate the transition of all demand and service sets.In Figure 3, except for the failed parking demand set S F i (t), the further to the left, the more necessary demands and services are to be allocated.Conversely, the further to  e current status of passenger demand i 1 -if passenger demand i is arriving 0 -otherwise x ij e last allocation result between parking demand i and parking service j 1 -if parking service j was allocated to parking demand i 0 -otherwise Variable description x ij e allocation result between parking de mand i and parking service j 1 -if parking service j is allocated to parking demand i 0 -otherwise.4 shows a typical example of one parking service serving two parking demands.Time window of parking service j[10: 00, 11: 00] is divided into twelve parking time intervals with length of 5 minutes.Time window of parking demand i is [10: 00, 10: 30], and time window of parking demand i ′ is [10: 45, 11: 00].Parking demand i has no time conflicts with parking demand i ′ so that they can be allocated to parking service j simultaneously.
It is preset that users cannot cancel or modify parking demands and owners cannot cancel or modify parking services.at is, users will accept the parking services allocated by CARSP, and owners will accept the parking demand allocated by CARSP.

Demand and Service Updating.
Once the allocation process is complete, AC updates demand and service immediately according to the allocation results.
Unallocated parking demand i will be moved to S UP i (t) to wait for the next allocation process if waiting time t − t P i is within the maximum acceptable waiting time w max i .Unallocated parking demand i will be moved to S F i (t) and added to failed demand list if waiting time t − t P i exceeds the maximum acceptable waiting time w max i .Allocated parking demand i will be moved to S AR i (t) (if t S i ≤ t + T AR ) or S ARN i (t) (otherwise) and added to the allocated demand list.Unallocated parking service j will be moved to S U j (t) to wait for the next allocation process.Allocated parking service j will produce I j totally allocated parking services and at most I j + 1 totally unallocated parking services.All totally allocated parking services will be moved to S AR j (t) (if t S j ≤ t + T AR ) or S ARN j (t) (otherwise).All totally unallocated parking services will be moved to S U j (t) to wait for the next allocation process.
Figure 5 shows a typical example of one parking service producing several parking services.Since parking service j serves parking demand i and parking demand i ′ , it produces two totally allocated parking services and, at most, three totally unallocated parking services.ere are eight cases due to the different relationships of time windows [t S j , t    6 and 7 show the state transitions of demands and services, respectively.

Response Center.
Once receiving the demand and service lists from AC, RC sends speci c noti cations to relevant users and owners.
After each allocation process, RC will send "allocation success" noti cations to users in the allocated demand list and send "allocation failure" noti cations to users in failed demand list."Allocation success" noti cation is the parking promise, but it does not contain a speci c number and location of the parking facility and parking space.Speci c number and location of parking facilities will be sent to users whose demands are in S AR i (t) and the details of parking spaces will be sent to users in the occupied demand list. is kind of noti cation scheme provides a possibility for integrating all available parking services.At each time point, RC will send "parking start" notications to users in the occupied demand list and owners in the occupied service list and send "parking end" noti cations to users in terminated demand list and owners in the terminated service list.[23] "Parking start" noti cations should contain accurate information of parking facility and parking space to users and owners, and "parking end" noti cations should contain bill information to users and owners.
Besides, RC will send "arriving reminder" noti cations to users in arriving demand list and send "leaving reminder" noti cations to users in leaving demand list."Arriving reminder" noti cations should prompt users to drive to the allocated parking facility on time, and "leaving reminder" noti cations should prompt users to leave the parking facility on time.
It is assumed that users and owners are punctual.at is, users will arrive at and leave parking spaces on time, and owners will guarantee that parking services are available.In this way, we propose a Doubly Periodic Rolling Horizon allocation approach in CARSP to combine the superiorities of RNA and RHB.ree principles are clarified to ensure allocation effect and allocation speed in CARSP based on DPRH.
Firstly, the unallocated parking service set S U j and the allocated parking service set S A j cannot be simply merged but should be deeply integrated before each BA process.Referring to Figure 5, the parking service is split into several parking services.en, the several parking services will be integrated into one parking service to participate in the BA process.
Secondly, the parking guarantee for each parking demand i ∈ S A i cannot be broken, which means that each allocated parking demand must be reallocated to one parking space in each BA process.
irdly, the parking facility for each parking demand i ∈ S AR i cannot be changed, which means that each arriving parking demand must be reallocated to one parking space within the parking facility in each BA process.Given this, parking facility information will be sent in "Arriving reminder" notifications, and parking service information will be sent in "Parking start" notifications.
e overall time horizon is discretized into a set of allocation time points S A t T  8 shows the process of DPRH, in which the black arrow points to the direction of time rolling, demands and services participating in NA are indicated by green rectangles, and the demands and services participating in BA are denoted by orange rectangles.e green and orange rectangles are also marked in Figures 6 and 7

Allocation Models.
In DPRH, NA and BA are conducted at specific allocation time points.Both models are formulated to maximize revenue for system managers and minimize waiting time for users.We integrate user waiting time into system cost so that the objectives of both models are maximizing integrated benefit for system.e integrated benefit consists of system revenue and system cost.System revenue comes from the parking fees paid by allocated users.Under parking price p j , parking fees are positively correlated with occupancy time of parking demands.System cost refers to not only the renting cost paid to owners but also the compensation cost paid to users waiting to be allocated.Under short-term renting price r j , renting cost is positively correlated with occupancy time of parking demands.Under long-term renting price r j ′ , renting cost is not correlated with occupancy time of parking demands.Under compensation price q, compensation cost is positively correlated with waiting time of parking demands.
Five binary parameters are designed in NA and BA models: (1) c ij expresses the time window relationship between parking demand i and parking service j. c ij � 1 if time window of parking demand i is within that of parking service j, while c ij � 0 otherwise.(2) c ii′ expresses the time window relationship between parking demand i and parking demand Journal of Advanced Transportation i ′ .c ii′ 1 if time window of parking demand i is not in con ict with that of parking demand i ′ , while c ii′ 0 otherwise.(3) b jf indicates the belonging relationship between parking service j and parking facility f. b jf 1 if parking service j belongs to parking facility f, while b jf 0 otherwise.(4) a i denotes the current status of passenger demand i. a i 1 if passenger demand i is arriving, while a i 0 otherwise.(5) x ij represents the last allocation result between parking demand i and parking service j. x ij 1 if parking service j was allocated to parking demand i in the last allocation, while x ij 0 otherwise.Besides, a binary variable x ij is introduced to represent the allocation result between parking demand i and parking service j. x ij 1 if parking service j is allocated to parking demand i, while x ij 0 otherwise.

Narrow Allocation Model.
Narrow allocation model is formulated as a binary integer programming model with the objective of maximizing system integrated bene t at each NA time point t ∈ S N t , as formula (1) shows and it is subject to constraints ( 2)- (7).
Constraint (2) restricts that each parking demand cannot be allocated to more than one parking service.Constraint (3) claims that each parking demand cannot be allocated to the conflicting parking service.Constraint (4) implies that every two conflicting parking demands cannot be allocated to the same parking service.Constraint (5) ensures that each parking demand cannot be allocated to parking services with too long walking distances.Constraint (6) assures that each parking demand cannot be allocated to parking services with too high parking prices.Constraint (7) defines variable x ij .

Broad Allocation Model.
Broad allocation model is formulated as a binary integer programming model with the objective of maximizing system integrated benefit at each BA time point t ∈ S B t , as formula (8) shows.To ensure allocation effect, different from NA model, BA model must guarantee that all unoccupied demands participating in BA are successfully allocated.Meanwhile, BA must guarantee that all approaching demands will not be reallocated to another parking facility.Constraints are shown in ( 9)- (16).
Constraints ( 9)-( 14) are derived from constraints ( 2)-( 7), respectively.Constraint (15) specifies that each allocated parking demand must be allocated to one parking space.Constraint (16) stipulates that each arriving parking demand can only be reallocated to another parking space within the same parking facility.

Performance Metrics. RHN, RHB, and DPRH are all
based on RH and it is meaningless to compare the total value of the objective function or the value of the objective in each allocation.erefore, we set seven performance metrics to assess the actual allocation performances throughout the overall time horizon rather than simply comparing the values of the objective [26].Performance metrics (1) to (5) describe allocation effect, in which (1) represents system integrated benefit throughout the overall time horizon, (2) and ( 3) indicate resource utilization, (4) and ( 5) denote user satisfaction.Performance metric (6) expresses allocation speed.Performance metric (7) shows total computing time.

Total Integrated Benefit (TIB for Short
). TIB refers to total integrated benefit throughout the overall time horizon, which is calculated in (3).A higher TIB means that system managers can guarantee more sustainable operation.

Service Temporal Utilization (STU for Short
). STU refers to the ratio of total occupancy time to total available Journal of Advanced Transportation parking time, which is calculated in (4).A higher STU means that system managers can utilize parking services more adequately.

Effective Service Temporal Utilization (ESTU for Short).
ESTU refers to the ratio of total occupancy time to total effective parking time, which is calculated in (5).Effective parking time is the time of the parking service that has been allocated to at least one parking demand.A higher ESTU means that system managers can utilize the allocated parking services more efficiently.
4.3.4.Allocation Success Probability (ASP for Short).ASP refers to the ratio of allocated parking demands to total parking demands, which is calculated in (6).A higher ASP means that users can obtain parking services more easily.

Average Planning Time (APT for Short
). APT refers to the average duration between demand submission time and demand start time, which is calculated in (7).A shorter APT means that urgent users can obtain parking services more easily.
4.3.6.Average Waiting Time (AWT for Short).AWT refers to the average duration between demand submission time and response time, which is calculated in (8).A longer AWT means that users can obtain responses faster.
4.3.7.Total Computing Time (TCT for Short).TCT refers to the total computing time throughout the overall time horizon.Under the same computing environment, a shorter TCT means that the approach is more efficient and more practical.e sizes of blocks are also set as Figure 9(b) shows.Table 3 shows the parameters of the instance.

Large-Scale Real-World Instance
e instance selects historical parking data from 00 : 00 on April 20 th , 2018, to 00 : 00 on April 23 rd , 2018, so that the overall time horizon is 3 days.e overall time horizon is divided into 4320 time units with length of 1 minute.e parking time interval is set to be 5 minutes.
e total number of historical parking demands is 31494.Figures 10 and 11 show the start time and end time distribution of parking demands [27].For each parking demand, the submission time varies within [5,1440]  e total number of parking services is 1800.Table 4 shows the details of parking services.According to land use, parking facilities 1, 2, and 3 provide long-term renting parking services, while parking facilities 4 and 5 provide short-term renting parking services.For each short-term renting parking service, the time window varies within [1,4320].
e renting price is 0.5 CNY per 5 minutes.e parking price varies within [0.6, 1.2] CNY per 5 minutes.For each long-term renting parking service, the time window is [1,4320].e renting price is 0.1 CNY per 5 minutes.e parking price is 0.5 or 0.7 CNY per 5 minutes.
Besides, the compensation price is set to be 0.025 CNY per minute.e arrival time threshold is 15 minutes.e approaching time threshold is 30 minutes.
e instance sets thirteen groups to test the performances of different allocation approaches with different allocation models under different allocation periods.Table 5 shows the details of the test groups.Group 1 is the FBFS group.Groups 2 to 5 are the RHN groups, in which τ ∈ 0.5, 1, 5, 10 { } and τ′ � 0. Groups 6 to 9 are the RHB groups, in which τ ∈ 0.5, 1, 5, 10 { } and τ ′ � τ.Groups 10 to 13 are the DPRH groups, in which τ ∈ 0.     when applying to large-scale real-world instance.Test 1 aims to explore the effects of different allocation approaches.Test 2 aims to explore the effects of different allocation periods.
e performances of different groups over three days are shown in Table 6.

Test 1: Performance of Different Allocation Approaches.
Test 1 aims to seek the effects of different allocation approaches.Min-Max normalization is applied to normalize the performance metric values of thirteen groups.In this way, under each performance metric, the strengths and weaknesses of each allocation approach can be demonstrated more clearly.e allocation approach is better if TIB, STU, ESTU, and ASP are higher while APT, AWT, and TCT are lower.erefore, the normalization equation for the former kind of performance metrics is shown as (23).e normalization equation for the latter kind of performance metrics is shown as (24).Under each performance metric, Max is the maximum of thirteen performance metric values while Min is the minimum.Current is the performance metric value of the current allocation approach, while Current * is the normalized performance metric value.erefore, the allocation approach is better if the normalized performance metric value is higher.
Figure 12.Comparisons of FBFS, RHN, RHB, and DPRH.For FBFS, the lowest AWT indicates excellent allocation speed.However, the lowest TIB reflects dreadful integrated benefit, the lowest STU and ESTU reflects dreadful resource utilization, and the moderate ASP and APT reflect poor user satisfaction.Meanwhile, FBFS requires the shortest computing time.
For RHN, the normalized TIB of all RHN Groups ranges widely, but on the whole, RHN leads to poorly integrated benefit.Similarly, the normalized STU and normalized ESTU of all RHN Groups range widely, but on the whole, RHN results in poor resource utilization.e normalized ASP and normalized APT of all RHN Groups are centralized in the lower half, thus, RHN leads to dreadful user satisfaction.e normalized AWT of all RHN Groups ranges widely, but on the whole, RHN results in good allocation speed.Meanwhile, RHN requires the second shortest computing time.
For RHB, the normalized TIB of all RHB Groups are centralized in the upper half, which indicates that RHB results in well integrated benefit.Similarly, the normalized STU and normalized ESTU of all RHB Groups are centralized in the upper half, which indicates that RHB results in good resource utilization.
e normalized ASP and normalized APT of all RHB Groups are centralized in the upper half.Meanwhile, RHB results in the highest ASP and APT.
us RHB results in excellent user satisfaction.e normalized AWT of all RHB Groups ranges widely, but on the whole, RHB leads to dreadful allocation speed.Meanwhile, RHB requires the longest computing time.
For DPRH, all normalized performance metrics values are centralized in the upper half.Comparing the thirteen Groups, DPRH results in the highest TIB, STU, and ESTU.Compared with FBFS, DPRH raises TIB by 3.83%, raises STU by 2.65%, and raises ESTU by 2.72%.erefore, DPRH results in excellent integrated benefits, excellent resource utilization, good user satisfaction, and good allocation speed.Meanwhile, DPRH requires the second-longest computing time.

Test 2: Effects of Different Allocation
Periods.Test 2 aims to seek the effects of different allocation periods in the same allocation approach and the same allocation model.Allocation periods τ ∈ 0.5, 1, 5, 10 { }. e normalization ( 9) and (10) are also applied to demonstrate the strengths and weaknesses of each allocation period more clearly.
Figure 13 shows the comparisons of different allocation periods in RHN. Figure 14 shows the comparisons of different allocation periods in RHB. Figure 15 shows the comparisons of different allocation periods in DPRH.
In the light of Figure 13, in RHN, when allocation period τ � 0.5 (i.e., RHN-0.5),TIB, STU, and ESTU are good.Meanwhile, ASP and APT are the best.AWT is the best and TCT is good.When allocation period τ � 1 (i.e., RHN-S-1), TIB, STU, and ESTU are poor.ASP and APT are good.AWT is good and TCT is the best.When allocation period τ � 5 (i.e., RHN-5), TIB, STU, and ESTU are the best.ASP and APT are poor.AWT is poor and TCT is the worst.When allocation period τ � 10 (i.e., RHN-10), TIB, STU, ESTU, ASP, APT, and AWT are the worst while TCT is poor.Clearly, RHN-0.5 performs the best in user satisfaction and allocation speed, while RHN-5 performs the best in integrated benefit and resource utilization.From the perspective of system managers, the integrated benefit is the most concern.However, allocation speed is also vital since it is the representation of system service quality.In light of Table 6, the TIB of RHN-5 is raised by 0.25%, while the AWT of RHN-5 is ten times that of RHN-0.5.
In the light of Figure 14, in RHB, when allocation period τ � 0.5 (i.e., RHB-0.5),TIB, STU, and ESTU are the worst.ASP is the best and APT is good.AWT is the best, but TCT is the worst.When allocation period τ � 1 (i.e., RHB-1), TIB, STU, and ESTU are poor.ASP is good but APT is the worst.AWT is good but TCT is poor.When allocation period τ � 5 (i.e., RHB-5), TIB, STU, and ESTU are the best.ASP is the worst and APT is poor.AWT is poor while TCT is good.When allocation period τ � 10 (i.e., RHB-10), TIB, STU, and ESTU are good.ASP is good, while APT is poor.AWT is poor while TCT is good.
ough RHB-5 and RHB-10 perform better than RHN; AWT is a defect that cannot be ignored.
In the light of Figure 15, in DPRH, when allocation period τ � 0.5 and τ ′ � 5 (i.e., DPRH-0.5-5),TIB is good, STU and ESTU are poor.ASP and APT are good.AWT is good while TCT is the worst.When allocation period τ � 0.5 and τ ′ � 10 (i.e., DPRH-0.5-10),TIB, STU, ESTU, ASP, and APT are the worst.AWT is the best and TCT is good.When allocation period τ � 1 and τ ′ � 5 (i.e., DPRH-1-5), TIB, STU, ESTU, ASP, and APT are the best.AWT is the worst and TCT is poor.When allocation period τ � 1 and τ ′ � 10 (i.e., DPRH-1-10), TIB is poor.STU and ESTU are good.ASP and APT are poor.AWT is poor while TCT is the best.In summary, it is clear that when τ is the DPRH with τ ′ � 0.5 achieves higher integrated benefit, higher resource utilization, and higher user satisfaction but a lower allocation speed than DPRH with τ ′ � 1.When τ ′ is the same, DPRH with τ � 1 achieves higher integrated benefit, higher resource utilization, and higher user satisfaction but lower allocation speed than DPRH with τ � 0.5.

Conclusion
is study researched the large-scale dynamic parking allocation problem by proposing a smart parking system CARSP based on a novel rolling horizon allocation DPRH.
e "Collection-Allocation-Response" smart parking system (CARSP) is constructed to amply describe trilateral requirements, deeply portray trilateral relationships, and thoroughly realize trilateral data transmission in the dynamic smart parking environment.
e Doubly Periodic Rolling Horizon allocation approach (DPRH) is proposed to combine the superiorities of RHN and RHB. e NA and BA models integrate the user's waiting time and system revenue so as to maximize system integrated benefit from the perspective of both users and system managers.
According to the large-scale real numerical instance study, DPRH is superior to FBFS, RHN, and RHB in balancing allocation effect and allocation speed: ough FBFS is unparalleled in allocation speed, DPRH achieves better allocation effect, i.e., the total integrated benefit is raised by 3.83%, resource utilization is raised by 2.7%, user satisfaction is raised by 1.53% with acceptable allocation speed.DPRH reaches nearly the same allocation speed as RHN but leads to a better allocation effect.DPRH achieves nearly the same allocation effect as RHB but improves allocation speed.
Future research will focus on the following aspects.Firstly, the allocation approach can be improved to achieve nearly the same allocation speed as FBFS.Secondly, the allocation approach and allocation model can be improved to deal with the unpunctuality of users and owners in a realistic smart parking environment.
irdly, dynamic pricing can be considered in the allocation models to further improve the allocation effects.

Figure 2 :
Figure 2: Example of one parking space providing two parking services.

Figure 4 : 8 Figure 5 :
Figure 4: Example of one parking service serving two parking demands.

Figure 10 :Figure 11 :
Figure 10: Start time distribution of parking demand.

Figure 9 :
Figure 9: District of the instance.

Table 2 :
Notations of this paper.
j (t) e allocated (but not occupied) parking service set at time point t S AR j (t) e arriving parking service set at time point t S ARN j (t) e allocated but not arriving parking service set at time point t S AP j (t) e approaching parking service set at time point t S APN j (t) e allocated but not approaching parking service set at time point t S O j (t) e occupied (but not terminated) parking service set at time point t S T j (t) e terminated parking service set at time point t S N j (t) e NA parking service set at time point t S B j (t) e BA parking service set at time point t j ] e time window of parking service j [long j , lat j ]
3.2.2.Demand and Service Allocating.At each allocation time point, AC selects specific demand and service to participate in the allocation process.Parking service j can serve parking demand i if the following three criteria are achieved.Firstly, parking price p j is within the maximum acceptable parking price p max i .Secondly, walking distance d ij (calculated by destination location [long i , lat i ] and parking space location [long j , lat j ]) is within the maximum acceptable walking distance d max j ].On this basis, parking service j can serve parking demand i ′ at the same time if time window [t S i′ , t E i′ ] is not in conflict with time window [t S i , t E i ]. Figure Parking service j produces two parking services in Case 1. Parking service j produces three parking services in Cases 2, 3, and 4. Parking service j produces four parking services in Cases 5, 6, and 7. Parking service j produces five parking services in Case 8.e overall time horizon is discretized into a set of time units S t 1, 2, ..., T { }.Each time unit corresponds to its end time point, so that S t is also a set of time points.At each time point, AC also updates demand and service periodically.Parking demand i in SARN i (t) will be moved to S AR i (t) and added to arriving demand list if t S i � t + T AR .Parking demand i in S AR i (t) will be moved to S O i (t) and added to the occupied demand list if t S i � t.Parking demand i in S O i (t) will be added to leaving demand list if t E i � t + T AR .Parking .
Figure 9(a)shows the district in Chaoyang District, Beijing, China, where the historical parking data come from.Figure9(b) shows the normalized district, of which the length and width are both 1 km.ere are five adjacent blocks in the district.Blocks with the same color have the same land use.e green block is for business, the yellow block is for commercial, and the orange block is for residential.esolid circle in each block represents a parking facility.enumbers beneath each solid circle represent the coordinates of each parking facility.e five parking facilities rent parking spaces to CARSP for sharing.
We set two tests to study the performance of CARSP based on FBFS, RHN, RHB, and DPRH

Table 3 :
Parameters of the instance.

Table 4 :
Details of parking services.

Table 5 :
Details of the test groups.

Table 6 :
Performances of different groups over three days.