Yoni Nazarathy Gideon Weiss University of Haifa Yoni Nazarathy Gideon Weiss University of Haifa The Asymptotic Variance of the Output Process of Finite Capacity Queues ORSIS Conference, Israel April 18-19, 2008 ORSIS Conference, Israel April 18-19, 2008 Yoni Nazarathy, Gideon Weiss, University of Haifa, The Classic Theorem on M/M/1 Outputs: Burkes Theorem (50s): Output process of stationary version is Poisson ( ). A Single Server Queue: Buffer Server State: Output Process: Poisson Arrivals: M/M/1 Queue: Exponential Service times: State Process is a birth-death CTMC Queueing Output Process Yoni Nazarathy, Gideon Weiss, University of Haifa, Buffer size: Poisson arrivals: Independent exponential service times: Jobs arriving to a full system are a lost. Number in system,, is represented by a finite state irreducible birth-death CTMC. Assume is stationary. The M/M/1/K Queue Finite Buffer Server Carried load Yoni Nazarathy, Gideon Weiss, University of Haifa, Counts of point processes: - Arrivals during - Entrances - Outputs - Lost jobs Traffic Processes Poisson Renewal Non-Renewal Poisson Non-Renewal Renewal M/M/1/K Renewal Book: Traffic Processes in Queueing Networks, Disney, Kiessler 1987. Yoni Nazarathy, Gideon Weiss, University of Haifa, Some Attributes: (Disney, Kiessler, Farrell, de Morias 70s) Not a renewal process (but a Markov Renewal Process). Expressions for. Transition probability kernel of Markov Renewal Process. A Markovian Arrival Process (MAP) (Neuts 80s) What about ? The Output process Asymptotic Variance Rate: Yoni Nazarathy, Gideon Weiss, University of Haifa, What values do we expect for ? Keep and fixed. Yoni Nazarathy, Gideon Weiss, University of Haifa, What values do we expect for ? Keep and fixed. Yoni Nazarathy, Gideon Weiss, University of Haifa, Similar to Poisson: What values do we expect for ? Keep and fixed. Yoni Nazarathy, Gideon Weiss, University of Haifa, What values do we expect for ? Keep and fixed. Yoni Nazarathy, Gideon Weiss, University of Haifa, B alancing R educes A symptotic V ariance of O utputs What values do we expect for ? Keep and fixed. Yoni Nazarathy, Gideon Weiss, University of Haifa, Calculating Using MAPs Calculating Using MAPs Yoni Nazarathy, Gideon Weiss, University of Haifa, MAP (Markovian Arrival Process) (Neuts, Lucantoni et al.) Generator Transitions without events Transitions with events Asymptotic Variance Rate Birth-Death Process Yoni Nazarathy, Gideon Weiss, University of Haifa, Attempting to evaluate directly For, there is a nice structure to the inverse. But This doesnt get us far Yoni Nazarathy, Gideon Weiss, University of Haifa, Main Theorem Yoni Nazarathy, Gideon Weiss, University of Haifa, Main Theorem Part (i) Part (ii) Scope: Finite, irreducible, stationary, birth-death CTMC that represents a queue. and If Then Calculation of (Asymptotic Variance Rate of Output Process) Yoni Nazarathy, Gideon Weiss, University of Haifa, Explicit Formula for M/M/1/K Yoni Nazarathy, Gideon Weiss, University of Haifa, Proof Outline (of part i) Yoni Nazarathy, Gideon Weiss, University of Haifa, Define The Transition Counting Process Lemma: Proof: Q.E.D - Counts the number of transitions in [0,t] Asymptotic Variance Rate of M(t):, BirthsDeaths MAP of M(t) is Fully Counting all transitions result in counts of events. Yoni Nazarathy, Gideon Weiss, University of Haifa, Proof Outline Whitt: Book: Stochastic Process Limits,. Paper: Asymptotic Formulas for Markov Processes 1) Lemma: Look at M(t) instead of D(t). 2) Proposition: The Fully Counting MAP of M(t) has associated MMPP with same variance. 3) Results of Ward Whitt: An explicit expression of asymptotic variance rate of birth-death MMPP. Yoni Nazarathy, Gideon Weiss, University of Haifa, Fully Counting MAP and associated MMPP MMPP (Markov Modulated Poisson Process) Example: rate 4 Poisson Process rate 2 rate 3 rate 4 rate 2 rate 4 rate 3 rate 2 rate 3 rate 4 rate 2 Proposition Transitions without events Transitions with events Fully Counting MAP Yoni Nazarathy, Gideon Weiss, University of Haifa, More On BRAVO B alancing R educes A symptotic V ariance of O utputs Yoni Nazarathy, Gideon Weiss, University of Haifa, K K 1 Some intuition for M/M/1/K Yoni Nazarathy, Gideon Weiss, University of Haifa, Intuition for M/M/1/K doesn t carry over to M/M/c/K But BRAVO does M/M/40/40 M/M/10/10 M/M/1/40 K=20 K=30 c=30 c=20 Yoni Nazarathy, Gideon Weiss, University of Haifa, BRAVO also occurs in GI/G/1/K MAP used for PH/PH/1/40 with Erlang and Hyper-Exp distributions Yoni Nazarathy, Gideon Weiss, University of Haifa, The 2/3 property GI/G/1/K SCV of arrival = SCV of service Yoni Nazarathy, Gideon Weiss, University of Haifa, Thank You