Title :
Probabilistic verification of a safe merge system
Author :
Liu, Feng ; Gao, Xingquan
Author_Institution :
Coll. of Inf. & Control Eng., Jilin Inst. of Chem. Technol., Jilin, China
Abstract :
This study focuses the simple protocol in a three-vehicle-merging scenario. First propose an English rule by providing the general assumption and drawing the clear borderline of the system. Then create the Finite State Machines of the vehicles engaged in the merging process. Using probabilistic verification with Stack algorithm, namely Zigangorov-Jelinek algorithm, we test errors state possibilities which offer safe and reliable communication.
Keywords :
automated highways; finite state machines; protocols; road safety; road vehicles; telecommunication network reliability; English rule; Zigangorov-Jelinek algorithm; error state possibility testing; finite state machines; probabilistic verification; protocol; reliable communication; safe communication; safe merge system; stack algorithm; three-vehicle-merging scenario; Automata; Merging; Probabilistic logic; Protocols; Reliability; Road transportation; Vehicles; Probabilistic Verification; Safe Merge;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2012 9th International Conference on
Conference_Location :
Sichuan
Print_ISBN :
978-1-4673-0025-4
DOI :
10.1109/FSKD.2012.6234046
