Stability condition for a single-server retrial queue

1993 ◽  
Vol 25 (3) ◽  
pp. 690-701 ◽  
Author(s):  
Huei-Mei Liang ◽  
V. G. Kulkarni

A single-server retrial queue consists of a primary queue, an orbit and a single server. Assume the primary queue capacity is 1 and the orbit capacity is infinite. Customers can arrive at the primary queue either from outside the system or from the orbit. If the server is busy, the arriving customer joins the orbit and conducts a retrial later. Otherwise, he receives service and leaves the system.We investigate the stability condition for a single-server retrial queue. Let λ be the arrival rate and 1/μ be the mean service time. It has been proved that λ/μ < 1 is a sufficient stability condition for the M/G/1/1 retrial queue with exponential retrial times. We give a counterexample to show that this stability condition is not valid for general single-server retrial queues. Next we show that λ /μ < 1 is a sufficient stability condition for the stability of a single-server retrial queue when the interarrival times and retrial times are finite mixtures of Erlangs.

1993 ◽  
Vol 25 (03) ◽  
pp. 690-701 ◽  
Author(s):  
Huei-Mei Liang ◽  
V. G. Kulkarni

A single-server retrial queue consists of a primary queue, an orbit and a single server. Assume the primary queue capacity is 1 and the orbit capacity is infinite. Customers can arrive at the primary queue either from outside the system or from the orbit. If the server is busy, the arriving customer joins the orbit and conducts a retrial later. Otherwise, he receives service and leaves the system. We investigate the stability condition for a single-server retrial queue. Let λ be the arrival rate and 1/μ be the mean service time. It has been proved that λ / μ &lt; 1 is a sufficient stability condition for the M/G /1/1 retrial queue with exponential retrial times. We give a counterexample to show that this stability condition is not valid for general single-server retrial queues. Next we show that λ /μ &lt; 1 is a sufficient stability condition for the stability of a single-server retrial queue when the interarrival times and retrial times are finite mixtures of Erlangs.


2011 ◽  
Vol 187 ◽  
pp. 287-290
Author(s):  
Yong Liang Cui

The classic Leontief model on industry manufacturing process is investigated. A kind of discrete-time singular dynamic input-output model of industry manufacturing process based on the classic Leontief Model is provided and the stability of this kind of model is researched. By the new mathematic method, the singular dynamic input-output system will not be converted into the general linear system. Finally, a sufficient stability condition under which the discrete-time singular Extended Leontief Model is admissible is proved.


2013 ◽  
Vol 30 (05) ◽  
pp. 1350019 ◽  
Author(s):  
EFRAT PEREL ◽  
URI YECHIALI

We consider systems comprised of two interlacing M/M/ • /• type queues, where customers of each queue are the servers of the other queue. Such systems can be found for example in file sharing programs, SETI@home project, and other applications [Arazi, A, E Ben-Jacob and U Yechiali (2005). Controlling an oscillating Jackson-type network having state-dependant service rates. Mathematical Methods of Operations Research, 62, 453–466]. Denoting by Li the number of customers in queue i(Qi), i = 1, 2, we assume that Q1 is a multi-server finite-buffer system with an overall capacity of size N, where the customers there are served by the L2 customers present in Q2. Regarding Q2, we study two different scenarios described as follows: (i) All customers present in Q1 join hands together to form a single server for the customers in Q2, with service time exponentially distributed with an overall intensity μ2L1. That is, the service rate of the customers in Q2 changes dynamically, following the state of Q1. (ii) Each of the customers present in Q1individually acts as a server for the customers in Q2, with service time exponentially distributed with mean 1/μ2. In other words, the number of servers at Q2 changes according to the queue size fluctuations of Q1. We present a probabilistic analysis of such systems, applying both Matrix Geometric method and Probability Generating Functions (PGFs) approach, and derive the stability condition for each model, along with its two-dimensional stationary distribution function. We reveal a relationship between the roots of a given matrix, related to the PGFs, and the stability condition of the systems. In addition, we calculate the means of Li, i = 1, 2, along with their correlation coefficient, and obtain the probability of blocking at Q1. Finally, we present numerical examples and compare between the two models.


