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 (시스템 및 제어)
  • 발표 시간: 2025년 10월 12일 (arXiv 사전인쇄본)
  • 논문 링크: https://arxiv.org/abs/2510.10442

초록

본 논문은 자율주행의 안전 인증을 위한 위험 예산 모니터 및 제어 프레임워크를 제안한다. 본 프레임워크는 슬라이딩 윈도우 모니터링을 통해 불충분한 장애물 잔차 또는 0이 아닌 꼬리 위험을 감시하여 시스템 안전성을 보장한다. 안전 여유가 악화될 때, 성능 기반 완화 제어 장애물 함수(R-CBF)에서 보수적인 조건부 위험값(CVaR-CBF) 제약으로의 전환을 트리거한다. 전환은 두 가지 실시간 트리거로 제어된다: 실행 가능성 트리거(FT) 및 품질 트리거(QT) 조건. 가장 도전적인 5미터의 보행자 감지 불확실성 설정에서, 본 프레임워크는 300회 시행에서 94-96%의 보행자 충돌 회피 성공률을 달성하면서 최소 평균 횡방향 추적 오차(CTE=3.2-3.6미터)를 유지한다.

연구 배경 및 동기

문제 정의

자율주행차량의 불확실성 환경에서의 안전 제어는 핵심 과제이다. 기존의 제어 장애물 함수(CBF)는 안전성을 보장할 수 있지만, 이차 계획법(QP)이 실행 가능하고 최적일 때만 유효하다. 다음 문제에 직면할 때 기존 방법의 한계가 있다:

  1. 계산 복잡성: 불확실성이 계산 요구를 크게 증가시키며, 제어기는 20-50Hz 주파수에서 작동해야 함
  2. 실행 가능성 문제: 입력 제약 및 안전 제약이 내부 QP 불가능을 초래할 수 있음
  3. 성능과 안전의 트레이드오프: 보수적인 안전 전략은 성능을 희생하고, 공격적인 성능 전략은 안전 요구사항을 위반할 수 있음

연구 동기

기존 방법은 매개변수 조정, 계층적 최적화 또는 학습 강화 실행 가능 집합을 통해 실행 가능성 문제를 해결하지만, 종종 대량의 데이터 수집이 필요하거나 지속적인 불가능성 시 안전성을 직접 정량화할 수 없다. 본 논문은 실용적 관점에서 불가능성이 반드시 안전성 상실을 의미하지는 않는다고 인식하고, 위험 예산 모니터링 프레임워크를 제안한다.

핵심 기여

  1. 위험 예산 모니터 형식화: 제한된 시간 영역 내에서 윈도우화된 안전 보장 제공
  2. 모니터 기반 전환 메커니즘: 성능 지향 CBF-QP와 보수적 CVaR-CBF 간 실시간 네비게이션으로 꼬리 위험 제한
  3. 이론 및 실험 검증: 위험 예산이 제어된 과도 불가능성을 허용하면서 인증된 유한 시간 영역 안전성을 유지함을 증명

방법론 상세

작업 정의

비선형 연속 시간 제어 아핀 시스템을 고려: x˙=f(x)+g(x)u\dot{x} = f(x) + g(x)u

여기서 x∈D⊂Rnx \in D \subset \mathbb{R}^n 및 u∈U⊂Rmu \in U \subset \mathbb{R}^m은 각각 시스템 상태 및 입력을 나타낸다. 안전 집합은 S={x:h(x)≥0}S = \{x : h(x) \geq 0\}으로 정의된다.

모델 아키텍처

1. 완화 CBF (R-CBF)

기존 CBF의 완화 버전으로, 액추에이터 제한으로 인한 불가능성을 처리하기 위해 음이 아닌 완화 변수 νk\nu_k를 도입:

min⁡uk∈U,νk≥012∥uk−uknom∥2+ρννk2\min_{u_k \in U, \nu_k \geq 0} \frac{1}{2}\|u_k - u_k^{nom}\|^2 + \rho_\nu \nu_k^2s.t. Lfh(xk)+Lgh(xk)uk+κh(xk)≥−νk\text{s.t. } L_f h(x_k) + L_g h(x_k)u_k + \kappa h(x_k) \geq -\nu_k

2. 확률적 안전 집합 및 CVaR-CBF

장애물 위치 및 차량 위치 결정의 불확실성을 고려하여 안전성 평가를 확률적 위험 형식으로 변환. 손실 함수 정의: Zki(uk):=−rki(uk)Z_k^i(u_k) := -r_k^i(u_k)

여기서 rki(uk)r_k^i(u_k)는 안전 잔차이다.

