Weight Certificates for Convex Multi-Objective MPC: Geometric Characterization, $\ell^1$ Construction, and $\ell^2$ Foreclosure

기술 요약: 볼록 다목적 MPC를 위한 가중치 인증서 (Weight Certificates for Convex Multi-Objective MPC)

문제 정의
자동 주행 규칙집은 일반적으로 안전을 법규 준수보다, 법규 준수를 편안함보다 우선시하는 사전식(lexicographical) 순위 체계를 갖습니다. 이러한 계층 구조를 모델 예측 제어(MPC)에 구현하는 것은 전통적으로 매 제어 주기마다 $L+1$개의 순차적 최적화 문제를 해결해야 함을 의미하며, 이는 10–100 Hz의 고주파 동작에서 계산적으로 매우 부담스럽습니다. 흔히 사용되는 대안은 가중치 합 스칼라화(weighted-sum scalarization)로, 이는 $w_1 \gg w_2 \gg \dots \gg w_L$과 같이 가중치를 할당하여 계층 구조를 단일 최적화 문제로 압축합니다. 그러나 단일 가중치 합이 사전식 최적해를 정확하게 재현하기 위한 이론적 조건은 명확히 규명되지 않았으며, 표준적인 "큰 비율(large-ratio)" 휴리스틱($w_1 \gg w_2$)은 기하학적 근거 없이 자주 적용되고 있습니다. 본 논문은 볼록 우선순위 프로그램에 대해 단일 가중치 합 풀이가 정확한 사전식 캐스케이드(cascade)와 동일해지는 기하학적 조건을 조사하고, 이러한 가중치가 재귀적 수평선 제어(receding-horizon control)에서 유지되는 양상을 분석합니다.

방법론
저자들은 궤적을 위반 비용 및 성능 목적 함수의 벡터로 매핑하는 성취 맵(achievement map) $\Phi(z)$를 사용하여 문제를 정형화합니다. 이들은 이 맵의 "상부 이미지(upper image)"를 정의하고, 사전식 최적점을 찾는 가중치 집합을 사전식 지점에서의 **외향 법선 코(outward normal cone)의 단위 성능 슬라이스(unit-performance slice)**로 규정합니다.

분석은 두 가지 페널티 체계를 구분합니다:

1. $\ell_1$ (Hinge) 페널티: 저자들은 $\ell_1$ 페널티 하에서 등가 가중치 집합이 다면체 영역을 형성함을 증명합니다. 이들은 스케일링된 KKT 시스템을 사용하여 이 영역에 대한 명시적인 구성을 도출하며, 여기서 스케일링된 부도함수 변수 $\beta_{i,j} = w_i \alpha_{i,j}$를 통해 가중치 제약 조건을 선형 부등식으로 표현할 수 있습니다. 이를 통해 단일 선형 계획법(LP)을 통해 인증된 마진을 가진 "체비쇼프 중심(Chebyshev center)" 가중치를 계산할 수 있습니다.
2. $\ell_2$ (Squared-Hinge) 페널티: 본 논문은 "포클로저(foreclosure, 차단)" 결과를 보여줍니다. 만약 구속 조건의 한계 승수가 0이 아니라면, 유한한 가중치로는 사전식 최적을 정확히 재현할 수 없습니다. 대신, 위반 사항은 $O(1/w)$ 또는 $O(1/w^2)$로 점근적으로 감소하며, 이는 유한한 가중치 체제에서는 정확한 등가성이 불가능함을 의미합니다.

재귀적 수평선 제어의 동적인 특성을 다루기 위해, 저자들은 **강건한 등가 영역(robust equivalence region)**을 여러 결정 인스턴스에 걸친 점별 등가 영역들의 교집합으로 정의합니다. 이들은 홀드아웃(held-out) 주행 로그를 통해 보정된 가중치의 지속성을 평가하며, 활성 집합(active set)이 변하기 전까지 단일 가 가중치가 얼마나 유효하게 유지되는지 측정합니다.

주요 기여

• 기하학적 규명: 본 논문은 단일 가중치 합 MPC 풀이가 정확한 사전식 캐스케이드를 대체할 수 있는 조건이 기하학적 멤버십 문제임을 확립합니다. 가중치 벡터는 $(w, 1)$로 증강된 벡터가 성취 맵의 상부 이미지를 지지(support)할 때에만 등가입니다.
• 구성적 $\ell_1$ 보정: $\ell_1$ 페널티에 대한 허용 가능한 가중치 집합의 계산 가능한 다면체적 기술을 제공합니다. 이를 통해 특정 볼록 인스턴스에 대해 사전식 솔루션을 보장하는 가중치를 오프라인에서 보정할 수 있으며, 견고성을 위한 인증된 마진을 포함합니다.
• $\ell_2$ 불가능성 결과: 제곱 힌지 페널티의 경우, 한계 승수가 0이 아닐 때 유한 가중치에 의한 정확한 등가는 불가능함을 증명하여 $\ell_1$ 사례와 극명하게 대조됩니다.
• 지속성 분석: 저자들은 "인증서 지속성(certificate persistence)"을 공식화하고 측정했습니다. 재귀적 수평선 제어 운용 시, 여러 결정 인스턴스에 걸친 등가 영역의 교집합은 일반적으로 공집합입니다. 유효한 인증서의 중앙값 수명은 샘플링 간격에 따라 1회 샘플링(또는 0회)에 불과하며, 이는 활성 집합의 교체(turnover)에 의해 결정됩니다.

