This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

\vgtccategory

Research \vgtcinsertpkg

Crowdsourcing Autonomous Traffic Simulation

Hua Wang  Wenshan Zhao  Zhigang Deng  Mingliang Xu
Abstract

We present an innovative framework, Crowdsourcing Autonomous Traffic Simulation (CATS) framework, to safely implement and realize orderly traffic flows. We first provide a semantic description of the CATS framework using theories of economics to construct coupling constraints among drivers, in which drivers monitor each other by making use of transportation resources and driving credit. We then introduce an emotion-based traffic simulation, which utilizes the Weber-Fechner law to integrate economic factors into drivers’ behaviors. Simulation results show that the CATS framework can significantly reduce traffic accidents and improve urban traffic conditions.

keywords:
crowdsourcing autonomous traffic simulation, coupling constraints among drivers, Weber-Fechner law, emotion-based traffic simulation

1 INTRODUCTION

Rising traffic problems, such as congestion, accidents, and violations amongst others, are inevitable in large and growing metropolitan areas across the world. A significant portion of the population is plagued by traffic related problems every day. The issue of effectively managing traffic has become a mounting challenge for numerous cities.

Numerous methods have been used to address urgent traffic problems, such as number plate based restrictions, advocating the use of public transit, and traffic camera monitoring systems amongst others[1, 2]. In most of these mentioned methods, traffic participants (drivers for example) are subject to law enforcement measures. Most of them are generally egocentric and prefer to take chances by committing traffic violations in the absence of supervision and enforcement, which is a kind of non-cooperative game that occurs in the real world. As a result, there have been no significant improvements of urban traffic conditions in large cities using the above methods[3, 4].

This paper proposes a new traffic management system called Crowdsourcing Autonomous Traffic Simulation (CATS) framework to tackle the above-mentioned problems. In this system, we present the following views based on theories of economics and psychology: (1) A traffic camera is present in each vehicle to achieve the aim of mutual supervision. Each driver possesses dual identities as a “law enforcer” and “object of law-enforcement” at the same time. (2) Drivers would be punished after violating traffic laws. In addition, drivers would be able to obtain “rewards” by reporting violations of other drivers (rewards are to be covered by fines collected from perpetrators of traffic violations in the form of transportation resource value). (3) In addition to receiving economic punishments, the perpetrator will also be deducted a certain amount of driving credit. Credit can be obtained on a regular basis when the system distributes equal amounts to all drivers, and it has a validity period. The credit value of each driver is limited within a certain time period. Drivers are forbidden to drive after credit has been deducted completely. This driving credit regime serves as a deterrence for traffic misbehaviors and non-compliance.

In order to develop the above-mentioned CATS framework, we use a multi-agent method to simulate the evolution of vehicle flow dynamics within the system. Specifically, we firstly use a car-following model and a lane-changing model to model vehicles’ movements. We then model psychological dynamic of drivers in the CATS framework by the Weber-Fechner law to impact vehicles’ movements, thus driving traffic simulations in the CATS framework (Figure 1).

Our contributions are as follows:

  • Constructing coupling constraints among drivers: We consider drivers as law enforcers and objects of law-enforcement at the same time and enforce reward and punishment mechanisms to monitor each other.

  • Modeling the relationship between the above coupling constraints and drivers’ behaviors: We use the Weber-Fechner law to measure drivers’ sensations in relation to the physical magnitude of reward and punishment stimuli.

  • Introducing a multi-agent traffic simulation method to develop the CATS framework: We introduce a multi-agent traffic simulation method to model vehicles’ movements by combining traffic economics(reward and punishment mechanisms), psychology (driving behaviors) and dynamics.

Refer to caption

Figure 1: The framework of our CATS.

2 RELATED WORK

In this section, we firstly give some descriptions about existing methods for traffic management. We then describe the latest studies about traffic simulations as we drive traffic simulations in the CATS framework.

2.1 Traffic Management

There are about two classes of traffic management methods: road space rationing and economic punishment.

Road space rationing is aimed to reduce the negative externalities generated by urban travel demand in excess of available supply or road capacity, through artificially restricting demand by rationing the scarce common good road capacity. A number of countries have implemented road space rationing such as allowing travel only on alternate-days, introducing driving restrictions[5], no-drive days and advocating the use of public transit over many years. However, there have been no significant improvements in urban traffic conditions in large cities. The limited transportation resources of cities are unable to meet the continuously increasing traffic demands during the process of urbanization. The experience of developed countries has proved that it is difficult to fundamentally solve these increasingly serious traffic problems by simply increasing the supply of transport resources. It is easy to fall into the following vicious cycle: congestion \rightarrow constructing new roads \rightarrow relief \rightarrow inducing new demand \rightarrow congestion again[3, 4].

From a behavioral science perspective, economic punishment is one of the most direct and effective approaches to ease urban traffic congestion. Adam et al. proposed a solution to guide and regulate urban traffic by levying road congestion fees, and thus being able to alleviate traffic congestion[6, 7]. However, such solutions not only increase the cost of driving, but also give rise to public concerns over the redistribution of the collected fees [8, 6]. To offset the negative effects of congestion fees and ensure that people are not discouraged to move around freely, Kockelman et al. presented a credit-based congestion pricing strategy. The strategy associates with driving under congested conditions in which road tolls are based on the negative externalities. Generated tolls are returned to all licensed drivers in a uniform fashion [9]. Verhoef et al. explored the possibilities of using tradeable permits in the regulation of road transport externalities [10]. Akamatsu presented a transportation demand management scheme called “tradable bottleneck permits” [11]. Yang et al. examined an alternative simple credit distribution and charging scheme. In this scheme, governments initially issue credit to all eligible travelers. The credit can then be traded freely in a competitive market without government intervention [12]. Charges regulate traffic flow as pricing does in both static and dynamic control settings by allowing for unrestricted trading of credit. The CATS framework is inspired by this scheme. In the above economic punishment measures, traffic cameras play a vital role in the enforcement of traffic laws. However, a number of security risks are associated with this [13]. Research shows that traffic camera systems could increase the number of accidents, such as rear-ending and hurting pedestrians at certain locations. The risk of traffic accidents exists during the final seconds of a green light traffic signal. Moreover, when drivers are aware of the locations of traffic cameras, the effectiveness of traffic camera systems is limited [14, 15, 16].