1994 ◽  
Vol 61 (3) ◽  
pp. 715-717 ◽  
Author(s):  
Jinn-Wen Wu ◽  
Tsu-Chin Tsao

A sufficient stability condition for linear conservative gyroscopic systems with negative definite stiffness matrices is given. The condition for the stability is stated in terms of the coefficients of system matrices without solving the spectrum of the entire system. An example is given for comparison with existing results.


Author(s):  
K. Merve Dogan ◽  
Tansel Yucelen ◽  
Jonathan A. Muse

Abstract Adaptive control approaches are effective system-theoretical methods for guaranteeing both the stability and the performance of physical systems subject to uncertainties. However, the stability and performance of these approaches can be severely degraded by the presence of unmodeled dynamics. Motivated by this standpoint, the previous work of the authors introduced a model reference adaptive control architecture based on the direct uncertainty minimization method for systems with additive input uncertainties and unmodeled dynamics. In particular, the proposed approach not only guaranteed the closed-loop stability predicated on a sufficient stability condition but also improved the closed-loop performance. The purpose of this paper is to generalize this previous work of the authors. Specifically, a model reference adaptive control architecture is given and it is system-theoretically analyzed for systems with unmodeled dynamics, and both additive input and control effectiveness uncertainties (we refer to Theorems 1 and 2 of this paper). The sufficient stability condition of the resulting architecture relies on linear matrix inequalities and this architecture can be effective in achieving not only stability but also a desired level of closed-loop system performance. Finally, we also provide an illustrative numerical example, which demonstrates the given theoretical results. (This research was supported by the Air Force Research Laboratory Aerospace Systems Directorate under the Universal Technology Corporation Grant 162642-20-25-C1.)


2012 ◽  
Vol 2012 ◽  
pp. 1-13 ◽  
Author(s):  
Mohamed Boualem ◽  
Natalia Djellab ◽  
Djamil Aïssani

This paper focuses on stochastic comparison of the Markov chains to derive some qualitative approximations for anM/G/1retrial queue with a Bernoulli feedback. The main objective is to use stochastic ordering techniques to establish various monotonicity results with respect to arrival rates, service time distributions, and retrial parameters.


2015 ◽  
Vol 47 (01) ◽  
pp. 251-269 ◽  
Author(s):  
A. L. Stolyar

A large-scale service system with multiple customer classes and multiple server pools is considered, with the mean service time depending both on the customer class and server pool. The allowed activities (routeing choices) form a tree (in the graph with vertices being both customer classes and server pools). We study the behavior of the system under a leaf activity priority (LAP) policy, introduced by Stolyar and Yudovina (2012). An asymptotic regime is considered, where the arrival rate of customers and number of servers in each pool tend to ∞ in proportion to a scaling parameter r, while the overall system load remains strictly subcritical. We prove tightness of diffusion-scaled (centered at the equilibrium point and scaled down by r −1/2) invariant distributions. As a consequence, we obtain a limit interchange result: the limit of diffusion-scaled invariant distributions is equal to the invariant distribution of the limiting diffusion process.


2015 ◽  
Vol 47 (1) ◽  
pp. 251-269 ◽  
Author(s):  
A. L. Stolyar

A large-scale service system with multiple customer classes and multiple server pools is considered, with the mean service time depending both on the customer class and server pool. The allowed activities (routeing choices) form a tree (in the graph with vertices being both customer classes and server pools). We study the behavior of the system under a leaf activity priority (LAP) policy, introduced by Stolyar and Yudovina (2012). An asymptotic regime is considered, where the arrival rate of customers and number of servers in each pool tend to ∞ in proportion to a scaling parameter r, while the overall system load remains strictly subcritical. We prove tightness of diffusion-scaled (centered at the equilibrium point and scaled down by r−1/2) invariant distributions. As a consequence, we obtain a limit interchange result: the limit of diffusion-scaled invariant distributions is equal to the invariant distribution of the limiting diffusion process.


Sign in / Sign up

Export Citation Format

Share Document