A General Formal Method for Manifold Coverage Analysis of Satellite Constellations

This article studies the problem of analyzing the coverage capacity of satellite constellations with respect to ground regions. The coverage characteristics and formulations are first investigated, and a corresponding symbol system is established. On this basis, the coverage state function and the c...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on aerospace and electronic systems Jg. 58; H. 2; S. 1462 - 1479
Hauptverfasser: Chen, Xiaoyu, Song, Zhiming, Dai, Guangming, Wang, Maocai, Ortore, Emiliano, Circi, Christian
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.04.2022
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
Algorithms
Boundary coverage function
coverage analysis
Earth
Earth observation
Formal method
Interpolation
Mathematical analysis
Orbits
parameter wildcard character (PWC)
satellite
Satellite constellations
Satellites
Strips
Upper bound
ISSN:0018-9251, 1557-9603
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This article studies the problem of analyzing the coverage capacity of satellite constellations with respect to ground regions. The coverage characteristics and formulations are first investigated, and a corresponding symbol system is established. On this basis, the coverage state function and the corresponding extension and intermediate modes for basic coverage analysis problems are defined. By introducing the parameter wildcard characters, the properties of three basic spatial and temporal factors are described. An integrated coverage theory system is constructed accordingly to formalize the general coverage analysis problems in a uniform way, which is versatile and works on representing any type of coverage analysis problems. Additionally, in accordance with the properties of the coverage theory, a boundary function is proposed. The corresponding algorithm framework is also constructed for the calculation of complicated practical coverage analysis problems. Experiments simulating different types of coverage analysis problems are carried out, and results reveal the correctness and the effectiveness of the proposed coverage theory system and algorithm framework.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0018-9251
1557-9603
DOI:10.1109/TAES.2021.3123236