{"id":"https://openalex.org/W4293261707","doi":"https://doi.org/10.1145/3489517.3530608","title":"Accelerated synthesis of neural network-based barrier certificates using collaborative learning","display_name":"Accelerated synthesis of neural network-based barrier certificates using collaborative learning","publication_year":2022,"publication_date":"2022-07-10","ids":{"openalex":"https://openalex.org/W4293261707","doi":"https://doi.org/10.1145/3489517.3530608"},"language":"en","primary_location":{"id":"doi:10.1145/3489517.3530608","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3489517.3530608","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 59th ACM/IEEE Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5081669284","display_name":"Jun Xia","orcid":"https://orcid.org/0000-0003-0245-8499"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Xia","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091087406","display_name":"Ming Hu","orcid":"https://orcid.org/0000-0002-5024-5650"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ming Hu","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102829580","display_name":"Xin Chen","orcid":"https://orcid.org/0000-0003-3304-8943"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Chen","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025413633","display_name":"Mingsong Chen","orcid":"https://orcid.org/0000-0002-3922-0989"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingsong Chen","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2773,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.60254917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1201","last_page":"1206"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10036","display_name":"Advanced Neural Network Applications","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10036","display_name":"Advanced Neural Network Applications","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/computer-science","display_name":"Computer science","score":0.7954850196838379},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.741574227809906},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6077320575714111},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5509084463119507},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.5261157155036926},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3848283886909485},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3805943727493286},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3182157278060913}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7954850196838379},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.741574227809906},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6077320575714111},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5509084463119507},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.5261157155036926},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3848283886909485},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3805943727493286},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3182157278060913},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3489517.3530608","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3489517.3530608","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 59th ACM/IEEE Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5186909972","display_name":null,"funder_award_id":"2018YF-B2101300","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1480692184","https://openalex.org/W1607353007","https://openalex.org/W1627251346","https://openalex.org/W1960944592","https://openalex.org/W2011199136","https://openalex.org/W2033118636","https://openalex.org/W2038498011","https://openalex.org/W2106606898","https://openalex.org/W2129729773","https://openalex.org/W2130705439","https://openalex.org/W2156155874","https://openalex.org/W2530699422","https://openalex.org/W2541884796","https://openalex.org/W3012125688","https://openalex.org/W3021850381","https://openalex.org/W3108060258","https://openalex.org/W6684847568","https://openalex.org/W6685835594"],"related_works":["https://openalex.org/W2369049846","https://openalex.org/W2359232568","https://openalex.org/W2522585081","https://openalex.org/W2264307891","https://openalex.org/W1990878504","https://openalex.org/W893422426","https://openalex.org/W2371451504","https://openalex.org/W2391254440","https://openalex.org/W2389959488","https://openalex.org/W2347819525"],"abstract_inverted_index":{"Most":[0],"of":[1,20,39,59,98,152,168],"existing":[2,71],"Neural":[3],"Network":[4],"(NN)-based":[5],"barrier":[6,41,68,81,106,158,171,188,195],"certificate":[7,82,107,159,172],"synthesis":[8,38,166,189],"methods":[9,73],"cannot":[10,201],"deal":[11],"with":[12,31,116],"high-dimensional":[13],"continuous":[14],"systems,":[15],"since":[16],"a":[17,67,76,95,153],"large":[18],"quantity":[19],"sampled":[21],"data":[22],"may":[23],"easily":[24],"result":[25],"in":[26,84,108,126],"inaccurate":[27],"initial":[28,78,91],"models":[29],"coupled":[30],"slow":[32],"convergence":[33,151],"rate.":[34],"To":[35],"accelerate":[36,149],"the":[37,55,85,127,132,139,150,164],"NN-based":[40,72,170],"certificates,":[42],"this":[43,102,162],"paper":[44],"presents":[45],"an":[46,90,104,109,169],"effective":[47],"two-stage":[48],"approach":[49,182],"named":[50],"CL-BC,":[51],"which":[52],"fully":[53],"exploits":[54],"parallel":[56,133],"processing":[57],"capability":[58],"underlying":[60],"hardware":[61],"to":[62,148],"enable":[63],"quick":[64],"search":[65],"for":[66,80,157,197],"certificate.":[69],"Unlike":[70],"that":[74,180,200],"adopt":[75],"random":[77],"model":[79,92,156],"synthesis,":[83],"first":[86],"stage":[87,129],"CL-BC":[88,130],"pre-trains":[89],"based":[93],"on":[94,120,135],"small":[96],"subset":[97],"sampling":[99],"data.":[100],"In":[101,161],"way,":[103,163],"approximate":[105],"NN":[110,155],"form":[111],"can":[112,145,173,183,193],"be":[113,146,174,202],"quickly":[114],"achieved":[115],"little":[117],"overhead.":[118],"Based":[119],"our":[121,181],"proposed":[122],"collaborative":[123],"learning":[124,134],"scheme,":[125],"second":[128],"conducts":[131],"partitioned":[136],"domains,":[137],"where":[138],"learned":[140],"knowledge":[141],"from":[142],"different":[143],"partitions":[144],"aggregated":[147],"global":[154],"synthesis.":[160],"overall":[165],"time":[167],"drastically":[175,186],"reduced.":[176],"Experimental":[177],"results":[178],"show":[179],"not":[184],"only":[185],"reduce":[187],"time,":[190],"but":[191],"also":[192],"synthesize":[194],"certificates":[196],"complex":[198],"systems":[199],"handled":[203],"by":[204],"state-of-the-art.":[205]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}