{“id”：“https://openalex.org/W3108060258“，”doi“：”https://doi.org/10.1007/978-3-030-62822-2_11“，”title“：”Learning Safe Neural Network Controllers with Barrier Certificates“，”display_name“：”学习安全神经网络控制器与屏障证书“，”publication_year“：2020，”publiation_date“：”2020-01-01“，”ids“：{”openalex“：”https://openalex.org/W3108060258“，”doi“：”https://doi.org/10.1007/978-3-030-62822-2_11“，”mag“：”3108060258“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-62822-2_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://eprints.whiterose.ac.uk/176884/1/setta20.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5067460211“，”display_name“：”赵宏斌“，”兽人“：”https://orcid.org/0000-0002-7306-3024}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Hengjun Zhao“，”raw _affiliation_strings“：【”中国重庆西南大学计算机与信息学院“】}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5079927285“，”display_name“：”夏曾“，”orcid“：”https://orcid.org/0000-0003-2575-7045}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Xia Zeng“，”raw_affiliation_strings“：【”中国重庆西南大学计算机与信息学院“】}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5030747944“，”display_name“：”Taolue Chen“，”orcid“：”https://orcid.org/0000-0002-5993-1665}，“机构”：[{“id”：https://openalex.org/I28290843“，”display_name“：”萨里大学“，”ror“：”https://ror.org/00ks66431“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28290843“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Taolue Chen“，”raw _affiliation_strings“：[“英国吉尔福德萨里大学计算机科学系”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5054484090“，”display_name“：”刘志明“，”兽人“：”https://orcid.org/0000-0001-9566-3971}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”刘志明“，”raw _ afiliation_strings“：[“中国重庆西南大学计算机与信息学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5006626759“，”display_name“：”Jim Woodcock“，”orcid“：”https://orcid.org/0000-0001-7955-2702}，“机构”：[{“id”：https://openalex.org/I52099693“，”display_name“：”约克大学“，”ror“：”https://ror.org/04m01e293“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I52099693“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Jim Woodcock“，”raw_affiliation_strings“：[“英国约克大学计算机科学系”]}]“countries_distict_count”：2，“institutions_distinct_count”：3，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：5000，“currency”：“EUR”，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，”currency“：”EUR“，”value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：10，“cited_by_percentile_year”：{“min”：88，“max”：89}，《biblio》：{《volume》：null，“issue”：null，“first_page”：“177”，“last_page”：“185”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11689“，”“display_name”：“深度学习模型中的对抗稳健性”，“score”：0.9972，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11689“，”“display_name”：“深度学习模型中的对抗稳健性”，“score”：0.9972，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11206“，”“display_name”：“科学计算用物理信息神经网络”，“score”：0.9963，“subfield”：{“id”：“https://openalex.org/subfields/3109“，”display_name“：”统计与非线性物理“}，”字段“：{”id“：”https://openalex.org/fields/31网址“，”display_name“：”物理学和天文学“}，”域“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10876“，”“display_name”：“工业过程故障检测与诊断”，“score”：0.9878，“subfield”：{“id”：“https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/nonlinear系统“，”display_name“：”非线性系统“，”score“：0.545236}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.83604616}，{”id“：”https://openalex.org/C50644808，“wikidata”：https://www.wikidata.org/wiki/Q192776“，”display_name“：”人工神经网络“，”level“：2，”score“：0.7129263}，{”id“：”https://openalex.org/C203479927，“wikidata”：https://www.wikidata.org/wiki/Q5165939（网址：https://www.wikidata.org/wiki/Q5165939）“，”display_name“：”控制器（灌溉）“，”level“：2，”score“：0.56362915}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.53862536}，{”id“：”https://openalex.org/C158622935，“wikidata”：https://www.wikidata.org/wiki/Q660848“，”display_name“：”非线性系统“，”level“：2，”score“：0.5291548｝，｛”id“：”https://openalex.org/C133731056，“wikidata”：https://www.wikidata.org/wiki/Q4917288“，”display_name“：”控制工程“，”level“：1，”score“：0.45123464}，{”id“：”https://openalex.org/C47446073，“wikidata”：https://www.wikidata.org/wiki/Q5165890“，”display_name“：”控制理论（社会学）“，”level“：3，”score“：0.41294718}，{”id“：”https://openalex.org/C2775924081，“wikidata”：https://www.wikidata.org/wiki/Q55608371“，”display_name“：”控制（管理）“，”级别“：2，”分数“：0.3828023}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.3514415}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.082870305}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C6557445，“wikidata”：https://www.wikidata.org/wiki/Q173113“，”display_name“：”农学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-62822-2_11“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://eprints.whiterose.ac.uk/176884/1/setta20.pdf，“pdf_url”：https://eprints.whiterose.ac.uk/176884/1/setta20.pdf，“源”：{“id”：https://openalex.org/S4377196101“，”display_name“：”白玫瑰在线研究（利兹大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I130828816“，”“host_organization_name”：“利兹大学”，“host_ordanization_lineage”：[“https://openalex.org/I130828816“]，”host_organization_lineage_names“：[”利兹大学“]，“type”：“repository”}，“license”：null，“liccense_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://eprints.bbk.ac.uk/id/eprint/48301/1/faoc.pdf，“pdf_url”：https://eprints.bbk.ac.uk/id/eprint/48301/1/faoc.pdf，“源”：{“id”：https://openalex.org/S4306400465“，”display_name“：”BIROn（伦敦大学伯克贝克分校）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I98259816“，”“host_organization_name”：“伦敦大学伯克贝克分校”，“host_ordanization_lineage”：[“https://openalex.org/I98259816“]，”“host_organization_lineage_names”：[“Birkbeck，University of London”]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/2009.09826，“pdf_url”：http://arxiv.org/pdf/2009年9月9826日，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://eprints.whiterose.ac.uk/176884/1/setta20.pdf，“pdf_url”：https://eprints.whiterose.ac.uk/176884/1/setta20.pdf，“源”：{“id”：https://openalex.org/S4377196101“，”display_name“：”白玫瑰在线研究（利兹大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is.in_doaj“：false，”host_organization“：”https://openalex.org/I130828816“，”“host_organization_name”：“利兹大学”，“host_ordanization_lineage”：[“https://openalex.org/I130828816“]，”host_organization_lineage_names“：[”利兹大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“acceptedVersion”，“is_accepted”：true，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W1627251346","https://openalex.org/W2033118636","https://openalex.org/W2036031393","https://openalex.org/W2129729773","https://openalex.org/W2809309384","https://openalex.org/W2889490035","https://openalex.org/W2963249498","https://openalex.org/W2966735560","https://openalex.org/W2998402843","https://openalex.org/W3012097656","https://openalex.org/W3021958118","https://openalex.org/W3046272654","https://openalex.org/W3104371626","https://openalex.org/W4238644249","https://openalex.org/W4244977694“]，”related_works“：[”https://openalex.org/W4300101497","https://openalex.org/W3209622820","https://openalex.org/W2582753012","https://openalex.org/W2465918047","https://openalex.org/W2391251536","https://openalex.org/W2362198218","https://openalex.org/W2154204858","https://openalex.org/W2019521278","https://openalex.org/W2000675896","https://openalex.org/W1984922432“]，”ngrams_url“：”https://api.openalex.org/works/W3108060258/ngrams“，”“abstract_inverted_index”：{“We”：[0,41,50]，“provide”：[1,51]，“a”：[2,52,57]，“new”：[3]，“approach”：[4]，“to”：[5]，“synthesis”：[6]，“controllers”：[7,19]，“for”：[8]，“normal”：[9]，”“continuous”：[10]，“dynamical”：[11]，“systems”：%12]，”with“：[13,56]，”控制“：[14]，”反对“：[15]，“安全”：[16,29]，“属性。”：[17]，“The”：[18]，“are”：[20,36]，“based”：[21]，“关于“：[22]，”神经“：[23]，”网络“：[24]，”（NNs）。“：[25]，”收件人“：[26]，”证明“：[27]，”财产“：[28,66]，”我们“：[31]，”利用“：[32]，”障碍“：[33]，”功能“：[34]，”其中“：[35]，”也“：[37]，”代表“：[38]，”由“：[39]，”NNs。“：[40]，”训练“：[42]，”控制器NN“：[43]，”和“：[44，68]，”屏障NN“：[45]，”同时，“：[46]，”实现“：[47]，”循环验证“：[48]，”合成。“：[49]，”原型“：[53]，”工具“：[54]，”nncontroller“：[55]，”编号“：[58]，”的“：[59,70]，”案例“：[60]，”研究。“：[61]，”初步“：[62]，”实验“：[63]，”结果“：[64]，”确认“：[65]，”可行性“：[67]，”疗效“：[69]，”我们的“：[71]，”方法。“：[72]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3108060258“，”counts_by_year“：[{年：2024，”cited_by_count“：2}，{年“：2023，”cited_by_count”：1}，“年”：2022，”citecd_by_count“：2%n，{”年“：2020，”citted_by_count“:5}]，”更新日期“：”2024-05-09T23:49:34.730682“，”创建日期“：“2020-12-07”}