外观
论文arXiv 2405.1199512 天前
自主驾驶系统的组合式安全构建
原文链接：Compositionally Safe Construction of Autonomous Driving Systems（arXiv 2405.11995 · 发布日期：2026-10-16）
Compositionally Safe Construction of Autonomous Driving Systems
研究基于驾驶操作协调执行的组合式方法，构建安全ADS，并以组合性结果证明其适用性。
核心要点
- 安全ADS是重大挑战，系统由具备局部环境知识并追求目标的智能体/车辆组成。
- 方法假设驾驶能力可归结为给定驾驶操作集合的协调执行。
- 将自动驾驶仪视为动态系统，输入少量驾驶配置类型，每种配置定义邻域自由空间。
- 证明各配置自由空间内安全且配置转换满足易检条件时，可推出任意场景安全驾驶。
验证范围与局限：摘要未提及仿真或真车实验，仅描述方法与组合性证明。
英文摘要 (Abstract)
Abstract Developing safe autonomous driving systems (ADS) is a major scientific and technical challenge. ADS are real-time distributed systems involving agents/vehicles with partial knowledge of their environment, pursuing specific goals while the collective behavior must meet given global goals. We study a method for building compositionally safe ADS, based on the assumption that the capability to drive boils down to the coordinated execution of a given set of driving operations. The assumption is substantiated by a compositionality result considering that autopilots are dynamic systems receiving a small number of types of driving configurations as input, each configuration defining a free space in its neighborhood. It is shown that safe driving for each type of configuration in the corresponding free space, implies safe driving for any possible scenario under some easy-to-check conditions concerning the transition between configurations.
作者：Marius Dorel Bozga, Joseph Sifakis
来源
本页事实对应的公开页面，以原文为准。