Journal
INTELLIGENT AUTOMATION AND SOFT COMPUTING
Volume 25, Issue 3, Pages 547-559Publisher
TSI PRESS
DOI: 10.31209/2019.100000110
Keywords
path planning; intelligent traffic system; K-shortest paths; probabilistic model checking; path point planning
Funding
- National Natural Science Foundation of China [61502294]
- Youth Foundation of Shanghai Polytechnic University [EGD18XQD01]
- IIOT Innovation and Development Special Foundation of Shanghai [2017-GYHLW-01037]
Ask authors/readers for more resources
Path planning is an important topic of research in modern intelligent traffic systems (ITSs). Traditional path planning methods aim to identify the shortest path and recommend this path to the user. However, the shortest path is not always optimal, especially in emergency rescue scenarios. Thus, complex and changeable factors, such as traffic congestion, road construction and traffic accidents, should be considered when planning paths. To address this consideration, the maximum passing probability of a road is considered the optimal condition for path recommendation. In this paper, the traffic network is abstracted as a directed graph. Probabilistic data on traffic flow are obtained using a mobile trajectory-based statistical analysis method. Subsequently, a probabilistic model of the traffic network is proposed in the form of a discretetime Markov chain (DTMC) for further computations. According to the path requirement expected by the user, a point probability pass formula and a multiple-target probability pass formula are obtained. Probabilistic computation tree logic (PCTL) is used to describe the verification property, which can be evaluated using the probabilistic symbolic model checker (PRISM). Next, based on the quantitative verification results, the maximum probability path is selected and confirmed from the set of K-shortest paths. Finally, a case study of an emergency system under real-time traffic conditions is shown, and the results of a series of experiments show that our proposed method can effectively improve the efficiency and quality of emergency rescue services.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available