Traffic problems appear to be caused by a spatial and temporal mismatch of the supply and demand of transportation resources. When considering the issue from the perspectives of economics and psychology, traffic problems are primary as a result of conflicts caused by traffic participants, who are generally egocentric and prefer to take chances by committing traffic violations in the absence of supervision and traffic law enforcement. This could be referred to as “non-cooperative game” that occurs in the real world.

2.2 Traffic Simulation

Traffic simulation models could be mainly classified into two broad categories based on the level of simulation details [17, 18]: macroscopic and microscopic models. Macroscopic models formulate the relationships among traffic flow characteristics such as density, flow, and mean speed of a traffic stream. These include anisotropic models[19, 20, 21] and lattice hydrodynamic models [22, 23]. Microscopic models describe traffic at a high level of detail (agent level) and attempt to model the actions and reactions of vehicles as accurately as possible. These include optimal velocity models [24, 25], intelligent driver models [26], and the cellular automaton models [27].

In order to meet actual demands in computer graphics, Sewall et al. first introduced the concept of “virtual traffic” and used the A* algorithm to achieve virtual traffic reconstruction. Every vehicle in the model should consider all vehicles in the scenario[28]. Sewall et al. also proposed a hybrid technique by coupling continuum and agent-based traffic models[29]. Wilkie et al. introduced a fast technique to reconstruct traffic flows from in-road sensor measurements or procedurally generated data for interactive 3D graphics applications[30]. Wang et al. developed the traditional lattice hydrodynamic model by an interaction term to model traffic interactions between lanes[31]. Shen et al. presented a new agent-based system for detailed traffic animation on urban arterial networks with diverse junctions such as signalized crossing, merging and weaving areas[32]. Yang et al. presented a novel traffic animation method to promote the sense of immersion of the virtual traffic flow by inserting virtual vehicles into the real trajectory data based on the intelligent driver model[33]. Ignacio provided an interactive approach which enables a designer to specify a desired vehicular traffic behavior[34]. Wang et al. used shadow traffic to model abnormal traffic behavior[35]. Li et al. presented a city-scale traffic animation using statistical learning and metamodel-based optimization[36]. Chao et al.introduced a novel data-driven scheme to generate a large set of new vehicle trajectories through the non-trivial fusion of texture synthesis and traffic behavior rules[37].

The significant majority of existing traffic simulation models rarely gives any consideration to economic factors. Parameters in these models are determined by experience and some observations. Therefore, these models are unable to provide accurate descriptions of enormous and complex transportation systems.

3 MODELING OF THE CATS FRAMEWORK

A multi-agent method is used to abstract the CATS framework as a generic 5-element tuple Θ=(Γ,Ω,Φ,Λ,Λ¯)\Theta=\left({\Gamma,\Omega,\Phi,\Lambda,\bar{\Lambda}}\right), where Θ\Theta represents the “driver-vehicle-road” traffic system; Γ\Gamma represents the “driver-vehicle” unit set; Ω\Omega represents the set of rules based on the CATS framework; Φ\Phi represents the traffic resources provided by the system i.e. road space available for driving; Λ\Lambda represents the types of traffic violations identified by the system and the corresponding penalties; and Λ¯\bar{\Lambda} represents the type of spontaneous comity behaviors identified by the system and the corresponding rewards.

Definition 1 : ΓiΓ{\Gamma_{i}}\in\Gamma is the “driver-vehicle” integrated agent. Here, it is referred to as dri-vehicle without discrimination. In addition, N=|Γ|N=\left|\Gamma\right| represents number of dri-vehicles moving on roads.

Definition 2 : The transportation resource value i(t){\wp_{i}}\left(t\right) represents the amount of transportation resource that Γi\Gamma_{i} owns at the time of tt.

Definition 3 : The driving credit value i(t){\ell_{i}}\left(t\right) represents the amount of credit that Γi\Gamma_{i} owns at the time of tt.

Definition 4 : Denote the set of dri-vehicles with violations that are being detected by the camera on Γi{\Gamma_{i}} at the time tt as Ai(t){A_{i}}\left(t\right). For ΓjAi(t){\Gamma_{j}}\in{A_{i}}\left(t\right), denote the set of dri-vehicles that are detecting the violation of Γj\Gamma_{j} at the time of tt as Ψj(t){\Psi_{j}}\left(t\right).

Based on the above definitions, the following sets of assumptions are detailed.

Hypothesis 1 : During system initialization, the system allocates a reasonable amount of transportation resources 0{\wp_{0}} equally to every dri-vehicle free of charge. Then, for each Γi{\Gamma_{i}}, i(0)=0{\wp_{i}}(0)={\wp_{0}}, 0\wp_{0} represents the initial purchase power of Γi{\Gamma_{i}}. After a period of ΔT1\Delta T_{1}, every dri-vehicle is given an equal amount of transportation resource 0\wp_{0}, which has no time validity limit and can therefore be accumulated. That is, when t=nΔT1t=n\Delta T_{1} (nN+)\left({n\in N^{+}}\right), then i(t)=i(t)+0{\wp_{i}}\left(t\right)={\wp_{i}}\left(t\right)+{\wp_{0}}. It is agreed that during a period of [nΔT1,(n+1)ΔT1]\left[{n\Delta T_{1},\left({n+1}\right)\Delta T_{1}}\right], nNn\in N, if the transportation resource value of Γi{\Gamma_{i}}, i(t)min{\wp_{i}}\left(t\right)\leq{\wp^{\min}}, min(0,0){\wp^{\min}}\in\left({0,{\wp_{0}}}\right), then the dri-vehicle Γi{\Gamma_{i}} is prevented from making use of any road resources before transportation resources have been received again.

