3 research outputs found
Recommended from our members
Optimal Data Scheduling of Clients Serviced using Beamforming Antennas in Mobile Scenarios
The use of beamforming antennas has received significant attention over the last decade. I consider beamforming applied to dynamic operations such as networked UAV hubs which interconnect with users on the ground. The key problem involves understanding how to optimally manage the users' data requirements while considering mobility and a dynamic radio environment serviced by one or more hubs with beamforming antenna capability.
In this work I break the problem down into scheduling, tracking and ultimately execution. I develop a regularized linear programming based scheduling algorithm along with developing a very efficient scheduling with uncertainty receding horizon based relaxation and implement them along with a capacity tracking estimation algorithm. Finally I show the results of successfully implementing this system in hardware using Fidelity Comtech's Phocus Array FCI-3100X.
This implementation shows that the problem overview presented in this work provides a solid basis and defines the key components needed for a reliable electronic beamforming antenna system able to successfully service dispersed users in a mobile environment. It also shows the tools developed, refined, and integrated with respect to tracking, scheduling, and practical modifications
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing