{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T17:02:42Z","timestamp":1782406962025,"version":"3.54.5"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002367","name":"Chinese Academy of Sciences","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Pioneer Hundred Talents Program"},{"name":"Basic Research Program of Institute of Software, CAS","award":["ISCAS-JCMS-202302"],"award-info":[{"award-number":["ISCAS-JCMS-202302"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62373060"],"award-info":[{"award-number":["62373060"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"BNU Talent Seed Fund"},{"name":"Guangdong Provincial Key Laboratory IRADS for Data Science","award":["2022B1212010006"],"award-info":[{"award-number":["2022B1212010006"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tac.2024.3484941","type":"journal-article","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:31:48Z","timestamp":1729618308000},"page":"2059-2065","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Verification of Bounded Synchronization for Heterogeneous Polynomial Networked Systems"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5218-2668","authenticated-orcid":false,"given":"Shuyuan","family":"Zhang","sequence":"first","affiliation":[{"name":"ICTEAM Institute, UCLouvain, Louvain-la-Neuve, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7014-2149","authenticated-orcid":false,"given":"Lei","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Automation Science and Electrical Engineering, Beihang University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9717-846X","authenticated-orcid":false,"given":"Bai","family":"Xue","sequence":"additional","affiliation":[{"name":"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3672-3716","authenticated-orcid":false,"given":"Qing-Guo","family":"Wang","sequence":"additional","affiliation":[{"name":"Institute of AI and Future Networks, Beijing Normal University, Zhuhai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/35065725"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/S003614450342480"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2010897"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2919660"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3128313"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.11.014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/050625229"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2015.2426752"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2971980"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2974424"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.09.025"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2010.2072270"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2649382"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.03.020"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2190206"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2995822"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2498138"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2883649"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3202826"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2013.2240882"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2017.2647744"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.2998089"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2010.2072330"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8618901"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2112477"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2939273"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1239709"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110712"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/10997703_2"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3388201"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3211982"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/20M1335637"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263706"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"ref37","article-title":"Mosek optimization toolbox for MATLAB","author":"ApS","year":"2019"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/10906769\/10726791.pdf?arnumber=10726791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T19:03:50Z","timestamp":1740769430000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10726791\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3]]},"references-count":37,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tac.2024.3484941","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3]]}}}