@inproceedings{651568ed9bfb4412b729e74f05baac2e,
title = "A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation",
abstract = "Intelligent connected vehicles have attracted great concerns from researchers in intelligent transportation filed for recent years. The safety of a scenario involving multiple intelligent vehicles and infrastructures depends on delicate design of their collaboration. A unified and efficient representation for knowledge sharing and fusion is essential for such collaboration. However, the existing logical representation of spatial knowledge seldom considers integrating the knowledge from distributed agents with different granularities of views and data models. This paper designs a novel spatial logic based on a hierarchical spatial model, and provides a knowledge fusion method based on view and grained conversion between distributed agents. The spatial logic can be used to specify and share the key spatial knowledge in vehicle infrastructure cooperation scenarios. The converted knowledge shared by other agents is beneficial for an intelligent vehicle to improve its cognition and decision-making process. The effectiveness of our approach is illustrated with the case studies in path planning and cooperative cross-traffic turning.",
keywords = "Intelligent connected vehicles, formal verification, hierarchical spatial model, spatial logic, vehicle infrastructure cooperation",
author = "Shengyang Yao and Qin Li",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 ; Conference date: 04-07-2023 Through 06-07-2023",
year = "2023",
doi = "10.1007/978-3-031-35257-7\_11",
language = "英语",
isbn = "9783031352560",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "183--201",
editor = "Cristina David and Meng Sun",
booktitle = "Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Proceedings",
address = "德国",
}