[논문 리뷰] A Convex Formulation of the Multi-Commodity Dynamic Traffic Assignment

Davide Sipione, Giacomo Como외 1명|arXiv (Cornell University)|2026. 03. 18.

Transportation Planning and Optimization인용 수 0

한 줄 요약

논문은 단일-상품 동적 트래픽 배정(DTA)에 대한 촘촘한 볼록 완화를 다중-상품 설정으로 확장하여 Cell Transmission Model에서 상품별 경로 및 속도/램프 제어를 이용한 볼록 최적화 기반의 최적 제어를 가능하게 한다.

ABSTRACT

We consider a multi-commodity Dynamic Traffic Assignment (DTA) problem formulated as a network flow control problem on the Cell Transmission Model (CTM). The objective is to design optimal control policies using variable speed limits, ramp metering, and dynamic routing to regulate traffic evolution over time on a given limited-capacity transportation network. Even simple instances of DTA problems on the CTM are known to give rise to non-convex optimal control formulations. Nevertheless, a single-commodity DTA formulation has recently been proposed that admits a tight convex relaxation, thereby enabling tractable optimal control synthesis. The single-commodity formulation, however, is structurally restrictive, as it effectively allows only a single destination. To address this limitation, we develop a multi-commodity CTM model in which each commodity is associated with potentially distinct sets of off-ramps. By extending the convexification approach developed for the single-commodity case, we establish a tight convex relaxation of the multi-commodity DTA problem on the CTM model. This relaxation relies on concave, commodity-specific demand functions and concave aggregate supply functions for every cell, which ensure convexity of the resulting optimal control problem. Our proposed formulation requires commodity-dependent implementation of variable speed limits and dynamic routing policies.

연구 동기 및 목표

• 이종 다상품 흐름이 지배하는 방향성 도로망에서 동적 트래픽 배정(DTA)을 동향적으로 모티브화하고 모델링한다.
• 상품별 제어 동작을 지원하는 다중-상품 CTM 기반 흐름 네트워크를 개발한다.
• 수학적 비볼록 문제인 MC-DTA에 대한 촘촘한 볼록 완화를 제시하고, 볼록성 수렴 조건에서 원래의 비볼록 문제와 동등하다는 것을 증명한다.

제안 방법

• 셀(에지)과 교차로(노드)를 가진 방향성 다중그래프로 네트워크를 모델링하고 각 상품에 사용 가능한 셀 집합을 부여한다.
• 합성 수요 함수와 합성 공급 함수를 이용해 제어 변수에서 상품별 체적과 흐름으로 변수 이동시키며 볼록 완화를 도출한다.
• 원래의 비볼록 최적 제어 문제를 흐름과 오프램프 교환에 대한 막대형 변수(bar 변수)를 사용하고, 선형 질량 보존 제약과 볼록 수요/공급 제약이 있는 볼록 프로그램으로 Relax한다.
• 완화된 변수에서 원래 제어로의 feasible 매핑을 보여 목표값을 동일하게 달성함으로써 타이트함을 보인다.
• 주어진 가정 2하에서 원래의 MC-DTA 해, 완화된 문제의 해, 그리고 PMP 조건 사이의 동등성을 입증하고, CVX와 같은 볼록 솔버를 통해 해결하는 방법의 개요를 제시한다.

실험 결과

연구 질문

• RQ1 다중-상품 DTA를 CTM에서 구성 가능한 최적성을 보존하면서 촘촘한 볼록 완화를 구축할 수 있는가?
• RQ2 상품별 경로 결정 및 변수 속도 제한을 어떻게 통합하되 볼록성을 유지할 수 있는가?
• RQ3 완화된 변수들이 원래의 MC-DTA 문제에 대해 실행 가능한, 최적의 제어를 제공하는 조건은 무엇인가?
• RQ4 합성 수요와 공급 함수가 볼록성과 타이트함 보장에 어떤 역할을 하는가?
• RQ5 PMP 프레임워크를 볼록 완화와 연결하여 최적성을 규정하는 방법은 무엇인가?

주요 결과

• MC-DTA를 CTM에서 다중-상품 흐름과 오프램프 교환을 도입하고, 합성 수요와 합성 공급이 볼록성을 보장하여 촘촘한 볼록 완화를 개발하였다.
• 완화된 문제는 볼록하고, 원래 문제의 해는 완화된 문제의 feasible 해이다.
• 완화된 변수에서 원래 제어로의 구성적 매핑(α, R)이 존재하여 목표를 보존하고 완화가 타이트함을 증명한다.
• 주어진 가정 하에 원래의 MC-DTA 해, 볼록 완화 해, PMP 조건 간의 등가성이 확립된다.
• 이 프레임워크를 통해 표준 볼록 최적화 도구(예: CVX)로 MC-DTA를 해결할 수 있다.
• 해석적 및 수치적 예시는 최적 제어가 공급 제약을 만족시키기 위해 특정 상품 흐름을 차단하는 방법을 보여주고 목적을 감소시키는 방식을 보여준다.