@inproceedings{41057091332a4b8f9cb31d112e3ca838,
title = "A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles",
abstract = "Spatio-temporal information is essential for specifying and verifying Internet of Vehicles (IoV). Multi-lane spatial logic (MLSL) is a real-time spatial logic that can specify constraints in traffic manoeuvres on multi-lane motorways. It turns out to be a promising way to specify the properties of traffic manoeuvres because of its domain specificity and simplicity in modeling and reasoning. In this paper, we extend MLSL by introducing vertical lanes that intersect with the horizontal lanes. And this allows us to specify more complex road conditions including turning, crossroads and blocked road. The application of the extended spatial logic and the enriched traffic control model is then demonstrated on traffic scenes like T-junction to check safety properties such as collision avoidance.",
keywords = "Traffic control model, collision verification, crossroads, formal modeling, multi-lane spatial logic",
author = "Bingqing Xu and Qin Li",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016 ; Conference date: 06-11-2016 Through 08-11-2016",
year = "2016",
month = jul,
day = "2",
doi = "10.1109/ICECCS.2016.014",
language = "英语",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "33--42",
editor = "Wang, \{Hai H.\} and Mounir Mokhtari and Mounir Mokhtari",
booktitle = "Proceedings - 2016 21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016",
address = "美国",
}