text: We consider a tandem queue with coupled processors, which is subject to global breakdowns. When the network is in the operating mode and both queues are non empty, the total service capacity is shared among the stations according to fixed proportions. When one of the stations becomes empty, the total service capacity is given to the non-empty station. Moreover, arrival rates depend on the state of the network. The system is described by a Markov modulated random walk in the quarter plane representing the number of jobs in the two stations and the state of the network. By applying the generating function approach, we first apply the power series approximation method to obtain power series expansions of the generating function of the stationary queue lengths for both network states. Then, we also provide a way to derive the generating function of the stationary queue lengths for both network states in terms of the solution of a Riemann-Hilbert boundary value problem. Numerical results are obtained to show insights in the system performance.
  @cite_38: In this paper, we consider a two-user and a three-user slotted ALOHA network with multi-packet reception (MPR) capabilities and a queue-aware transmission control. In this setting, the nodes can adapt their transmission probabilities and their transmission parameters based on the status of the other nodes. Each user has external bursty arrivals that are stored in their infinite capacity queues. We focus on the fundamental problem of characterizing the stable throughput region, as well as of investigating the queueing delay. For the two- and the three-user cases, we obtain the exact stability region, whereas in the former case, we also provide the conditions under which the stability region is a convex set. We perform a detailed mathematical analysis to study the queueing delay in the two-user case by formulating two boundary value problems, the solution of which provides the generating function of the joint stationary probability distribution of the queue size at user nodes. Furthermore, for the two-user symmetric case with MPR, we obtain a lower and an upper bound for the average delay without the need of solving a boundary value problem. In addition, we provide a closed form expression for the gap between the lower and the upper bound. The bounds as it is seen in the numerical results appear to be tight. Explicit expressions for the average delay are obtained for the symmetrical model with capture effect. We also provide a closed form expression for the optimal transmission probability that minimizes the average delay in the symmetric capture case. Finally, we evaluate numerically the presented theoretical results.
  @cite_14: Abstract In this work, we investigate a slotted-time relay assisted cooperative random access wireless network with multipacket (MPR) reception capabilities. MPR refers to the capability of a wireless node to successfully receive packets from more than two other modes that transmit simultaneously at the same slot. We consider a network of N saturated sources that transmit packets to a common destination node with the cooperation of two infinite capacity relay nodes. The relays assist the sources by forwarding the packets that failed to reach the destination. Moreover, the relays have also packets of their own to transmit to the destination. We further assume that the relays employ a state-dependent retransmission control mechanism. In particular, a relay node accordingly adapts its transmission probability based on the status of the other relay. Such a protocol is towards self-aware networks and leads to substantial performance gains in terms of delay. We investigate the stability region and the throughput performance for the full MPR model. Moreover, for the asymmetric two-sources, two-relay case we derive the generating function of the stationary joint queue-length distribution with the aid of the theory of boundary value problems. For the symmetric case, we obtain explicit expressions for the average queueing delay in a relay node without solving a boundary value problem. Extensive numerical examples are presented and provide insights on the system performance.
  @cite_28: This paper presents a first fully analytical approach to performance evaluation of D2D communication systems, which does not assume the system to be in saturated conditions. We adopt a Coupled Processors model to describe a cellular scenario with D2D users sharing radio resources with cellular users, i.e., adopting in-band underlay D2D schemes. We derive sufficient conditions for stability of such system, characterizing the effect of D2D transmissions on cellular user performance. Moreover, we present a computationally feasible method for the determination of a proportionally fair allocation of resources. We show that, in non-saturated networks, such an allocation sensibly improves the one derived under the assumption of saturation. Our results show the importance of accurately modelling the interdependence in users performance in the design and evaluation of a D2D cellular system.
  @cite_3: In this work, we consider an asymmetric two-user random access wireless network with interacting nodes, time-varying links and multipacket reception capabilities. The users are equipped with infinite capacity buffers where they store arriving packets that will be transmitted to a destination node. Moreover, each user employs a general transmission control protocol under which, it adapts its transmission probability based both on the state of the other user, and on the channel state information according to a Gilbert-Elliot model. We study a two-dimensional discrete time Markov chain, investigate its stability condition, and show that its steady state performance is expressed in terms of a solution of a Riemann-Hilbert boundary value problem. Moreover, for the symmetrical system, we provide closed form expressions for the average delay at each user node. Numerical results are obtained and show insights in the system performance.
  @cite_24: For a system of finite queues, we study how servers should be assigned dynamically to stations in order to obtain optimal (or near-optimal) long-run average throughput. We assume that travel times between different service facilities are negligible, that each server can work on only one job at a time, and that several servers can work together on one job. We show that when the service rates depend only on either the server or the station (and not both), then all nonidling server assignment policies are optimal. Moreover, for a Markovian system with two stations in tandem and two servers, we show that the optimal policy assigns one server to each station unless that station is blocked or starved (in which case the server helps at the other station), and we specify the criterion used for assigning servers to stations. Finally, we propose a simple server assignment policy for tandem systems in which the number of stations equals the number of servers, and we present numerical results that show that our policy appears to yield near-optimal throughput under general conditions.
  @cite_19: Channel-aware scheduling strategies, such as the Proportional Fair algorithm for the CDMA 1xEV-DO system, provide an effective mechanism for improving throughput performance in wireless data networks by exploiting channel fluctuations. The performance of channel-aware scheduling algorithms has mostly been explored at the packet level for a static user population, often assuming infinite backlogs. In the present paper, we focus on the performance at the flow level in a dynamic setting with random finite-size service demands. We show that in certain cases the user-level performance may be evaluated by means of a multiclass Processor-Sharing model where the total service rate varies with the total number of users. The latter model provides explicit formulas for the distribution of the number of active users of the various classes, the mean response times, the blocking probabilities, and the throughput. In addition we show that, in the presence of channel variations, greedy, myopic strategies which maximize throughput in a static scenario, may result in sub-optimal throughput performance for a dynamic user configuration and cause potential instability effects.
  @cite_15: In Resing and Ormeci [16] it is shown that the two-stage tandem queue with coupled processors can be solved using the theory of boundary value problems. In this paper we consider the issues that arise when calculating performance measures like the mean queue length and the fraction of time a station is empty. It is assumed that jobs arrive at the first station according to a Poisson process and require service at both stations before leaving the system. The amount of work that a job requires at each of the stations is an independent, exponentially distributed random variable. When both stations are nonempty, the total service capacity is shared among the stations according to fixed proportions. When one of the stations becomes empty, the total service capacity is given to the nonempty station. We study the two-dimensional Markov process representing the numbers of jobs at the two stations. The problem of finding the generating function of the stationary distribution can be reduced to two different Riemann-Hilbert boundary value problems, where both problems yield a complete analytical solution. We discuss the similarities and differences between the two problems, and relate them to the computational aspects of obtaining performance measures.
  @cite_25: This paper presents a novel technique for deriving asymptotic expressions for the occurrence of rare events for a random walk in the quarter plane. In particular, we study a tandem queue with Poisson arrivals, exponential service times and coupled processors. The service rate for one queue is only a fraction of the global service rate when the other queue is non-empty; when one queue is empty, the other queue has full service rate. The bivariate generating function of the queue lengths gives rise to a functional equation. In order to derive asymptotic expressions for large queue lengths, we combine the kernel method for functional equations with boundary value problems and singularity analysis.
summary: Applications of coupled processor models arise systems where limited resources are dynamically shared among processors, e.g., in data transfer in bidirectional cable and data networks @cite_15 , in bandwidth sharing of data flows @cite_25 , in the performance modeling of device-to-device communication @cite_28 , to model the complex interdependence among transmitters due to interference @cite_19 @cite_38 @cite_3 @cite_14 , as well as in assembly lines in manufacturing @cite_24 .