SearcharxivSearch

arXiv subjects

Brian Fralix

Publications and source records attributed to Brian Fralix.

3 recordsLinked to original sources

Non-Stationary Queues with Batch Arrivals

Motivated by applications that involve setting proper staffing levels for multi-server queueing systems with batch arrivals, we present a thorough study of the queue-length process $\{Q(t); t \geq 0\}$, departure process $\{D(t); t \geq 0\}$, and the workload process $\{W(t); t \geq 0\}$ associated with the M$_{t}^{B_{t}}$/G$_{t}$/$\infty$ queueing system. With two fundamental assumptions of (non-stationary) Poisson arrivals and infinitely many servers, we otherwise maintain a highly general model, in which the service duration and batch size distributions may depend on time and, moreover, where the service durations within a batch may be arbitrarily dependent. Nevertheless, we find that the Poisson and infinite server assumptions are enough to show that for each $t > 0$, the law of $Q(t)$ is that of a weighted sum of mutually independent Poisson random variables. We further invoke this type of decomposition to derive various joint Laplace-Stieltjes transforms associated with the queue-length and departure processes. Next, we study the time-dependent behavior of the workload process, and we conclude by establishing almost sure convergence of the queue-length and workload processes (when properly scaled) to two different shot-noise processes, elevating the weak convergence results shown previously.

math.PR

Time-dependent analysis of an $M/M/c$ preemptive priority system with two priority classes

We analyze the time-dependent behavior of an $M/M/c$ priority queue having two customer classes, class-dependent service rates, and preemptive priority between classes. More particularly, we develop a method that determines the Laplace transforms of the transition functions when the system is initially empty. The Laplace transforms corresponding to states with at least $c$ high-priority customers are expressed explicitly in terms of the Laplace transforms corresponding to states with at most $c - 1$ high-priority customers. We then show how to compute the remaining Laplace transforms recursively, by making use of a variant of Ramaswami's formula from the theory of $M/G/1$-type Markov processes. While the primary focus of our work is on deriving Laplace transforms of transition functions, analogous results can be derived for the stationary distribution: these results seem to yield the most explicit expressions known to date.

math.PR

Clearing Analysis on Phases: Exact Limiting Probabilities for Skip-free, Unidirectional, Quasi-birth-death Processes

Many problems in computing, service, and manufacturing systems can be modeled via infinite repeating Markov chains with an infinite number of levels and a finite number of phases. Many such chains are quasi-birth-death processes (QBDs) with transitions that are skip-free in level, in that one can only transition between consecutive levels, and unidirectional in phase, in that one can only transition from lower-numbered phases to higher-numbered phases. We present a procedure, which we call Clearing Analysis on Phases (CAP), for determining the limiting probabilities of such Markov chains exactly. The CAP method yields the limiting probability of each state in the repeating portion of the chain as a linear combination of scalar bases raised to a power corresponding to the level of the state. The weights in these linear combinations can be determined by solving a finite system of linear equations.

math.PR