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

Saved in:

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!

Abstract	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.
AbstractList	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.
Author	Song, Zhiming Ortore, Emiliano Dai, Guangming Circi, Christian Chen, Xiaoyu Wang, Maocai
Author_xml	– sequence: 1 givenname: Xiaoyu orcidid: 0000-0002-4588-8475 surname: Chen fullname: Chen, Xiaoyu email: xiaoyu.chen@cug.edu.cn organization: China University of Geosciences, Wuhan, China – sequence: 2 givenname: Zhiming orcidid: 0000-0002-9045-8933 surname: Song fullname: Song, Zhiming email: songzm@cug.edu.cn organization: China University of Geosciences, Wuhan, China – sequence: 3 givenname: Guangming orcidid: 0000-0002-1787-3794 surname: Dai fullname: Dai, Guangming email: cugdgm@126.com organization: China University of Geosciences, Wuhan, China – sequence: 4 givenname: Maocai surname: Wang fullname: Wang, Maocai email: cugwangmc@126.com organization: China University of Geosciences, Wuhan, China – sequence: 5 givenname: Emiliano orcidid: 0000-0002-4221-255X surname: Ortore fullname: Ortore, Emiliano email: emiliano.ortore@uniroma1.it organization: Sapienza University of Rome, Rome, Italy – sequence: 6 givenname: Christian orcidid: 0000-0002-6669-7010 surname: Circi fullname: Circi, Christian email: christian.circi@uniroma1.it organization: Sapienza University of Rome, Rome, Italy
BookMark	eNp9UU1LAzEUDFLBtvoDxEvA89Z8bXZzXEpbhYpg6zmku281ZbupyVbovzdriwcPnmYeb-YxzBuhQetaQOiWkgmlRD2si9lqwgijE04ZZ1xeoCFN0yxRkvABGhJC80SxlF6hUQjbOIpc8CF6LfACWvCmwXPndxGeoftwFa6dx8-mtbVrKjx1X1HyDrhoTXMMNmBX45XpoGlsB3Hdhp6bzkZ2jS5r0wS4OeMYvc1n6-ljsnxZPE2LZVIyxbukyutU0g2plQAGVV4ZUYkqM1KZdCMzJRhwkZm8zDcplwZyKilPOS2NMNQwzsfo_nR3793nAUKnt-7gY8CgmRQqU4RKEVXZSVV6F4KHWpe2-wnaeWMbTYnuC9R9gbovUJ8LjE76x7n3dmf88V_P3cljAeBX3_9AqZx_A8ytfRU
CODEN	IEARAX
CitedBy_id	crossref_primary_10_1109_JIOT_2025_3567557 crossref_primary_10_1109_TAES_2024_3409681 crossref_primary_10_1109_TAES_2023_3337066 crossref_primary_10_1051_jnwpu_20254330536 crossref_primary_10_1007_s42423_024_00165_z crossref_primary_10_1109_JSTARS_2025_3574518 crossref_primary_10_3390_electronics14132715 crossref_primary_10_1016_j_asr_2023_08_032 crossref_primary_10_1007_s10291_022_01295_3 crossref_primary_10_1109_TAES_2023_3289479 crossref_primary_10_1109_TAES_2022_3213022 crossref_primary_10_1109_TAES_2025_3556981 crossref_primary_10_1016_j_asr_2025_01_011 crossref_primary_10_1109_TAES_2023_3287155 crossref_primary_10_1109_LGRS_2024_3379170
Cites_doi	10.1109/AERO.2014.6836307 10.2514/1.g001254 10.1016/j.actaastro.2016.06.001 10.1007/s11431-016-0513-8 10.1016/j.ast.2014.04.010 10.1109/TAES.2009.5089555 10.1109/49.345874 10.1109/TAES.1980.308932 10.1109/LCOMM.2012.031912.112323 10.1016/j.rse.2011.12.027 10.2514/1.35369 10.1016/j.cor.2014.11.004 10.1007/s11767-011-0581-1 10.1016/j.jsse.2017.07.003 10.2514/1.A34657 10.2514/1.A33826 10.1109/TAES.2019.2947978 10.1016/j.actaastro.2012.04.037 10.1016/j.ast.2020.105750 10.1016/j.ast.2019.105377 10.1016/j.cad.2016.07.013 10.2514/1.44120 10.1155/2018/5097324 10.1109/JPROC.2011.2158766 10.1007/s10604-005-0036-2 10.1109/ACCESS.2018.2864181 10.1016/j.ast.2015.11.003 10.1007/s10509-014-1939-2 10.1109/TAES.2015.140674 10.2514/3.20047 10.1016/j.ast.2017.07.006 10.1117/12.899746 10.1016/j.asoc.2018.04.021 10.1016/j.ast.2020.105910 10.1109/ICACT.2008.4494077 10.1016/j.phpro.2012.05.183 10.1007/s42064-017-0015-4 10.1016/j.ast.2019.04.007
ContentType	Journal Article
Copyright	Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2022
Copyright_xml	– notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2022
DBID	97E RIA RIE AAYXX CITATION 7SP 7TB 8FD FR3 H8D L7M
DOI	10.1109/TAES.2021.3123236
DatabaseName	IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Technology Research Database Engineering Research Database Aerospace Database Advanced Technologies Database with Aerospace
DatabaseTitle	CrossRef Aerospace Database Engineering Research Database Technology Research Database Mechanical & Transportation Engineering Abstracts Advanced Technologies Database with Aerospace Electronics & Communications Abstracts
DatabaseTitleList	Aerospace Database
Database_xml	– sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering
EISSN	1557-9603
EndPage	1479
ExternalDocumentID	10_1109_TAES_2021_3123236 9603998
Genre	orig-research
GrantInformation_xml	– fundername: Opening Fund of Key Laboratory of Geological Survey and Evaluation of the Ministry of Education grantid: GLAB2019ZR04 – fundername: National Natural Science Foundation of China grantid: 41571403; 62006214 funderid: 10.13039/501100001809 – fundername: Chinese Aeronautical Establishment; Aeronautical Science Fund grantid: 2018ZCZ2002 funderid: 10.13039/501100012130 – fundername: Open Research Project of the Hubei Key Laboratory of Intelligent Geo-Information Processing grantid: KLIGIP-2018B06; KLIGIP-2019B07 – fundername: 13th Five-Year Pre-research Project of Civil Aerospace in China – fundername: China Postdoctoral Science Foundation grantid: 2019TQ0291 funderid: 10.13039/501100002858
GroupedDBID	-~X 0R~ 29I 4.4 41~ 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P H~9 IAAWW IBMZZ ICLAB IFIPE IFJZH IPLJI JAVBF LAI M43 OCL P2P RIA RIE RNS TN5 VH1 AAYXX CITATION 7SP 7TB 8FD FR3 H8D L7M
ID	FETCH-LOGICAL-c293t-d8f561b0f94e2ed8da4d4d7a69a5b67942e347a8c8b536ae81613531ca4a1a233
IEDL.DBID	RIE
ISICitedReferencesCount	15
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000782444700053&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0018-9251
IngestDate	Mon Jun 30 10:09:38 EDT 2025 Sat Nov 29 01:51:32 EST 2025 Tue Nov 18 20:53:17 EST 2025 Wed Aug 27 02:40:46 EDT 2025
IsPeerReviewed	true
IsScholarly	true
Issue	2
Language	English
License	https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html https://doi.org/10.15223/policy-029 https://doi.org/10.15223/policy-037
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c293t-d8f561b0f94e2ed8da4d4d7a69a5b67942e347a8c8b536ae81613531ca4a1a233
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-1787-3794 0000-0002-6669-7010 0000-0002-4221-255X 0000-0002-4588-8475 0000-0002-9045-8933
PQID	2649790164
PQPubID	85477
PageCount	18
ParticipantIDs	crossref_citationtrail_10_1109_TAES_2021_3123236 ieee_primary_9603998 proquest_journals_2649790164 crossref_primary_10_1109_TAES_2021_3123236
PublicationCentury	2000
PublicationDate	2022-04-01
PublicationDateYYYYMMDD	2022-04-01
PublicationDate_xml	– month: 04 year: 2022 text: 2022-04-01 day: 01
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	IEEE transactions on aerospace and electronic systems
PublicationTitleAbbrev	T-AES
PublicationYear	2022
Publisher	IEEE The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml	– name: IEEE – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References	ref13 ref35 ref12 ref34 ref15 ref37 ref14 ref36 Walker (ref39) 1971; 24 Wertz (ref1) 1999 ref31 ref30 ref11 ref33 ref10 ref32 ref2 ref17 ref16 ref38 ref18 ref24 ref23 ref26 ref25 ref20 ref42 ref41 ref22 ref21 ref28 ref27 Morrison (ref19) 1973 ref29 ref8 ref7 ref9 ref4 ref3 ref6 ref5 Walker (ref40) 1982
References_xml	– ident: ref15 doi: 10.1109/AERO.2014.6836307 – ident: ref27 doi: 10.2514/1.g001254 – ident: ref28 doi: 10.1016/j.actaastro.2016.06.001 – ident: ref37 doi: 10.1007/s11431-016-0513-8 – ident: ref42 doi: 10.1016/j.ast.2014.04.010 – ident: ref5 doi: 10.1109/TAES.2009.5089555 – ident: ref33 doi: 10.1109/49.345874 – volume-title: Space Mission Analysis and Design (SMAD III) year: 1999 ident: ref1 – ident: ref23 doi: 10.1109/TAES.1980.308932 – ident: ref32 doi: 10.1109/LCOMM.2012.031912.112323 – volume: 24 start-page: 369 year: 1971 ident: ref39 article-title: Some circular orbit patterns providing continuous whole earth coverage publication-title: J. Brit. Interplanetary Soc. – ident: ref3 doi: 10.1016/j.rse.2011.12.027 – ident: ref26 doi: 10.2514/1.35369 – ident: ref8 doi: 10.1016/j.cor.2014.11.004 – ident: ref20 doi: 10.1007/s11767-011-0581-1 – ident: ref36 doi: 10.1016/j.jsse.2017.07.003 – ident: ref18 doi: 10.2514/1.A34657 – ident: ref30 doi: 10.2514/1.A33826 – ident: ref12 doi: 10.1109/TAES.2019.2947978 – ident: ref16 doi: 10.1016/j.actaastro.2012.04.037 – ident: ref31 doi: 10.1016/j.ast.2020.105750 – ident: ref13 doi: 10.1016/j.ast.2019.105377 – ident: ref14 doi: 10.1016/j.cad.2016.07.013 – ident: ref25 doi: 10.2514/1.44120 – ident: ref41 doi: 10.1155/2018/5097324 – ident: ref21 doi: 10.1109/JPROC.2011.2158766 – ident: ref24 doi: 10.1007/s10604-005-0036-2 – ident: ref22 doi: 10.1109/ACCESS.2018.2864181 – ident: ref38 doi: 10.1016/j.ast.2015.11.003 – ident: ref29 doi: 10.1007/s10509-014-1939-2 – ident: ref9 doi: 10.1109/TAES.2015.140674 – ident: ref34 doi: 10.2514/3.20047 – ident: ref6 doi: 10.1016/j.ast.2017.07.006 – ident: ref2 doi: 10.1117/12.899746 – year: 1982 ident: ref40 article-title: Coverage predictions and selection criteria for satellite constellations – ident: ref10 doi: 10.1016/j.asoc.2018.04.021 – ident: ref7 doi: 10.1016/j.ast.2020.105910 – ident: ref35 doi: 10.1109/ICACT.2008.4494077 – ident: ref4 doi: 10.1016/j.phpro.2012.05.183 – ident: ref17 doi: 10.1007/s42064-017-0015-4 – year: 1973 ident: ref19 article-title: A system of sixteen synchronous satellites for worldwise navigation and surveillance – ident: ref11 doi: 10.1016/j.ast.2019.04.007
SSID	ssj0014843
Score	2.4403956
Snippet	This article studies the problem of analyzing the coverage capacity of satellite constellations with respect to ground regions. The coverage characteristics...
SourceID	proquest crossref ieee
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	1462
SubjectTerms	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
Title	A General Formal Method for Manifold Coverage Analysis of Satellite Constellations
URI	https://ieeexplore.ieee.org/document/9603998 https://www.proquest.com/docview/2649790164
Volume	58
WOSCitedRecordID	wos000782444700053&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1557-9603 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0014843 issn: 0018-9251 databaseCode: RIE dateStart: 19650101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEB1q8aAHv6pYrZKDJ3HtbrIfybGUFg-2iK3Q25JNslAorbRbf7-TNK2CInjLIYEls5P3ZjJ5A3DHYo04EspAFjZbxXgZCCaSALE_K6hOeSRd15LnbDjkk4l4qcHD7i2MMcYVn5lHO3R3-Xqh1jZV1ka2jXjK92Avy9LNW63djUHMfYVchA6MoO1vMKNQtMed3ggjQRphgIoEwqkxf2GQa6ry4yR28NI__t-HncCRp5Gks7H7KdTM_AwOv4kLNuC1Q7ymNOlbYjojA9ctmiBNJQM5n5aLmSZdW8KJZwrZqpOQRUlG0ul0VobYfp52vMnrncNbvzfuPgW-g0KgEMarQPMS-VERliI21GiuZaxjnclUyKRI0RWpYXEmueJFwlJpOPI_hl6pZCwjSRm7gPp8MTeXQBD3VcJFSVOj0M-tEl5UCFWyklITm6QJ4XZPc-XlxW2Xi1nuwoxQ5NYMuTVD7s3QhPvdkveNtsZfkxt233cT_ZY3obU1XO69b5UjyROZsOJhV7-vuoYDap8xuAqcFtSr5drcwL76qKar5a37sT4BI4PI6Q
linkProvider	IEEE
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB58gXrwLdZnDp7EtbtJdjc5lmJRbItohd6WbJKFQmmlVn-_kzStgiJ4yyGBJbOT75vJ5BuAS8YN4kisIlW6bBUTVSSZTCPE_rykJhOJ8l1L2nm3K_p9-bgE14u3MNZaX3xmb9zQ3-WbsX53qbI6sm3EU7EMqynnNJ691lrcGXARauQSdGGE7XCHmcSy3mvcPmMsSBMMUZFCeD3mLxTybVV-nMUeYFrb__u0HdgKRJI0ZpbfhSU72oPNb_KC-_DUIEFVmrQcNR2Sju8XTZCoko4aDarx0JCmK-LEU4XM9UnIuCLPyit1Ti1xHT3deJbZO4CX1m2veReFHgqRRiCfRkZUyJDKuJLcUmuEUdxwk6tMqrTM0BmpZTxXQosyZZmyAhkgQ7_UiqtEUcYOYWU0HtkjIIj8OhWyopnV6OlOCy8ppa5YRanlNq1BPN_TQgeBcdfnYlj4QCOWhTND4cxQBDPU4Gqx5HWmrvHX5H2374uJYctrcDo3XBH8761Amidz6eTDjn9fdQHrd71Ou2jfdx9OYIO6Rw2-HucUVqaTd3sGa_pjOnibnPuf7BPCSMww
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+General+Formal+Method+for+Manifold+Coverage+Analysis+of+Satellite+Constellations&rft.jtitle=IEEE+transactions+on+aerospace+and+electronic+systems&rft.au=Chen%2C+Xiaoyu&rft.au=Song%2C+Zhiming&rft.au=Dai%2C+Guangming&rft.au=Wang%2C+Maocai&rft.date=2022-04-01&rft.issn=0018-9251&rft.eissn=1557-9603&rft.volume=58&rft.issue=2&rft.spage=1462&rft.epage=1479&rft_id=info:doi/10.1109%2FTAES.2021.3123236&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_TAES_2021_3123236
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9251&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9251&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9251&client=summon