As the queue becomes exhausted, different maintenance tasks can be performed according to the fatigue load and wear degree of the service equipment. At the same time, considering the customer's sensitivity to time delay, the service facility will not completely remain inactive during the maintenance period. To describe this objectively existing phenomenon arising in the waiting line system, we consider a hyper-exponential working vacation queue with a batch renewal arrival process. Through the calculation of the well-structured roots of the associated characteristic equation, the shift operator method in the theory of difference equations and the supplementary variable technique for stochastic modeling plays a central role in the queue-length distribution analysis. Comparison with other ways to analyze queueing models, the advantage of our approach is that we can avoid deriving the complex transition probability matrix of the queue-length process embedded at input points. The feasibility of this approach is verified by extensive numerical examples.

Based on a simple object, an i.i.d. sequence of positive integer-valued random variables {an}n∊ℤ, we introduce and study two random structures and their connections. First, a population dynamics, in which each individual is born at time n and dies at time n + an. This dynamics is that of a D/GI/∞ queue, with arrivals at integer times and service times given by {an}n∊ℤ. Second, the directed random graph Tf on ℤ generated by the random map f(n) = n + an. Assuming only that E [a0] < ∞ and P [a0 = 1] > 0, we show that, in steady state, the population dynamics is regenerative, with one individual alive at each regeneration epoch. We identify a unimodular structure in this dynamics. More precisely, Tf is a unimodular directed tree, in which f(n) is the parent of n. This tree has a unique bi-infinite path. Moreover, Tf splits the integers into two categories: ephemeral integers, with a finite number of descendants of all degrees, and successful integers, with an infinite number. Each regeneration epoch is a successful individual such that all integers less than it are its descendants of some order. Ephemeral, successful, and regeneration integers form stationary and mixing point processes on ℤ.

Let X be the constrained random walk on ℤ+2 having increments (1,0), (-1,1), and (0,-1) with respective probabilities λ, µ1, and µ2 representing the lengths of two tandem queues. We assume that X is stable and µ1≠µ2. Let τn be the first time when the sum of the components of X equals n. Let Y be the constrained random walk on ℤ×ℤ+ having increments (-1,0), (1,1), and (0,-1) with probabilities λ, µ1, and µ2. Let τ be the first time that the components of Y are equal to each other. We prove that Pn-xn(1),xn(2)(τ<∞) approximates pn(xn) with relative error exponentially decaying in n for xn=⌊nx⌋, x ∈ℝ+2, 0<x(1)+x(2)<1, x(1)>0. An affine transformation moving the origin to the point (n,0) and letting n→∞ connect the X and Y processes. We use a linear combination of basis functions constructed from single and conjugate points on a characteristic surface associated with X to derive a simple expression for ℙy(τ<∞) in terms of the utilization rates of the nodes. The proof that the relative error decays exponentially in n uses a sequence of subsolutions of a related Hamilton‒Jacobi‒Bellman equation on a manifold consisting of three copies of ℝ+2 glued to each other along the constraining boundaries. We indicate how the ideas of the paper can be generalized to more general processes and other exit boundaries.

Many complex systems can be modeled via Markov jump processes. Applications include chemical reactions, population dynamics, and telecommunication networks. Rare-event estimation for such models can be difficult and is often computationally expensive, because typically many (or very long) paths of the Markov jump process need to be simulated in order to observe the rare event. We present a state-dependent importance sampling approach to this problem that is adaptive and uses Markov chain Monte Carlo to sample from the zero-variance importance sampling distribution. The method is applicable to a wide range of Markov jump processes and achieves high accuracy, while requiring only a small sample to obtain the importance parameters. We demonstrate its efficiency through benchmark examples in queueing theory and stochastic chemical kinetics.

In this paper we present a stability criterion for processor-sharing queues, in which the throughput may depend on the number of customers in the system (such as in the case of interferences between users). Such a system is represented by a point measure-valued stochastic recursion keeping track of the remaining processing times of the customers.

In this paper we consider discrete-time multidimensional Markov chains having a block transition probability matrix which is the sum of a matrix with repeating block rows and a matrix of upper-Hessenberg, quasi-Toeplitz structure. We derive sufficient conditions for the existence of the stationary distribution, and outline two algorithms for calculating the stationary distribution.

