Task Formalization for Autonomous Driving Turning at Roundabouts with Signal Temporal Logic Specifications

This study is aimed at formalizing the rules of the road from natural language into safety specifications with signal temporal logic, which establishes specifications for driving tasks that autonomous vehicles should execute in urban roundabouts. These specifications are based on the traffic regulat...

Full description

Saved in:
Bibliographic Details
Published in2024 4th International Conference on Computer, Control and Robotics (ICCCR) pp. 131 - 135
Main Authors Zheng, Yutong, Wang, Yujin, Liu, Quanfeng, Hong, Jinlong, Yu, Qiankun, Gao, Bingzhao
Format Conference Proceeding
LanguageEnglish
Published IEEE 19.04.2024
Subjects
autonomous driving
formal methods
Logic
Regulation
Roads
Safety
signal temporal logic
Task analysis
Training
Turning
Online AccessGet full text

Cover

More Information
Summary:This study is aimed at formalizing the rules of the road from natural language into safety specifications with signal temporal logic, which establishes specifications for driving tasks that autonomous vehicles should execute in urban roundabouts. These specifications are based on the traffic regulations in China. Through this work, it is demonstrated that signal temporal logic is an important tool for formalizing driving tasks and solving path planning problems in autonomous driving. The feasibility of the proposed method is demonstrated through numerical experiments.
DOI:10.1109/ICCCR61138.2024.10585549