Showing 1–50 of 54 results for author: Boxma, O

Polling on a circle with non-uniform batch arrivals

Authors: Tim Engels, Ivo Adan, Onno Boxma, Jacques Resing

Abstract: In this paper, we analyze a polling system on a circle with. Random batches of customers arrive at a circle, where each customer, independently, obtains a location according to a general distribution. A single server cyclically travels over the circle to serve all customers. We analyze the experienced delay of batches for two service policies: globally gated and exhaustive. The Laplace-Stieltjes t… ▽ More In this paper, we analyze a polling system on a circle with. Random batches of customers arrive at a circle, where each customer, independently, obtains a location according to a general distribution. A single server cyclically travels over the circle to serve all customers. We analyze the experienced delay of batches for two service policies: globally gated and exhaustive. The Laplace-Stieltjes transform of the experienced delay is found under the former policy. For the latter policy, we propose a mean-value analysis, resulting in an algorithmic approach for the evaluation of the mean experienced delay. Light- and heavy-traffic limits are derived exactly for the system performance. △ Less

Submitted 6 March, 2025; originally announced March 2025.

On reflected Lévy processes with collapse

Authors: Onno Boxma, Offer Kella, David Perry

Abstract: We consider a Lévy process reflected at the origin with additional i.i.d. collapses that occur at Poisson epochs, where a collapse is a jump downward to a state which is a random fraction of the state just before the jump. We first study the general case, then specialize to the case where the Lévy process is spectrally positive and finally we specialize further to the two cases where the Lévy proc… ▽ More We consider a Lévy process reflected at the origin with additional i.i.d. collapses that occur at Poisson epochs, where a collapse is a jump downward to a state which is a random fraction of the state just before the jump. We first study the general case, then specialize to the case where the Lévy process is spectrally positive and finally we specialize further to the two cases where the Lévy process is a Brownian motion and a compound Poisson process with exponential jumps minus a linear slope. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Comments: 21 pages

MSC Class: 60G51

Finite customer-pool queues

Authors: Onno Boxma, Offer Kella, Michel Mandjes

Abstract: In this paper we consider an M/G/1-type queue fed by a finite customer-pool. In terms of transforms, we characterize the time-dependent distribution of the number of customers and the workload, as well as the associated waiting times. In this paper we consider an M/G/1-type queue fed by a finite customer-pool. In terms of transforms, we characterize the time-dependent distribution of the number of customers and the workload, as well as the associated waiting times. △ Less

Submitted 23 February, 2025; v1 submitted 9 October, 2024; originally announced October 2024.

Batch sojourn time in polling systems on a circle

Authors: Tim Engels, Ivo Adan, Onno Boxma, Jacques Resing

Abstract: In this paper, we analyze a polling system on a circle. Random batches of customers arrive at a circle, where each customer, independently, obtains a uniform location. A single server cyclically travels over the circle to serve all customers. Using mean value analysis, we derive the expected number of waiting customers within a given distance of the server and a closed form expression for the mean… ▽ More In this paper, we analyze a polling system on a circle. Random batches of customers arrive at a circle, where each customer, independently, obtains a uniform location. A single server cyclically travels over the circle to serve all customers. Using mean value analysis, we derive the expected number of waiting customers within a given distance of the server and a closed form expression for the mean batch sojourn time. △ Less

Submitted 24 August, 2023; originally announced August 2023.

On fluctuation-theoretic decompositions via Lindley-type recursions

Authors: Onno Boxma, Offer Kella, Michel Mandjes

Abstract: Consider a Lévy process $Y(t)$ over an exponentially distributed time $T_β$ with mean $1/β$. We study the joint distribution of the running maximum $\bar{Y}(T_β)$ and the time epoch $G(T_β$) at which this maximum last occurs. Our main result is a fluctuation-theoretic distributional equality: the vector ($\bar{Y}(T_β),G(T_β)$) can be written as a sum of two independent vectors, the first one being… ▽ More Consider a Lévy process $Y(t)$ over an exponentially distributed time $T_β$ with mean $1/β$. We study the joint distribution of the running maximum $\bar{Y}(T_β)$ and the time epoch $G(T_β$) at which this maximum last occurs. Our main result is a fluctuation-theoretic distributional equality: the vector ($\bar{Y}(T_β),G(T_β)$) can be written as a sum of two independent vectors, the first one being ($\bar{Y}(T_{β+ω}),G(T_{β+ω})$) and the second one being the running maximum and corresponding time epoch under the restriction that the Lévy process is only observed at Poisson($ω$) inspection epochs (until $T_β$). We first provide an analytic proof for this remarkable decomposition, and then a more elementary proof that gives insight into the occurrence of the decomposition and into the fact that $ω$ only appears in the right hand side of the decomposition. The proof technique underlying the more elementary derivation also leads to further generalizations of the decomposition, and to some fundamental insights into a generalization of the well known Lindley recursion. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Exact results for the order picking time distribution under return routing

Authors: Tim Engels, Ivo Adan, Onno Boxma, Jacques Resing

Abstract: This paper derives exact expressions for the Laplace-Stieltjes transform of the order picking time in single- and 2-block warehouses. We consider manual warehouses that deploy return routing and assume that order sizes follow a Poisson distribution. The results in this paper apply to a wide range of storage policies, including but not restricted to class-based and random storage. Furthermore, we c… ▽ More This paper derives exact expressions for the Laplace-Stieltjes transform of the order picking time in single- and 2-block warehouses. We consider manual warehouses that deploy return routing and assume that order sizes follow a Poisson distribution. The results in this paper apply to a wide range of storage policies, including but not restricted to class-based and random storage. Furthermore, we compare the performance of the storage policies and warehouse lay-outs by using numerical inversion of the Laplace-Stieltjes transforms. △ Less

Submitted 26 July, 2022; originally announced July 2022.

An exact analysis and comparison of manual picker routing heuristics

Authors: Tim Engels, Ivo Adan, Onno Boxma, Jacques Resing

Abstract: This paper presents exact derivations of the first two moments of the total picking time in a warehouse for four routing heuristics, under the assumption of random storage. The analysis is done for general order size distributions and provides formulas in terms of the probability generating function of the order size distribution. These results are used to investigate differences between routing h… ▽ More This paper presents exact derivations of the first two moments of the total picking time in a warehouse for four routing heuristics, under the assumption of random storage. The analysis is done for general order size distributions and provides formulas in terms of the probability generating function of the order size distribution. These results are used to investigate differences between routing heuristics, order size distributions and warehouse layouts. In specific, we model a warehouse with $c$ pickers as an M/G/c queue to estimate the average order-lead time. △ Less

Submitted 13 January, 2022; originally announced January 2022.

Workload analysis of a two-queue fluid polling model

Authors: Stella Kapodistria, Mayank Saxena, Onno Boxma, Offer Kella

Abstract: In this paper, we analyze a two-queue random time-limited Markov modulated polling model. In the first part of the paper, we investigate the fluid version: Fluid arrives at the two queues as two independent flows with deterministic rate. There is a single server that serves both queues at constant speeds. The server spends an exponentially distributed amount of time in each queue. After the comple… ▽ More In this paper, we analyze a two-queue random time-limited Markov modulated polling model. In the first part of the paper, we investigate the fluid version: Fluid arrives at the two queues as two independent flows with deterministic rate. There is a single server that serves both queues at constant speeds. The server spends an exponentially distributed amount of time in each queue. After the completion of such a visit time to one queue, the server instantly switches to the other queue, i.e., there is no switchover time. For this model, we first derive the Laplace-Stieltjes Transform (LST) of the stationary marginal fluid content/workload at each queue. Subsequently, we derive a functional equation for the LST of the two-dimensional workload distribution that leads to a Riemann-Hilbert boundary value problem (BVP). After taking a heavy-traffic limit, and restricting ourselves to the symmetric case, the boundary value problem simplifies and can be solved explicitly. In the second part of the paper, allowing for more general (Lévy) input processes and server switching policies, we investigate the transient process-limit of the joint workload in heavy traffic. Again solving a BVP, we determine the stationary distribution of the limiting process. We show that, in the symmetric case, this distribution coincides with our earlier solution of the BVP, implying that in this case the two limits (stationarity and heavy traffic) commute. △ Less

