View source for Queueing theory

The branch of probability theory in which one studies mathematical models of various kinds of real queues (cf. [[Queue|Queue]]). These models are presented as random processes of a special form, sometimes called service processes. The definitions of these processes are most often descriptive, since their formal construction is very complicated and not always effective.

Queueing theory mainly uses the apparatus of probability theory. The fundamental problems of queueing theory usually are these: Based on  "local"  properties of the random processes under discussion, study their stationary characteristics (if they exist) or the behaviour of these characteristics over a long period of time. One of the main aims of research in this area is the choice of a preferable organization for a queueing system.

For example, for a typical object of queueing theory such as an automatic telephone exchange (see [[Queue with refusals|Queue with refusals]]) one of the basic characteristics is the proportion of calls lost, that is, the limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768501.png" />, as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768502.png" /> (if it exists), of the ratios <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768503.png" /> of the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768504.png" /> of calls lost up to time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768505.png" /> to the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768506.png" /> of calls which arrived up to the same time. Here the distribution of the time intervals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768507.png" /> between the arrivals of calls and the distribution of the service times <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768508.png" /> of these calls are assumed to be known. The assignment of the distribution of a random (control) sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q0768509.png" /> together with the description of an algorithm of how the queue evolves form the initial data, characterizing the  "local"  properties of the service process.

Similarly, for multi-server queues (cf. [[Queue, multi-channel with waiting|Queue, multi-channel with waiting]]) one studies the limit as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685010.png" /> of the distributions of the probabilities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685012.png" /> for the time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685013.png" /> which the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685014.png" />-th call arriving in the system has to wait before the beginning of its service and the queue length <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685015.png" /> at the time of its arrival. The limit distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685016.png" /> for the queue length at time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685017.png" />, etc., are also discussed. Here, again, the initial data are the assignment of the control sequences (the distribution of the intervals of service times) and the algorithm defining the operation of the queue.

For relatively simple queues, and under certain assumptions on the control sequence, the required characteristics can be found by analytic methods. However, the number of such systems is not large. The nature of the conditions imposed on the control sequence can be demonstrated by the example of a queue with refusals (an automatic telephone exchange). Let 1) the random variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685018.png" /> be exponentially distributed:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685019.png" /></td> </tr></table>

that is, the input stream is Poisson; 2) the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685020.png" /> be independent and identically distributed and not dependent on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685021.png" />. Then the probability of refusal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685022.png" />, defined above, exists and is equal to

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685023.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685024.png" /> is the ratio of the mathematical expectations:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685025.png" /></td> </tr></table>

For this system, if one of the conditions 1) or 2) fails, then the search of explicit formulas for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685026.png" /> becomes very complicated or even impossible.

Underlying the analytic approach to the search for explicit expressions for the desired characteristics is a method connected with the construction of Markov processes describing the state of the system. These processes are very well studied and the solution of the problem in this case reduces to the formulation and solution of the corresponding equations for stationary distributions (invariant measures).

Such a process is often used in a modified form by forming semi-Markov processes or imbedded Markov processes (the Markov property is satisfied only at certain random times).

For certain complicated queues exact analytic methods, as a rule, are not effective and one uses asymptotic methods or simulates the random processes by a [[Monte-Carlo method|Monte-Carlo method]]. Asymptotic methods are relevant in those cases when the system under consideration is close (in its local properties) to another system which is either well studied and allows the calculation of the necessary characteristics, or is in some sense critical. The direction of asymptotic investigation in the first case is described by stability (or continuity) theorems. In the second case stationary characteristics often do not exist, but one can establish  "collective"  limit theorems for them, that is, theorems in which the limit behaviour is determined not by individual properties of the control sequences but only by certain numerical parameters. Examples of the second type are theorems on the so-called single-server queues with heavy traffic. They have been established as follows. Let the inter-arrival intervals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685028.png" /> and the inter-service times <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685030.png" /> form mutually-independent sequences of independent identically-distributed variables and let the expectation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685031.png" /></td> </tr></table>

of the difference between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685032.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685033.png" /> be positive. Then there is a non-degenerate limit distribution

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685034.png" /></td> </tr></table>

