Cognitive Scheduling and Resource Allocation for Space to Ground Communication

This paper presents a mathematical model for a cognitive communication network applicable to satellite communications with ground stations. The model employs abstract elements to describe a communications network, allowing the approach to be applied to a wide range of real-world communications systems and problems. The model includes representation of communications paths, spacecraft capabilities, time-varying demand for data transfer, changes in visibility due to satellite motion, time-varying availability of channels, and regulatory constraints on the use of radio communication bands. These model elements permit the detailed description of the structure and constraints of a communications problem. The model establishes a formal definition for a communication schedule which assigns communications resources to specific communicators at specific times. The model also formalizes constraints on the interactions between communicators, establishing the definition of a valid schedule in which communications conflicts do not occur and the definition of a good schedule in which communications resources are used efficiently. The paper also presents a dynamic reasoning methodology which uses the model to allocate communications resources in response to changing network conditions and communications loads. Implementation of the reasoning process using Answer Set Programming is demonstrated, providing illustration of the practicality of the approach. The application of the model and methodology to an example satellite communication network is presented. Using this approach significantly improved performance with respect to static resource allocation is demonstrated.