Submitted 9 December, 2021; originally announced December 2021.

A decomposition for Levy processes inspected at Poisson moments

Authors: Onno Boxma, Michel Mandjes

Abstract: We consider a Lévy process $Y(t)$ that is not permanently observed, but rather inspected at Poisson($ω$) moments only, over an exponentially distributed time $T_β$ with parameter $β$. The focus lies on the analysis of the distribution of the running maximum at such inspection moments up to $T_β$, denoted by $Y_{β,ω}$. Our main result is a decomposition: we derive a remarkable distributional equali… ▽ More We consider a Lévy process $Y(t)$ that is not permanently observed, but rather inspected at Poisson($ω$) moments only, over an exponentially distributed time $T_β$ with parameter $β$. The focus lies on the analysis of the distribution of the running maximum at such inspection moments up to $T_β$, denoted by $Y_{β,ω}$. Our main result is a decomposition: we derive a remarkable distributional equality that contains $Y_{β,ω}$ as well as the running maximum process $\bar Y(t)$ at the exponentially distributed times $T_β$ and $T_{β+ω}$. Concretely, $\overline{Y}(T_β)$ can be written the sum of the two independent random variables that are distributed as $Y_{β,ω}$ and $\overline{Y}(T_{β+ω})$. The distribution of $Y_{β,ω}$ can be identified more explicitly in the two special cases of a spectrally positive and a spectrally negative Lévy process. As an illustrative example of the potential of our results, we show how to determine the asymptotic behavior of the bankruptcy probability in the Cramér-Lundberg insurance risk model. △ Less

Submitted 23 October, 2021; originally announced October 2021.

Fork-join and redundancy systems with heavy-tailed job sizes

Authors: Youri Raaijmakers, Sem Borst, Onno Boxma

Abstract: We investigate the tail asymptotics of the response time distribution for the cancel-on-start (c.o.s.) and cancel-on-completion (c.o.c.) variants of redundancy-$d$ scheduling and the fork-join model with heavy-tailed job sizes. We present bounds, which only differ in the pre-factor, for the tail probability of the response time in the case of the first-come first-served (FCFS) discipline. For the… ▽ More We investigate the tail asymptotics of the response time distribution for the cancel-on-start (c.o.s.) and cancel-on-completion (c.o.c.) variants of redundancy-$d$ scheduling and the fork-join model with heavy-tailed job sizes. We present bounds, which only differ in the pre-factor, for the tail probability of the response time in the case of the first-come first-served (FCFS) discipline. For the c.o.s. variant we restrict ourselves to redundancy-$d$ scheduling, which is a special case of the fork-join model. In particular, for regularly varying job sizes with tail index $-ν$ the tail index of the response time for the c.o.s. variant of redundancy-$d$ equals $-\min\{d_{\mathrm{cap}}(ν-1),ν\}$, where $d_{\mathrm{cap}} = \min\{d,N-k\}$, $N$ is the number of servers and $k$ is the integer part of the load. This result indicates that for $d_{\mathrm{cap}} < \fracν{ν-1}$ the waiting time component is dominant, whereas for $d_{\mathrm{cap}} > \fracν{ν-1}$ the job size component is dominant. Thus, having $d = \lceil \min\{\fracν{ν-1},N-k\} \rceil$ replicas is sufficient to achieve the optimal asymptotic tail behavior of the response time. For the c.o.c. variant of the fork-join($n_{\mathrm{F}},n_{\mathrm{J}}$) model the tail index of the response time, under some assumptions on the load, equals $1-ν$ and $1-(n_{\mathrm{F}}+1-n_{\mathrm{J}})ν$, for identical and i.i.d. replicas, respectively; here the waiting time component is always dominant. △ Less

Submitted 28 May, 2021; originally announced May 2021.

A dual risk model with additive and proportional gains: ruin probability and dividends

Authors: Onno Boxma, Esther Frostig, Zbigniew Palmowski

Abstract: We consider a dual risk model with constant expense rate and i.i.d. exponentially distributed gains $C_i$ ($i=1,2,\dots$) that arrive according to a renewal process with general interarrival times. We add to this classical dual risk model the proportional gain feature, that is, if the surplus process just before the $i$th arrival is at level $u$, then for $a>0$ the capital jumps up to the level… ▽ More We consider a dual risk model with constant expense rate and i.i.d. exponentially distributed gains $C_i$ ($i=1,2,\dots$) that arrive according to a renewal process with general interarrival times. We add to this classical dual risk model the proportional gain feature, that is, if the surplus process just before the $i$th arrival is at level $u$, then for $a>0$ the capital jumps up to the level $(1+a)u+C_i$. The ruin probability and the distribution of the time to ruin are determined. We furthermore identify the value of discounted cumulative dividend payments, for the case of a Poisson arrival process of proportional gains. In the dividend calculations, we also consider a random perturbation of our basic risk process modeled by an independent Brownian motion with drift. △ Less

Submitted 1 December, 2020; originally announced December 2020.

Threshold-based rerouting and replication for resolving job-server affinity relations

Authors: Youri Raaijmakers, Sem Borst, Onno Boxma

Abstract: We consider a system with several job types and two parallel server pools. Within the pools the servers are homogeneous, but across pools possibly not in the sense that the service speed of a job may depend on its type as well as the server pool. Immediately upon arrival, jobs are assigned to a server pool. This could be based on (partial) knowledge of their type, but such knowledge might not be a… ▽ More We consider a system with several job types and two parallel server pools. Within the pools the servers are homogeneous, but across pools possibly not in the sense that the service speed of a job may depend on its type as well as the server pool. Immediately upon arrival, jobs are assigned to a server pool. This could be based on (partial) knowledge of their type, but such knowledge might not be available. Information about the job type can however be obtained while the job is in service; as the service progresses, the likelihood that the service speed of this job type is low increases, creating an incentive to execute the job on different, possibly faster, server(s). Two policies are considered: reroute the job to the other server pool, or replicate it there. We determine the effective load per server under both the rerouting and replication policy for completely unknown as well as partly known job types. We also examine the impact of these policies on the stability bound, and find that the uncertainty in job types may significantly degrade the performance. For (highly) unbalanced service speeds full replication achieves the largest stability bound while for (nearly) balanced service speeds no replication maximizes the stability bound. Finally, we discuss how the use of threshold-based policies can help improve the expected latency for completely or partly unknown job types. △ Less

Submitted 27 May, 2020; originally announced May 2020.

A Multiplicative Version of the Lindley Recursion

Authors: Onno Boxma, Andreas Löpker, Michel Mandjes, Zbigniew Palmowski

Abstract: This paper presents an analysis of the stochastic recursion $W_{i+1} = [V_iW_i+Y_i]^+$ that can be interpreted as an autoregressive process of order 1, reflected at 0. We start our exposition by a discussion of the model's stability condition. Writing $Y_i=B_i-A_i$, for independent sequences of non-negative i.i.d.\ random variables $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$, and assuming… ▽ More This paper presents an analysis of the stochastic recursion $W_{i+1} = [V_iW_i+Y_i]^+$ that can be interpreted as an autoregressive process of order 1, reflected at 0. We start our exposition by a discussion of the model's stability condition. Writing $Y_i=B_i-A_i$, for independent sequences of non-negative i.i.d.\ random variables $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$, and assuming $\{V_i\}_{i\in N_0}$ is an i.i.d. sequence as well (independent of $\{A_i\}_{i\in N_0}$ and $\{B_i\}_{i\in N_0}$), we then consider three special cases: (i) $V_i$ attains negative values only and $B_i$ has a rational LST, (ii) $V_i$ equals a positive value $a$ with certain probability $p\in (0,1)$ and is negative otherwise, and both $A_i$ and $B_i$ have a rational LST, (iii) $V_i$ is uniformly distributed on $[0,1]$, and $A_i$ is exponentially distributed. In all three cases we derive transient and stationary results, where the transient results are in terms of the transform at a geometrically distributed epoch. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Single-server queues under overdispersion in the heavy-traffic regime