CVaR 제약: CVaRϵ(Zk+1i)=inf⁡γ∈R{γ+11−ϵE[(Zk+1i−γ)+]}\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⁡uk∈U,νk∈R12∥uk−uknom∥2+ρννk2\min_{u_k \in U, \nu_k \in \mathbb{R}} \frac{1}{2}\|u_k - u_k^{nom}\|^2 + \rho_\nu \nu_k^2s.t. CVaRϵ(Zk+1i)≤νk,0≤νk≤νˉ\text{s.t. } \text{CVaR}_\epsilon(Z_{k+1}^i) \leq \nu_k, \quad 0 \leq \nu_k \leq \bar{\nu}

3. 위험 예산 모니터

나쁜 단계 감지: 나쁜 단계 지시자 정의 bk=1{νk>νˉ}∨1{rmin⁡,k<δ}b_k = \mathbf{1}\{\nu_k > \bar{\nu}\} \vee \mathbf{1}\{r_{\min,k} < \delta\}

여기서 δ>0\delta > 0은 사전 정의된 안전 여유이다.

슬라이딩 윈도우 모니터링: 길이 WW의 슬라이딩 윈도우 내에서 최대 MM개의 나쁜 단계 허용: mk=mk−1+bk−bk−Wm_k = m_{k-1} + b_k - b_{k-W}

윈도우 수준 안전 인증 정리: μM(1−μW−M)δ≥(1−μM)ν\mu^M(1-\mu^{W-M})\delta \geq (1-\mu^M)\nu

여기서 μ=e−κTs\mu = e^{-\kappa T_s}이다.

4. 전환 트리거 메커니즘

실행 가능성 트리거(FT-C-CBF):

