{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/32396"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/32396","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"Policy Reasoning for Spectrum Agile Radios","abstract":"DARPA's neXt Generation (XG) communication program proposes the use of Dynamic Spectrum Access (DSA) wherein intelligent radios can realize opportunistic usage of frequency bands by identifying the under-utilized spectrum and reasoning about it. Implementing such a flexible scheme requires changes in the current static spectrum management approach. As a result, declarative spectrum management through policy-based dynamic spectrum access has garnered significant attention recently. Policy-based dynamic spectrum access decouples the Spectrum Access Policies and Policy Processing Components from the Radio Platform. The Policies define conditions under which the radios are allowed to transmit in terms of frequencies used, geographic locations, time etc. The Policy Processing Components include a reasoning engine called the Policy Reasoner, which is responsible for enforcing these policies. This thesis describes the design and implementation of a novel policy reasoner called Bi- nary Decision Diagram based Reasoner for processing Spectrum Access Policies (BRESAP). BRESAP processes spectrum policies efficiently by reframing the policy reasoning problem as a graph based Boolean function manipulation problem. BRESAP uses Binary Decision Diagrams (BDDs) to represent, analyze and process the policies. It uses a set of efficient graph-theoretic algorithms to merge these policies into a single meta-policy and compute opportunity constraints. Our policy reasoner has the capability to respond to invalid and under-specified transmission requests sent by the System Strategy Reasoner (SSR). In case of invalid or under-specified transmission requests, BRESAP returns a set of opportunity constraints which inform the SSR of the changes needed to the transmission parameters in order to make them conform to the policies. We also propose three algorithms for computing the opportunity constraints. The complexity of the first algorithm is proportional to the number of variables in the metapolicy BDD, while the complexities of the second and third algorithms are proportional to sum of number of variables and the size (i.e., number of nodes) of the meta-policy BDD.","abstract_html":"DARPA's neXt Generation (XG) communication program proposes the use of Dynamic Spectrum Access (DSA) wherein intelligent radios can realize opportunistic usage of frequency bands by identifying the under-utilized spectrum and reasoning about it. Implementing such a flexible scheme requires changes in the current static spectrum management approach. As a result, declarative spectrum management through policy-based dynamic spectrum access has garnered significant attention recently. Policy-based dynamic spectrum access decouples the Spectrum Access Policies and Policy Processing Components from the Radio Platform. The Policies define conditions under which the radios are allowed to transmit in terms of frequencies used, geographic locations, time etc. The Policy Processing Components include a reasoning engine called the Policy Reasoner, which is responsible for enforcing these policies. This thesis describes the design and implementation of a novel policy reasoner called Bi- nary Decision Diagram based Reasoner for processing Spectrum Access Policies (BRESAP). BRESAP processes spectrum policies efficiently by reframing the policy reasoning problem as a graph based Boolean function manipulation problem. BRESAP uses Binary Decision Diagrams (BDDs) to represent, analyze and process the policies. It uses a set of efficient graph-theoretic algorithms to merge these policies into a single meta-policy and compute opportunity constraints. Our policy reasoner has the capability to respond to invalid and under-specified transmission requests sent by the System Strategy Reasoner (SSR). In case of invalid or under-specified transmission requests, BRESAP returns a set of opportunity constraints which inform the SSR of the changes needed to the transmission parameters in order to make them conform to the policies. We also propose three algorithms for computing the opportunity constraints. The complexity of the first algorithm is proportional to the number of variables in the metapolicy BDD, while the complexities of the second and third algorithms are proportional to sum of number of variables and the size (i.e., number of nodes) of the meta-policy BDD.","abstract_has_math":false,"creators":["Deshpande, Amol Anant"],"institution":"Virginia Tech","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Electrical and Computer Engineering","degree_department":"Electrical and Computer Engineering","school":null,"contributors":[],"advisors":[],"committee_chairs":["Park, Jung-Min Jerry"],"committee_members":["Bose, Tamal","Hsiao, Michael S."],"year":2010,"date_issued":"2010-05-04","date_published":"2010-05-04","updated_at":"2026-07-22T22:19:24Z","subjects":["Spectrum Access Policies","Policy Reasoning","Cognitive Radios"],"languages":[],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-05082010-161920"],"render_values":[{"text":"etd-05082010-161920","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/32396","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.committeechair","label":"Committee Chair","values":["Park, Jung-Min Jerry"]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Bose, Tamal","Hsiao, Michael S."]},{"key":"dc:contributor.department","label":"Department","values":["Electrical and Computer Engineering"]},{"key":"dc:creator","label":"Author","values":["Deshpande, Amol Anant"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T20:35:42Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T20:35:42Z","2010-06-01"]},{"key":"dc:date.issued","label":"Date","values":["2010-05-04"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Tech"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical and Computer Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["masters"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Spectrum Access Policies","Policy Reasoning","Cognitive Radios"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-05082010-161920"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/32396"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["DARPA's neXt Generation (XG) communication program proposes the use of Dynamic Spectrum Access (DSA) wherein intelligent radios can realize opportunistic usage of frequency bands by identifying the under-utilized spectrum and reasoning about it. Implementing such a flexible scheme requires changes in the current static spectrum management approach. As a result, declarative spectrum management through policy-based dynamic spectrum access has garnered significant attention recently. Policy-based dynamic spectrum access decouples the Spectrum Access Policies and Policy Processing Components from the Radio Platform. The Policies define conditions under which the radios are allowed to transmit in terms of frequencies used, geographic locations, time etc. The Policy Processing Components include a reasoning engine called the Policy Reasoner, which is responsible for enforcing these policies. This thesis describes the design and implementation of a novel policy reasoner called Bi- nary Decision Diagram based Reasoner for processing Spectrum Access Policies (BRESAP). BRESAP processes spectrum policies efficiently by reframing the policy reasoning problem as a graph based Boolean function manipulation problem. BRESAP uses Binary Decision Diagrams (BDDs) to represent, analyze and process the policies. It uses a set of efficient graph-theoretic algorithms to merge these policies into a single meta-policy and compute opportunity constraints. Our policy reasoner has the capability to respond to invalid and under-specified transmission requests sent by the System Strategy Reasoner (SSR). In case of invalid or under-specified transmission requests, BRESAP returns a set of opportunity constraints which inform the SSR of the changes needed to the transmission parameters in order to make them conform to the policies. We also propose three algorithms for computing the opportunity constraints. The complexity of the first algorithm is proportional to the number of variables in the metapolicy BDD, while the complexities of the second and third algorithms are proportional to sum of number of variables and the size (i.e., number of nodes) of the meta-policy BDD."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Master of Science"]},{"key":"dc:title","label":"Title","values":["Policy Reasoning for Spectrum Agile Radios"]}]}],"canonical_facts":{"dc:contributor.committeechair":["Park, Jung-Min Jerry"],"dc:contributor.committeemember":["Bose, Tamal","Hsiao, Michael S."],"dc:contributor.department":["Electrical and Computer Engineering"],"dc:creator":["Deshpande, Amol Anant"],"dc:date.accessioned":["2014-03-14T20:35:42Z"],"dc:date.available":["2014-03-14T20:35:42Z","2010-06-01"],"dc:date.issued":["2010-05-04"],"dc:description.abstract":["DARPA's neXt Generation (XG) communication program proposes the use of Dynamic Spectrum Access (DSA) wherein intelligent radios can realize opportunistic usage of frequency bands by identifying the under-utilized spectrum and reasoning about it. Implementing such a flexible scheme requires changes in the current static spectrum management approach. As a result, declarative spectrum management through policy-based dynamic spectrum access has garnered significant attention recently. Policy-based dynamic spectrum access decouples the Spectrum Access Policies and Policy Processing Components from the Radio Platform. The Policies define conditions under which the radios are allowed to transmit in terms of frequencies used, geographic locations, time etc. The Policy Processing Components include a reasoning engine called the Policy Reasoner, which is responsible for enforcing these policies. This thesis describes the design and implementation of a novel policy reasoner called Bi- nary Decision Diagram based Reasoner for processing Spectrum Access Policies (BRESAP). BRESAP processes spectrum policies efficiently by reframing the policy reasoning problem as a graph based Boolean function manipulation problem. BRESAP uses Binary Decision Diagrams (BDDs) to represent, analyze and process the policies. It uses a set of efficient graph-theoretic algorithms to merge these policies into a single meta-policy and compute opportunity constraints. Our policy reasoner has the capability to respond to invalid and under-specified transmission requests sent by the System Strategy Reasoner (SSR). In case of invalid or under-specified transmission requests, BRESAP returns a set of opportunity constraints which inform the SSR of the changes needed to the transmission parameters in order to make them conform to the policies. We also propose three algorithms for computing the opportunity constraints. The complexity of the first algorithm is proportional to the number of variables in the metapolicy BDD, while the complexities of the second and third algorithms are proportional to sum of number of variables and the size (i.e., number of nodes) of the meta-policy BDD."],"dc:description.degree":["Master of Science"],"dc:identifier.other":["etd-05082010-161920"],"dc:identifier.uri":["http://hdl.handle.net/10919/32396"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:subject":["Spectrum Access Policies","Policy Reasoning","Cognitive Radios"],"dc:title":["Policy Reasoning for Spectrum Agile Radios"],"dc:type":["Thesis"],"thesis:degree_discipline":["Electrical and Computer Engineering"],"thesis:degree_level":["masters"],"thesis:degree_name":["Master of Science"],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:19:24Z"}