Authors: Onno Boxma, Mariska Heemskerk, Michel Mandjes

Abstract: This paper addresses the analysis of the queue-length process of single-server queues under overdispersion, i.e., queues fed by an arrival process for which the variance of the number of arrivals in a given time window exceeds the corresponding mean. Several variants are considered, using concepts as mixing and Markov modulation, resulting in different models with either endogenously triggered or… ▽ More This paper addresses the analysis of the queue-length process of single-server queues under overdispersion, i.e., queues fed by an arrival process for which the variance of the number of arrivals in a given time window exceeds the corresponding mean. Several variants are considered, using concepts as mixing and Markov modulation, resulting in different models with either endogenously triggered or exogenously triggered random environments. Only in special cases explicit expressions can be obtained, e.g. when the random arrival and/or service rate can attain just finitely many values. While for more general model variants exact analysis is challenging, one ${\it can}$ derive limit theorems in the heavy-traffic regime. In some of our derivations we rely on evaluating the relevant Laplace transform in the heavy-traffic scaling using Taylor expansions, whereas other results are obtained by applying the continuous mapping theorem. △ Less

Submitted 20 April, 2020; v1 submitted 11 December, 2019; originally announced December 2019.

MSC Class: 60K25 (Primary) 60J60; 90B22 (Secondary)

Stability of Redundancy Systems with Processor Sharing

Authors: Youri Raaijmakers, Sem Borst, Onno Boxma

Abstract: We investigate the stability condition for redundancy-d systems where each of the servers follows a processor-sharing (PS) discipline. We allow for generally distributed job sizes, with possible dependence among the d replica sizes being governed by an arbitrary joint distribution. We establish that the stability condition is characterized by the expectation of the minimum of d replica sizes being… ▽ More We investigate the stability condition for redundancy-d systems where each of the servers follows a processor-sharing (PS) discipline. We allow for generally distributed job sizes, with possible dependence among the d replica sizes being governed by an arbitrary joint distribution. We establish that the stability condition is characterized by the expectation of the minimum of d replica sizes being less than the mean interarrival time per server. In the special case of identical replicas, the stability condition is insensitive to the job size distribution given its mean, and the stability condition is inversely proportional to the number of replicas. In the special case of i.i.d. replicas, the stability threshold decreases (increases) in the number of replicas for job size distributions that are NBU (NWU). We also discuss extensions to scenarios with heterogeneous servers. △ Less

Submitted 6 March, 2020; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: To appear in proceedings of ValueTools 2020

Synchronized Lévy queues

Authors: Offer Kella, Onno Boxma

Abstract: We consider a multivariate Lévy process where the first coordinate is a Lévy process with no negative jumps which is not a subordinator and the others are nondecreasing. We determine the Laplace-Stieltjes transform of the steady-state buffer content vector of an associated system of parallel queues. The special structure of this transform allows us to rewrite it as a product of joint Laplace-Stiel… ▽ More We consider a multivariate Lévy process where the first coordinate is a Lévy process with no negative jumps which is not a subordinator and the others are nondecreasing. We determine the Laplace-Stieltjes transform of the steady-state buffer content vector of an associated system of parallel queues. The special structure of this transform allows us to rewrite it as a product of joint Laplace-Stieltjes transforms. We are thus able to interpret the buffer content vector as a sum of independent random vectors. △ Less

Submitted 10 August, 2020; v1 submitted 9 November, 2019; originally announced November 2019.

Comments: 14 pages

MSC Class: 60G51; 60K25; 90B05

Journal ref: J. Appl. Probab. 57 (2020) 1222-1233

Redundancy scheduling with scaled Bernoulli service requirements

Authors: Youri Raaijmakers, Sem Borst, Onno Boxma

Abstract: Redundancy scheduling has emerged as a powerful strategy for improving response times in parallel-server systems. The key feature in redundancy scheduling is replication of a job upon arrival by dispatching replicas to different servers. Redundant copies are abandoned as soon as the first of these replicas finishes service. By creating multiple service opportunities, redundancy scheduling increase… ▽ More Redundancy scheduling has emerged as a powerful strategy for improving response times in parallel-server systems. The key feature in redundancy scheduling is replication of a job upon arrival by dispatching replicas to different servers. Redundant copies are abandoned as soon as the first of these replicas finishes service. By creating multiple service opportunities, redundancy scheduling increases the chance of a fast response from a server that is quick to provide service, and mitigates the risk of a long delay incurred when a single selected server turns out to be slow. The diversity enabled by redundant requests has been found to strongly improve the response time performance, especially in case of highly variable service requirements. Analytical results for redundancy scheduling are unfortunately scarce however, and even the stability condition has largely remained elusive so far, except for exponentially distributed service requirements. In order to gain further insight in the role of the service requirement distribution, we explore the behavior of redundancy scheduling for scaled Bernoulli service requirements. We establish a sufficient stability condition for generally distributed service requirements and we show that, for scaled Bernoulli service requirements, this condition is also asymptotically nearly necessary. This stability condition differs drastically from the exponential case, indicating that the stability condition depends on the service requirements in a sensitive and intricate manner. △ Less

Submitted 15 November, 2018; originally announced November 2018.

Report number: pages 67-82

Journal ref: Queueing Systems Volume 93, Issue 1-2, October 2019

Revenue Maximization in an Optical Router Node Using Multiple Wavelengths

Authors: Murtuza Ali Abidini, Onno Boxma, Cor Hurkens, Ton Koonen, Jacques Resing

Abstract: In this paper, an optical router node with multiple wavelengths is considered. We introduce revenue for successful transmission and study the ensuing revenue maximization problem. We present an efficient and accurate heuristic procedure for solving the NP-hard revenue maximization problem and investigate the advantage offered by having multiple wavelengths. In this paper, an optical router node with multiple wavelengths is considered. We introduce revenue for successful transmission and study the ensuing revenue maximization problem. We present an efficient and accurate heuristic procedure for solving the NP-hard revenue maximization problem and investigate the advantage offered by having multiple wavelengths. △ Less

Submitted 15 September, 2018; originally announced September 2018.

Estimating the input of a Lévy-driven queue by Poisson sampling of the workload process

Authors: Liron Ravner, Onno Boxma, Michel Mandjes

Abstract: This paper aims at semi-parametrically estimating the input process to a Lévy-driven queue by sampling the workload process at Poisson times. We construct a method-of-moments based estimator for the Lévy process' characteristic exponent. This method exploits the known distribution of the workload sampled at an exponential time, thus taking into account the dependence between subsequent samples. Ve… ▽ More This paper aims at semi-parametrically estimating the input process to a Lévy-driven queue by sampling the workload process at Poisson times. We construct a method-of-moments based estimator for the Lévy process' characteristic exponent. This method exploits the known distribution of the workload sampled at an exponential time, thus taking into account the dependence between subsequent samples. Verifiable conditions for consistency and asymptotic normality are provided, along with explicit expressions for the asymptotic variance. The method requires an intermediate estimation step of estimating a constant (related to both the input distribution and the sampling rate); this constant also features in the asymptotic analysis. For subordinator Lévy input, a partial MLE is constructed for the intermediate step and we show that it satisfies the consistency and asymptotic normality conditions. For general spectrally-positive Lévy input a biased estimator is proposed that only uses workload observations above some threshold; the bias can be made arbitrarily small by appropriately choosing the threshold. △ Less

Submitted 29 January, 2019; v1 submitted 14 August, 2018; originally announced August 2018.

