Formal Specification of an Autonomous Vehicle Group Control System with the Hybrid OTS/CafeOBJ Method

Yifan Wang,Masaki Nakamura,Kazutoshi Sakakibara

2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)（2023）

引用 0|浏览0

暂无评分

摘要

To develop a safe and efficient self-driving environ-ment, we need to ensure the safety not only of individual vehicles, but also of groups of vehicles. In this paper, we investigate a method to describe the formal specification of a control system for groups of autonomous vehicle based on the OTS/CafeOBJ method.

查看译文

关键词

Formal method,group autonomous vehicle,hybrid system,observational transition system

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要