Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
复制标题
正式方法。
DOI：
10.1007/978-3-030-54994-7_16
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Alves G
中科院分区：
文献类型：
--
作者：
Alves G
自动驾驶汽车的设计包括障碍物检测和回避，路线规划，速度控制等，但是，有一个缺乏明确的表示的规则的道路上的自动驾驶汽车。此外，有必要了解自动驾驶汽车的行为，以检查它是否符合道路规则。在这里，我们提出了一个基于代理的体系结构，将道路规则嵌入到代表自动驾驶汽车行为的代理中。我们使用时序逻辑来正式表示道路规则的方式，它应该是可能的捕获何时以及如何可以应用一个给定的道路规则。我们的贡献包括：i.修改交通规则的建议; ii.以适合于自主车辆代理的方式表示规则; iii.处理公路法规中的不确定条款。
The design of autonomous vehicles includes obstacle detection and avoidance, route planning, speed control, etc. However, there is a lack of an explicitely representation of the rules of the road on an autonomous vehicle. Additionally, it is necessary to understand the behaviour of an autonomous vehicle in order to check whether or not it works according to the rules of the road. Here, we propose an agent-based architecture to embed the rules of the road into an agent representing the behaviour of an autonomous vehicle. We use temporal logic to formally represent the rules of the road in a way it should be possible to capture when and how a given rule of the road can be applied. Our contributions include: i. suggestion of changes in the rules of the road; ii. representation of rules in a suitable way for an autonomous vehicle agent; iii. dealing with indeterminate terms in the Highway Code.