Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety
Inter-triggering hybrid automata: a formalism for responsibility-sensitive safety
复制标题
相互触发混合自动机：责任敏感安全的形式主义
DOI：
10.1145/3365365.3383470
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Ozay, Necmiye
中科院分区：
文献类型：
--
作者：
Ozay, Necmiye
本文介绍了内部触发混合自动机，一种形式主义来表示多智能体系统，其中每个代理表示为一个混合自动机和代理通过触发离散转换（跳跃和重置）在他们的“邻居”代理进行交互。使用这种形式主义，我们定义为尊重彼此的不变性，同时触发跳转和重置责任敏感的安全。这使我们能够使一个正式的责任和强大的控制不变集之间的连接，为个别代理，因此导致一个组成的验证框架的整体多代理系统的安全性。我们讨论了这种观点的几个优点，并说明它在高速公路驾驶的例子。
This paper introduces inter-triggering hybrid automata, a formalism to represent multi-agent systems where each agent is represented as a hybrid automaton and agents interact by triggering discrete transitions (jumps and resets) on their "neighboring" agents. Using this formalism, we define responsibility-sensitive safety as respecting one another's invariances while triggering jumps and resets. This allows us to make a formal connection between responsibility and robust controlled invariant sets for individual agents, therefore leading to a compositional verification framework for the safety of the overall multi-agent system. We discuss several advantages of this viewpoint and illustrate it on a highway driving example.