Hypothesis 2 : During system initialization, the system allocates an equal amount of driving credit 0{\ell_{0}} free of charge. Then, for Γi{\Gamma_{i}}, i(0)0{\ell_{i}}(0)\equiv{\ell_{0}}. Every time following a period of ΔT2\Delta T_{2}, each dri-vehicle will be given an equal amount of driving credit 0{\ell_{0}} again, which hold a time validity limit and cannot be traded freely. When t0=nΔT2,nN{t_{0}}=n\Delta T_{2},n\in N , the driving credit value of Γi{\Gamma_{i}} is i(t0)0{\ell_{i}}({t_{0}})\equiv{\ell_{0}} . It is agreed that during a period of [nΔT2,(n+1)ΔT2]\left[{n\Delta T_{2},\left({n+1}\right)\Delta T_{2}}\right] , the upper limit of accumulated driving credit of Γi{\Gamma_{i}} is 0{\ell_{0}} .When t[nΔT2,(n+1)ΔT2]t\in\left[{n\Delta T_{2},\left({n+1}\right)\Delta T_{2}}\right] and i(t)0{\ell_{i}}\left(t\right)\leq 0 , Γi{\Gamma_{i}} will not be able to make use of any road resources during the subsequent period of [t,(n+1)ΔT2]\left[{t,\left({n+1}\right)\Delta T_{2}}\right].

Hypothesis 3 : ΓiΓ\forall{\Gamma_{i}}\in\Gamma is able to detect all misbehaving dri-vehicles within the detection scope. Meanwhile, the misbehavior of Γi{\Gamma_{i}} can also be detected by surrounding dri-vehicles. The set of misbehaving dri-vehicles detected is denoted by Γi{\Gamma_{i}} at the time of tt as Ai(t){A_{i}}(t), then for ΓjAi(t)\forall{\Gamma_{j}}\in{A_{i}}(t), it will not only be deducted a certain amount of driving credit, but will also be required to pay a fine immediately to Γi{\Gamma_{i}} in the form of transportation resource value. The actual amount of fine is jointly determined by Γj{\Gamma_{j}}’s violation type kΛk\in\Lambda, and |Ψj(t)|\left|{{\Psi_{j}}\left(t\right)}\right|, which is the number of vehicles that detected the violation of Γi{\Gamma_{i}} at the time of tt. The amount of driving credit to be deducted as a result of violation of type kk is denoted as fkcref_{k}^{\mathrm{cre}}, and the amount of transportation resource value to be deducted are denoted as fkresf_{k}^{\mathrm{res}}. Then, the amount of the fine Γj{\Gamma_{j}} needs to pay Γi{\Gamma_{i}} at the time of tt, can be defined as fji(t)=fkres/|Ψj(t)|{f_{j\to i}}\left(t\right)={{f_{k}^{\mathrm{res}}}\mathord{\left/{\vphantom{{f_{k}^{\mathrm{res}}}{\left|{{\Psi_{j}}(t)}\right|}}}\right.\kern-1.2pt}{\left|{{\Psi_{j}}(t)}\right|}} . The dri-vehicle which has violated traffic laws will be notified of the penalty immediately (Figure 2).

Hypothesis 4 : ΓiΓ\forall{\Gamma_{i}}\in\Gamma can obtain information in relation to currently congested areas J={areajam(t)}J=\{are{a^{\mathrm{jam}}}\left(t\right)\}. When Γi{\Gamma_{i}} chooses to travel to a location within a congested area areajam(t)Jare{a^{\mathrm{jam}}}\left(t\right)\in J , it will be charged a congestion fee in the form of traffic resource value i(t){\wp_{i}}\left(t\right).

Refer to caption

Figure 2: The reward and punishment system among dri-vehicles for a traffic violation.

By taking into account the above mentioned assumptions and traffic psychology theories, which describe that drivers’ behaviors are affected by factors such as emotions, next we will show how vehicles move within the CATS framework.

4 CATS SIMULATION

4.1 Preliminaries

4.1.1 Car-following Model

In the CATS framework, drivers adjust their driving behaviors according to their driving credit values. However, they also comply with car-following rules. Here we adopt the intelligent driving model(IDM)[26].

a(v,Δv,s)=amax[1(vv0)δ(s(v,Δv)s)2]a\left({v,\Delta v,s}\right)={a_{\max}}\left[{1-{{\left({\frac{v}{{{v_{0}}}}}\right)}^{\delta}}-{{\left({\frac{{{s^{*}}\left({v,\Delta v}\right)}}{s}}\right)}^{2}}}\right]

Here, aa denotes the accelerated velocity, vv is the velocity, ss is the distance between two vehicles, Δv\Delta v is the velocity difference, s(v,Δv)=s0+Tv+vΔv2amaxbcom{s^{*}}\left({v,\Delta v}\right)={s_{0}}+Tv+\frac{{v\Delta v}}{2\sqrt{a_{\max}{b_{\mathrm{com}}}}} is the desired minimum gap. TT represents the safe time headway. amax{a_{\max}} is the maximum acceleration. bcom{b_{\mathrm{com}}} is the desired deceleration. δ\delta is the acceleration exponent and s0s_{0} is the jam distance.

