Projects per year
Abstract
Cellular networks are vital for emerging applications like the Metaverse, which impose demanding quality and quantity requirements. This necessitates frequent reconfiguration of both new and existing base stations to balance network service quality (e.g., ultra-low latency and high bandwidth) and resource consumption. Existing data-driven configuration methods learn from historical data, but have two key limitations. First, they yield only approximate solutions, lacking precision. Second, poor bootstrapping for new base stations with previously unobserved attributes. In this paper, we pioneer intent-driven configuration synthesis by designing an intent language and utilizing satisfiability modulo theory (SMT) for cellular networks to enable exact and precise solutions. We formulate synthesis as an SMT problem, permitting verification of precision. First, we cast configuration generation as a program synthesis problem via novel modeling to bridge the intent-configuration gap. Second, we extend SMT synthesis to scale to large networks. However, vanilla SMT approaches have poor scalability. Hence, we propose an optimization using sampling for constraint verification instead of exhaustive forward solving. We also design a domain-specific optimization to prune the sample space and improve efficiency. Experiments on various network scales demonstrate the effectiveness of our proposed SMT-based cellular network configuration synthesis.
Original language | English |
---|---|
Article number | 10368062 |
Pages (from-to) | 658-668 |
Number of pages | 11 |
Journal | IEEE Journal on Selected Areas in Communications |
Volume | 42 |
Issue number | 3 |
Early online date | 21 Dec 2023 |
DOIs | |
Publication status | Published - Mar 2024 |
Bibliographical note
Publisher Copyright:© 2023 IEEE.
Keywords
- Intent-based network
- cellular configuration
- metaverse
- program synthesis
Fingerprint
Dive into the research topics of 'Human-Intent-Driven Cellular Configuration Generation Using Program Synthesis'. Together they form a unique fingerprint.Projects
- 2 Active
-
Knowledge Graph-based Recommendation Framework for Manual Network Configuration
SHEN, J. (PI)
1/05/23 → 30/04/25
Project: Grant Research
-
Balancing User Privacy and Data Utility in Mobile Crowdsensing
SHEN, J. (PI)
27/03/23 → 26/03/26
Project: Grant Research