{“id”：“https://openalex.org/W2755572239“，”doi“：”https://doi.org/10.1016/j.tcs.2018.06.020“，”title“：”Safe&robust reachability analysis of hybrid systems“，”display_name“：”混合系统的安全与健壮可达性分析“，”publication_year“：2018，”publitation_date“：”2018-11-01“，”ids“：{”openalex“：”https://openalex.org/W2755572239“，”doi“：”https://doi.org/10.1016/j.tcs.2018.06.020“，”mag“：”2755572239“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2018.06.020“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://doi.org/10.1016/j.tcs.2018.06.020“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Eugenio Moggi“，”raw _affiliation_strings“：[“DIBRIS，Genova Univ.，v.Dodecaneso 35，16146 Genova，Italy”]，“affiliations”：[{“raw_affilition_string”：“DIBROS，Genova Univhttps://openalex.org/I83816512“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5091894566“，”display_name“：”Amin Farjudian“，”orcid“：”https://orcid.org/0000-0002-1879-0763}，“机构”：[{“id”：https://openalex.org/I13591777“，”display_name“：”宁波诺丁汉大学“，”ror“：”https://ror.org/03y4dt428“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I13591777","https://openalex.org/I142263535“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Amin Farjudian“，”raw_affiliation_strings“：[“中国宁波诺丁汉大学”]，”affiliations“：[{”raw_affiliation_string“：”中国宁波诺丁汉大学”，“institution_ids”：[“https://openalex.org/I13591777“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076037756“，”display_name“：”Adam Duracz“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74775410“，”display_name“：”莱斯大学“，”ror“：”https://ror.org/008zs3103“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74775410“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”Adam Duracz“，”raw_affiation_strings“：[”美国德克萨斯州休斯顿莱斯大学“]，”附属机构“：[｛”raw_affiation_string“：”美国德克萨斯州休斯顿莱斯大学“，”机构_ids“：[”https://openalex.org/I74775410“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5008976751“，”display_name“：”Walid Taha“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I746986“，”display_name“：”哈尔姆斯塔德大学“，”ror“：”https://ror.org/03h0qfp10“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I746986“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Walid Taha“，”raw _ afiliation_strings“：[“瑞典哈尔姆施塔德哈尔姆施塔大学”]，”affiliations“：[{”raw_ afiliation _string“：”瑞典哈尔姆斯塔德哈尔姆施塔德大学”，“institution_ids”：[“https://openalex.org/I746986“]}]}]，”countries_disticont_count“：4，”institutions_disticent_count”：4，“corresponding_author_ids”：[“https://openalex.org/A5060518986“]，”对应的机构ID“：[”https://openalex.org/I83816512“]，”apc_list“：｛”value“：2690，”currency“：”USD“，”value_USD“：2690，”出处“：”doaj“｝，”apc_payed“：｛”value“：2690，”currency“：”USD“，”value_USD“：2690，”出处“：”doaj“｝，”fwci“：1.197，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：11，”cited_by_percentle_year“：｛”min“：88，”max“：89｝，“biblio”：｛“volume”：“747”，“issue”：null，“first_page”：“75”last_page“：”99“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9976，“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.9976，“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/T11357“，”display_name“：”风险分析与管理“，”score“：0.9967，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“｝，”field“：｛”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9951，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.555524}，{”id“：”https://openalex.org/keywords/dynamic-safety-analysis网站“，”display_name“：”动态安全分析“，”score“：0.538625}，{”id“：”https://openalex.org/keywords/人的可靠性分析“，”display_name“：”人因可靠性分析“，”score“：0.525629}，{”id“：”https://openalex.org/keywords/uncertainty-handling“，”display_name“：”不确定性处理“，”score“：0.523434}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”display_name“：”可满足模理论“，”score“：0.51204}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.980663}，{”id“：”https://openalex.org/C146834321，“wikidata”：https://www.wikidata.org/wiki/Q2979672“，”display_name“：”Closure（心理学）“，”level“：2，”score“：0.7183818}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.63626766}，{”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.6259694}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.61329895}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.59407324}，{”id“：”https://openalex.org/C191399111，“wikidata”：https://www.wikidata.org/wiki/Q64861“，”display_name“：”传递关系“，”level“：2，”score“：0.5719919}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.51577044}，{”id“：”https://openalex.org/C128896722，“wikidata”：https://www.wikidata.org/wiki/Q1501387“，”display_name“：”传递闭包“，”level“：2，”score“：0.48956499}，{”id“：”https://openalex.org/C25343380，“wikidata”：https://www.wikidata.org/wiki/Q277521“，”display_name“：”Relation（database）“，”level“：2，”score“：0.47620118｝，｛”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.44210082}，{”id“：”https://openalex.org/C79379906，“wikidata”：https://www.wikidata.org/wiki/Q3174497“，”display_name“：”动力系统理论“，”level“：2，”score“：0.41273934}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.34522578}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3351175}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.33021593｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.26979917}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.15881199}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C34447519，“wikidata”：https://www.wikidata.org/wiki/Q179522“，”display_name“：”市场经济“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2018.06.020“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1709.05658，“pdf_url”：https://arxiv.org/pdf/1709.05658，“源”：{“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“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://eprints.nottingham.ac.uk/56209/1/2018-Moggi_Farjudian_Duracz_Taha-Safe_and_Robust_Reachability_Analysis_of_Hybrid_Systems-TCS.pdf，“pdf_url”：http://eprints.nottingham.ac.uk/56209/1/2018-Moggi_Farjudian_Duracz_Taha-Safe_and_Robust_Reachability_Analysis_of_Hybrid_Systems-TCS.pdf，“源”：{“id”：https://openalex.org/S4377196374“，”display_name“：”Nottingham ePrints（诺丁汉大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I142263535“，”“host_organization_name”：“诺丁汉大学”，“host_organization_lineage”：[“https://openalex.org/I142263535“]，”host_organization_lineage_names“：[”诺丁汉大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/11567/920280，“pdf_url”：https://iris.unige.it/bitstream/11567/920280/2/TSC18.pdf，“源”：{“id”：https://openalex.org/S4377196291“，”display_name“：”CINECA IRIS Institutional Research Information System（University of Genoa）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I83816512“，”“host_organization_name”：“热那亚大学”，“host_organization_lineage”：[“https://openalex.org/I83816512“]，”host_organization_lineage_names“：[”热那亚大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.1709.05658“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1016/j.tcs.2018.06.020“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“1736754”}，{“funder”：“https://openalex.org/F4320321759“，”funder_display_name“：”Stiftelsen f\u00f6r Kunskaps-och Kompetensutveckling“，”award_id“：null}]“数据集”：[]，“版本”：[“https://openalex.org/W2755572239“]，”referenced_works_count“：16，”referrenced_works“：[”https://openalex.org/W1504975584","https://openalex.org/W1525647423","https://openalex.org/W1977444293","https://openalex.org/W2004463571","https://openalex.org/W2024636948","https://openalex.org/W2084875723","https://openalex.org/W2099308299","https://openalex.org/W2148689464","https://openalex.org/W2477728106","https://openalex.org/W2491957785","https://openalex.org/W2757430504","https://openalex.org/W3096424428","https://openalex.org/W3143148979","https://openalex.org/W4213068077","https://openalex.org/W4235603350","https://openalex.org/W4236306094“]，”related_works“：[”https://openalex.org/W856973001","https://openalex.org/W78063724","https://openalex.org/W4293477811","https://openalex.org/W4253760428","https://openalex.org/W2963892764","https://openalex.org/W2952920810","https://openalex.org/W2357387646","https://openalex.org/W2047831585","https://openalex.org/W2017676950","https://openalex.org/W197679583“]，”ngrams_url“：”https://api.openalex.org/works/W2755572239/ngrams网站“，”“abstract_inverted_index”：{“Hybrid”：[0]，“systems\u2014more”：[1]，“precise”：[2]，“their”：[3]，“mathematical”：[4124]，“models\u2014can”：[5]，“exhibit”：[6]，“behaviors”：[7,10]，“like”：[8]，“Zeno”：[9]，“that”：[11,96]，“are”：[112126]，“缺席”：[13]，“in”：[14,25,57,83]，“纯粹”：[15,18]，“离散”：[16]，“或”：[17]，“连续”：[19,89137]，“系统。”：[20]，“首先，“：[21]，”我们“：[22,67150]，”观察“：[23]，”那“：[24130]，”这个“：[26]，”上下文“：[27]，”the“：[28,33,52,77107114134152155161]，”通常“：[29]，”定义“：[30]，“of”：[31,38,51,54,63,76,79,86109139157]，“可达性\u2014，即”：[32]，“自反”：[34]，“and”：[35,88112122160167]，“及物”：[36]，“闭包”：[37]，“a”：[39,48,61,74,97120]，“转换“：[40]，”关系\u2014can“：[41]，”是“：[42]，”不安全“：[43]，”即，“：[44]，”它“：[45,91]，”可以“：[46]，”计算“：[47]，”适当“：[49]，”子集“：[50]，”集“：[53,62,78108156]，”状态“：[55111159]，”可到达“：[56,80158]，”有限“：[58]，”时间“：[59]，”起始“：[60]，”初始“：[64110]，”表示。“：[65,81]，”因此，“：[66]，”建议“：[68]，”安全“：[69165]，”可达性“：[70]，”其中“：[71]，”始终“：[72]，”计算“：[73]，”超集“：[75]，”秒“：[82]，”安全“：[84]，”分析“：[85,99141]，”混合“：[87]，”系统“：[90]，”是“：[92100143]，”重要“：[93]，”到“：[94106113]，“确保”：[95]，“可达性”：[98166]，“同时”：[101144]，“稳健“：[102147170]，“w.r.t.”：[103]，“小”：[104]，“扰动”：[105]，“系统”：[11512]，“自身”：[116]，“自”：[117]，“差异”：[118]，“介于”：[119154]，“其”：[123145168]，“模型”：[125]，“不可避免”。“：[127]，”We“：[128]，”show“：[129]，”under“：[131]，”sequent“：[132]，”conditions“，”：[133]，”best“：[135146169]，”Scott“：[136]，”approximation“：[138]，”an“：[140]，”A“：[142]，”approximation。“：[148171]，”“Finally，”：[149]，“examplify”：[151]，“gap”：[153]，“superset”：[162]，“computed”：[163]，“by”：[164]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2755572239“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：6}，{“年度”：2021，”“cited_by_cunt”：1}，}“年份“：2020，”“cited_by_count”“：1}，{”“年份”“：2019，”“icted_by-count”“:2}，”“年份“:2018，”“cuited_by_count）：1}]，”“updated_date”：“2024-06-20T16:51:27.026531”，”“创建日期”：“2017-09-25”}