-
Stationary analysis of the shortest queue problem
Authors:
Plinio S. Dester,
Christine Fricker,
Danielle Tibi
Abstract:
A simple analytical solution is proposed for the stationary loss system of two parallel queues with finite capacity $K$, in which new customers join the shortest queue, or one of the two with equal probability if their lengths are equal. The arrival process is Poisson, service times at each queue have exponential distributions with the same parameter, and both queues have equal capacity. Using sta…
▽ More
A simple analytical solution is proposed for the stationary loss system of two parallel queues with finite capacity $K$, in which new customers join the shortest queue, or one of the two with equal probability if their lengths are equal. The arrival process is Poisson, service times at each queue have exponential distributions with the same parameter, and both queues have equal capacity. Using standard generating function arguments, a simple expression for the blocking probability is derived, which as far as we know is original. Using coupling arguments and explicit formulas, comparisons with related loss systems are then provided. Bounds are similarly obtained for the average total number of customers, with the stationary distribution explicitly determined on $\{K, \dots, 2K \}$, and elsewhere upper bounded. Furthermore, from the balance equations, all stationary probabilities are obtained as explicit combinations of their values at states $(0,k)$ for $0 \le k \le K$. These expressions extend to the infinite capacity and asymmetric cases, i.e., when the queues have different service rates. For the initial symmetric finite capacity model, the stationary probabilities of states $(0,k)$ can be obtained recursively from the blocking probability. In the other cases, they are implicitly determined through a functional equation that characterizes their generating function. The whole approach shows that the stationary distribution of the infinite capacity symmetric process is the limit of the corresponding finite capacity distributions. For the infinite capacity symmetric model, we provide an elementary proof of a result by Cohen which gives the solution of the functional equation in terms of an infinite product with explicit zeroes and poles.
△ Less
Submitted 12 December, 2017; v1 submitted 21 April, 2017;
originally announced April 2017.
-
Equivalence of ensembles for large vehicle-sharing models
Authors:
Christine Fricker,
Danielle Tibi
Abstract:
For a class of large closed Jackson networks submitted to capacity constraints, asymptotic independence of the nodes in normal traffic phase is proved at stationarity under mild assumptions, using a Local Limit Theorem. The limiting distributions of the queues are explicit. In the Statistical Mechanics terminology, the equivalence of ensembles - canonical and grand canonical - is proved for specif…
▽ More
For a class of large closed Jackson networks submitted to capacity constraints, asymptotic independence of the nodes in normal traffic phase is proved at stationarity under mild assumptions, using a Local Limit Theorem. The limiting distributions of the queues are explicit. In the Statistical Mechanics terminology, the equivalence of ensembles - canonical and grand canonical - is proved for specific marginals. The framework includes the case of networks with two types of nodes: single server/finite capacity nodes and infinite servers/infinite capacity nodes, that can be taken as basic models for bike-sharing systems. The effect of local saturation is modeled by generalized blocking and rerouting procedures, under which the stationary state is proved to have product-form. The grand canonical approximation can then be used for adjusting the total number of bikes and the capacities of the stations to the expected demand.
△ Less
Submitted 28 July, 2015;
originally announced July 2015.
-
Explicit Lyapunov functions and estimates of the essential spectral radius for Jackson networks
Authors:
Irina Ignatiouk-Robert,
Danielle Tibi
Abstract:
A family of explicit Lyapunov function for positive recurrent Markovian Jackson network is constructed. With this result we obtain explicit estimates of the tail distribution of the first time, when the process returns to large compact sets, and some explicit estimates of the essential spectral radius of the process. The essential spectral radius of the process provides the best geometric converge…
▽ More
A family of explicit Lyapunov function for positive recurrent Markovian Jackson network is constructed. With this result we obtain explicit estimates of the tail distribution of the first time, when the process returns to large compact sets, and some explicit estimates of the essential spectral radius of the process. The essential spectral radius of the process provides the best geometric convergence rate to equilibrium that one can get by changing the transitions of the process in a finite set.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.
-
Metastability in communication networks
Authors:
D. Tibi
Abstract:
Two models of loss networks, introduced by Gibbens et al. and by Antunes et al., are known to exhibit a mean field limiting regime with several stable equilibria. These models are reexamined in the light of Freidlin and Wentzell's large deviation approach of randomly perturbed dynamical systems. Assuming that some of their results still hold under slightly relaxed conditions, the metastability pro…
▽ More
Two models of loss networks, introduced by Gibbens et al. and by Antunes et al., are known to exhibit a mean field limiting regime with several stable equilibria. These models are reexamined in the light of Freidlin and Wentzell's large deviation approach of randomly perturbed dynamical systems. Assuming that some of their results still hold under slightly relaxed conditions, the metastability property is derived for both systems. A Lyapunov function exhibited by Antunes et al. is next identified with the quasipotential associated with a slightly modified, asymptotically reversible, Markovian perturbation of the same dynamical system. Another interpretation, in terms of entropy dissipation, of this Lyapunov function is finally given. The argument extends to another, similar but closed model.
△ Less
Submitted 1 August, 2010; v1 submitted 3 February, 2010;
originally announced February 2010.
-
Spatial homogenization in a stochastic network with mobility
Authors:
Florian Simatos,
Danielle Tibi
Abstract:
A stochastic model for a mobile network is studied. Users enter the network, and then perform independent Markovian routes between nodes where they receive service according to the Processor-Sharing policy. Once their service requirement is satisfied, they leave the system. The stability region is identified via a fluid limit approach, and strongly relies on a "spatial homogenization" property:…
▽ More
A stochastic model for a mobile network is studied. Users enter the network, and then perform independent Markovian routes between nodes where they receive service according to the Processor-Sharing policy. Once their service requirement is satisfied, they leave the system. The stability region is identified via a fluid limit approach, and strongly relies on a "spatial homogenization" property: at the fluid level, customers are instantaneously distributed across the network according to the stationary distribution of their Markovian dynamics and stay distributed as such as long as the network is not empty. In the unstable regime, spatial homogenization almost surely holds asymptotically as time goes to infinity (on the normal scale), telling how the system fills up. One of the technical achievements of the paper is the construction of a family of martingales associated to the multidimensional process of interest, which makes it possible to get crucial estimates for certain exit times.
△ Less
Submitted 14 January, 2010; v1 submitted 8 July, 2008;
originally announced July 2008.
-
Stochastic networks with multiple stable points
Authors:
Nelson Antunes,
Christine Fricker,
Philippe Robert,
Danielle Tibi
Abstract:
This paper analyzes stochastic networks consisting of a set of finite capacity sites where different classes of individuals move according to some routing policy. The associated Markov jump processes are analyzed under a thermodynamic limit regime, that is, when the networks have some symmetry properties and when the number of nodes goes to infinity. An intriguing stability property is proved: u…
▽ More
This paper analyzes stochastic networks consisting of a set of finite capacity sites where different classes of individuals move according to some routing policy. The associated Markov jump processes are analyzed under a thermodynamic limit regime, that is, when the networks have some symmetry properties and when the number of nodes goes to infinity. An intriguing stability property is proved: under some conditions on the parameters, it is shown that, in the limit, several stable equilibrium points coexist for the empirical distribution. The key ingredient of the proof of this property is a dimension reduction achieved by the introduction of two energy functions and a convenient map** of their local minima and saddle points. Networks with a unique equilibrium point are also presented.
△ Less
Submitted 27 December, 2007; v1 submitted 12 January, 2006;
originally announced January 2006.
-
Analysis of loss networks with routing
Authors:
Nelson Antunes,
Christine Fricker,
Philippe Robert,
Danielle Tibi
Abstract:
This paper analyzes stochastic networks consisting of finite capacity nodes with different classes of requests which move according to some routing policy. The Markov processes describing these networks do not, in general, have reversibility properties, so the explicit expression of their invariant distribution is not known. Kelly's limiting regime is considered: the arrival rates of calls as we…
▽ More
This paper analyzes stochastic networks consisting of finite capacity nodes with different classes of requests which move according to some routing policy. The Markov processes describing these networks do not, in general, have reversibility properties, so the explicit expression of their invariant distribution is not known. Kelly's limiting regime is considered: the arrival rates of calls as well as the capacities of the nodes are proportional to a factor going to infinity. It is proved that, in limit, the associated rescaled Markov process converges to a deterministic dynamical system with a unique equilibrium point characterized by a nonstandard fixed point equation.
△ Less
Submitted 14 February, 2007; v1 submitted 22 December, 2005;
originally announced December 2005.