{"id":"https://openalex.org/W4417356256","doi":"https://doi.org/10.1016/j.array.2026.100966","title":"A Generic Algorithm for Universal TDM Communication Over Inter-Satellite Links: Foundations, Verification, and Practice","display_name":"A Generic Algorithm for Universal TDM Communication Over Inter-Satellite Links: Foundations, Verification, and Practice","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4417356256","doi":"https://doi.org/10.1016/j.array.2026.100966"},"language":"en","primary_location":{"id":"doi:10.1016/j.array.2026.100966","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.array.2026.100966","pdf_url":null,"source":{"id":"https://openalex.org/S4210194039","display_name":"Array","issn_l":"2590-0056","issn":["2590-0056"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Array","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.array.2026.100966","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074956004","display_name":"Miroslav Popovi\u0107","orcid":"https://orcid.org/0000-0001-8385-149X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miroslav Popovic","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Miroslav Popovic","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Miroslav Popovic","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120598762","display_name":"Pavle Vasiljevic","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pavle Vasiljevic","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102991154","display_name":"Marko Popovi\u0107","orcid":"https://orcid.org/0000-0002-1957-0092"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marko Popovic","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102991154","display_name":"Marko Popovi\u0107","orcid":"https://orcid.org/0000-0002-1957-0092"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Marko Popovic","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090392712","display_name":"Miodrag Djuki\u0107","orcid":"https://orcid.org/0000-0001-7563-3820"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miodrag Djukic","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"David Enr\u00edquez","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Enr\u00edquez","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Giovanni Granato","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giovanni Granato","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5120814123","display_name":"Borja Cires","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Borja Cires","raw_affiliation_strings":["Independent  - affiliation not provided to SSRN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent  - affiliation not provided to SSRN","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5102991154"],"corresponding_institution_ids":[],"apc_list":{"value":1350,"currency":"USD","value_usd":1350},"apc_paid":{"value":1350,"currency":"USD","value_usd":1350},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.47309474,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":null,"first_page":"100966","last_page":"100966"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12042","display_name":"Satellite Communication Systems","score":0.5512999892234802,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12042","display_name":"Satellite Communication Systems","score":0.5512999892234802,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11896","display_name":"Opportunistic and Delay-Tolerant Networks","score":0.05009999871253967,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13553","display_name":"Age of Information Optimization","score":0.03189999982714653,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/swarm-behaviour","display_name":"Swarm behaviour","score":0.7005000114440918},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.5544000267982483},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.5540000200271606},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.5393999814987183},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.33410000801086426},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.32420000433921814},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.31779998540878296}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7846999764442444},{"id":"https://openalex.org/C181335050","wikidata":"https://www.wikidata.org/wiki/Q14915018","display_name":"Swarm behaviour","level":2,"score":0.7005000114440918},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.588699996471405},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.5544000267982483},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.5540000200271606},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.5393999814987183},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.33410000801086426},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31949999928474426},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31470000743865967},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.30979999899864197},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.30820000171661377},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C119487961","wikidata":"https://www.wikidata.org/wiki/Q863960","display_name":"Swarm intelligence","level":3,"score":0.2777000069618225},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.251800000667572}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.array.2026.100966","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.array.2026.100966","pdf_url":null,"source":{"id":"https://openalex.org/S4210194039","display_name":"Array","issn_l":"2590-0056","issn":["2590-0056"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Array","raw_type":"journal-article"},{"id":"doi:10.2139/ssrn.5927963","is_oa":true,"landing_page_url":"https://doi.org/10.2139/ssrn.5927963","pdf_url":null,"source":{"id":"https://openalex.org/S4210172589","display_name":"SSRN Electronic Journal","issn_l":"1556-5068","issn":["1556-5068"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1318003438","host_organization_name":"RELX Group (Netherlands)","host_organization_lineage":["https://openalex.org/I1318003438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.1016/j.array.2026.100966","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.array.2026.100966","pdf_url":null,"source":{"id":"https://openalex.org/S4210194039","display_name":"Array","issn_l":"2590-0056","issn":["2590-0056"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Array","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W35868996","https://openalex.org/W1515421996","https://openalex.org/W1544621933","https://openalex.org/W1582964729","https://openalex.org/W1882160752","https://openalex.org/W2000586259","https://openalex.org/W2003258198","https://openalex.org/W2150189917","https://openalex.org/W2170133746","https://openalex.org/W2504928731","https://openalex.org/W2889305479","https://openalex.org/W2899195795","https://openalex.org/W3006825821","https://openalex.org/W4296471858","https://openalex.org/W4362711544","https://openalex.org/W4383888714","https://openalex.org/W4386260517","https://openalex.org/W4389095818","https://openalex.org/W4389610778","https://openalex.org/W4390481807","https://openalex.org/W4402892299","https://openalex.org/W4403636806","https://openalex.org/W4405179112","https://openalex.org/W4406014527","https://openalex.org/W4406014591","https://openalex.org/W4410256338","https://openalex.org/W4415756881","https://openalex.org/W4416190293","https://openalex.org/W4416236792","https://openalex.org/W7084119227"],"related_works":[],"abstract_inverted_index":{"The":[0,22,93],"emergence":[1],"of":[2,83,110,172,197,209,222,236],"new":[3],"swarm":[4,66,112,180],"architectures":[5],"and":[6,20,45,80,128,144,154,165,213],"next-generation":[7],"distributed":[8],"algorithms":[9,41,57,216],"utilizing":[10],"them":[11],"presents":[12,77],"a":[13,36,78,103,132,163,195,198,231],"substantial":[14],"challenge":[15],"for":[16,25,42,54,87,207,233],"ensuring":[17],"correctness,":[18],"robustness,":[19],"scalability.":[21],"Python":[23],"Testbed":[24],"Federated":[26],"Learning":[27],"Algorithms":[28],"(PTB-FLA),":[29],"developed":[30],"within":[31,91,102,176,194],"the":[32,84,121,160,173,177,189,219,223,234],"TaRDIS":[33,178],"project,":[34],"is":[35,205],"lightweight":[37],"framework":[38,232],"offering":[39],"generic":[40,85],"federated":[43,55],"learning":[44,56],"pairwise":[46,96],"TDM":[47,89],"communication.":[48],"Although":[49],"PTB-FLA":[50],"was":[51],"originally":[52],"conceived":[53],"development,":[58],"it":[59],"has":[60],"since":[61],"evolved":[62],"to":[63,137],"accommodate":[64],"decentralized":[65,111],"systems":[67,113],"that":[68,217],"require":[69],"trustworthy,":[70,237],"formally":[71],"verified":[72],"communication":[73,101,167],"mechanisms.":[74],"This":[75,118,203],"paper":[76],"unified":[79],"extended":[81],"study":[82,171],"algorithm":[86,94,161,190],"universal":[88],"communication,":[90],"PTB-FLA.":[92],"generalizes":[95],"exchanges":[97],"into":[98],"synchronous":[99],"multi-peer":[100],"single":[104],"timeslot,":[105],"enabling":[106],"flexible,":[107],"topology-independent":[108],"simulation":[109,196],"such":[114],"as":[115,162,230],"satellite":[116,179],"constellations.":[117],"work":[119],"outlines":[120],"algorithm\u2019s":[122,174],"foundations,":[123],"implementation,":[124],"CSP":[125],"formal":[126],"modeling,":[127],"extends":[129],"verification":[130],"from":[131],"static":[133],"clique":[134],"worst-case":[135],"scenario":[136],"dynamic":[138],"configurations,":[139],"featuring":[140],"link":[141,147],"failures,":[142],"recoveries,":[143],"evolving":[145],"inter-satellite":[146],"topologies.":[148],"Verification":[149],"results":[150],"demonstrate":[151],"both":[152],"safety":[153],"liveness":[155],"over":[156],"many":[157],"rounds,":[158],"establishing":[159],"trustworthy":[164],"robust":[166],"primitive.":[168],"A":[169],"case":[170,182],"usage":[175],"use":[181,224],"highlights":[183],"its":[184],"practical":[185],"impact,":[186],"showing":[187],"how":[188],"can":[191],"be":[192],"utilized":[193],"large,":[199],"dynamically":[200],"reconfiguring":[201],"constellation.":[202],"capability":[204],"essential":[206],"development":[208,235],"novel":[210],"orbit":[211],"determination":[212],"time":[214],"synchronization":[215],"are":[218],"main":[220],"goal":[221],"case,":[225],"reinforcing":[226],"PTB-FLA\u2019s":[227],"growing":[228],"role":[229],"correct-by-construction":[238],"systems.":[239]},"counts_by_year":[],"updated_date":"2026-07-04T07:58:01.006859","created_date":"2025-12-16T00:00:00"}