for the waiting time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685035.png" /> of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685036.png" />-th call. In addition, let the random variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685038.png" /> vary so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685039.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685040.png" /> tends to zero from the positive side), so that the variance <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685041.png" /> converges to a positive limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685042.png" /> and so that the expectation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685043.png" /> is uniformly bounded for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685044.png" />. Then for each fixed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685045.png" />,

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685046.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

This relation allows the approximate calculation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685047.png" /> for small values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685048.png" />. The limit system, corresponding to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685049.png" />, is critical in the sense that for it there is no non-degenerate limit distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685050.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685051.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685052.png" /> (the waiting time of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685053.png" />-th client increases unboundedly as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685054.png" /> increases). Relation (*) can be extended to a broad class of queues with waiting under very general assumptions on the control sequences.

The emergence of queueing theory has produced an interest in the novel mathematical problems which arise in the organization of telephone networks. The first publication in this connection is due to A. Erlang in 1907. The later development of queueing theory occurred in the 1940's and 1950's in papers by C. Palm, F. Pollaczek, A.Ya. Khinchin, and others. The last coined the term  "queue" . In the USSR, work on queueing theory was continued by B.V. Gnedenko, with a group of his students, and others.

The development of queueing theory has been stimulated both by a variety of applications and by the mathematical content of the problems that arise. Although formally a part of the theory of random processes, queueing theory has evolved into an independent area of research with its own problems and methods of solution.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.Ya. Khinchin,   "Mathematical methods in the theory of queueing" , Griffin  (1960)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  B.V. Gnedenko,   I.N. Kovalenko,   "Introduction to queueing theory" , Israel Program Sci. Transl.  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.A. Borovkov,   "Stochastic processes in queueing theory" , Springer  (1976)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A.A. Borovkov,   "Asymptotic methods in queueing theory" , Wiley  (1984)  (Translated from Russian)</TD></TR></table>



====Comments====
A facility for collective use has usually a limited capacity and congestion (loss) arises when the momentary demands of the users surpass the capacity. Facilities for collective use are encountered in a large variety in present day society, e.g. ticket windows, road junctions, beds in a hospital, communication trunks in a telephone network, the central processor unit in a computer.

The need to evaluate the performance of a facility led to the development of queueing theory. The basic model concerns a single-server system and the description of the arrival process, of the service times required by the customers and the service discipline, which specifies the schedule of handling the customers.

The irregularities in the arrival stream and also those in the demands of the service times require for their modelling a probabilistic approach; in fact, they are modelled as stochastic processes. Consequently, performance characteristics such as the waiting time of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685055.png" />-th arriving customer, the queue length of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076850/q07685056.png" />-th arrival and the workload of the server as a function of time have to be analyzed as stochastic processes. Queueing theory studies the relations between these performance characteristics and the input processes (arrival and service times), and as such queueing theory is an important branch of applied probability theory.

The early developments of queueing theory took place in the first decade of the 20th century; congestion phenomena in telephone communication have been the direct impetus. Until 1940 queueing theory has been developed mainly for purposes in telecommunication engineering. The growing interest after 1940 in [[Operations research|operations research]] had a considerable influence on the developments of queueing theory. At present a huge variety of queueing models are studied: many-server models, batch arrivals instead of individual arrivals, group service, and sophisticated service disciplines like random service, priority service, processor sharing, and feedback of customers. Next to a single-service facility, networks of queues require analysis. In a network a customer or a message has to be transported via the nodes connected by links to a certain destination; at the switching nodes congestion may occur. The routing of the customers through the network is usually modelled as a stochastic protocol.

The mathematical analysis concerned with the relations between the performance and model characteristics is the analytical part of queueing theory; simulation techniques are used to study such relations experimentally.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> W. Feller, [[Feller, "An introduction to probability theory and its  applications"|"An introduction to probability theory and its  applications"]], '''1–2''', Wiley (1966)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> L. Kleinrock, "Queueing systems", '''1–2''', Wiley (1976)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.W. Cohen, "The single server queue", North-Holland (1982) pp. Chapt. II.1</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Syski, "Congestion theory", North-Holland (1986)</TD></TR></table>