{"id":"https://openalex.org/W7225812730","doi":"https://doi.org/10.5281/zenodo.24122503","title":"CS-Sched: Certified-Optimal Host-Layer Scheduling for Multi-Target BLE Channel Sounding Networks","display_name":"CS-Sched: Certified-Optimal Host-Layer Scheduling for Multi-Target BLE Channel Sounding Networks","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225812730","doi":"https://doi.org/10.5281/zenodo.24122503"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24122503","doi":"https://doi.org/10.5281/zenodo.24122503","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24122503","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24122503","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5161389387","display_name":"Lei Lv","orcid":"https://orcid.org/0009-0000-1583-0785","observed_orcids":["https://orcid.org/0009-0000-1583-0785"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lv, Lei","raw_affiliation_strings":["EdgeBeeX AI Research, Fenglei Artificial Intelligence Technology Co., Ltd., Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0000-1583-0785","affiliations":[{"raw_affiliation_string":"EdgeBeeX AI Research, Fenglei Artificial Intelligence Technology Co., Ltd., Shanghai, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5161389387"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.8270999789237976,"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"}},"topics":[{"id":"https://openalex.org/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.8270999789237976,"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/T11158","display_name":"Wireless Networks and Protocols","score":0.03460000082850456,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.023099999874830246,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7789999842643738},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5587999820709229},{"id":"https://openalex.org/C71901391","wikidata":"https://www.wikidata.org/wiki/Q7126699","display_name":"Upload","level":2,"score":0.43140000104904175},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4147000014781952},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.4034999907016754},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4009999930858612},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.3458000123500824},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3391999900341034},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.328900009393692},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3149999976158142},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3057999908924103},{"id":"https://openalex.org/C55416958","wikidata":"https://www.wikidata.org/wiki/Q6206757","display_name":"Job shop scheduling","level":3,"score":0.3010999858379364},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.2870999872684479},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C68781425","wikidata":"https://www.wikidata.org/wiki/Q2052203","display_name":"Multi-objective optimization","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C22684755","wikidata":"https://www.wikidata.org/wiki/Q847526","display_name":"Queueing theory","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24122503","doi":"https://doi.org/10.5281/zenodo.24122503","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24122503","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24122504","doi":"https://doi.org/10.5281/zenodo.24122504","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24122504","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24122503","doi":"https://doi.org/10.5281/zenodo.24122503","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24122503","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,133],"is":[1,63,76,91,99,223,237],"the":[2,11,42,84,100,137,141,218,240,254,260,264],"PREPRINT":[3],"of":[4,14,263],"a":[5,24,87,123,230],"manuscript":[6],"currently":[7],"under":[8],"review":[9],"at":[10],"IEEE":[12],"Internet":[13],"Things":[15],"Journal":[16],"(Manuscript":[17],"ID:":[18],"IoT-78244-2026).":[19],"The":[20,60],"paper":[21],"presents":[22],"CS-Sched,":[23],"host-layer":[25],"scheduling":[26,62,104,131],"framework":[27,105],"for":[28,127],"multi-target":[29,102,129],"BLE":[30,43],"Channel":[31],"Sounding":[32],"that":[33],"requires":[34],"no":[35,39],"Controller":[36],"modification":[37],"and":[38,56,68,86,117,175,180,194,229],"departure":[40],"from":[41,217],"ecosystem:":[44],"PAwR":[45],"slot":[46],"containers,":[47],"KW47-derived":[48],"timing":[49],"admission":[50],"control,":[51],"disjoint":[52],"tone-interleaved":[53],"channel":[54],"partitions,":[55],"deterministic":[57],"intra-subevent":[58],"TDMA.":[59],"per-round":[61],"formulated":[64],"as":[65,122,239],"discrete":[66],"optimization":[67],"solved":[69],"exactly":[70],"with":[71,93,253],"an":[72,114,150],"SMT":[73,115],"solver;":[74],"optimality":[75,163],"certified":[77,165],"per":[78,111],"instance":[79,112],"by":[80,113,246],"UNSAT":[81],"verdicts":[82],"below":[83],"optimum,":[85],"latency-measurement-budget":[88],"Pareto":[89,186,203],"front":[90],"computed":[92],"per-point":[94],"certificates.":[95],"To":[96],"our":[97],"knowledge,":[98],"first":[101],"CS":[103,130],"whose":[106],"feasibility":[107],"conditions":[108,121],"are":[109,215],"certifiable":[110],"solver,":[116,187],"we":[118],"present":[119],"these":[120],"candidate":[124],"conformance":[125],"criterion":[126],"future":[128],"profiles.":[132],"upload":[134],"contains:":[135],"(1)":[136],"preprint":[138],"PDF;":[139],"(2)":[140],"LaTeX":[142],"source":[143],"package":[144],"(main.tex,":[145],"IEEEtran.cls,":[146],"all":[147],"figures);":[148],"(3)":[149],"English":[151],"verification":[152],"report":[153],"(SCHED-001~011,":[154],"including":[155],"protocol-level":[156],"execution":[157],"timing,":[158],"collision-pressure":[159],"ranging":[160],"degradation,":[161],"Z3":[162,200],"certificates,":[164],"Pto":[166],"front,":[167,204],"digital-key":[168],"scenario":[169],"capacity,":[170],"Goodix":[171],"GR5410":[172],"cross-platform":[173],"evaluation,":[174],"release":[176],"review);":[177],"(4)":[178],"simulation":[179],"solver":[181],"scripts":[182],"(Z3":[183],"optimal":[184,201],"scheduling,":[185],"deployment":[188,211],"checker,":[189],"MATLAB":[190],"KW47":[191,227],"digital":[192,232],"twin);":[193],"(5)-readable":[195],"validation":[196,236],"logs":[197],"(scale":[198],"sweep,":[199],"summary,":[202,210],"vehicle":[205],"scenarios,":[206],"collision":[207],"ranging,":[208],"twin":[209],"check).":[212],"All":[213],"results":[214],"reproducible":[216],"released":[219],"parameter":[220],"set.":[221],"Validation":[222],"anchored":[224],"on":[225],"point-to-point":[226],"measurements":[228],"hardware-parameterized":[231],"twin;":[233],"multi-board":[234],"end-to-end":[235],"identified":[238],"immediate":[241],"next":[242],"step.":[243],"Upon":[244],"acceptance":[245],"IEEE,":[247],"this":[248],"record":[249],"will":[250],"be":[251],"updated":[252],"accepted's":[255],"DOI":[256],"and,":[257],"where":[258],"required,":[259],"accepted":[261],"version":[262],"manuscript.":[265],"License:":[266],"Documentation":[267],"CC":[268],"BY":[269],"4.0;":[270],"Scripts":[271],"MIT.":[272]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}