1, & \text{if } (a_k = 0) \wedge (m_k \geq M) \\ 0, & \text{if } (a_k = 1) \wedge (m_k < M) \end{cases}$$ **품질 트리거(QT-C-CBF)**: $$\eta_k = \begin{cases} 1, & \text{if } m_k \geq M \\ 0, & \text{if } m_k < M \end{cases}$$ ### 기술 혁신 포인트 1. **위험 예산 개념**: CBF 프레임워크에 위험 예산 개념을 처음 도입하여 단기 안전 여유 감소 허용 2. **윈도우 수준 안전 보장**: 단계별 안전 보장이 아닌 유한 시간 영역 내 안전 인증 제공 3. **적응형 전환 메커니즘**: 실시간 위험 평가 기반 지능형 전환 전략 ## 실험 설정 ### 데이터셋 - GPS 경로 기반 참조 궤적(실험 자율주행차량에서 획득) - 세 가지 보행자 상호작용 시나리오: 단일 보행자, 이중 보행자, 삼중 보행자 횡단 시나리오 - 총 1500회 몬테카를로 실행 ### 평가 지표 1. **성공률(SR)**: 최소 차량-보행자 거리가 항상 2.8미터를 초과하는 시행의 비율 2. **최소 보행자 거리(MDP)**: 장애물 회피 과정 중 가장 가까운 보행자와의 평균 최소 거리 3. **불가능률(IR)**: 최적화 단계에서 실행 가능한 해를 생성할 수 없는 비율 4. **계산 시간(CT)**: 단계당 평균 계산 시간 5. **횡방향 추적 오차(CTE)**: 원하는 경로에 대한 편차 ### 비교 방법 1. **R-CBF**: 순수 완화 CBF 2. **C-CBF**: 하드 꼬리 제약의 CVaR-CBF 3. **AC-CBF**: 적응형 CVaR-CBF 4. **RC-CBF**: 완화 CVaR-CBF ### 구현 세부사항 - 최소 안전 거리: $D_s = 3$미터 - 슬라이딩 윈도우: $W = 5$, 최대 나쁜 단계: $M = 1$ - 안전 여유: $\delta = 1$미터 - CVaR 신뢰 수준: $\epsilon = 95\%$ - 차량 위치 불확실성: $\sigma_v = 0.1$미터 - 장애물 위치 불확실성: $\sigma_o \in \{1,2,3,4,5\}$미터 ## 실험 결과 ### 주요 결과 가장 도전적인 설정($\sigma_v = 0.1$, $\sigma_o = 5$미터, 삼중 보행자 시나리오)에서: | 방법 | 성공률(%) | MDP(미터) | 불가능률(%) | 계산 시간(ms) | CTE(미터) | |------|-----------|---------|-------------|--------------|---------| | R-CBF | 67% | 6.3 | 11.9% | 22.4 | 3.9 | | C-CBF | 98% | 11.3 | 15.2% | 56.2 | 4.2 | | AC-CBF | 84% | 7.33 | 17.8% | 76.9 | 5.0 | | RC-CBF | 97% | 12 | 15.3% | 75.3 | 4.3 | | **FT-C-CBF** | **94%** | **7.1** | **15.8%** | **24.2** | **3.2** | | **QT-C-CBF** | **96%** | **8.3** | **16.1%** | **25.7** | **3.6** | ### 주요 발견 1. **균형잡힌 성능**: 제안된 방법은 C-CBF에 가까운 안전성(94-96% vs 98%)을 달성하면서 R-CBF에 가까운 성능(CTE 3.2-3.6미터 vs 3.9미터) 유지 2. **계산 효율성**: 계산 시간이 보수적 기준선 방법보다 현저히 낮음(24-26ms vs 56-75ms) 3. **QT가 FT 우수**: QT 트리거 메커니즘이 모든 δ 값에서 더 높은 성공률 표시 ### 절제 실험 다양한 안전 여유 매개변수 δ∈{0.1, 1, 2}에 대한 실험은 다음을 보여준다: - CVaR 활성화율이 δ에 따라 단조 증가 - QT가 항상 FT보다 더 높은 성공률 및 CVaR 활성화율 보유 - 더 큰 δ는 더 빠르고 빈번한 보수적 제어기 활성화 초래 ## 관련 연구 ### 주요 연구 방향 1. **CBF 개선 방법**: 완화 CBF, 고차 CBF, 학습 기반 매개변수 조정 2. **불확실성 처리**: 확률적 CBF, CVaR-CBF 3. **실행 가능성 문제**: 계층적 최적화, 학습 강화 실행 가능 집합 ### 본 논문의 장점 기존 연구와 비교하여 본 논문의 위험 예산 모니터링 프레임워크는: 1. 대량의 데이터 수집이 필요하지 않음 2. 명확한 안전 인증 제공 3. 성능과 안전의 효과적인 균형 달성 4. 계산 효율성이 높아 실시간 응용에 적합 ## 결론 및 논의 ### 주요 결론 1. 위험 예산 모니터는 자율주행의 성능과 안전 요구사항을 효과적으로 균형잡을 수 있음 2. 윈도우 수준 안전 인증이 단계별 안전 보장보다 더 실용적 3. QT 트리거 메커니즘이 FT 트리거 메커니즘보다 우수 4. 본 프레임워크는 계산 효율성과 안전 성능 모두에서 현저한 장점 보유 ### 한계 1. **매개변수 조정**: 윈도우 크기 W, 최대 나쁜 단계 M 등의 매개변수는 구체적 응용에 따라 조정 필요 2. **이론적 가정**: 충분히 작은 샘플링 시간 가정에 기반 3. **시나리오 제한**: 주로 보행자 회피 시나리오에서 검증되었으며, 다른 복잡한 시나리오는 추가 검증 필요 4. **하드웨어 검증**: 실제 차량 플랫폼에서 아직 검증되지 않음 ### 향후 방향 1. 실제 자율주행차량 플랫폼에서 하드웨어 루프 및 도로 검증 수행 2. 더 복잡한 다중 에이전트 상호작용 시나리오로 확장 3. 매개변수의 적응형 조정 방법 연구 4. 다른 안전 인증 방법과의 결합 탐색 ## 심층 평가 ### 장점 1. **이론적 기여**: 새로운 위험 예산 개념을 제안하여 CBF 프레임워크에 새로운 이론적 기초 제공 2. **실용적 가치**: CBF의 실제 응용에서의 실행 가능성 문제 해결로 강한 공학적 가치 보유 3. **충분한 실험**: 1500회 몬테카를로 실험, 다양한 비교 방법, 설득력 있는 결과 4. **수학적 엄밀성**: 완전한 이론 증명 및 안전 인증 제공 ### 부족한 점 1. **복잡성**: 여러 매개변수(W, M, δ, ν) 도입으로 매개변수 조정이 복잡할 수 있음 2. **보수성**: 특정 상황에서 여전히 과도하게 보수적일 수 있음 3. **적용 범위**: 주로 특정 유형의 회피 문제에 초점으로 일반화 능력 검증 필요 4. **실시간성**: 계산 시간이 개선되었지만 극단적 상황에서 실시간성 문제 가능 ### 영향력 1. **학술적 영향**: CBF 분야에 새로운 연구 방향 제공으로 관련 연구 영감 가능 2. **산업적 가치**: 자율주행 안전 제어에 실용적 솔루션 제공 3. **재현성**: 방법 설명이 명확하고 매개변수 설정이 명확하여 좋은 재현성 보유 ### 적용 시나리오 1. **자율주행**: 특히 도시 환경의 보행자 회피에 적합 2. **로봇 네비게이션**: 이동 로봇의 안전 네비게이션으로 확장 가능 3. **산업 제어**: 안전 보장이 필요한 산업 제어 시스템에 적용 가능 ## 참고문헌 논문은 CBF 이론, 확률적 제어, 위험 관리 등 여러 분야의 중요 연구 21편을 인용하여 견고한 이론적 기초를 제공한다. --- **종합 평가**: 이는 이론적 혁신과 실제 응용 간의 좋은 균형을 찾은 고품질의 제어 이론 논문이다. 위험 예산 모니터링의 개념은 새롭고 실용적이며, 실험 검증이 충분하고, 자율주행 안전 제어 분야에 중요한 기여를 한다.