We show that the stationary version of the queueing relation H = λG is equivalent to the basic Palm transformation for stationary marked point processes.

We study two FIFO single-server queueing models in which both the arrival and service processes are modulated by the amount of work in the system. In the first model, the nth customer's service time, Sn , depends upon their delay, Dn , in a general Markovian way and the arrival process is a non-stationary Poisson process (NSPP) modulated by work, that is, with an intensity that is a general deterministic function g of work in system V(t). Some examples are provided. In our second model, the arrivals once again form a work-modulated NSPP, but, each customer brings a job consisting of an amount of work to be processed that is i.i.d. and the service rate is a general deterministic function r of work. This model can be viewed as a storage (dam) model (Brockwell et al. (1982)), but, unlike previous related literature, (where the input is assumed work-independent and stationary), we allow a work-modulated NSPP. Our approach involves an elementary use of Foster's criterion (via Tweedie (1976)) and in addition to obtaining new results, we obtain new and simplified proofs of stability for some known models. Using further criteria of Tweedie, we establish sufficient conditions for the steady-state distribution of customer delay and sojourn time to have finite moments.

Let Y 0, Y 1, Y 2, ··· be an i.i.d. sequence of random variables with absolutely continuous distribution function F, and let {N(t), t ≧ 0} be a Poisson process with rate λ (t) and mean Λ(t), independent of the Yj 's. We associate Y 0 with the point t = 0, and Yj with the jth point of N(·), j ≧ 1. The first Yj (j ≧ 1) to exceed all previous ones is the first record value, and the time of its occurrence is the first record time; subsequent record values and times are defined analogously. For general Λ, we give the joint distribution of the values and times of the first n records to occur after a fixed time T, 0 ≦ T < ∞. Assuming that F satisfies Von Mises regularity conditions, and that λ (t)/Λ (t) → c ∈ (0, ∞) as t → ∞, we find the limiting joint p.d.f. of the values and times of the first n records after T, as T → ∞. In the course of this we correct a result of Gaver and Jacobs (1978). We also consider limiting marginal and conditional distributions. In addition, we extend a known result for the limit as the number of recordsK → ∞, and we compare the results for the limit as T → ∞ with those for the limit as K → ∞.

A method of obtaining the distribution of the volume of the typical cell of a Delaunay tessellation generated by a Poisson process in is developed and used to derive the density when d = 1, 2, 3.

The problem treated is that of controlling a process with values in [0, a]. The non-anticipative controls (µ(t), σ(t)) are selected from a set C(x) whenever X(t–) = x and the non-decreasing process A(t) is chosen by the controller subject to the condition where y is a constant representing the initial amount of fuel. The object is to maximize the probability that X(t) reaches a. The optimal process is determined when the function has a unique minimum on [0, a] and satisfies certain regularity conditions. The optimal process is a combination of ‘timid play' in which fuel is used gradually in the form of local time at 0, and ‘bold play' in which all the fuel is used at once.

The existence of a class of multitype measure branching processes is deduced from a single-type model introduced by Li [8], which extends the work of Gorostiza and Lopez-Mimbela [5] and shows that the study of a multitype process can sometimes be reduced to that of a single-type one.

Assume that we want to estimate – σ, the abscissa of convergence of the Laplace transform. We show that no non-parametric estimator of σ can converge at a faster rate than (log n)–1, where n is the sample size. An optimal convergence rate is achieved by an estimator of the form where xn = O(log n) and is the mean of the sample values overshooting xn. Under further parametric restrictions this (log n)–1 phenomenon is also illustrated by a weak convergence result.

Shanthikumar and Sumita (1986) proved that the stationary system queue length distribution just after a departure instant is geometric for GI/GI/1 with LCFS-P/H service discipline and with a constant acceptance probability of an arriving customer, where P denotes preemptive and H is a restarting policy which may depend on the history of preemption. They also got interesting relationships among characteristics. We generalize those results for G/G/1 with an arbitrary restarting LCFS-P and with an arbitrary acceptance policy. Several corollaries are obtained. Fakinos' (1987) and Yamazaki's (1990) expressions for the system queue length distribution are extended. For a Poisson arrival case, we extend the well-known insensitivity for LCFS-P/resume, and discuss the stationary distribution for LCFS-P/repeat.

