Abstract
The ACC (adaptive cruise control) system has developed rapidly in recent years, and its reliability and safety have also attracted a lot of attention. The ACC system can realize automatic driving following the vehicle in the longitudinal range, and its reliability is closely related to the synchronization between two vehicles. Combined with formal modelling methods, this paper analyzes and detects the logical flaw that is poor synchronization in the following process of the ACC system from the perspective of synchronization. Aiming at avoiding this kind of logical flaw, this paper presents a novel optimized modelling solution based on the synchronization theory of Petri nets and further improves the calculation method of the synchronic distance. The simulation results reduce the token accumulation by an average of 91.357%, which demonstrates that the improved model can effectively improve reliability and reduce the risk of rear-end collision.
Funder
Natural Science Foundation of Shaanxi Province
Fundamental Research Funds for the Central Universities
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing,Control and Systems Engineering
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献