Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors formulate the charging and inventory schedule for multi-server, finite-buffer battery swapping stations as a finite-horizon continuous-time Markov decision process (CTMDP). This framework addresses the practical failure of classical queueing models by accommodating time-varying arrival rates and electricity costs that exhibit discrete piecewise jumps. They analytically derive an exact, explicit threshold policy governing optimal service rates and establish precise conditions under which these switching thresholds are monotonic across time, buffer limits, and server capacities.
Discontinuous cost spikes and non-stationary demand jumps do not break analytical tractability: the optimal control for finite-horizon inventory queues collapses to an exact, provably monotonic threshold policy.
We study a non-stationary queueing system with multiple parallel servers and a finite buffer capacity, over a finite planning horizon. Motivated by an operation that is central to an EV (electric vehicle) battery-swapping station -- how to best manage the charging of batteries swapped off from EVs, we develop a continuous-time MDP (Markov decision process) approach to the problem. The main technical challenge is to allow both the arrival rate and the service-cost rate to be functions of time with jumps at discrete time points, key features of the EV swapping station's operation. We derive an exact and explicit threshold structure that characterizes the optimal control policy. Moreover, we give conditions under which the thresholds are monotone over time, and with respect to key system parameters such as service and buffer capacities. Extensive numerical experiments are carried out to supplement as well as validate the theoretical results, and also to illustrate the robustness of the threshold structure in practical implementations.
Tsinghua AI