4.1.2 Lane-changing Model

Lane changes are common behaviors which can be observed in various traffic scenarios such as when vehicles travel on on/off-ramps, during lane closings, interactions, at interchanges, and within traffic accident segments. Modeling lane changes naturally play an important role in traffic simulations and animations to accurately represent real-world situation and dynamic realism [38].

There are two steps to determine a lane-changing process: lane-changing necessities and lane-changing feasibilities. First, a vehicle possesses a lane-changing necessity if one of the following conditions is applicable:

  • The speed of its leader vehicle in the current lane is slower than that of its leader vehicles in neighboring lanes (the ratio of which is η\eta and η<1\eta<1 ).

  • The lane is being closed as a result of lane merging and traffic accidents.

  • Ramp terminal scenarios.

Drivers judge feasibilities of lane-changing maneuvers according to surrounding conditions. The surrounding conditions describe that there should be sufficient gaps between the subject vehicle (S) and surrounding vehicles to avoid collisions during lane changes. S, which is following the leader vehicle (CL) in the current lane, wishes to merge into its target lane, in between the leader vehicle (TL) and the follower vehicle (TF). The gaps between s and CL (TL / TF) should be larger than some given smallest acceptance gaps during the lane-changing process to ensure collisions are avoided.

Based on some existing lane-changing models[39, 38], three gaps are considered here. Let the gap between S\mathrm{S} and CL\mathrm{CL} at the end of the lane-changing process be gapCLgap_{\mathrm{CL}}, the gap between S\mathrm{S} and TL\mathrm{TL} at the end of the process be gapTLgap_{\mathrm{TL}}, the gap between TF\mathrm{TF} and V\mathrm{V} at the end of the process be gapTFgap_{\mathrm{TF}} (Figure 3). In order to avoid lane-changing conflicts, gapCLgap_{\mathrm{CL}}, gapTLgap_{\mathrm{TL}} and gapTFgap_{\mathrm{TF}} should satisfy the following formulas:

Refer to caption

Figure 3: Vehicles that produce effects on a lane-changing process for SV\mathrm{SV}. The red vehicle is SV\mathrm{SV}. It decides to change its lane to the left. The red box is a clone of SV\mathrm{SV} to describe a suppositional position of SV\mathrm{SV} after it finishes the desirable lane-changing process.
gapCLgapCL,mingap_{\mathrm{CL}}\geq gap_{\mathrm{CL,min}}
gapTLgapTL,mingap_{\mathrm{TL}}\geq gap_{\mathrm{TL,min}}
gapTFgapTF,mingap_{\mathrm{TF}}\geq gap_{\mathrm{TF,min}}

gapTL,mingap_{\mathrm{TL,min}} and gapTF,mingap_{\mathrm{TF,min}} are the same as Hidas’ model [39], which are functions of velocities. We let the expression of gapCL,mingap_{\mathrm{CL,min}}, which is a function of the velocity of CL\mathrm{CL}, be agapTL,mina*gap_{\mathrm{TL,min}}. aa is constant and less than 1. gapTL,mingap_{\mathrm{TL,min}}, gapTF,mingap_{\mathrm{TF,min}} and aa are restricted by a number of factors, such as weathers, driving behaviors and pavement conditions etc.

Let S, CL, TL, and TF travel at even speeds and gapTL,mingap_{\mathrm{TL,min}}, gapTF,mingap_{\mathrm{TF,min}}, gapCL,mingap_{\mathrm{CL,min}} be a linear relation to velocities. Let gapTL,min=μ1vSgap_{\mathrm{TL,min}}={\mu_{1}}{v_{\mathrm{S}}}, gapTF,min=μ2vSgap_{\mathrm{TF,min}}={\mu_{2}}{v_{\mathrm{S}}}, gapCL,min=μ3vSgap_{\mathrm{CL,min}}={\mu_{3}}{v_{\mathrm{S}}}, in which μ1\mu_{{}_{1}} , μ2\mu_{{}_{2}} , μ3\mu_{{}_{3}} are constants, then

vSΔτvCLΔτ+gapCL,0μ1vS{v_{\mathrm{S}}}\Delta\tau\leq{v_{\mathrm{CL}}}\Delta\tau+{gap_{\mathrm{CL,0}}}-{\mu_{1}}{v_{\mathrm{S}}}
vSΔτvTLΔτ+gapTL,0μ2vS{v_{\mathrm{S}}}\Delta\tau\leq{v_{\mathrm{TL}}}\Delta\tau+{gap_{\mathrm{TL,0}}}-{\mu_{2}}{v_{\mathrm{S}}}
vSΔτvTFΔτ+gapTF,0μ3vS{v_{\mathrm{S}}}\Delta\tau\leq{v_{\mathrm{TF}}}\Delta\tau+{gap_{\mathrm{TF,0}}}-{\mu_{3}}{v_{\mathrm{S}}}

Here Δτ\Delta\tau specifies the lane-changing duration. vSVv_{\mathrm{SV}}, vCLv_{\mathrm{CL}}, vTLv_{\mathrm{TL}}, vTFv_{\mathrm{TF}} are the velocities of S, CL, TL, TF, respectively, before they change lanes. gapCL,0gap_{\mathrm{CL,0}}, gapTL,0gap_{\mathrm{TL,0}}, gapTF,0gap_{\mathrm{TF,0}} are gaps between S and CL, S and TL, S and TF, respectively.

4.1.3 Weber-Fechner Law

Weber-Fechner law is used to express the relationship between psychological and physical quantity. It can be expressed by the following formula:

κ1=εlnκ2{\kappa_{1}}=\varepsilon\ln{\kappa_{2}}

Where κ1{\kappa_{1}} represents sensory intensity, and κ2{\kappa_{2}} represents stimuli intensity.

