A Microeconomic Model for Hierarchical Bandwidth Sharing in Dynamic Spectrum Access Networks

We consider the problem of hierarchical bandwidth sharing in dynamic spectrum access (or cognitive radio) environment. In the system model under consideration, licensed service (i.e., primary service) can share/sell its available bandwidth to an unlicensed service (i.e., secondary service), and again, this unlicensed service can share/sell its allocated bandwidth to other services (i.e., tertiary and quaternary services). We formulate the problem of hierarchical bandwidth sharing as an interrelated market model used in microeconomics for which a multiple-level market is established among the primary, secondary, tertiary, and quaternary services. We use the concept of demand and supply functions to obtain the equilibrium at which all the services are satisfied with the amount of allocated bandwidth and the price. These demand and supply functions are derived based on the utility of the connections using the different services (i.e., primary, secondary, tertiary, and quaternary services). For distributed implementation of the hierarchical bandwidth sharing model in a system in which global information is not available, iterative algorithms are proposed through which each service adapts its strategies to reach the equilibrium. The system stability condition is analyzed for these algorithms. Finally, we demonstrate the application of the proposed model to achieve dynamic bandwidth sharing in an integrated WiFi-WiMAX network.

[1]  A. P. Sistla,et al.  The complexity of propositional linear temporal logics , 1985, JACM.

[2]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[3]  J. McCauley.  An introduction to nonlinear dynamics and chaos theory , 1988 .

[4]  C. Chiarella.  The cobweb model , 1988 .

[5]  William A. McEachern.  Microeconomics: A Contemporary Introduction , 1988 .

[6]  Tracy Larrabee,et al.  Explorations of sequential ATPG using Boolean satisfiability , 1993, Digest of Papers Eleventh Annual 1993 IEEE VLSI Test Symposium.

[7]  Z. Bacsi.  Modelling chaotic behaviour in agricultural prices using a discrete deterministic nonlinear price model , 1997 .

[8]  Joao Marques-Silva,et al.  GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.

[9]  Armin Biere,et al.  Symbolic Model Checking without BDDs , 1999, TACAS.

[10]  J. Goeree,et al.  Heterogeneous beliefs and the non-linear cobweb model , 2000 .

[11]  Mary Sheeran,et al.  Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.

[12]  Sharad Malik,et al.  Conflict driven learning in a quantified Boolean Satisfiability solver , 2002, ICCAD 2002.

[13]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[14]  Ofer Strichman,et al.  Bounded model checking , 2003, Adv. Comput..

[15]  Bernhard Walke,et al.  Spectrum estimation methodology for next generation wireless systems , 2004, 2004 IEEE 15th International Symposium on Personal, Indoor and Mobile Radio Communications (IEEE Cat. No.04TH8754).

[16]  Armin Biere,et al.  Resolve and Expand , 2004, SAT.

[17]  Jon M. Peha,et al.  Approaches to spectrum sharing , 2005, IEEE Communications Magazine.

[18]  Marco Benedetti,et al.  sKizzo: A Suite to Evaluate and Certify QBFs , 2005, CADE.

[19]  Moayad Fahim Ali,et al.  Fault diagnosis and logic debugging using Boolean satisfiability , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[20]  Christian Hartmann,et al.  Dynamic inter-operator spectrum sharing for UMTS FDD with displaced cellular networks , 2005, IEEE Wireless Communications and Networking Conference, 2005.

[21]  Nachum Dershowitz,et al.  Bounded Model Checking with QBF , 2005, SAT.

[22]  Georgios B. Giannakis,et al.  Queuing with adaptive modulation and coding over wireless links: cross-Layer analysis and design , 2005, IEEE Transactions on Wireless Communications.

[23]  Robert P. Kurshan,et al.  An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment , 2005, CHARME.

[24]  Rolf Drechsler,et al.  Post-verification debugging of hierarchical designs , 2005, ICCAD 2005.

[25]  Carsten Sinz,et al.  DPvis - A Tool to Visualize the Structure of SAT Instances , 2005, SAT.

[26]  Fahiem Bacchus,et al.  Using SAT in QBF , 2005, CP.

[27]  F. Jondral,et al.  Dynamic and local combined pricing, allocation and billing system with cognitive radios , 2005, First IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005..

[28]  Hamid Reza Karimi,et al.  Evolution Towards Dynamic Spectrum Sharing in Mobile Communications , 2006, 2006 IEEE 17th International Symposium on Personal, Indoor and Mobile Radio Communications.

[29]  John C. S. Lui,et al.  On the Access Pricing Issues of Wireless Mesh Networks , 2006, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06).

[30]  M. Holt,et al.  Nonlinear Dynamics and Structural Change in the U.S. Hog—Corn Cycle: A Time‐Varying Star Approach , 2006 .

[31]  Miao Pan,et al.  A Novel Bargaining Based Dynamic Spectrum Management Scheme in Reconfigurable Systems , 2006, 2006 International Conference on Systems and Networks Communications (ICSNC'06).

[32]  Jiantao Wang,et al.  Counter-intuitive throughput behaviors in networks under end-to-end control , 2006, IEEE/ACM Transactions on Networking.

[33]  Leonardo Badia,et al.  Pricing VoWLAN services through a micro-economic framework , 2006, IEEE Wireless Communications.

[34]  Robert K. Brayton,et al.  Retiming and Resynthesis: A Complexity Perspective , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[35]  Dusit Niyato,et al.  A Queuing-Theoretic and Optimization-Based Model for Radio Resource Management in IEEE 802.16 Broadband Wireless Networks , 2006, IEEE Transactions on Computers.

[36]  Jason Baumgartner,et al.  Scalable Sequential Equivalence Checking across Arbitrary Design Transformations , 2006, 2006 International Conference on Computer Design.

[37]  Arlindo L. Oliveira,et al.  On The Complexity Of Power Estimation Problems , 2007 .

[38]  Marco Benedetti,et al.  A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test , 2007, ICCAD 2007.

[39]  Armin Biere,et al.  Compressing BMC Encodings with QBF , 2007, BMC@FLoC.

[40]  Haitao Zheng,et al.  A General Framework for Wireless Spectrum Auctions , 2007, 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks.

[41]  Alan Mishchenko,et al.  Scalable and scalably-verifiable sequential synthesis , 2008, ICCAD 2008.

[42]  David Starobinski,et al.  Spot Pricing of Secondary Spectrum Access in Wireless Cellular Networks , 2009, IEEE/ACM Transactions on Networking.

[43]  Mihaela van der Schaar,et al.  Distributed Resource Management in Multihop Cognitive Radio Networks for Delay-Sensitive Transmission , 2009, IEEE Transactions on Vehicular Technology.

[44]  Kok-Lim Alvin Yau,et al.  A context-aware and Intelligent Dynamic Channel Selection scheme for cognitive radio networks , 2009, 2009 4th International Conference on Cognitive Radio Oriented Wireless Networks and Communications.