[논문 리뷰] Analyzing a Tandem Fluid Queueing Model with Stochastic Capacity and Spillback

Li Jin, Saurabh Amin|arXiv (Cornell University)|2019. 05. 06.

Advanced Queuing Theory Analysis참고 문헌 16인용 수 4

한 줄 요약

이 논문은 하류 링크에서 확률적 용량과 유한한 버퍼 크기를 가지며, 버퍼가 가득 찬 경우로 인해 역류가 발생하는 타임드 흐름 대기열 모델을 분석한다. 시스템 안정성을 위한 필수 및 필요조건을 유도하며, 통과량이 평균 용량과 역류 확률에 의해 제한됨을 보이며, 용량 변동성과 버퍼 크기에 대한 민감도에 대한 핵심 통찰을 제공한다.

ABSTRACT

The tandem fluid queueing model is a useful tool for performance analysis and control design for a variety of transportation systems. In this article, we study the joint impact of stochastic capacity and spillback on the long-time properties of this model. Our analysis focuses on the system of two fluid queueing links in series. The upstream link has a constant capacity (saturation rate) and an infinite buffer size. The downstream link has a stochastic capacity and a finite buffer size. Queue spillback occurs when the the downstream link is full. We derive a necessary condition and a sufficient condition for the total queue length to be bounded on average. The necessary (resp. sufficient) condition leads to an upper (resp. lower) bound for the throughput of the two-link system. Using our results, we analyze the sensitivity of throughput of the two-link system with respect to the frequency and intensity of capacity disruptions, and to the buffer size. In addition, we discuss how our analysis can be extended to feedback-controlled systems and to networks consisting of merges and splits.

연구 동기 및 목표

• 두 링크로 구성된 타임드 흐름 대기열 모델에서 확률적 용량과 대기열 역류가 시스템 안정성에 미치는 종합적 영향을 분석하기 위해.
• 평균 총 대기열 길이가 유한하게 유지되기 위한 필수 및 필요조건을 유도하기 위해.
• 두 링크 시스템에서 용량 변동 빈도/강도와 버퍼 크기에 따라 통과량이 어떻게 달라지는지 정량화하기 위해.
• 피드백 제어 시스템과 융합 및 분할과 같은 일반적인 네트워크 구조로 분석을 확장하기 위해.
• 용량 불확실성과 혼잡도 전파 상황에서 교통, 통신 및 제조 시스템에 실용적인 통찰을 제공하기 위해.

제안 방법

• 두 링크로 구성된 유체 대기열 모델을 사용: 상류 링크는 일정한 용량과 무한한 버퍼를 가지며, 하류 링크는 확률적 용량과 유한한 버퍼를 가짐.
• 유한한 버퍼를 가진 단일 유체 대기열의 정적 상태 행동에 대한 기존 결과를 적용하여 안정성에 필요한 조건을 도출함.
• 다항식 리아푸노프 함수와 포스터-리아푸노프 드리프트 조건을 활용하여 안정성에 대한 충분조건을 확립함.
• 리아푸노프 드리프트 조건을 선형 부등식 집합으로 변환하여 안정성의 실용적 검증 가능하게 함.
• 융합 및 분할 네트워크에 대한 안정성 분석을 확장하기 위해 리아푸노프 함수와 드리프트 조건을 적응함.
• 역류 확률 추정치를 사용하여 통과량을 제한하며, 시스템 성능과 혼잡도 역학 간의 연관성을 연결함.

실험 결과

연구 질문

• RQ1 확률적 하류 용량과 유한한 버퍼를 가진 두 링크 타임드 흐름 대기열 시스템에서 총 대기열 길이가 평균적으로 유한한 조건은 무엇인가?
• RQ2 유입량이 각 링크의 평균 용량 이하일지라도 역류 존재가 시스템 안정성에 어떤 영향을 미치는가?
• RQ3 용량 장애의 빈도와 강도가 통과량에 얼마나 민감한가?
• RQ4 확률적 용량 하에서 버퍼 크기가 시스템의 통과량과 안정성에 어떻게 영향을 미치는가?
• RQ5 제안된 안정성 분석은 피드백 제어 시스템과 융합 및 분할과 같은 일반적인 네트워크 구조로 확장 가능한가?

주요 결과

• 유입량이 각 링크의 시간 평균 용량 이하일지라도, 역류 영향으로 인해 시스템이 반드시 안정적인 것은 아님.
• 필요 조건은 역류 확률 추정을 통해 통과량의 상한선을 제공하며, 평균 용량만으로는 안정성을 확보할 수 없음을 보여줌.
• 충분 조건은 다항식 리아푸노프 함수와 드리프트 분석을 통해 유도된 선형 부등식 집합을 통해 통과량의 하한선을 제공함.
• 용량 변동성이 증가할수록 통과량이 감소하고, 버퍼 크기가 클수록 통과량이 증가하며, 특히 용량 변동성에 가장 민감함.
• 소수의 주요 용량 장애가 다수의 경미한 장애보다 더 큰 통과량 손실을 초래함을 보이며, 극단적 사건의 비선형적 영향을 강조함.
• 분석은 융합 및 분할 네트워크로 확장되며, 이 경우 안정성은 총 유입량 외에도 유입 분포와 하류 링크에서의 혼잡도 차단 여부에 따라 달라짐.