The law states that psychological quantity is a logarithmic function of the stimuli. That is, sensory intensity increases in an arithmetic progression when stimuli intensity increases in a geometric progression. This law is widely used in psychology, acoustics, and marketing. Using marketing as an example, the Weber-Fechner law dictates that the buyer’s perception of price is more dependent on the percentage of change than the absolute value of the change.

Drivers tend to adopt a conservative driving manner when traffic resources and driving credit are low. However, when traffic resources and driving credit are relatively abundant, the impact of one violation deduction unit is smaller than when the values are low. This shows that there is a Weber-Fechner law relationship between the driver’s credit value and his driving behavior.

4.2 CATS Simulation based on the Weber-Fechner Law

The movement of a dri-vehicle in the CATS simulation is based on the car-following model and lane-changing model presented in Section 4.1. In the CATS simulation, the parameter vector (v0,T,amax,bcom,δ,s0,η,μ1,μ2,μ3,Δτ)\left({{v_{0}},T,{a_{\max}},{b_{com}},\delta,{s_{0}},\eta,{\mu_{1}},{\mu_{2}},{\mu_{3}},\Delta\tau}\right) of the car-following model and lane-changing model is affected by the driving credit and road resources. By manipulating the values of car-following and lane-changing model parameters, the rules of the CATS simulation influence the movement of dri-vehicles.

We use the emotion-based driving behavior control model to determine the parameter vector. In the real world, different drivers have different standards on what is considered to be a safe distance, the adequate conditions for lane changing, and so on. Individual drivers may alter their driving preferences as driving credit and road resources change. For example, when driving credit is low, drivers may become more prudent while driving. In order to represent the influence of an individual’s emotion on driving behavior, we class three typical driving behavior types for the dri-vehicles using the personalized modeling method based on theories of transportation psychology: conservative, normal, and aggressive driving behavior. Conservative driving refers to a driving temperament where drivers strictly follow traffic rules strictly and is hardly influenced by traffic resource and driving credit. Normal driving and aggressive driving tend to be conservative when traffic resources and driving credit are low (Figure 4). We use the Weber-Fechner law to simulate the relationship between driving preference and traffic resource / driving credit in the CATS framework.

Refer to caption

Figure 4: The relationship between traffic resources / driving credits and driving behaviors in our CATS framework.

The Weber-Fechner law is used to obtain the movement parameters for the three driving behavior types mentioned previously. Vector A0A_{0}, B0B_{0}, C0C_{0} represent values of the parameter vector (v0,T,amax,bcom,δ,s0,η,μ1,μ2,μ3,Δτ)\left({{v_{0}},T,{a_{\max}},{b_{\mathrm{com}}},\delta,{s_{0}},\eta,{\mu_{1}},{\mu_{2}},{\mu_{3}},\Delta\tau}\right) corresponding to the three driving behavior types at the initial time, i.e. the time when traffic resource and driving credit values are allocated. The Weber-Fechner law is used to model the relationship between the parameters and traffic resources / driving credit.

A(t,i)=A0A\left({t,i}\right)={A_{0}} (4.1)
B(t,i)=(B0A0)λ(t,i)+A0B\left({t,i}\right)=\left({{B_{0}}-{A_{0}}}\right)\lambda\left({t,i}\right)+{A_{0}} (4.2)
C(t,i)=(C0A0)λ(t,i)+A0C\left({t,i}\right)=\left({{C_{0}}-{A_{0}}}\right)\lambda\left({t,i}\right)+{A_{0}} (4.3)

A(t,i)A\left({t,i}\right), B(t,i)B\left({t,i}\right) and C(t,i)C\left({t,i}\right) represent the value of the parameter vector (v0,T,amax,bcom,δ,s0,η,μ1,μ2,μ3,Δτ)\left({{v_{0}},T,{a_{\max}},{b_{\mathrm{com}}},\delta,{s_{0}},\eta,{\mu_{1}},{\mu_{2}},{\mu_{3}},\Delta\tau}\right) when the driving tendency type of the iith dri-vehicle is conservative, normal, or aggressive, respectively. λ(t,i)\lambda\left({t,i}\right) is the intensity value obtained using the Weber-Fechner law:

λ(t,i)=ln(1+σ(t,i))ln2\lambda\left({t,i}\right)=\frac{{\ln\left({1+\sigma\left({t,i}\right)}\right)}}{{\ln 2}}

Where σ(t,i)\sigma\left({t,i}\right) represents the normalized driving credit and traffic resource values of dri-vehicle ii at the time of tt .

σ(t,i)=min(i(t)0,i(t)max0max)\sigma\left({t,i}\right)=\min\left({\frac{{{\ell_{i}}\left(t\right)}}{{{\ell_{0}}}},\frac{{{\wp_{i}}\left(t\right)-{\wp_{\max}}}}{{{\wp_{0}}-{\wp_{\max}}}}}\right)

5 DISCUSSION

Now we can model the movements of vehicles in the CATS simulation. There are some problems we must discuss here.

Firstly, in relation to traffic congestion, traffic violation reporters will be rewarded with certain driving resource values under the CATS framework. Since the driving resource value is an important parameter related to the ability of dri-vehicles to endure traffic jams, the following phenomena may occur: as the value increases, some dri-vehicles are likely have to pay more resource values for congestion costs and eliminate the need to bypass bottlenecks, thereby aggravating congestion. In fact, a dri-vehicle’s traffic resources and driving credit will be reduced due to traffic violations under the CATS framework. In order to maintain the right to drive, dri-vehicles will tend to drive more prudently and attempt to avoid the continuous occurrence of traffic violations, making it more difficult for other dri-vehicles to obtain resource values. Therefore, the amount of transportation resource value that can be obtained is limited. In addition, the conservative type dri-vehicles are likely to avoid congested roads during the process of path planning, regardless of how much resource value they possess. In this article, we only consider the impact of the CATS on traffic behavior types. Another study related to conducting the path planning is currently underway.

