[Paper Review] Bike-Sharing Systems under Markovian Environment.

Quan‐Lin Li, Rui-Na Fan|arXiv (Cornell University)|Oct 5, 2016

Transportation Planning and Optimization57 references3 citations

TL;DR

This paper proposes a mean-field matrix-analytic method to model large-scale bike-sharing systems under Markovian environments, combining mean-field theory with time-inhomogeneous queues and nonlinear QBD processes. It establishes a system of mean-field equations, proves asymptotic independence, and derives fixed points to analyze performance measures like stationary bike counts and problematic station probabilities.

ABSTRACT

To reduce automobile exhaust pollution, traffic congestion and parking difficulties, bike-sharing systems are rapidly developed in many countries and more than 500 major cities in the world over the past decade. In this paper, we discuss a large-scale bike-sharing system under Markovian environment, and propose a mean-field matrix-analytic method in the study of bike-sharing systems through combining the mean-field theory with the time-inhomogeneous queues as well as the nonlinear QBD processes. Firstly, we establish an empirical measure process to express the states of this bike-sharing system. Secondly, we apply the mean-field theory to establishing a time-inhomogeneous MAP(t)/MAP(t)/1/K+2L+1 queue, and then to setting up a system of mean-field equations. Thirdly, we use the martingale limit theory to show the asymptotic independence of this bike-sharing system, and further analyze the limiting interchangeability as N goes to infinity and t goes to infinity. Based on this, we discuss and compute the fixed point in terms of a nonlinear QBD process. Finally, we analyze performance measures of this bike-sharing system, such as, the mean of stationary bike number at any station and the stationary probability of problematic stations. Furthermore, we use numerical examples to show how the performance measures depend on the key parameters of this bike-sharing system. We hope the methodology and results of this paper are applicable in the study of more general large-scale bike-sharing systems.

Motivation & Objective

• To model large-scale bike-sharing systems under time-inhomogeneous and Markovian environmental conditions.
• To address challenges in performance analysis due to non-stationary demand and spatial redistribution of bikes.
• To establish a mean-field framework that captures system-wide behavior as the number of stations grows.
• To analyze asymptotic independence and limiting interchangeability in the system as N → ∞ and t → ∞.
• To compute fixed points using nonlinear QBD processes and derive key performance metrics.

Proposed method

• Formalizes the bike-sharing system using an empirical measure process to represent station states.
• Constructs a time-inhomogeneous MAP(t)/MAP(t)/1/K+2L+1 queue to model dynamic demand and supply.
• Applies mean-field theory to derive a system of mean-field equations governing system-wide behavior.
• Uses martingale limit theory to prove asymptotic independence of stations in the limit.
• Establishes limiting interchangeability of time and system size limits (N → ∞, t → ∞) to simplify analysis.
• Analyzes the fixed point via a nonlinear QBD process to characterize long-run system behavior.

Experimental results

Research questions

• RQ1 How can mean-field theory be adapted to model time-inhomogeneous, large-scale bike-sharing systems under Markovian dynamics?
• RQ2 What is the asymptotic behavior of bike distribution across stations as the number of stations and time grow?
• RQ3 How does the system achieve limiting interchangeability between time and system size limits?
• RQ4 What are the fixed-point solutions of the nonlinear QBD process that describe the stationary behavior?
• RQ5 How do key performance measures depend on system parameters such as demand intensity and station capacity?

Key findings

• The system exhibits asymptotic independence among stations in the limit as the number of stations N → ∞.
• The limiting behavior of the system allows for interchangeability of the time and system size limits (t → ∞ and N → ∞).
• The fixed point of the system is characterized by a nonlinear QBD process, enabling the analysis of stationary distributions.
• Performance measures such as the mean stationary bike count per station and the probability of problematic stations can be computed numerically.
• Numerical examples demonstrate that performance measures are sensitive to key system parameters like demand rates and station capacity.
• The proposed mean-field matrix-analytic method provides a scalable framework for analyzing large-scale bike-sharing systems.