A Novel Approach to Conflict-free Vehicle Scheduling of Unsignalized Intersection based on Heuristic Algorithm. - Yaxin Wei; Haijing Ning; Rumeng Chen; Yukun Xiao; Yisheng An; Dier An (ITSC, 2023)

Modeling and analysis of traffic warning message dissemination system in VANETs. - Haijing Ning; Yisheng An; Yaxin Wei; Naiqi Wu; Chen Mu; Hanhan Cheng; Chenxing Zhu (Veh. Commun., 2023)

Design of Safety Petri Net Controllers for Deadlock Prevention at a Class of Road Intersections. - Yaxin Wei; Haijing Ning; Yisheng An; Naiqi Wu; Xiangmo Zhao (IEEE Trans. Intell. Transp. Syst., 2023)

Qualitative Fault Diagnosis of Autonomous Emergency Braking System Based on Partially Observable Petri Nets. - Haijing Ning; Yaxin Wei; Dier An; Ting Li; Shumei Liu; Yisheng An (ITSC, 2024)

Modeling and functional verification of autonomous emergency braking systems based on extended colored hybrid petri nets. - Haijing Ning; Herong Zhu; Yisheng An; Naiqi Wu; Yupeng Cao; Xiangmo Zhao (Simul. Model. Pract. Theory, 2025)