Secondly, the traffic accident rate is an important indicator of traffic safety. In general, dri-vehicles with aggressive driving behavior have a higher probability of committing traffic violations and being involved in traffic accidents, when compared to those with conservative driving tendencies. Under the CATS framework, once a dri-vehicle breaks a traffic rule, both its traffic resource value and traffic credit value will be reduced as a result. Consequently, the dri-vehicle’s behavior will become more conservative, according to Equation (4.2) and Equation (4.3). Therefore, the CATS will reduce the rate of traffic accident occurrence.

Finally, the CATS framework only provides a strategy for lane-changing decision-making. The detailed process of lane-changing can be worked out using the method provided by Wang et al. [38].

6 RESULTS

6.1 Traffic Evolutions in the CATS Simulation

6.1.1 Relationship between Driving Behavior and Number of Violations

In this part, we discuss the relationship between driving behaviors and computing time. According to Equation (4.1), Equation (4.2) and Equation (4.3), for a dri-vehicle ii, its driving behavior is not suddenly changed. It is determined by λ(t,i)\lambda\left({t,i}\right) . It changes from its initial driving behavior to conservative driving when λ(t,i)\lambda\left({t,i}\right) changes from 1 to 0. Figure 5 shows how λ(t,i)\lambda\left({t,i}\right) changes as the number of violations increases for dri-vehicle ii. In this experiment, we let 0=10,min=2,0=10{\wp_{0}}=10,{\wp^{\min}}=2,{\ell_{0}}=10 . If a dri-vehicle drives against a traffic regulation, we let ficre=fjcre=fires=fjres=2f_{i}^{\mathrm{cre}}=f_{j}^{\mathrm{cre}}=f_{i}^{\mathrm{res}}=f_{j}^{\mathrm{res}}=2 (i,jΛ\forall i,j\in\Lambda) in order to simplify experiments. It shows that dri-vehicles drive more conservative when the number of violations increases. The greater the cost of one violation, the more conservative the dri-vehicles are likely to be.

Refer to caption

Figure 5: Relationships between driving behaviors and computing time.

6.1.2 Relationship between Desired Velocity and Number of Violations

Here we discuss how v0v_{0} changes when the number of violations increases for a dri-vehicle. The situation is described as: A downtown traffic simulation and three driving behavior types (conservative, normal and aggressive) exist. We let initial values of v0v_{0} for the three types of dri-vehicles are 50km/h, 40km/h and 30km/h, respectively. 0=10,min=2,0=10{\wp_{0}}=10,{\wp^{\min}}=2,{\ell_{0}}=10, If a dri-vehicle drives againsts a traffic regulation, ficre=fjcre=fires=fjres=2f_{i}^{\mathrm{cre}}=f_{j}^{\mathrm{cre}}=f_{i}^{\mathrm{res}}=f_{j}^{\mathrm{res}}=2 i,jΛ\forall i,j\in\Lambda in order to simplify experiments. Figure 6 shows how v0v_{0} changes when the number of violations increases for the three types of dri-vehicles.

Refer to caption

Figure 6: Relationships between desired velocity and number of violations.

6.1.3 Relationship between Lane-changing Duration and Number of Violations

Here we discuss how Δτ\Delta\tau changes when the number of violations increases for a dri-vehicle. The situation is described as: A downtown traffic simulation and three driving behavior types (conservative, normal and aggressive) exist. We let initial values of Δτ\Delta\tau for the three types of dri-vehicles are 3s, 5s and 6s, respectively. 0=10,min=2,0=10{\wp_{0}}=10,{\wp^{\min}}=2,{\ell_{0}}=10 , If a dri-vehicle drives againsts a traffic regulation, ficre=fjcre=fires=fjres=2f_{i}^{\mathrm{cre}}=f_{j}^{\mathrm{cre}}=f_{i}^{\mathrm{res}}=f_{j}^{\mathrm{res}}=2 i,jΛ\forall i,j\in\Lambda in order to simplify experiments. Figure 7 shows how Δτ\Delta\tau changes when the number of violations increases for these three types of dri-vehicles.

Refer to caption

Figure 7: Relationships between Lane-changing duration and number of violations.

6.2 Simulation and Comparison

In this section, we will discuss how traffic accident rates change in the CATS framework.

The simulation we conduct involves 2,000 vehicles, among which 25% are classed as conservative driving type, while 50% are classed as normal driving type, and 25% as aggressive driving type.

Considering that traffic cameras are highly visible since they are installed outdoors and that most commercial navigation applications alert users when vehicles are in close proximity to a traffic camera, the following assumptions in relation to the traffic violation rates at the areas covered by traffic cameras are made: dri-vehicles with an aggressive driving behavior type: 2% (i.e. 2 out of every 100 dri-vehicles will break traffic rules per day); dri-vehicles with a normal driving behavior type: 1%; and dri-vehicles with a conservative driving behavior type: 0%. For areas not covered by traffic cameras, the following assumptions in relation to the traffic violation rates are made: dri-vehicles with an aggressive driving behavior type: 10% (i.e. 10 out of every 100 dri-vehicles will break traffic rules per day); dri-vehicles with a normal driving behavior type: 5%; and dri-vehicles with a conservative driving behavior type: 0%.

