{"id":"https://openalex.org/W7139921697","doi":"https://doi.org/10.1109/tac.2026.3676316","title":"Data-Driven Control of Large-Scale Networks With Formal Guarantees: A Small-Gain-Free Approach","display_name":"Data-Driven Control of Large-Scale Networks With Formal Guarantees: A Small-Gain-Free Approach","publication_year":2026,"publication_date":"2026-03-20","ids":{"openalex":"https://openalex.org/W7139921697","doi":"https://doi.org/10.1109/tac.2026.3676316"},"language":null,"primary_location":{"id":"doi:10.1109/tac.2026.3676316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2026.3676316","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Behrad Samari","orcid":"https://orcid.org/0009-0009-2026-2941"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Behrad Samari","raw_affiliation_strings":["Newcastle University"],"raw_orcid":"https://orcid.org/0009-0009-2026-2941","affiliations":[{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Amy Nejati","orcid":"https://orcid.org/0000-0002-9065-1282"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Amy Nejati","raw_affiliation_strings":["Newcastle University"],"raw_orcid":"https://orcid.org/0000-0002-9065-1282","affiliations":[{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":null,"display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["Newcastle University"],"raw_orcid":"https://orcid.org/0000-0003-4993-3170","affiliations":[{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3001898,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"71","issue":"8","first_page":"5318","last_page":"5333"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.31470000743865967,"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/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.31470000743865967,"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/T11347","display_name":"Neural Networks Stability and Synchronization","score":0.21160000562667847,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.11110000312328339,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5742999911308289},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.43050000071525574},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.3197000026702881},{"id":"https://openalex.org/keywords/process-control","display_name":"Process control","score":0.29440000653266907},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.2856000065803528}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.692300021648407},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5742999911308289},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.43050000071525574},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.33390000462532043},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.3197000026702881},{"id":"https://openalex.org/C155386361","wikidata":"https://www.wikidata.org/wiki/Q1649571","display_name":"Process control","level":3,"score":0.29440000653266907},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C167123822","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automatic control","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2727999985218048},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2689000070095062}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2026.3676316","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2026.3676316","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"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],"paper":[1],"offers":[2],"adata-driven":[3],"divide-and-conquerstrategy":[4],"to":[5,41,56,92,151,163,198],"analyze":[6],"large-scale":[7],"interconnected":[8],"networks,":[9],"characterized":[10],"by":[11,46,69],"both":[12],"unknown":[13,24,44,67,102,124,202,212],"mathematical":[14],"models":[15,76],"and":[16,34,104,126,211],"interconnection":[17,28,188,213],"topologies.":[18,214],"Our":[19],"data-driven":[20,106,172,196],"scheme":[21],"treats":[22],"an":[23,27,66,117,123],"network":[25,68,125,153],"as":[26],"of":[29,43,77,87,100,133,186,209],"individual":[30,78,134],"agents":[31,135,210],"(a.k.a.":[32],"subsystems)":[33],"aims":[35],"at":[36],"constructing":[37],"theirsymbolic":[38],"models,":[39],"referred":[40],"asdiscrete-domainrepresentations":[42],"agents,":[45],"collecting":[47],"data":[48],"from":[49,74],"their":[50],"trajectories.":[51],"The":[52],"primary":[53],"objective":[54],"is":[55],"synthesize":[57],"a":[58,94,110,206],"control":[59],"strategy":[60,160],"that":[61,157,170],"guarantees":[62],"desired":[63],"behaviors":[64],"over":[65],"employing":[70],"local":[71],"controllers,":[72],"derived":[73],"symbolic":[75,107,128],"agents.":[79],"To":[80],"achieve":[81],"this,":[82],"we":[83,114,155],"leverage":[84],"the":[85,97,141,152,164,178,187],"concept":[86],"alternating":[88,118],"sub-bisimulation":[89],"function":[90,120],"(ASBF)":[91],"establish":[93,116],"relation":[95],"between":[96,122],"state":[98],"trajectories":[99],"each":[101],"agent":[103],"its":[105,127,191],"model.":[108],"Under":[109],"newly":[111],"developeddata-driven":[112],"compositionalcondition,":[113],"then":[115],"bisimulation":[119],"(ABF)":[121],"model":[129],"based":[130],"on":[131],"ASBFs":[132],"while":[136],"providing":[137],"correctness":[138],"guarantees.":[139],"Despite":[140],"sample":[142],"complexity":[143],"in":[144],"monolithic":[145],"studies":[146],"being":[147],"exponential":[148],"with":[149,204],"respect":[150],"size,":[154],"demonstrate":[156],"our":[158,171,195],"divide-and-conquer":[159],"reduces":[161],"it":[162],"subsystem":[165],"level.":[166],"We":[167,193],"also":[168],"showcase":[169],"compositional":[173],"condition":[174],"does":[175],"not":[176],"necessitate":[177],"traditional":[179],"small-gain":[180],"condition,":[181],"which":[182],"demands":[183],"precise":[184],"knowledge":[185],"topology":[189],"for":[190],"fulfillment.":[192],"apply":[194],"findings":[197],"three":[199],"benchmarks":[200],"comprising":[201],"networks":[203],"anarbitrary,":[205],"priori":[207],"undefinednumber":[208]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2026-03-07T00:00:00"}