A single server queue with batch arrivals and semi-Markov services

Authors: Abhishek, Marko Boon, Onno Boxma, Rudesindo Núñez-Queija

Abstract: We investigate the transient and stationary queue-length distributions of a class of service systems with correlated service times. The classical $M^X/G/1$ queue with semi-Markov service times is the most prominent example in this class and serves as a vehicle to display our results. The sequence of service times is governed by a modulating process $J(t)$. The state of $J(\cdot)$ at a service init… ▽ More We investigate the transient and stationary queue-length distributions of a class of service systems with correlated service times. The classical $M^X/G/1$ queue with semi-Markov service times is the most prominent example in this class and serves as a vehicle to display our results. The sequence of service times is governed by a modulating process $J(t)$. The state of $J(\cdot)$ at a service initiation time determines the joint distribution of the subsequent service duration and the state of $J(\cdot)$ at the next service initiation. Several earlier works have imposed technical conditions, on the zeros of a matrix determinant arising in the analysis, that are required in the computation of the stationary queue length probabilities. The imposed conditions in several of these articles are difficult or impossible to verify. Without such assumptions, we determine both the transient and the steady-state joint distribution of the number of customers immediately after a departure and the state of the process $J(t)$ at the start of the next service. We numerically investigate how the mean queue length is affected by variability in the number of customers that arrive during a single service time. Our main observations here are that increasing variability may {\em reduce} the mean queue length, and that the Markovian dependence of service times can lead to large queue lengths, even if the system is not in heavy traffic. △ Less

Submitted 18 January, 2018; originally announced January 2018.

Infinite-server queues with Hawkes input

Authors: David Koops, Mayank Saxena, Onno Boxma, Michel Mandjes

Abstract: In this paper we study the number of customers in infinite-server queues with a self-exciting (Hawkes) arrival process. Initially we assume that service requirements are exponentially distributed and that the Hawkes arrival process is of a Markovian nature. We obtain a system of differential equations that characterizes the joint distribution of the arrival intensity and the number of customers. M… ▽ More In this paper we study the number of customers in infinite-server queues with a self-exciting (Hawkes) arrival process. Initially we assume that service requirements are exponentially distributed and that the Hawkes arrival process is of a Markovian nature. We obtain a system of differential equations that characterizes the joint distribution of the arrival intensity and the number of customers. Moreover, we provide a recursive procedure that explicitly identifies (transient and stationary) moments. Subsequently, we allow for non-Markovian Hawkes arrival processes and non-exponential service times. By viewing the Hawkes process as a branching process, we find that the probability generating function of the number of customers in the system can be expressed in terms of the solution of a fixed-point equation. We also include various asymptotic results: we derive the tail of the distribution of the number of customers for the case that the intensity jumps of the Hawkes process are heavy-tailed, and we consider a heavy-traffic regime. We conclude the paper by discussing how our results can be used computationally and by verifying the numerical results via simulations. △ Less

Submitted 1 May, 2018; v1 submitted 7 July, 2017; originally announced July 2017.

Comments: v3: some minor corrections

Linear Stochastic Fluid Networks: Rare-Event Simulation and Markov Modulation

Authors: Onno Boxma, Ewan Cahen, David Koops, Michel Mandjes