Let the violation recurrence rate be 50%, which means that 50% of the violations that occur each day are not the first instance of occurrence. To simplify the simulation, if a dri-vehicle chooses to travel to a location within a congested area, he will be deducted two units of traffic resources. Additionally, for any traffic violation, the dri-vehicle will be deducted two units of drive credit and two units of traffic resources. It is also assumed that two nearby cars will detect the same violation and report it at the same time. Furthermore, it is assumed that the value of driving parameters corresponding to conservative, normal, and aggressive driving is B0=0.5(A0+C0){B_{0}}=0.5*({A_{0}}+{C_{0}}).

Figure 8 shows how traffic accident rates change over time in scenarios that are based on the CATS and those which are not. It is clear that the CATS can significantly reduce traffic accidents.

Refer to caption

Figure 8: How traffic accident rates changed over time in the scenarios that are based and not based on the CATSS.

Figure 9 presents how traffic accident rates change over time in three scenarios ( no camera coverage, 30% camera coverage, and 100% camera coverage) in the CATS simulation.

Refer to caption

Figure 9: How traffic accident rates changed over time in different scenarios in the CATS simulation.

It is demonstrated that the accident rate decreases over time in all scenarios. In the scenario with 100% camera coverage, the traffic accident rate only drops minimally. This is because the initial accident rate is very low in this scenario when compared to other scenarios.

Figure 11 shows how the percentage of the three described driving behavior types changes over time when the 30% camera coverage scenario is simulated using the CATS. As shown, with the passage of time, the number of dri-vehicles with a conservative driving behavior type increases steadily while the number of dri-vehicles with an aggressive driving behavior type decreases gradually. The number of dri-vehicles with a normal driving behavior type increases minimally during the early stage of simulation and then decreases gradually later. The reason for the increase is that aggressive dri-vehicles become normal dri-vehicles, and then become conservative dri-vehicles. Figure 10 shows snapshots of the traffic animation results.

Refer to caption

Figure 10: Snapshots of traffic animation results about how the percentage of dri-vehicles of the three driving behavior types changed over time.

Refer to caption

Figure 11: How the percentage of dri-vehicles of the three driving behavior types changed over time when the scenario with 30% camera coverage was simulated.

6.3 Comparison of Performance Scaling

To better evaluate the performance of CATS simulation, we compare the computational time of it to the SUMO, which is an agent-based traffic simulation system designed to handle large road networks [40]. The results are collected on an Intel Core(TM) i7-6700HQ 2.60GHZ CPU with an independent graphics card.

Results are shown in Figure 12. It is clear that the CATS simulation has nearly the same efficiency as that of the SUMO.

Refer to caption

Figure 12: Comparison of the per scaling of the SUMO and our CATS simulation as the number of vehicles increases.

7 CONCLUSIONS

In this paper, we have presented an innovative traffic management framework named CATS framework. Through creatively introducing mutual supervision and a reward/punishment mechanism, the CATS framework is able to solve problems in existing urban traffic systems. In addition, we have also provided a traffic simulation method to model and deduce the framework. We have introduced how to transform the above mechanisms into traffic simulations, in which traffic economics, psychology and dynamic traffic simulations are combined. Simulation results demonstrate that the CATS framework can significantly reduce the number of accidents. In the future, we hope to explore modeling of path planning within the CATS framework.

ACKNOWLEDGEMENTS

This work is supported and funded by the National Natural Science Foundation of China (Grant No. 61602425, 61472370, 61672469, 61602420, 61502433), the Open Project Program of the State Key Lab of CAD&CG (Grant No. A1717), Zhejiang University. We would like to thank the reviewers for their constructive comments and suggestions.

