Responsibility-sensitive safety (RSS) is an approach to the safety of automated driving systems (ADS). It aims to introduce mathematically formulated safety rules, compliance with which guarantees collision avoidance as a mathematical theorem. However, despite the emphasis on mathematical and logical guarantees, the logical foundations and formalization of RSS are largely an unexplored topic of study. In this paper, we present an introduction to RSS, one that we expect will bridge between different research communities and pave the way to a logical theory of RSS, its mathematical formalization, and software tools of practical use.
翻译：对责任敏感的安全是自动驾驶系统安全的一种方法,其目的是采用数学制定的安全规则,保证作为数学理论的避免碰撞的遵守,然而,尽管强调数学和逻辑保障,RSS的逻辑基础和正规化基本上是一个尚未探讨的研究课题,在本文件中,我们介绍RSS,我们期望它将连接不同研究界,为RSS的逻辑理论、其数学正规化和实用软件工具铺平道路。
相关内容
微信扫码咨询专知VIP会员