Abstract: We consider a linear stochastic fluid network under Markov modulation, with a focus on the probability that the joint storage level attains a value in a rare set at a given point in time. The main objective is to develop efficient importance sampling algorithms with provable performance guarantees. For linear stochastic fluid networks without modulation, we prove that the number of runs needed (so… ▽ More We consider a linear stochastic fluid network under Markov modulation, with a focus on the probability that the joint storage level attains a value in a rare set at a given point in time. The main objective is to develop efficient importance sampling algorithms with provable performance guarantees. For linear stochastic fluid networks without modulation, we prove that the number of runs needed (so as to obtain an estimate with a given precision) increases polynomially (whereas the probability under consideration decays essentially exponentially); for networks operating in the slow modulation regime, our algorithm is asymptotically efficient. Our techniques are in the tradition of the rare-event simulation procedures that were developed for the sample-mean of i.i.d. one-dimensional light-tailed random variables, and intensively use the idea of exponential twisting. In passing, we also point out how to set up a recursion to evaluate the (transient and stationary) moments of the joint storage level in Markov-modulated linear stochastic fluid networks. △ Less

Submitted 8 May, 2018; v1 submitted 29 May, 2017; originally announced May 2017.

Queue-length balance equations in multiclass multiserver queues and their generalizations

Authors: Marko Boon, Onno Boxma, Offer Kella, Masakiyo Miyazawa

Abstract: A classical result for the steady-state queue-length distribution of single-class queueing systems is the following: the distribution of the queue length just before an arrival epoch equals the distribution of the queue length just after a departure epoch. The constraint for this result to be valid is that arrivals, and also service completions, with probability one occur individually, i.e., not i… ▽ More A classical result for the steady-state queue-length distribution of single-class queueing systems is the following: the distribution of the queue length just before an arrival epoch equals the distribution of the queue length just after a departure epoch. The constraint for this result to be valid is that arrivals, and also service completions, with probability one occur individually, i.e., not in batches. We show that it is easy to write down somewhat similar balance equations for {\em multidimensional} queue-length processes for a quite general network of multiclass multiserver queues. We formally derive those balance equations under a general framework. They are called distributional relationships, and are obtained for any external arrival process and state dependent routing as long as certain stationarity conditions are satisfied and external arrivals and service completions do not simultaneously occur. We demonstrate the use of these balance equations, in combination with PASTA, by (i) providing very simple derivations of some known results for polling systems, and (ii) obtaining new results for some queueing systems with priorities. We also extend the distributional relationships for a non-stationary framework. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Two queues with random time-limited polling

Authors: Mayank Saxena, Onno Boxma, Stella Kapodistria, Rudesindo Núñez Queija

Abstract: In this paper, we analyse a single server polling model with two queues. Customers arrive at the two queues according to two independent Poisson processes. There is a single server that serves both queues with generally distributed service times. The server spends an exponentially distributed amount of time in each queue. After the completion of this residing time, the server instantaneously switc… ▽ More In this paper, we analyse a single server polling model with two queues. Customers arrive at the two queues according to two independent Poisson processes. There is a single server that serves both queues with generally distributed service times. The server spends an exponentially distributed amount of time in each queue. After the completion of this residing time, the server instantaneously switches to the other queue, i.e., there is no switch-over time. For this polling model we derive the steady-state marginal workload distribution, as well as heavy traffic and heavy tail asymptotic results. Furthermore, we also calculate the joint queue length distribution for the special case of exponentially distributed service times using singular perturbation analysis. △ Less

Submitted 12 July, 2017; v1 submitted 24 January, 2017; originally announced January 2017.

Comments: 30 pages, special issue in honour of Prof. dr. Tomasz Rolski

MSC Class: 68M20; 90B22

Performance analysis of polling systems with retrials and glue periods

Authors: Murtuza Ali Abidini, Onno Boxma, Bara Kim, Jeongsim Kim, Jacques Resing

Abstract: We consider gated polling systems with two special features: (i) retrials, and (ii) glue or reservation periods. When a type-$i$ customer arrives, or retries, during a glue period of station $i$, it will be served in the next visit period of the server to that station. Customers arriving at station $i$ in any other period join the orbit of that station and retry after an exponentially distributed… ▽ More We consider gated polling systems with two special features: (i) retrials, and (ii) glue or reservation periods. When a type-$i$ customer arrives, or retries, during a glue period of station $i$, it will be served in the next visit period of the server to that station. Customers arriving at station $i$ in any other period join the orbit of that station and retry after an exponentially distributed time. Such polling systems can be used to study the performance of certain switches in optical communication systems. For the case of exponentially distributed glue periods, we present an algorithm to obtain the moments of the number of customers in each station. For generally distributed glue periods, we consider the distribution of the total workload in the system, using it to derive a pseudo conservation law which in its turn is used to obtain accurate approximations of the individual mean waiting times. We also consider the problem of choosing the lengths of the glue periods, under a constraint on the total glue period per cycle, so as to minimize a weighted sum of the mean waiting times. △ Less

Submitted 19 October, 2016; originally announced October 2016.

Networks of $\cdot/G/\infty$ Server Queues with Shot-Noise-Driven Arrival Intensities

Authors: David Koops, Michel Mandjes, Onno Boxma

Abstract: We study infinite-server queues in which the arrival process is a Cox process (or doubly stochastic Poisson process), of which the arrival rate is given by shot noise. A shot-noise rate emerges as a natural model, if the arrival rate tends to display sudden increases (or: shots) at random epochs, after which the rate is inclined to revert to lower values. Exponential decay of the shot noise is ass… ▽ More We study infinite-server queues in which the arrival process is a Cox process (or doubly stochastic Poisson process), of which the arrival rate is given by shot noise. A shot-noise rate emerges as a natural model, if the arrival rate tends to display sudden increases (or: shots) at random epochs, after which the rate is inclined to revert to lower values. Exponential decay of the shot noise is assumed, so that the queueing systems are amenable for analysis. In particular, we perform transient analysis on the number of customers in the queue jointly with the value of the driving shot-noise process. Additionally, we derive heavy-traffic asymptotics for the number of customers in the system by using a linear scaling of the shot intensity. First we focus on a one dimensional setting in which there is a single infinite-server queue, which we then extend to a network setting. △ Less

Submitted 13 March, 2017; v1 submitted 17 August, 2016; originally announced August 2016.

MSC Class: 60K25

Revenue maximization in an optical router node - allocation of service windows

Authors: Murtuza Ali Abidini, Onno Boxma, Ton Koonen, Jacques Resing

Abstract: In this paper we study a revenue maximization problem for optical routing nodes. We model the routing node as a single server polling model with the aim to assign visit periods (service windows) to the different stations (ports) such that the mean profit per cycle is maximized. Under reasonable assumptions regarding retrial and dropping probabilities of packets the optimization problem becomes a s… ▽ More In this paper we study a revenue maximization problem for optical routing nodes. We model the routing node as a single server polling model with the aim to assign visit periods (service windows) to the different stations (ports) such that the mean profit per cycle is maximized. Under reasonable assumptions regarding retrial and dropping probabilities of packets the optimization problem becomes a separable concave resource allocation problem, which can be solved using existing algorithms. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: Key Words- optical routing, optical node, revenue, optimization

A Tandem Fluid Network with Lévy Input in Heavy Traffic

Authors: David T. Koops, Onno J. Boxma, Michel R. H. Mandjes

Abstract: In this paper we study the stationary workload distribution of a fluid tandem queue in heavy traffic. We consider different types of Lévy input, covering compound Poisson, $α$-stable Lévy motion (with $1<α<2$), and Brownian motion. In our analysis we separately deal with Lévy input processes with increments that have finite and infinite variance. A distinguishing feature of this paper is that we d… ▽ More In this paper we study the stationary workload distribution of a fluid tandem queue in heavy traffic. We consider different types of Lévy input, covering compound Poisson, $α$-stable Lévy motion (with $1<α<2$), and Brownian motion. In our analysis we separately deal with Lévy input processes with increments that have finite and infinite variance. A distinguishing feature of this paper is that we do not only consider the usual heavy-traffic regime, in which the load at one of the nodes goes to unity, but also a regime in which we simultaneously let the load of both servers tend to one, which, as it turns out, leads to entirely different heavy-traffic asymptotics. Numerical experiments indicate that under specific conditions the resulting simultaneous heavy-traffic approximation significantly outperforms the usual heavy-traffic approximation. △ Less

Submitted 21 December, 2015; originally announced December 2015.

MSC Class: 60K25

Journal ref: Queueing Systems: Theory and Applications, Volume 84, Issue 3, pp 355-379, 2016

A queueing/inventory and an insurance risk model

Authors: Onno Boxma, Rim Essifi, Augustus J. E. M. Janssen

Abstract: We study an M/G/1-type queueing model with the following additional feature. The server works continuously, at fixed speed, even if there are no service requirements. In the latter case, it is building up inventory, which can be interpreted as negative workload. At random times, with an intensity ω(x) when the inventory is at level x > 0, the present inventory is removed, instantaneously reducing… ▽ More We study an M/G/1-type queueing model with the following additional feature. The server works continuously, at fixed speed, even if there are no service requirements. In the latter case, it is building up inventory, which can be interpreted as negative workload. At random times, with an intensity ω(x) when the inventory is at level x > 0, the present inventory is removed, instantaneously reducing the inventory to zero. We study the steady-state distribution of the (positive and negative) workload levels for the cases ω(x) is constant and ω(x) = ax. The key tool is the Wiener-Hopf factorisation technique. When ω(x) is constant, no specific assumptions will be made on the service requirement distribution. However, in the linear case, we need some algebraic hypotheses concerning the Laplace-Stieltjes transform of the service requirement distribution. Throughout the paper, we also study a closely related model coming from insurance risk theory. Keywords: M/G/1 queue, Cramer-Lundberg insurance risk model, workload, inventory, ruin probability, Wiener-Hopf technique. 2010 Mathematics Subject Classification: 60K25, 90B22, 91B30, 47A68. △ Less

Submitted 26 October, 2015; originally announced October 2015.

MSC Class: 60K25; 90B22; 91B30; 47A68

On the Scalability and Message Count of Trickle-based Broadcasting Schemes

Authors: Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer

Abstract: As the use of wireless sensor networks increases, the need for efficient and reliable broadcasting algorithms grows. Ideally, a broadcasting algorithm should have the ability to quickly disseminate data, while keeping the number of transmissions low. In this paper, we analyze the popular Trickle algorithm, which has been proposed as a suitable communication protocol for code maintenance and propag… ▽ More As the use of wireless sensor networks increases, the need for efficient and reliable broadcasting algorithms grows. Ideally, a broadcasting algorithm should have the ability to quickly disseminate data, while keeping the number of transmissions low. In this paper, we analyze the popular Trickle algorithm, which has been proposed as a suitable communication protocol for code maintenance and propagation in wireless sensor networks. We show that the broadcasting process of a network using Trickle can be modeled by a Markov chain and that this chain falls under a class of Markov chains, closely related to residual lifetime distributions. It is then shown that this class of Markov chains admits a stationary distribution of a special form. These results are used to analyze the Trickle algorithm and its message count. Our results prove conjectures made in the literature concerning the effect of a listen-only period. Besides providing a mathematical analysis of the algorithm, we propose a generalized version of Trickle, with an additional parameter defining the length of a listen-only period. △ Less

Submitted 29 September, 2015; originally announced September 2015.

Comments: arXiv admin note: substantial text overlap with arXiv:1407.6034

MSC Class: 60J05 60J20 90B18

Journal ref: Queueing Systems: Volume 81, Issue 2 (2015), Page 203-230

Analysis and optimization of vacation and polling models with retrials

Authors: Murtuza Ali Abidini, Onno Boxma, Jacques Resing

Abstract: We study a vacation-type queueing model, and a single-server multi-queue polling model, with the special feature of retrials. Just before the server arrives at a station there is some deterministic glue period. Customers (both new arrivals and retrials) arriving at the station during this glue period will be served during the visit of the server. Customers arriving in any other period leave immedi… ▽ More We study a vacation-type queueing model, and a single-server multi-queue polling model, with the special feature of retrials. Just before the server arrives at a station there is some deterministic glue period. Customers (both new arrivals and retrials) arriving at the station during this glue period will be served during the visit of the server. Customers arriving in any other period leave immediately and will retry after an exponentially distributed time. Our main focus is on queue length analysis, both at embedded time points (beginnings of glue periods, visit periods and switch- or vacation periods) and at arbitrary time points. △ Less

Submitted 2 February, 2016; v1 submitted 22 January, 2015; originally announced January 2015.

Comments: Keywords: vacation queue, polling model, retrials Submitted for review to Performance evaluation journal, as an extended version of 'Vacation and polling models with retrials', by Onno Boxma and Jacques Resing

A bivariate risk model with mutual deficit coverage

Authors: Jevgenijs Ivanovs, Onno Boxma

Abstract: We consider a bivariate Cramer-Lundberg-type risk reserve process with the special feature that each insurance company agrees to cover the deficit of the other. It is assumed that the capital transfers between the companies are instantaneous and incur a certain proportional cost, and that ruin occurs when neither company can cover the deficit of the other. We study the survival probability as a fu… ▽ More We consider a bivariate Cramer-Lundberg-type risk reserve process with the special feature that each insurance company agrees to cover the deficit of the other. It is assumed that the capital transfers between the companies are instantaneous and incur a certain proportional cost, and that ruin occurs when neither company can cover the deficit of the other. We study the survival probability as a function of initial capitals and express its bivariate transform through two univariate boundary transforms, where one of the initial capitals is fixed at 0. We identify these boundary transforms in the case when claims arriving at each company form two independent processes. The expressions are in terms of Wiener-Hopf factors associated to two auxiliary compound Poisson processes. The case of non-mutual (reinsurance) agreement is also considered. △ Less

Submitted 4 May, 2015; v1 submitted 13 January, 2015; originally announced January 2015.

MSC Class: 60K10

Marginal queue length approximations for a two-layered network with correlated queues

Authors: J. L. Dorsman, O. J. Boxma, M. Vlasiou

Abstract: We consider an extension of the classical machine-repair model, where we assume that the machines, apart from receiving service from the repairman, also serve queues of products. The extended model can be viewed as a layered queueing network, where the first layer consists of the queues of products and the second layer is the ordinary machine-repair model. Since the repair time of one machine may… ▽ More We consider an extension of the classical machine-repair model, where we assume that the machines, apart from receiving service from the repairman, also serve queues of products. The extended model can be viewed as a layered queueing network, where the first layer consists of the queues of products and the second layer is the ordinary machine-repair model. Since the repair time of one machine may affect the time the other machine is not able to process products, the downtimes of the machines are correlated. This correlation leads to dependence between the queues of products in the first layer. Analysis of these queue length distributions is hard, since the exact dependence structure for the downtimes, or the queue lengths, is not known. Therefore, we obtain an approximation for the complete marginal queue length distribution of any queue in the first layer, by viewing such a queue as a single server queue with correlated server downtimes. Under an explicit assumption on the form of the downtime dependence, we obtain exact results for the queue length distribution for that single server queue. We use these exact results to approximate the machine-repair model. We do so by computing the downtime correlation for the latter model and by subsequently using this information to fine-tune the parameters we introduced to the single server queue. As a result, we immediately obtain an approximation for the queue length distributions of products in the machine-repair model, which we show to be highly accurate by extensive numerical experiments. △ Less

Submitted 23 December, 2014; originally announced December 2014.

Comments: We extended the original manuscript with an erratum at the end of the document

Journal ref: Queueing Systems (2013) 75:29-63

A Polling Model with Multiple Priority Levels

Authors: Marko Boon, Ivo Adan, Onno Boxma

Abstract: In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which customers are served in each queue is determined by a priority level that is assigned to each customer at his arrival. For this situation the following service disciplines are considered: gated, exhaustive, and globally gated.… ▽ More In this paper we consider a single-server cyclic polling system. Between visits to successive queues, the server is delayed by a random switch-over time. The order in which customers are served in each queue is determined by a priority level that is assigned to each customer at his arrival. For this situation the following service disciplines are considered: gated, exhaustive, and globally gated. We study the cycle time distribution, the waiting times for each customer type, the joint queue length distribution of all priority classes at all queues at polling epochs, and the steady-state marginal queue length distributions for each customer type. △ Less

Submitted 1 August, 2014; originally announced August 2014.

Comments: arXiv admin note: substantial text overlap with arXiv:1408.0110

Journal ref: Performance Evaluation 67, pp. 468-484, 2010

On open problems in polling systems

Authors: Marko Boon, Onno Boxma, Erik Winands

Abstract: In the present paper we address two open problems concerning polling systems, viz., queueing systems consisting of multiple queues attended by a single server that visits the queues one at a time. The first open problem deals with a system consisting of two queues, one of which has gated service, while the other receives 1-limited service. The second open problem concerns polling systems with gene… ▽ More In the present paper we address two open problems concerning polling systems, viz., queueing systems consisting of multiple queues attended by a single server that visits the queues one at a time. The first open problem deals with a system consisting of two queues, one of which has gated service, while the other receives 1-limited service. The second open problem concerns polling systems with general (renewal) arrivals and deterministic switch-over times that become infinitely large. We discuss related, known results for both problems, and the difficulties encountered when trying to solve them. △ Less

Submitted 1 August, 2014; originally announced August 2014.

Journal ref: Queueing Systems 68, pp. 365-374, 2011

A Polling Model with Smart Customers

Authors: Marko Boon, Sandra van Wijk, Ivo Adan, Onno Boxma

Abstract: In this paper we consider a single-server, cyclic polling system with switch-over times. A distinguishing feature of the model is that the rates of the Poisson arrival processes at the various queues depend on the server location. For this model we study the joint queue length distribution at polling epochs and at server's departure epochs. We also study the marginal queue length distribution at a… ▽ More In this paper we consider a single-server, cyclic polling system with switch-over times. A distinguishing feature of the model is that the rates of the Poisson arrival processes at the various queues depend on the server location. For this model we study the joint queue length distribution at polling epochs and at server's departure epochs. We also study the marginal queue length distribution at arrival epochs, as well as at arbitrary epochs (which is not the same in general, since we cannot use the PASTA property). A generalised version of the distributional form of Little's law is applied to the joint queue length distribution at customer's departure epochs in order to find the waiting time distribution for each customer type. We also provide an alternative, more efficient way to determine the mean queue lengths and mean waiting times, using Mean Value Analysis. Furthermore, we show that under certain conditions a Pseudo-Conservation Law for the total amount of work in the system holds. Finally, typical features of the model under consideration are demonstrated in several numerical examples. △ Less

Submitted 1 August, 2014; originally announced August 2014.

Journal ref: Queueing Systems 66(3), pp. 239-274, 2010

A Two-Queue Polling Model with Two Priority Levels in the First Queue

Authors: Marko Boon, Ivo Adan, Onno Boxma

Abstract: In this paper we consider a single-server cyclic polling system consisting of two queues. Between visits to successive queues, the server is delayed by a random switch-over time. Two types of customers arrive at the first queue: high and low priority customers. For this situation the following service disciplines are considered: gated, globally gated, and exhaustive. We study the cycle time distri… ▽ More In this paper we consider a single-server cyclic polling system consisting of two queues. Between visits to successive queues, the server is delayed by a random switch-over time. Two types of customers arrive at the first queue: high and low priority customers. For this situation the following service disciplines are considered: gated, globally gated, and exhaustive. We study the cycle time distribution, the waiting times for each customer type, the joint queue length distribution at polling epochs, and the steady-state marginal queue length distributions for each customer type. △ Less

Submitted 1 August, 2014; originally announced August 2014.

Comments: A shorter version of this paper appeared in the proceedings of ValueTools 2008. The present paper is an extended version, selected for publication in JDEDS

Journal ref: Discrete Event Dynamic Systems 20(4), pp. 511--536, 2010

A Data Propagation Model for Wireless Gossiping

Authors: Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer

Abstract: Wireless sensor networks require communication protocols for efficiently propagating data in a distributed fashion. The Trickle algorithm is a popular protocol serving as the basis for many of the current standard communication protocols. In this paper we develop a mathematical model describing how Trickle propagates new data across a network consisting of nodes placed on a line. The model is anal… ▽ More Wireless sensor networks require communication protocols for efficiently propagating data in a distributed fashion. The Trickle algorithm is a popular protocol serving as the basis for many of the current standard communication protocols. In this paper we develop a mathematical model describing how Trickle propagates new data across a network consisting of nodes placed on a line. The model is analyzed and asymptotic results on the hop count and end-to-end delay distributions in terms of the Trickle parameters and network density are given. Additionally, we show that by only a small modification of the Trickle algorithm the expected end-to-end delay can be greatly decreased. Lastly, we demonstrate how one can derive the exact hop count and end-to-end delay distributions for small network sizes. △ Less

Submitted 4 November, 2014; v1 submitted 23 July, 2014; originally announced July 2014.

MSC Class: 60K20 ACM Class: C.2.1

Journal ref: Performance Evaluation 85-86 (2015) 19-32

Data Dissemination Performance in Large-Scale Sensor Networks

Authors: Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer

Abstract: As the use of wireless sensor networks increases, the need for (energy-)efficient and reliable broadcasting algorithms grows. Ideally, a broadcasting algorithm should have the ability to quickly disseminate data, while keeping the number of transmissions low. In this paper we develop a model describing the message count in large-scale wireless sensor networks. We focus our attention on the popular… ▽ More As the use of wireless sensor networks increases, the need for (energy-)efficient and reliable broadcasting algorithms grows. Ideally, a broadcasting algorithm should have the ability to quickly disseminate data, while keeping the number of transmissions low. In this paper we develop a model describing the message count in large-scale wireless sensor networks. We focus our attention on the popular Trickle algorithm, which has been proposed as a suitable communication protocol for code maintenance and propagation in wireless sensor networks. Besides providing a mathematical analysis of the algorithm, we propose a generalized version of Trickle, with an additional parameter defining the length of a listen-only period. This generalization proves to be useful for optimizing the design and usage of the algorithm. For single-cell networks we show how the message count increases with the size of the network and how this depends on the Trickle parameters. Furthermore, we derive distributions of inter-broadcasting times and investigate their asymptotic behavior. Our results prove conjectures made in the literature concerning the effect of a listen-only period. Additionally, we develop an approximation for the expected number of transmissions in multi-cell networks. All results are validated by simulations. △ Less

Submitted 22 July, 2014; originally announced July 2014.

MSC Class: 90B18 ACM Class: C.2.1

Journal ref: ACM SIGMETRICS Performance Evaluation Review, Volume 42 Issue 1, June 2014, Pages 395-406

Two parallel insurance lines with simultaneous arrivals and risks correlated with inter-arrival times

Authors: E. S. Badila, O. J. Boxma, J. A. C. Resing

Abstract: We investigate an insurance risk model that consists of two reserves which receive income at fixed rates. Claims are being requested at random epochs from each reserve and the interclaim times are generally distributed. The two reserves are coupled in the sense that at a claim arrival epoch, claims are being requested from both reserves and the amounts requested are correlated. In addition, the cl… ▽ More We investigate an insurance risk model that consists of two reserves which receive income at fixed rates. Claims are being requested at random epochs from each reserve and the interclaim times are generally distributed. The two reserves are coupled in the sense that at a claim arrival epoch, claims are being requested from both reserves and the amounts requested are correlated. In addition, the claim amounts are correlated with the time elapsed since the previous claim arrival. We focus on the probability that this bivariate reserve process survives indefinitely. The infinite- horizon survival problem is shown to be related to the problem of determining the equilibrium distribution of a random walk with vector-valued increments with reflecting boundary. This reflected random walk is actually the waiting time process in a queueing system dual to the bivariate ruin process. Under assumptions on the arrival process and the claim amounts, and using Wiener-Hopf factor- ization with one parameter, we explicitly determine the Laplace-Stieltjes transform of the survival function, c.q., the two-dimensional equilibrium waiting time distribution. Finally, the bivariate transforms are evaluated for some examples, including for proportional reinsurance, and the bivariate ruin functions are numerically calculated using an efficient inversion scheme. △ Less

Submitted 11 December, 2014; v1 submitted 25 May, 2014; originally announced May 2014.

Comments: 24 pages, 6 figures

MSC Class: 91B30; 60K25

Journal ref: Insurance: Mathematics and Economics, Volume 61, March 2015, Pages 48-61

A two-station queue with dependent preparation and service times

Authors: Maria Vlasiou, Ivo J. B. F. Adan, Onno J. Boxma

Abstract: We discuss a single-server multi-station alternating queue where the preparation times and the service times are auto- and cross-correlated. We examine two cases. In the first case, preparation and service times depend on a common discrete time Markov chain. In the second case, we assume that the service times depend on the previous preparation time through their joint Laplace transform. The waiti… ▽ More We discuss a single-server multi-station alternating queue where the preparation times and the service times are auto- and cross-correlated. We examine two cases. In the first case, preparation and service times depend on a common discrete time Markov chain. In the second case, we assume that the service times depend on the previous preparation time through their joint Laplace transform. The waiting time process is directly analysed by solving a Lindley-type equation via transform methods. Numerical examples are included to demonstrate the effect of the autocorrelation of and the cross-correlation between the preparation and service times. △ Less

Submitted 22 April, 2014; originally announced April 2014.

Comments: 19 pages, 4 figures, 34 references

MSC Class: 60K25

Journal ref: European Journal of Operations Research, 195, 104-116, 2009

On queues with service and interarrival times depending on waiting times

Authors: Onno J. Boxma, Maria Vlasiou

Abstract: We consider an extension of the standard G/G/1 queue, described by the equation $W\stackrel{\mathcal{D}}{=}\max\{0, B-A+YW\}$, where $\mathbb{P}[Y=1]=p$ and $\mathbb{P}[Y=-1]=1-p$. For $p=1$ this model reduces to the classical Lindley equation for the waiting time in the G/G/1 queue, whereas for $p=0$ it describes the waiting time of the server in an alternating service model. For all other values… ▽ More We consider an extension of the standard G/G/1 queue, described by the equation $W\stackrel{\mathcal{D}}{=}\max\{0, B-A+YW\}$, where $\mathbb{P}[Y=1]=p$ and $\mathbb{P}[Y=-1]=1-p$. For $p=1$ this model reduces to the classical Lindley equation for the waiting time in the G/G/1 queue, whereas for $p=0$ it describes the waiting time of the server in an alternating service model. For all other values of $p$ this model describes a FCFS queue in which the service times and interarrival times depend linearly and randomly on the waiting times. We derive the distribution of $W$ when $A$ is generally distributed and $B$ follows a phase-type distribution, and when $A$ is exponentially distributed and $B$ deterministic. △ Less

Submitted 22 April, 2014; originally announced April 2014.

Comments: 19 pages, 1 figure, 24 references

MSC Class: 60K25

Journal ref: Queueing Systems, 56(3-4), 121-132, August 2007

Queues and risk processes with dependencies

Authors: E. S. Badila, O. J. Boxma, J. A. C. Resing

Abstract: We study the generalization of the G/G/1 queue obtained by relaxing the assumption of independence between inter-arrival times and service requirements. The analysis is carried out for the class of multivariate matrix exponential distributions introduced in [12]. In this setting, we obtain the steady state waiting time distribution and we show that the classical relation between the steady state w… ▽ More We study the generalization of the G/G/1 queue obtained by relaxing the assumption of independence between inter-arrival times and service requirements. The analysis is carried out for the class of multivariate matrix exponential distributions introduced in [12]. In this setting, we obtain the steady state waiting time distribution and we show that the classical relation between the steady state waiting time and the workload distributions re- mains valid when the independence assumption is relaxed. We also prove duality results with the ruin functions in an ordinary and a delayed ruin process. These extend several known dualities between queueing and risk models in the independent case. Finally we show that there exist stochastic order relations between the waiting times under various instances of correlation. △ Less

Submitted 14 October, 2013; originally announced October 2013.

MSC Class: 60K25; 91B30

Journal ref: Stochastic Models Volume 30, Issue 3, 2014

Two coupled Levy queues with independent input

Authors: Onno Boxma, Jevgenijs Ivanovs

Abstract: We consider a pair of coupled queues driven by independent spectrally-positive Levy processes. With respect to the bi-variate workload process this framework includes both the coupled processor model and the two-server fluid network with independent Levy inputs. We identify the joint transform of the stationary workload distribution in terms of Wiener-Hopf factors corresponding to two auxiliary Le… ▽ More We consider a pair of coupled queues driven by independent spectrally-positive Levy processes. With respect to the bi-variate workload process this framework includes both the coupled processor model and the two-server fluid network with independent Levy inputs. We identify the joint transform of the stationary workload distribution in terms of Wiener-Hopf factors corresponding to two auxiliary Levy processes with explicit Laplace exponents. We reinterpret and extend the ideas of Cohen and Boxma (1983) to provide a general and uniform result with a neat transform expression. △ Less

Submitted 10 June, 2013; originally announced June 2013.

Queues with random back-offs

Authors: Niek Bouman, Sem C. Borst, Onno J. Boxma, Johan S. H. van Leeuwaarden

Abstract: We consider a broad class of queueing models with random state-dependent vacation periods, which arise in the analysis of queue-based back-off algorithms in wireless random-access networks. In contrast to conventional models, the vacation periods may be initiated after each service completion, and can be randomly terminated with certain probabilities that depend on the queue length. We examine the… ▽ More We consider a broad class of queueing models with random state-dependent vacation periods, which arise in the analysis of queue-based back-off algorithms in wireless random-access networks. In contrast to conventional models, the vacation periods may be initiated after each service completion, and can be randomly terminated with certain probabilities that depend on the queue length. We examine the scaled queue length and delay in a heavy-traffic regime, and demonstrate a sharp trichotomy, depending on how the activation rate and vacation probability behave as function of the queue length. In particular, the effect of the vacation periods may either (i) completely vanish in heavy-traffic conditions, (ii) contribute an additional term to the queue lengths and delays of similar magnitude, or even (iii) give rise to an order-of-magnitude increase. The heavy-traffic asymptotics are obtained by combining stochastic lower and upper bounds with exact results for some specific cases. The heavy-traffic trichotomy provides valuable insight in the impact of the back-off algorithms on the delay performance in wireless random-access networks. △ Less

Submitted 13 February, 2013; originally announced February 2013.

Factorization identities for reflected processes, with applications

Authors: Brian H. Fralix, Johan S. H. van Leeuwaarden, Onno J. Boxma

Abstract: We derive factorization identities for a class of preemptive-resume queueing systems, with batch arrivals and catastrophes that, whenever they occur, eliminate multiple customers present in the system. These processes are quite general, as they can be used to approximate Levy processes, diffusion processes, and certain types of growth-collapse processes; thus, all of the processes mentioned above… ▽ More We derive factorization identities for a class of preemptive-resume queueing systems, with batch arrivals and catastrophes that, whenever they occur, eliminate multiple customers present in the system. These processes are quite general, as they can be used to approximate Levy processes, diffusion processes, and certain types of growth-collapse processes; thus, all of the processes mentioned above also satisfy similar factorization identities. In the Levy case, our identities simplify to both the well-known Wiener-Hopf factorization, and another interesting factorization of reflected Levy processes starting at an arbitrary initial state. We also show how the ideas can be used to derive transforms for some well-known state-dependent/inhomogeneous birth-death processes and diffusion processes. △ Less

Submitted 11 February, 2013; originally announced February 2013.

Queues and risk models with simultaneous arrivals

Authors: E. S. Badila, O. J. Boxma, J. A. C. Resing, E. M. M. Winands

Abstract: We focus on a particular connection between queueing and risk models in a multi-dimensional setting. We first consider the joint workload process in a queueing model with parallel queues and simultaneous arrivals at the queues. For the case that the service times are ordered (from largest in the first queue to smallest in the last queue) we obtain the Laplace-Stieltjes transform of the joint stati… ▽ More We focus on a particular connection between queueing and risk models in a multi-dimensional setting. We first consider the joint workload process in a queueing model with parallel queues and simultaneous arrivals at the queues. For the case that the service times are ordered (from largest in the first queue to smallest in the last queue) we obtain the Laplace-Stieltjes transform of the joint stationary workload distribution. Using a multivariate duality argument between queueing and risk models, this also gives the Laplace transform of the survival probability of all books in a multivariate risk model with simultaneous claim arrivals and the same ordering between claim sizes. Other features of the paper include a stochastic decomposition result for the workload vector, and an outline how the two-dimensional risk model with a general two-dimensional claim size distribution (hence without ordering of claim sizes) is related to a known Riemann boundary value problem. △ Less

Submitted 14 October, 2013; v1 submitted 9 November, 2012; originally announced November 2012.

Journal ref: Adv. in Appl. Prob., Vol. 46, Nr. 3 (2014), pp. 812-831

Decomposition results for stochastic storage processes and queues with alternating Lévy inputs

Authors: Onno Boxma, Offer Kella

Abstract: In this paper we generalize known workload decomposition results for Lévy queues with secondary jump inputs and queues with server vacations or service interruptions. Special cases are polling systems with either compound Poisson or more general Lévy inputs. Our main tools are new martingale results, which have been derived in a companion paper. In this paper we generalize known workload decomposition results for Lévy queues with secondary jump inputs and queues with server vacations or service interruptions. Special cases are polling systems with either compound Poisson or more general Lévy inputs. Our main tools are new martingale results, which have been derived in a companion paper. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:1112.4756

MSC Class: 60K25; 60K37; 60K30; 60H30; 90B05; 90B22

Journal ref: Queueing Systems: Theory and Applications. 2014. Vol. 77. pp. 97-112

Useful martingales for stochastic storage processes with Lévy-type input

Authors: Offer Kella, Onno Boxma

Abstract: In this paper we generalize the martingale of Kella and Whitt to the setting of Lévy-type processes and show that the (local) martingales obtained are in fact square integrable martingales which upon dividing by the time index converge to zero a.s. and in $L^2$. The reflected Lévy-type process is considered as an example. In this paper we generalize the martingale of Kella and Whitt to the setting of Lévy-type processes and show that the (local) martingales obtained are in fact square integrable martingales which upon dividing by the time index converge to zero a.s. and in $L^2$. The reflected Lévy-type process is considered as an example. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:1112.4756

MSC Class: 60K25; 60K37; 60K30; 60H30

Journal ref: Journal of Applied Probability. 2013. Vol. 50. pp. 439-449

Waiting time asymptotics in the single server queue with service in random order

Authors: Onno Boxma, Sergey Foss, Jean-Marc Lasgouttes, Rudesindo Núñez Queija

Abstract: We consider the single server queue with service in random order. For a large class of heavy-tailed service time distributions, we determine the asymptotic behavior of the waiting time distribution. For the special case of Poisson arrivals and regularly varying service time distribution with index -ν, it is shown that the waiting time distribution is also regularly varying, with index 1 -ν, and th… ▽ More We consider the single server queue with service in random order. For a large class of heavy-tailed service time distributions, we determine the asymptotic behavior of the waiting time distribution. For the special case of Poisson arrivals and regularly varying service time distribution with index -ν, it is shown that the waiting time distribution is also regularly varying, with index 1 -ν, and the pre-factor is determined explicitly. Another contribution of the paper is the heavy-traffic analysis of the waiting time distribution in the M/G/1 case. We consider not only the case of finite service time variance, but also the case of regularly varying service time distribution with infinite variance. △ Less

Submitted 18 July, 2012; originally announced July 2012.

Comments: single server queue;service in random order;heavy-tailed distribution;waiting time asymptotics;heavy-traffic limit theorem

Journal ref: Queueing Systems 46, 1 (2004) 35-74