References

  • [1] Shanjiang Zhu, Longyuan Du, and Lei Zhang. Rationing and pricing strategies for congestion mitigation: Behavioral theory, econometric model, and application in beijing. Transportation Research Part B-methodological, 57:210–224, 2013.
  • [2] Feng Shi, Guangming Xu, Bing Liu, and Hongwei Huang. Optimization method of alternate traffic restriction scheme based on elastic demand and mode choice behavior. Transportation Research Part C-emerging Technologies, 39:36–52, 2014.
  • [3] William F Laurance, Gopalasamy Reuben Clements, Sean Sloan, Christine S O’Connell, Nathan D Mueller, Miriam Goosem, Oscar Venter, David P Edwards, Ben Phalan, and Andrew Balmford. A global strategy for road building. Nature, 513(7517):229–232, 2014.
  • [4] Stephen G Perz. Sustainable development: The promise and perils of roads. Nature, 513(7517):178–179, 2014.
  • [5] Deren Han, Hai Yang, and Xiaolei Wang. Efficiency of the plate-number-based traffic rationing in general networks. Transportation Research Part E-logistics and Transportation Review, 46(6):1095–1110, 2010.
  • [6] D Adam. London gears up for road congestion charge. Nature, 421(6924):679–679, 2003.
  • [7] Mogens Fosgerau and André De Palma. The dynamics of urban traffic congestion and the price of parking. Journal of Public Economics, 105(9):106–115, 2013.
  • [8] Kenneth A. Small. Using the revenues from congestion pricing. Transportation, 19(4):359–381, 1992.
  • [9] Kara M. Kockelman and Sukumar Kalmanje. Credit-based congestion pricing: a policy proposal and the public’s response. Transportation Research Part A Policy & Practice, 39(7–9):671–690, 2005.
  • [10] Erik Teodoor Verhoef, Peter Nijkamp, and Piet Rietveld. Tradeable permits: their potential in the regulation of road transport externalities. Environment & Planning B Planning & Design, 24(4):527–548, 1997.
  • [11] Takashi Akamatsu. Tradable network permits: a new scheme for the most efficient use of network capacity. Transportation Research Part B: Methodological, 41(5):820–834, 2007.
  • [12] Hai Yang and Xiaolei Wang. Managing network mobility with tradable credits. Transportation Research Part B Methodological, 45(3):580–594, 2011.
  • [13] Barbara Langland-Orban, Etienne E Pracht, and John T Large. Red light cameras unsuccessful in reducing fatal crashes in large us cities. Health behavior and policy review, 1(1):72–81, 2014.
  • [14] Wen Hu, Anne T McCartt, and Eric R Teoh. Effects of red light camera enforcement on fatal crashes in large us cities. Journal of safety research, 42(4):277–282, 2011.
  • [15] Anne T Mccartt and Wen Hu. Effects of red light camera enforcement on red light violations in arlington county, virginia. Journal of safety research, 48:57–62, 2014.
  • [16] Srinivas S Pulugurtha and Ramesh Otturu. Effectiveness of red light running camera enforcement program in reducing crashes: Evaluation using before the installation,after the installation, and after the termination data. Accident Analysis & Prevention, 64:9–17, 2014.
  • [17] Qianwen Chao, Huikun Bi, Weizi Li, Tianlu Mao, Zhaoqi Wang, Ming C Lin, and Zhigang Deng. A survey on visual traffic simulation: Models, evaluations, and applications in autonomous driving. Computer Graphics Forum, 2019.
  • [18] Mingliang Xu, Hao Jiang, Xiaogang Jin, and Zhigang Deng. Crowd simulation and its applications: Recent advances. Journal of Computer Science and Technology, 29(5):799–811, 2014.
  • [19] A Aw and Michel Rascle. Resurrection of ”second order” models of traffic flow. SIAM journal on applied mathematics, 60(3):916–938, 2000.
  • [20] Rui Jiang, Qing-Song Wu, and Zuo-Jin Zhu. A new continuum model for traffic flow and numerical tests. Transportation Research Part B: Methodological, 36(5):405–419, 2002.
  • [21] H Michael Zhang. A non-equilibrium traffic model devoid of gas-like behavior. Transportation Research Part B: Methodological, 36(3):275–290, 2002.
  • [22] HX Ge, SQ Dai, Yu Xue, and LY Dong. Stabilization analysis and modified korteweg-de vries equation in a cooperative driving system. Physical Review E, 71(6):Article No. 066119, 2005.
  • [23] GH Peng, XH Cai, CQ Liu, and BF Cao. A new lattice model of traffic flow with the consideration of the driver’s forecast effects. Physics Letters A, 375(22):2153–2157, 2011.
  • [24] Dirk Helbing and Benno Tilch. Generalized force model of traffic dynamics. Physical Review E, 58(1):Article No. 133, 1998.
  • [25] Takashi Nagatani. Density waves in traffic flow. Physical Review E, 61(4):Article No. 3564, 2000.
  • [26] Martin Treiber, Ansgar Hennecke, and Dirk Helbing. Congested traffic states in empirical observations and microscopic simulations. Physical Review E, 62(2):Article No. 1805, 2000.
  • [27] Vladimir Belitsky, Nevena Marić, and Gunter M Schütz. Phase transitions in a cellular automaton model of a highway on-ramp. Physics A: Mathematical and Theoretical, 40(37):Article No. 11221, 2007.
  • [28] Jason Sewall, Jur Van Den Berg, Ming C Lin, and Dinesh Manocha. Virtualized traffic: reconstructing traffic flows from discrete spatiotemporal data. IEEE Transactions on Visualization and Computer Graphics, 17(1):26–37, 2011.
  • [29] Jason Sewall, David Wilkie, Ming C Lin, and Pradeep Dubey. Interactive hybrid simulation of large-scale traffic. international conference on computer graphics and interactive techniques, 30(6):135, 2011.
  • [30] David Wilkie, Jason Sewall, and Ming Lin. Flow reconstruction for data-driven traffic animation. Transactions on Graphics, 32(4):Article No. 89, 2013.
  • [31] Hua Wang, Tianlu Mao, and Zhaoqi Wang. Modeling interactions in continuum traffic. In IEEE Virtual Reality, pages 123–124, 2014.
  • [32] Jingjing Shen and Xiaogang Jin. Detailed traffic animation for urban road networks. Graphical Models, 74(5):265–282, 2012.
  • [33] Xin Yang, Wanchao Su, Jian Deng, and Zhigeng Pan. Real traffic data-driven animation simulation. In Virtual Reality Continuum and its Applications in Industry, pages 93–99, 2015.
  • [34] Ignacio GarciaDorado, D G Aliaga, and S V Ukkusuri. Designing large-scale interactive traffic animations for urban modeling. Computer Graphics Forum, 33(2):411–420, 2014.
  • [35] Hua Wang, Mingliang Xu, Fubao Zhu, Zhigang Deng, Yafei Li, and Bing Zhou. Shadow traffic: A unified model for abnormal traffic behavior simulation. Computers & Graphics, 70:235–241, 2018.
  • [36] Weizi Li, David Wolinski, and Ming C Lin. City-scale traffic animation using statistical learning and metamodel-based optimization. ACM Transactions on Graphics, 36(6):200, 2017.
  • [37] Qianwen Chao, Zhigang Deng, Jiaping Ren, Qianqian Ye, and Xiaogang Jin. Realistic data-driven traffic flow animation using texture synthesis. IEEE Transactions on Visualization and Computer Graphics, 24(2):1167–1178, 2018.
  • [38] Hua Wang, Tianlu Mao, Xingchen Kang, and Zhaoqi Wang. An all-in-one efficient lane-changing model for virtual traffic. Computer Animation and Virtual Worlds, 25(3-4):383–391, 2014.
  • [39] Peter Hidas. Modelling vehicle interactions in microscopic simulation of merging and weaving. Transportation Research Part C: Emerging Technologies, 13(1):37–62, 2005.
  • [40] Institute of Transportation Systems. Sumo user documentation. http://sumo.dlr.de/index.html, 2018. Accessed August 4, 2018.