2025-11-25T18:04:25.210324

Risk-Budgeted Control Framework for Balanced Performance and Safety in Autonomous Vehicles

Chang, Renganathan, Ahmed

This paper presents a risk-budgeted monitor with a control framework that certifies safety for autonomous driving. In this process, a sliding window is proposed to monitor for insufficient barrier residuals or nonzero tail risk, ensuring system safety. When the safety margin deteriorates, it triggers switching the safety constraint from a performance-based relaxed-control barrier function (R-CBF) to a conservative conditional value at risk (CVaR-CBF) to address the safety concern. This switching is governed by two real-time triggers: Feasibility-Triggered (FT) and Quality-Triggered (QT) conditions. In the FT condition, if the R-CBF constraint becomes infeasible or yields a suboptimal solution, the risk monitor triggers the use of the CVaR constraints for the controller. In the QT condition, the risk monitor observes the safety margin of the R-CBF solution at every step, regardless of feasibility. If it falls below the safety margin, the safety filter switches to the CVaR-CBF constraints. The proposed framework is evaluated using a model predictive controller (MPC) for autonomous driving in the presence of autonomous vehicle (AV) localization noise and obstacle position uncertainties. Multiple AV-pedestrian interaction scenarios are considered, with 1,500 Monte Carlo runs conducted for all scenarios. In the most challenging setting with pedestrian detection uncertainty of 5 m, the proposed framework achieves a 94-96% success rate of not colliding with the pedestrians over 300 trials while maintaining the lowest mean cross-track error (CTE = 3.2-3.6 m) to the reference path. The reduced CTE indicates faster trajectory recovery after obstacle avoidance, demonstrating a balance between safety and performance.

academic

Структура управления с бюджетированием риска для сбалансированной производительности и безопасности автономных транспортных средств

Основная информация

ID статьи: 2510.10442
Название: Risk-Budgeted Control Framework for Balanced Performance and Safety in Autonomous Vehicles
Авторы: Pei Yu Chang, Vishnu Renganathan, Qadeer Ahmed (Университет штата Огайо)
Классификация: eess.SY (Системы и управление), cs.SY (Системы и управление)
Дата публикации: 12 октября 2025 г. (препринт arXiv)
Ссылка на статью: https://arxiv.org/abs/2510.10442

Аннотация

В данной работе предлагается структура мониторинга с бюджетированием риска и управления для сертификации безопасности автономных транспортных средств. Структура использует мониторинг скользящего окна недостаточных остатков барьера или ненулевого хвостового риска для обеспечения безопасности системы. При ухудшении запаса безопасности инициируется переключение с функции барьера управления на основе производительности (R-CBF) на консервативное ограничение условной стоимости риска (CVaR-CBF). Переключение контролируется двумя триггерами реального времени: условием триггера осуществимости (FT) и условием триггера качества (QT). В наиболее сложной конфигурации с неопределённостью обнаружения пешеходов в 5 метров структура достигает 94-96% успешности избежания столкновений с пешеходами в 300 испытаниях, сохраняя при этом минимальную среднюю ошибку поперечного отслеживания (CTE = 3,2-3,6 метра).

Исследовательский контекст и мотивация

Определение проблемы

Безопасное управление автономными транспортными средствами в условиях неопределённости является критической задачей. Хотя традиционные функции барьера управления (CBF) гарантируют безопасность, они эффективны только при осуществимости и оптимальности квадратичного программирования (QP). Существующие методы имеют ограничения при столкновении со следующими проблемами:

Вычислительная сложность: неопределённость значительно увеличивает вычислительные требования, в то время как контроллер должен работать на частоте 20-50 Гц
Проблемы осуществимости: ограничения входных сигналов и ограничения безопасности могут привести к неосуществимости внутреннего QP
Компромисс между производительностью и безопасностью: консервативные стратегии безопасности жертвуют производительностью, а агрессивные стратегии производительности могут нарушить требования безопасности

Исследовательская мотивация

Существующие методы решают проблемы осуществимости путём настройки параметров, иерархической оптимизации или обучения с расширением множества осуществимости, но часто требуют сбора большого количества данных или не могут напрямую количественно оценить безопасность при постоянной неосуществимости. Данная работа исходит из практической перспективы, признавая, что неосуществимость не обязательно означает потерю безопасности, и предлагает структуру мониторинга с бюджетированием риска.

Основные вклады

Формализация монитора бюджетирования риска: обеспечение гарантий безопасности в окне конечного временного горизонта
Механизм переключения, управляемый мониторингом: навигация в реальном времени между ориентированным на производительность CBF-QP и консервативным CVaR-CBF с ограничением хвостового риска
Теоретическая и экспериментальная верификация: доказательство того, что бюджетирование риска позволяет контролируемую переходную неосуществимость при сохранении сертифицированной безопасности конечного временного горизонта

Детальное описание методологии

Определение задачи

Рассмотрим нелинейную непрерывную систему управления с аффинной структурой: $\dot{x} = f(x) + g(x)u$

где $x \in D \subset \mathbb{R}^n$ и $u \in U \subset \mathbb{R}^m$ обозначают состояние системы и входной сигнал соответственно. Множество безопасности определяется как $S = \{x : h(x) \geq 0\}$ .

Архитектура модели

1. Ослабленный CBF (R-CBF)

Ослабленная версия традиционного CBF, обрабатывающая неосуществимость, вызванную ограничениями исполнительных механизмов, путём введения неотрицательной переменной ослабления $\nu_k$ :

$\min_{u_k \in U, \nu_k \geq 0} \frac{1}{2}\|u_k - u_k^{nom}\|^2 + \rho_\nu \nu_k^2$ $\text{при условии } L_f h(x_k) + L_g h(x_k)u_k + \kappa h(x_k) \geq -\nu_k$

2. Стохастическое множество безопасности и CVaR-CBF

Учитывая неопределённость в положении препятствия и локализации транспортного средства, оценка безопасности преобразуется в форму вероятностного риска. Определим функцию потерь: $Z_k^i(u_k) := -r_k^i(u_k)$

где $r_k^i(u_k)$ — остаток безопасности.

Ограничение CVaR: $\text{CVaR}_\epsilon(Z_{k+1}^i) = \inf_{\gamma \in \mathbb{R}} \left\{\gamma + \frac{1}{1-\epsilon}\mathbb{E}[(Z_{k+1}^i - \gamma)^+]\right\}$

Ослабленная оптимизация CVaR-CBF: $\min_{u_k \in U, \nu_k \in \mathbb{R}} \frac{1}{2}\|u_k - u_k^{nom}\|^2 + \rho_\nu \nu_k^2$ $\text{при условии } \text{CVaR}_\epsilon(Z_{k+1}^i) \leq \nu_k, \quad 0 \leq \nu_k \leq \bar{\nu}$

3. Монитор бюджетирования риска

Обнаружение плохого шага: определим индикатор плохого шага $b_k = \mathbf{1}\{\nu_k > \bar{\nu}\} \vee \mathbf{1}\{r_{\min,k} < \delta\}$

где $\delta > 0$ — предопределённый запас безопасности.

Мониторинг скользящего окна: в скользящем окне длины $W$ допускается не более $M$ плохих шагов: $m_k = m_{k-1} + b_k - b_{k-W}$

Теорема сертификации безопасности на уровне окна: $\mu^M(1-\mu^{W-M})\delta \geq (1-\mu^M)\nu$

где $\mu = e^{-\kappa T_s}$ .

4. Механизм триггеров переключения

Триггер осуществимости (FT-C-CBF):