Christ and Avi-Itzhak (2002) analyzed a queueing system with two competing servers who determine their service rates so as to optimize their individual utilities. The system is formulated as a two-person game; Christ and Avi-Itzhak proved the existence of a unique Nash equilibrium which is symmetric. In this paper, we explore globally optimal solutions. We prove that the unique Nash equilibrium is generally strictly inferior to a globally optimal solution and that optimal solutions are symmetric and require the servers to adopt service rates that are smaller than those occurring in equilibrium. Furthermore, given a symmetric globally optimal solution, we show how to impose linear penalties on the service rates so that the given optimal solution becomes a unique Nash equilibrium. When service rates are not observable, we show how the same effect is achieved by imposing linear penalties on a corresponding signal.

In this paper we propose a new method of determining the stability of queueing systems. We attain it using the absorbing process and introduce the untraceable events method to show the existence of the absorbing process. The advantage of our method is that we are able to discuss the stability of various variables for both discrete and continuous parameters in a general framework with nonstationary input. An untraceable event has the property that the state loses the memory of its origin. In a concrete model, we use the boundedness of the state at an epoch in time with respect to the initial condition and choose the form of the untraceable event corresponding to the input distribution.

We introduce the concept of the absorbing process for analysing a state process. Our aim is to show the existence of the absorbing process with probability one. This process is shown to be stationary, asymptotically stationary, periodic or a.m.s., if the input distribution has such properties. The real process is absorbed into this process so that its stability and some other properties are easily derived.

We show that if an input process ζ to a queue is asymptotic stationary in some sense, satisfies a condition AB and some other natural conditions, then the output processes (w, ζ) and (w, q,ζ) are asymptotic stationary in the same sense. Here, w and q are the waiting time and queue length processes, respectively.

In this paper we study the extremal properties of several scheduling policies in an in-forest network consisting of multiserver queues. Each customer has a due date, and we assume that service times at the different queues form mutually independent sequences of independent and identically distributed random variables independent of the arrival times and due dates. Furthermore, the network is assumed to consist of a mixture of nodes, some of which permit only non-preemptive service policies whereas the others permit preemptive resume policies. In the case of non-preemptive queues, service times may be generally distributed if there is only one server; otherwise the service times are required to be increasing in likelihood ratio (ILR). In the case of preemptive queues, service times are restricted to exponential distributions. Using stochastic majorizations and partial orders on permutations, we establish that, within the class of work conserving service policies, the stochastically smallest due date (SSDD) and the stochastically largest due date (SLDD) policies minimize and maximize, respectively, the vector of the customer latenesses of the first n customers in the sense of the Schur-convex order and some weaker orders, provided the due dates are comparable in some stochastic sense. It then follows that the first come-first served (FCFS) and the last come-first served (LCFS) policies minimize and maximize, respectively, the vector of the response times of the first n customers in the sense of the Schur-convex order. We also show that the FCFS and LCFS policies minimize and maximize, respectively, the vector of customer end-to-end delays in the sense of the strong stochastic order. Extensions to the class of non-idling policies and to the stationary regime are also given.

This paper considers single-server, multi-queue systems with cyclic service. Non-zero switch-over times of the server between consecutive queues are assumed. A stochastic decomposition for the amount of work in such systems is obtained. This decomposition allows a short derivation of a ‘pseudo-conservation law' for a weighted sum of the mean waiting times at the various queues. Thus several recently proved conservation laws are generalised and explained.

A queueing system with exponential service and correlated arrivals is analysed. Each interarrival time is exponentially distributed. The parameter of the interarrival time distribution depends on the parameter for the preceding arrival, according to a Markov chain. The parameters of the interarrival time distributions are chosen to be equal to a common value plus a factor ofε, where ε is a small number. Successive arrivals are then weakly correlated.

The stability condition is found and it is shown that the system has a stationary probability vector of matrix-geometric form. Furthermore, it is shown that the stationary probabilities for the number of customers in the system, are analytic functions ofε, for sufficiently smallε, and depend more on the variability in the interarrival time distribution, than on the correlations.

We consider an N-server queue with arbitrary arrivals and service times which are random but with differing rates for different servers. Customers arriving when all servers are occupied do not enter the system. We show that the policy of always assigning an arrival to that free server whose service rate is largest (smallest) stochastically minimises (maximises) the number in the system. We then show that in a particular component-repair context with exponential repair times the policy of repairing failed components with the smallest failure rate stochastically maximises the number of working components.