Peer-Reviewed Conference & Journal Publications
Policy-Based Cognitive Radios. pdf
Abstract
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.
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.
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. pdf
Abstract
We present Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that oppor- tunistically share spectrum. A Policy Reasoner validates radio transmissions to ensure that they are compliant with the spectrum policies. The Policy Reasoner also discovers spectrum sharing opportunities by deriving what requirements have to be fulfilled for transmissions to be valid, i.e., in compliance with policies. A novel mix of reasoning techniques is required to implement such a reasoner.
We present Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that oppor- tunistically share spectrum. A Policy Reasoner validates radio transmissions to ensure that they are compliant with the spectrum policies. The Policy Reasoner also discovers spectrum sharing opportunities by deriving what requirements have to be fulfilled for transmissions to be valid, i.e., in compliance with policies. A novel mix of reasoning techniques is required to implement such a reasoner.
A Policy Engine for Spectrum Sharing. pdf
Abstract
We argue for a policy-based approach to increase spectrum availability. To this extend, we briefly summarize a new language for expressing policies that allow opportunistic spectrum access. A Policy Reasoner that reasons about these policies has can be used with cognitive radios to guarantee policy-specified behaviors while allowing spectrum sharing. We evaluated the reasoner in a demonstration. We describe the policies used in that demonstration and the results of the evaluation.
We argue for a policy-based approach to increase spectrum availability. To this extend, we briefly summarize a new language for expressing policies that allow opportunistic spectrum access. A Policy Reasoner that reasons about these policies has can be used with cognitive radios to guarantee policy-specified behaviors while allowing spectrum sharing. We evaluated the reasoner in a demonstration. We describe the policies used in that demonstration and the results of the evaluation.
Demonstration of a Policy Engine for Spectrum Sharing. pdf
Abstract
We argue for a policy-based approach to in- crease spectrum availability. We have designed a language to capture rules and regulations for opportunistic spectrum use. A Policy Reasoner that reasons about these spectrum-sharing policies can be used with cognitive radios to guarantee policy-specified behaviors. We demonstrate the reasoner on various policies, including those established for the dedicated spectrum from the Commisssion for Communication Regulations that has been acquired for DySPAN 2007. We show the effects of enforcing these policies and how a radio adapts to the conditions of dynamically changing environments. We will link our reasoner to a live sensor from Rockwell Collins that measures the state of the spectrum at the conference site and delivers input data for the reasoner. We will also illustrate the ease of changing policies and uploading new policies.
We argue for a policy-based approach to in- crease spectrum availability. We have designed a language to capture rules and regulations for opportunistic spectrum use. A Policy Reasoner that reasons about these spectrum-sharing policies can be used with cognitive radios to guarantee policy-specified behaviors. We demonstrate the reasoner on various policies, including those established for the dedicated spectrum from the Commisssion for Communication Regulations that has been acquired for DySPAN 2007. We show the effects of enforcing these policies and how a radio adapts to the conditions of dynamically changing environments. We will link our reasoner to a live sensor from Rockwell Collins that measures the state of the spectrum at the conference site and delivers input data for the reasoner. We will also illustrate the ease of changing policies and uploading new policies.
Policy Specification and Enforcement for Spectrum-Agile Radios. pdf