An Efficient Traffic Congestion Monitoring System on Internet of Vehicles

Algorithm 3

Pseudocode of traffic congestion condition verification.

Traffic Congestion Condition Verification Operation

(1) If (Fuzzy_Based_Evaluation(r_c) ‘congested’) then

(2)  Verfication_Result = NULL

(3)  For each r_i do

(4)   If (Exist_Outflow(lane_j,r_k) true) then

(5)   Update_Neighbor(r_j) to inflow neighbor table of r_k

(6)   End if

(7)  End For

(8)  For each inflow neighbor r_k of r_c do

(9)    = Select_header(r_k)

(10)  End for

(11)  While (Verfication_Result = NULL) do

(12)    performs Update_traffic(flow, density) to traffic flow table of r_c

(13)    performs Publish(flow, density, r_c) to the control center

(14)   For each inflow neighbor r_k of r_c do

(15)      performs Update_traffic(flow, density) to traffic flow table of r_k

(16)      performs Publish(flow, density, r_k) to the control center

(17)   End For

(18)   do Rankine-Hugoniot_Validation()

(19)   If (Rankine-Hugoniot_Validation( then

(20)     Verfication_Result ‘Verified’

(21)   Else Verfication_Result ‘Failed’

(22)     Fuzzy_Based_Evaluation(r_c) = ‘unstable-flow’

(23)  End while

(24) End if