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...

Full description

Bibliographic Details

Published in:	IEEE transactions on aerospace and electronic systems Vol. 58; no. 2; pp. 1462 - 1479
Main Authors:	Chen, Xiaoyu, Song, Zhiming, Dai, Guangming, Wang, Maocai, Ortore, Emiliano, Circi, Christian
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.04.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!