[논문 리뷰] A Link-based Mixed Integer LP Approach for Adaptive Traffic Signal Control

Ke Han, Terry L. Friesz외 1명|arXiv (Cornell University)|2012. 11. 19.

Traffic control and management참고 문헌 15인용 수 7

한 줄 요약

이 논문은 셀 기반 이산화 없이 충격파와 대기 동역학을 모델링하기 위해 운동파 이론과 변분 원리를 사용하는 링크 기반 혼합정수선형계획문(MILP)을 제안한다. 이는 차량 보류 문제를 제거하면서도 이진 변수 수와 계산 부담을 줄여 CPLEX와 같은 표준 솔버를 통해 효율적으로 해를 구할 수 있게 하며, 수치적 시험 케이스에서 0.49초의 실행 시간을 기록한다.

ABSTRACT

This paper is concerned with adaptive signal control problems on a road network, using a link-based kinematic wave model (Han et al., 2012). Such a model employs the Lighthill-Whitham-Richards model with a triangular fundamental diagram. A variational type argument (Lax, 1957; Newell, 1993) is applied so that the system dynamics can be determined without knowledge of the traffic state in the interior of each link. A Riemann problem for the signalized junction is explicitly solved; and an optimization problem is formulated in continuous-time with the aid of binary variables. A time-discretization turns the optimization problem into a mixed integer linear program (MILP). Unlike the cell-based approaches (Daganzo, 1995; Lin and Wang, 2004; Lo, 1999b), the proposed framework does not require modeling or computation within a link, thus reducing the number of (binary) variables and computational effort. The proposed model is free of vehicle-holding problems, and captures important features of signalized networks such as physical queue, spill back, vehicle turning, time-varying flow patterns and dynamic signal timing plans. The MILP can be efficiently solved with standard optimization software.

연구 동기 및 목표

• 도시 교통망을 위한 계산 효율적이고 적응형 신호 제어 프레임워크를 개발한다.
• 셀 기반 혼합정수계획문에서 흔히 발생하는 차량 보류 문제를 추가 이진 변수를 과도하게 증가시키지 않고 해결한다.
• 스pill백, 물리적 대기 형성, 동적 신호 제어 시간 등을 포함한 복잡한 교통 현상을 연속시간 링크 기반 모델을 통해 모델링한다.
• 셀 기반 접근 방식인 CTM와 달리 내부 링크 셀 모델링을 제거함으로써 계산 부담을 줄인다.
• 표준 최적화 소프트웨어로 해석 가능한 시간 이산화된 MILP 설정을 통해 실시간 적응형 제어를 가능하게 한다.

제안 방법

• 삼각 기본도형을 가진 LWR 모델에서 유도된 링크 기반 운동파 모델(LKWM)을 사용해 교통 역학을 수식화한다.
• Lax-Hopf 공식과 변분 원리를 적용해 신호 교차로에서의 리만 문제를 해결하고, 수치적 PDE 해법 없이 충격파를 탐지한다.
• 내부 셀 상태 추적을 피하기 위해 링크 입구와 출구의 경계 유량 변수(유입 및 유출)를 사용해 교통 상태를 표현한다.
• 누적 차량 수에 대한 분석적 경계를 통해 충격파 전파 제약 조건(예: 혼잡도가 중간 지점 초과 불가)을 설정한다.
• 시간 단위와 이진 변수를 사용해 연속 시간 최적화 문제를 혼합정수선형계획문(MILP)으로 이산화한다.
• CPLEX와 같은 상용 솔버를 사용해 유도된 MILP를 해석하며, 이진 변수 수의 감소로 인해 효율성을 확보한다.

실험 결과

연구 질문

• RQ1 셀 기반 모델에 비해 링크 기반 설정이 교통 신호 제어 MILP의 이진 변수 수와 계산 복잡도를 줄일 수 있는가?
• RQ2 내부 셀 이산화 없이 충격파와 대기 동역학을 분석적으로 모델링할 수 있는가?
• RQ3 추가 이진 변수 없이도 신호 제어 MILP에서 차량 보류 문제를 피할 수 있는가?
• RQ4 제안된 모델이 계산적으로 다룰 수 있는 방식으로 스풀백, 전환 운동, 동적 신호 제어 시간을 어느 정도 정확하게 포괄할 수 있는가?
• RQ5 실제로 유도된 MILP의 효율성은 어떠한가? 실시간 적응형 제어를 지원할 수 있는가?

주요 결과

• 제안된 링크 기반 MILP 설정은 셀 기반 접근 방식에 비해 이진 변수 수를 줄여 계산 복잡도를 낮춘다.
• 비선형 동역학의 선형화에서 발생하는 차량 보류 문제를 추가 이진 변수 없이 성공적으로 회피한다.
• 두 교차로 테스트 네트워크에서 CPLEX를 사용해 해를 구하는 데 단 0.49초가 소요되어 계산 효율성을 입증한다.
• 모델은 물리적 대기 형성, 스풀백, 충격파 전파를 정확하게 포착하며, 뾰족한 특성을 보여주는 모스코위츠 함수를 통해 시각화된다.
• 누적 유량 경계를 통한 충격파 위치 제약 조건(예: 혼잡도가 중간 지점 초과 불가)이 효과적으로 시행되어 이동 지연이 유한하게 유지된다.
• 변분 방법을 통해 해밀턴-자코비 방정식의 해석적 해법을 통해 충격파 및 제어 영역 전환(자유 흐름 대 혼잡 상태)을 암묵적으로 처리할 수 있다.