Two recent papers by Petruccelli and Woolford (1984) and Chan et al. (1985) showed that the key element governing ergodicity of a threshold AR(1) model is the joint behavior of the two linear AR(1) pieces falling in the two boundary threshold regimes. They used essentially the necessary and sufficient conditions for ergodicity of a general Markov chain of Tweedie (1974), (1975) in a rather clever manner. However, it is difficult to extend the results to the more general threshold ARMA models. Besides, irreducibility is also required to apply Tweedie's results. In this paper, instead of pursuing the ideas in Tweedie's results, we shall develop a criterion similar in spirit to the technique used by Beneš (1967) in the context of continuous-time Markov chains. Consequently, we derive a necessary and sufficient condition for existence of a strictly stationary solution of a general non-linear ARMA model to be introduced in Section 2 of this paper. This condition is then applied to the threshold ARMA(1, q) model to yield a sufficient condition for strict stationarity which is identical to the condition given by Petruccelli and Woolford (1984) for the threshold AR(1). Hence, the conjecture that the moving average component does not affect stationarity is partially verified. Furthermore, under an additional irreducibility assumption, ergodicity of a non-linear ARMA model is established. The paper then concludes with a necessary condition for stationarity of the threshold ARMA(1, q) model.

For linear-cost-adjusted and geometric-discounted infinite sequences of i.i.d. random variables, point process convergence results are proved as the cost or discounting effect diminishes. These process convergence results are combined with continuous-mapping principles to obtain results on joint convergence of suprema and threshold-stopped random variables, and last-exit times and locations. Applications are made to several classical optimal stopping problems in these settings.

Limit Statements obtainable by the key renewal theorem are of the form EXt = v(t) + o(1), as t →∞. We show how to delineate the limit function v for processes X associated with crudely regenerative phenomena. Included are refinements of classical limit theorems for Markov and regenerative processes, limits of sums of stationary random variables, and limits for integrals and derivatives of EXt.

This article reviews results related to event and time averages (EATA) for point process models, including PASTA, ASTA and ANTIPASTA under general hypotheses. In particular, the results for the stationary case relating the Palm and martingale approach are reviewed. The non-stationary case is discussed in the martingale framework where minimal conditions for ASTA generalizing earlier work are presented in a unified framework for the discrete- and continuous-time cases. In addition, necessary and sufficient conditions for ASTA to hold in the stationary case are discussed in the case even when stochastic intensities may not exist and a short proof of the ANTIPASTA results known to date are given.

For a two-dimensional random walk {X (n) = (X(n)1, X(n)2 )T, n ∈ ℕ0} with correlated components the first-crossing-time probability problem through unit-slope straight lines x 2 = x 1 - r(r = 0,1) is analysed. The p.g.f.'s for the first-crossing-time probabilities are expressed as solutions of a fourth-degree algebraic equation and are then exploited to obtain the first-crossing-time probabilities. Several additional results, including the mean first-crossing time and the probability of ultimate crossing, are also given.

We obtain a limit theorem for the joint distribution of the maximum value and sample mean of a random length sequence of independent and identically distributed random variables. This extends a previous bivariate convergence result for fixed length sequences and incidentally yields a new proof of Berman's classical limit theorem for the maximum value of a random number of random variables. Our approach uses a property of record time sequences and leads to probabilistically intuitive proofs. We also consider the partition of a finite interval into a random number of subintervals by the points of a non-delayed renewal process. Using the bivariate convergence result for random length sequences, we establish a limit theorem for the joint distribution of the number and maximum length of the subintervals as the interval length becomes large. This leads to limiting results for the ratio of the maximum to the mean subinterval length. Such results are of interest in connection with a simple model of parallel processing.

Pitman has shown that if X is Brownian motion with maximum process M, then 2M – X is a BES0(3) process. We show that this can be seen by looking at finite-dimensional densities.

It is shown that the two descriptions of the ages of alleles corresponding to the two formulations of the stationary infinitely-many-neutral-alleles diffusion model discussed by Ethier (1990a) are equivalent.

The paper presents a method of computing the extremal index for a discrete-time stationary Markov chain in continuous state space. The method is based on the assumption that bivariate margins of the process are in the domain of attraction of a bivariate extreme value distribution. Scaling properties of bivariate extremes then lead to a random walk representation for the tail behaviour of the process, and hence to computation of the extremal index in terms of the fluctuation properties of that random walk. The result may then be used to determine the asymptotic distribution of extreme values from the Markov chain.

Simple necessary and sufficient conditions for a function to be concave in terms of its shifted Laplace transform are given. As an application of this result, we show that the expected local time at zero of a reflected Lévy process with no negative jumps, starting from the origin, is a concave function of the time variable. A special case is the expected cumulative idle time in an M/G/1 queue. An immediate corollary is the concavity of the expected value of the reflected Lévy process itself. A special case is the virtual waiting time in an M/G/1 queue.

We have furnished further examples on the connection between some standard one-dimensional chaotic deterministic models and stochastic time series models via time reversal.

This paper complements two previous studies (Daley and Rolski (1984), (1991)) by investigating limit properties of the waiting time in k-server queues with renewal arrival process under ‘light traffic' conditions. Formulae for the limits of the probability of waiting and the waiting time moments are derived for the two approaches of dilation and thinning of the arrival process. Asmussen's (1991) approach to light traffic limits applies to the cases considered, of which the Poisson arrival process (i.e. M/G/k) is a special case and for which formulae are given.