[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Policy-Based Cognitive Radios
Wilkins, David and Denker, Grit and Stehr, Mark-Oliver and Elenius, Daniel and Senanayake, Rukman and Talcott, Carolyn - 2007 - PDF

We present a new language for expressing policies that allow opportunistic spectrum access while not causing interference. CoRaL has expressive constructs for numerical constraints, supports efficient reasoning, and will be verifiable. The language is extensible so that unanticipated policy types can be encoded. We also describe a Policy Reasoner that reasons about CoRaL policies, and show how this reasoner can be used with various cognitive radios (in this case, an XG radio) to guarantee policy-specified behaviors while allowing spectrum sharing.

Keywords: cognitive radio, policy-based, reasoning, spectrum-sharing