{"id":"https://openalex.org/W4403635720","doi":"https://doi.org/10.1109/tac.2024.3484941","title":"Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems","display_name":"Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems","publication_year":2024,"publication_date":"2024-10-22","ids":{"openalex":"https://openalex.org/W4403635720","doi":"https://doi.org/10.1109/tac.2024.3484941"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2024.3484941","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3484941","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":"https://openalex.org/A5100699726","display_name":"Shuyuan Zhang","orcid":"https://orcid.org/0000-0001-5218-2668"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Shuyuan Zhang","raw_affiliation_strings":["ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium","ICTEAM Institute, UCLouvain, 4 Avenue Georges Lemaître, Louvain-la-Neuve, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-5218-2668","affiliations":[{"raw_affiliation_string":"ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"ICTEAM Institute, UCLouvain, 4 Avenue Georges Lemaître, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100435995","display_name":"Lei Wang","orcid":"https://orcid.org/0000-0002-7014-2149"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Wang","raw_affiliation_strings":["School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-7014-2149","affiliations":[{"raw_affiliation_string":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100781916","display_name":"Xue Bai","orcid":"https://orcid.org/0000-0001-9717-846X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bai Xue","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Key Laboratory of System Software, Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0001-9717-846X","affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Key Laboratory of System Software, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100682407","display_name":"Qing\u2010Guo Wang","orcid":"https://orcid.org/0000-0002-3672-3716"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qing-Guo Wang","raw_affiliation_strings":["Institute of AI and Future Networks, Beijing Normal University, Zhuhai, China"],"raw_orcid":"https://orcid.org/0000-0002-3672-3716","affiliations":[{"raw_affiliation_string":"Institute of AI and Future Networks, Beijing Normal University, Zhuhai, China","institution_ids":["https://openalex.org/I25254941"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9366,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77409361,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"70","issue":"3","first_page":"2059","last_page":"2065"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12216","display_name":"Network Time Synchronization Technologies","score":0.9778000116348267,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.9778000116348267,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9672999978065491,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9603999853134155,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/synchronization","display_name":"Synchronization (alternating current)","score":0.7130463719367981},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6953933835029602},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.60699063539505},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5596346259117126},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35302406549453735},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33654099702835083},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3177695870399475},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11180457472801208},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07422801852226257}],"concepts":[{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.7130463719367981},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6953933835029602},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.60699063539505},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5596346259117126},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35302406549453735},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33654099702835083},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3177695870399475},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11180457472801208},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07422801852226257},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2024.3484941","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2024.3484941","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":[{"id":"https://openalex.org/G5797492871","display_name":null,"funder_award_id":"62373060","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1496537269","https://openalex.org/W1864806140","https://openalex.org/W1974623415","https://openalex.org/W2038924143","https://openalex.org/W2044319005","https://openalex.org/W2045814149","https://openalex.org/W2053769764","https://openalex.org/W2071933225","https://openalex.org/W2073771170","https://openalex.org/W2086264532","https://openalex.org/W2113028215","https://openalex.org/W2119693819","https://openalex.org/W2131164291","https://openalex.org/W2142189574","https://openalex.org/W2148606196","https://openalex.org/W2164727176","https://openalex.org/W2312849699","https://openalex.org/W2344322259","https://openalex.org/W2536620281","https://openalex.org/W2568163574","https://openalex.org/W2571527988","https://openalex.org/W2903573018","https://openalex.org/W2913749991","https://openalex.org/W2947014877","https://openalex.org/W2963530480","https://openalex.org/W2976016439","https://openalex.org/W3005135630","https://openalex.org/W3007553590","https://openalex.org/W3028121073","https://openalex.org/W3036048687","https://openalex.org/W3047025538","https://openalex.org/W3122893061","https://openalex.org/W4293704732","https://openalex.org/W4309039927","https://openalex.org/W4312798071","https://openalex.org/W4394744756"],"related_works":["https://openalex.org/W3013085049","https://openalex.org/W1560496689","https://openalex.org/W1992739770","https://openalex.org/W4386900933","https://openalex.org/W4229058035","https://openalex.org/W3125672081","https://openalex.org/W2006389905","https://openalex.org/W4297797135","https://openalex.org/W2904666330","https://openalex.org/W2059217922"],"abstract_inverted_index":{"This":[0,104],"article":[1],"explores":[2],"the":[3,22,30,39,55,62,69,90,93,110,142],"automatic":[4,130],"verification":[5,95,131],"of":[6,32,58,112,132,144],"bounded":[7,52,81,133],"synchronization":[8,40,56,94],"for":[9,42],"heterogeneous":[10],"polynomial":[11,16,36,126],"networked":[12],"systems":[13],"(HPNSs)":[14],"with":[15,50,68,109],"coupling":[17],"function.":[18],"In":[19],"our":[20,76,145],"method,":[21],"generalized":[23],"blended":[24],"dynamics":[25],"is":[26,47,97],"presented":[27],"to":[28,140],"analyze":[29],"heterogeneity":[31],"systems.":[33],"By":[34],"utilizing":[35],"Lyapunov":[37,74,127],"functions,":[38,75,128],"criterion":[41],"HPNSs":[43,59],"under":[44],"directed":[45],"topology":[46],"presented,":[48],"along":[49],"a":[51,79,100,117],"set":[53,82],"where":[54],"errors":[57],"reside":[60],"when":[61],"time":[63],"progresses":[64],"towards":[65],"infinity.":[66],"Compared":[67],"existing":[70],"criteria":[71],"from":[72],"quadratic":[73],"results":[77],"yield":[78],"smaller":[80],"and":[83],"thus":[84],"are":[85,138],"less":[86],"conservative.":[87],"Drawing":[88],"upon":[89],"established":[91],"criterion,":[92],"problem":[96,107],"transformed":[98],"into":[99],"sum-of-squares":[101],"optimization":[102,106,122],"problem.":[103],"consequential":[105],"aligns":[108],"paradigm":[111],"convex":[113],"programming,":[114],"thereby":[115],"affording":[116],"polynomial-time":[118],"solvability.":[119],"The":[120],"proposed":[121],"algorithm":[123],"efficiently":[124],"generates":[125],"facilitating":[129],"synchronization.":[134],"Finally,":[135],"two":[136],"examples":[137],"given":[139],"demonstrate":[141],"efficacy":[143],"method.":[146]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}