실험 결과
저자들은 11개의 보정 가능 시나리오 클래스에 대해 25개 규칙을 가진 nuPlan-mini 시뮬레이터를 사용하여 접근 방식을 평가했습니다.

• 가중치 보정: 보정이 가능한 11개 클래스 중 9개에서, 보정된 가중치는 거의 균등한 티어 구성 요소(예: 1:1:1 또는 2:1:1 비율)를 보였습니다. 이는 기존에 배포된 100:1:1 비율의 휴리스틱과 대조됩니다. 휴리스틱은 기하학적 요구 사항에 비해 하위 우선순위 티어의 크기가 너무 작게 할당함으로써 등가 조건을 위반하는 것으로 나타났습니다.
• 폐루프 성능: 보정된 가중치를 사용하고 런타임 모니터가 컴플라이언스 불일치 감지 시 캐스케이드 폴백(fallback)을 트리거하는 "가드된(guarded)" 배포 전략은 유망한 결과를 보였습니다. 11개 시나리오 중 9개에서, 이 가드된 방식은 전체 캐스케이드 참조 모델을 사전식 파레토 우위(Pareto-dominate)로 나타냈습니다. 그러나 저자들은 다중 가설 검정 보정(Bonferroni 알파 조정)을 고려하여 이 결과를 **탐색적(exploratory)**이며 확증적 발견(confirmatory finding)이 아님을 명시했습니다. 이는 통계적으로 검증된 결론이라기보다 강력한 가설 생성 관찰로 규정됩니다.
• 이벤트 수준 충실도: 보정은 휴리스틱 가중치와 비교했을 때 법규 티어 위반에 대한 이벤트 수준 정밀도를 크게 향면시켰습니다(정밀도가 0.232에서 0.463으로 두 배 증가). 다만, 휴리스틱 대비 전체 우위 횟수는 통계적으로 유의미하지 않았습니다.
• 인증서 수명: 실험적 측정은 지속성의 이론적 취약성을 확인했습니다. 중앙값 인증서 수명은 조밀한 샘플링(0.1초)에서는 0회, 거친 샘플링(2.5초)에서는 1회의 간격이었습니다. 유효성은 활성 집합의 안정성과 강한 상관관계를 보였습니다.

의의 및 주장
본 논문은 단일 가중치 합 MPC 풀이가 정확한 사전식 캐스케이드를 대체할 수 있는 조건에 대한 최초의 엄밀한 기하학적 규명을 제공한다고 주장합니다. 저자들은 표준적인 "큰 비율" 휴리스틱이 잘못된 질문에 답하고 있다고 주장합니다. 즉, 우선순위는 가중치 크기의 분리 정도가 아니라, 특정 법선 코 슬라이스에 대한 멤버십에 의해 결정됩니다.

저자들은 자신들의 연구 범위가 시뮬레이션 벤치마크(nuPlan-mini)에 국한되며, 실제 환경에서의 충돌 방지나 규제 준속을 보장하는 것이 아님을 강조합니다. 이들은 본 연구를 이전 연구(특히 W-SQP)에 대한 정교화 작업으로 위치시키며, $\ell_1$ 사전식 보증을 위한 누락된 이론적 정교함을 제공하는 동시에, 일부 배포에서 사용되는 이차 페널티 체제가 유한한 가중치에서 정확한 등가를 달성할 수 없음을 입증합니다.

이 논문의 주요 실무적 기여는 "모니터링된 가중치 풀이(monitored weighted solve)" 아키텍처입니다. 이는 효율성을 위해 기하학적으로 인증된 가중치를 사용하되, 활성 집합 변화로 인해 인증서가 만료되었음을 감지하면(런타임 모니터 활용) 정확한 캐스케이드로 폴백을 트리거하는 시스템입니다. 이 접근 방식은 단일 정적 가중치가 전체 주행 에피소드를 유효하게 커버할 수 없음을 인정하면서, 계산 효율성과 엄격한 규칙 준수 사이의 균형을 맞추는 것을 목표로 합니다.