{“id”：“https://openalex.org/W2936623039“，”doi“：”https://doi.org/10.1145/3302504.3313362“，”title“：”Relational differential dynamic logic“，”display_name“：”关系微分动态逻辑“，”publication_year“：2019，”publiation_date“：”2019-04-16“，”ids“：{”openalex“：”https://openalex.org/W2936623039“，”doi“：”https://doi.org/10.1145/3302504.3313362“，”mag“：”2936623039“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3302504.3313362“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://hal.science/hal-02458085/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5016152929“，”display_name“：”Juraj Kol\u010d\u00e1k“，”orcid“：”https://orcid.org/0000-0002-9407-9682}，“机构”：[{“id”：https://openalex.org/I277688954“，”display_name“：”Universit\u00e9 Paris-Saclay“，”ror“：”https://ror.org/03xjwb503“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I277688954“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Juraj Kol\u010d\u00e1k“，”raw _ affiliation_strings“：[“University \u00e9 Paris-Saclay，France”]，”从属关系“：[{”raw _affiliation_string“：”University \ u 00e9 Paris-Sacley，France“，”institution_ids“：[https://openalex.org/I277688954“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5013382452“，”display_name“：”哈朔一郎“，”兽人“：”https://orcid.org/0000-0002-8300-4650}，“机构”：[{“id”：https://openalex.org/I200475212“，”display_name“：”SOKENDAI高等研究生院“，”ror“：”https://ror.org/0516ah480“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I200475212“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Ichiro Hasuo“，”raw _ afiliation_strings“：[“日本东京高等研究生院（SOKENDAI）”]，”affiliations“：[{”raw _affiliation_strong“：”日本东京高等教育研究生院https://openalex.org/I200475212“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5020567371“，”display_name“：”J\u00e9r\u00e9-my Dubut“，”orcid“：”https://orcid.org/0000-0002-2640-3065}，“机构”：[{“id”：https://openalex.org/I176979517“，”display_name“：”日本研究国际研究中心“，”ror“：”https://ror.org/04861vz74“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I1319490839","https://openalex.org/I176979517","https://openalex.org/I4210148627“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”J\u00e9r\u00e9:my Dubut“，”raw _ afiliation_strings“：[“日本东京日法信息学实验室”]，”affiliations“：[{”raw _affiliation_strong“：”日本东京日法文信息学实验室“，”institution_ids“：[https://openalex.org/I176979517“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041431787“，”display_name“：”Shin-ya Katsumata“，”orcid“：”https://orcid.org/0000-0001-7529-5489}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Shinya Katsumata“，”raw_affiation_strings“：[”日本东京国立信息学研究所“]，”附属机构“：[{”raw_affiation_string“：”日本东京国立信息学研究所“，”institution_ids“：[”https://openalex.org/I184597095“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5003947273“，”display_name“：”Akihisa Yamada“，”orcid“：”https://orcid.org/0000-0001-8872-2240}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”David Sprunger“，”raw _ afiliation_strings“：[“日本东京国家信息学研究所”]，”affiliations“：[{”raw_ afiliation _string“：”日本东京国家信息化研究所“，”institution_ids“：[https://openalex.org/I184597095“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5003947273“，”display_name“：”Akihisa Yamada“，”orcid“：”https://orcid.org/0000-0001-8872-2240}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Akihisa Yamada“，”raw _affiliation_strings“：[“日本东京国家信息学研究所”]，“affiliations”：[{“raw _afiliation_string”：“日本东京国立信息学研究院”，“institution_ids”：[”https://openalex.org/I184597095“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：2，”institutions_disting_count”：4，”corresponding_author_ids“：[[]，”coresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：0.237，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：1，“citation_normalized_percentile”：{“value”：0.30 18064，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：62，”max“：70}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9988，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T12772“，”“display_name”：“端口哈密尔顿系统的建模与控制”，“score”：0.995，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9944，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/keywords/cybe-physical系统“，”display_name“：”网络物理系统“，”score“：0.6582725}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.593348}，{”id“：”https://openalex.org/keywords/mechanical-systems网站“，”display_name“：”机械系统“，”score“：0.526538}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.514949}]，”概念“：[{”id“：”https://openalex.org/C115901376，“wikidata”：https://www.wikidata.org/wiki/Q184199“，”display_name“：”Automation“，”level“：2，”score“：0.72192335}，{”id“：”https://openalex.org/C179768478，“wikidata”：https://www.wikidata.org/wiki/Q1120057“，”display_name“：”网络物理系统“，”level“：2，”score“：0.6582725}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5766558}，{”id“：”https://openalex.org/C2779530757，“wikidata”：https://www.wikidata.org/wiki/Q1207505“，”display_name“：”质量（理念）“，”级别“：2，”分数“：0.4914862}，{”id“：”https://openalex.org/C93226319，“wikidata”：https://www.wikidata.org/wiki/Q193137“，”display_name“：”差速器（机械装置）“，”level“：2，”score“：0.4866048}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.46985996}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.42283347｝，｛”id“：”https://openalex.org/C112930515，“wikidata”：https://www.wikidata.org/wiki/Q4389547“，”display_name“：”风险分析（工程）“，”level“：1，”score“：0.34810585}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.30497056}，{”id“：”https://openalex.org/C144133560，“wikidata”：https://www.wikidata.org/wiki/Q4830453网址“，”display_name“：”Business“，”level“：0，”score“：0.19241688}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.09754902}，{”id“：”https://openalex.org/C78519656，“wikidata”：https://www.wikidata.org/wiki/Q101333“，”display_name“：”机械工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C172385210，“wikidata”：https://www.wikidata.org/wiki/Q5339“，”display_name“：”晶体管“，”电平“：3，”分数“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：6，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3302504.3313362“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.science/hal-02458085，“pdf_url”：https://hal.science/hal-02458085/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-02458085/file/rddl_tacas2020.pdf，“pdf_url”：https://hal.science/hal-02458085/file/rddl_tacas2020.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1903.00153，“pdf_url”：https://arxiv.org/pdf/1903.00153，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02458085/file/rddl_tacas2020.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-02458085/file/rddl_tacas2020.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-02458085/document（文件），“pdf_url”：https://hal.archives-ouvertes.fr/hal-02458085/document（文件），“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“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://hal.science/hal-02458085，“pdf_url”：https://hal.science/hal-02458085/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”工业、创新和基础设施“，”“score”：0.62，“id”：“”https://metadata.un.org/sdg/9“｝]，”拨款“：[｛”资助者“：”https://openalex.org/F4320325505“，”“funder_display_name”：“Recherche Universitaire国家开发署”，“award_id”：“ANR-16-CE12-0034”}，{“funder”：“https://openalex.org/F4320338112“，”“funder_display_name”：“高级技术探索性研究”，“award_id”：“JPMJER1603”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：6，“referrenced_works”：[”https://openalex.org/W1997070622","https://openalex.org/W2885880873","https://openalex.org/W2950309301","https://openalex.org/W310115050","https://openalex.org/W3102859554","https://openalex.org/W4289761034“]，”related_works“：[”https://openalex.org/W4313307484","https://openalex.org/W3135700974","https://openalex.org/W3094048663网址","https://openalex.org/W3017360834","https://openalex.org/W3004173571","https://openalex.org/W2968885840","https://openalex.org/W2546638913","https://openalex.org/W2209816623","https://openalex.org/W2086962923","https://openalex.org/W1987127708“]，”abstract_inverted_index“：{”Hybrid“：[0]，”Systems“：[1]，”and“：[2,12]，”their“：[3]，”Verification.“：[4]，”With“：[5]，”the“：[6,32]，”ever“：[7]，”increating“：[8]，”degree“：[9]，”of“：[10,56]，”digitalisation“：[11]，”automation“：[13]，”cyber-physical“：[14]，“Systems”：[15]，“（CPS）”：[16]，“are”：[17]，“beging”：[18]，“extremeding”：[19]，“common”：[20]，“in”：[21,31]，“行业。“：[22]，”此“：[23]，”趋势“：[24]，”是“：[25,41]，”伴随“：[26]，”由“：[27,43]，”a“：[28,60]，”类似“：[29]，”增加“：[30]，”研究“：[33]，”努力“：[34]，”定向“：[35]，”朝向“：[36]，”CPS。“：[37]，”The“：[38,53]，”maxime“：[39]，”concern“：[40]，”spired“：[42]，”many“：[44]，”safe-ty-critical“：[45]，”applications“：[46]，”involved“：[47]，”CPS“：[48]，”such“：[49]，”as“：[50]，”automated“:[51]，”driving“。“：[52]，“质量”：[54]，“保证”：[55]，“CPS”：[57]，“因此”：[58]，“姿势”：[59]，“按压”：[61]，“社会经济”：[62]，“挑战”。“：[63]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2936623039“，”counts_by_year“：[{”年“：2021，”引用_by_count“：1}]，”更新日期“：”2024-09-14T07:39:34.335175“，”创建日期“：“2019-04-25”}