Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks Riverside, California September 11-September 14 ISBN: 0-7695-2665-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2006.3
In a 2-hop IEEE 801.11-based wireless LAN, the distributed coordination function (DCF) tends to equally share the available capacity among the contending stations. Recently alternative capacity sharing strategies have been made possible. We propose a versatile infinite-state Markov reward model to study the bottleneck node in a 2-hop IEEE 801.11-based ad hoc network for different adaptive capacity sharing strategies. We use infinite-state stochastic Petri nets (iSPNs) to specify our model, from which the underlying QBD-type Markov-reward models are automatically derived. The impact of the different capacity sharing strategies is analyzed by CSRL model checking of the underlying infinite-state QBD, for which we provide new techniques. Our modeling approach helps in deciding under which circumstances which adaptive capacity sharing strategy is most appropriate.
Citation:
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth, "A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks," qest, pp.63-72, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||