{“id”：“https://openalex.org/W2757091317“，”doi“：”https://doi.org/10.1145/3126522“，”title“：“非线性混合系统的组合关系抽象”，“display_name”：“非线性混杂系统的组合关联抽象”，”publication_year“：2017，”publiation_date“：”2017-09-27“，”ids“：{”openalex“：”https://openalex.org/W2757091317“，”doi“：”https://doi.org/10.1145/3126522“，”mag“：”2757091317“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3126522“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S136160450“，”display_name“：”嵌入式计算系统上的ACM事务“，”issn_l“：”1539-9087“，”isn“：[”1539-90%“，”1558-3465“]，”is_oa“：false，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5028462736“，”display_name“：”Xin Chen“，”orcid“：”https://orcid.org/0000-0002-8980-7032}，“机构”：[{“id”：https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Xin Chen“，”raw _affiliation_strings“：[“美国科罗拉多大学博尔德分校”]，”affiliations“：[{”raw _affiliation_string“：”美国科罗拉多博尔德大学“，”institution_ids“：[https://openalex.org/I188538660“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw _ afiliation_strings“：[“科罗拉多大学博尔德分校，美国博尔德”]，”affiliations“：[{”raw_ afiliation _string“：”科罗拉多大学，博尔德，美国https://openalex.org/I188538660“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5063584164“，”display_name“：”Sriram Sankaranarayanan“，”orcid“：”https://orcid.org/0000-0002-4662-3241}，“机构”：[{“id”：https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sriram Sankaranarayanan“，”raw _ afiliation_strings“：[“美国科罗拉多大学博尔德分校”]，”affiliations“：[{”raw _affiliation_string“：”美国科罗拉多博尔德大学“，”institution_ids“：[https://openalex.org/I188538660“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：0.534，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：5，“citeconding_by_percentile_year”：{“min”：82，“max”：84}，“biblio”“：{”卷“：”16“，”问题“：”5s“，”第一页“：”1“，”last_page“：”19“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9965，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9945，“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/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.557893}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.512117}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86886823}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.74065715}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.60374}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5890985}，{”id“：”https://openalex.org/C158622935，“wikidata”：https://www.wikidata.org/wiki/Q660848“，”display_name“：”非线性系统“，”level“：2，”score“：0.5205689}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.4925874}，{”id“：”https://openalex.org/C99436015，“wikidata”：https://www.wikidata.org/wiki/Q1722436“，”display_name“：”关系演算“，”level“：4，”score“：0.48904976}，{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足模理论“，”level“：2，”score“：0.45843488}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4348142｝，｛”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.42591769}，{”id“：”https://openalex.org/C40207289，“wikidata”：https://www.wikidata.org/wiki/Q755662“，”display_name“：”关系模型“，”level“：3，”score“：0.31830615}，{”id“：”https://openalex.org/C5655090，“wikidata”：https://www.wikidata.org/wiki/Q192588“，”display_name“：”关系数据库“，”level“：2，”score“：0.30983394}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.13357696}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3126522“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S136160450“，”display_name“：”嵌入式计算系统上的ACM事务“，”issn_l“：”1539-9087“，”isn“：[”1539-90%“，”1558-3465“]，”is_oa“：false，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机协会“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null:“sustainable_development_goals”：[{“display_name”：“工业、创新和基础设施”，“id”：“https://metadata.un.org/sdg/9“，”score“：0.45}]，”grants“：[{”funder“：”https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“1446900”}，{“funder”：“https://openalex.org/F4320338294“，”“funder_display_name”“：”空军研究实验室“，”award_id“：null}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：23，”referrenced_works“：[”https://openalex.org/W1498432697","https://openalex.org/W1510918931","https://openalex.org/W1549166962","https://openalex.org/W1606658314","https://openalex.org/W1708780353","https://openalex.org/W1990733120","https://openalex.org/W1998661762","https://openalex.org/W2084859862","https://openalex.org/W2099719924","https://openalex.org/W2106606898网址","https://openalex.org/W213397635","https://openalex.org/W2144785271","https://openalex.org/W2153803621","https://openalex.org/W2153821488","https://openalex.org/W2154221986","https://openalex.org/W2158223566","https://openalex.org/W2166280160","https://openalex.org/W2172184261","https://openalex.org/W233122475","https://openalex.org/W2522207775","https://openalex.org/W306903215","https://openalex.org/W4238034907","https://openalex.org/W856973001“]，”related_works“：[”https://openalex.org/W60748262","https://openalex.org/W3091612633","https://openalex.org/W2767499799","https://openalex.org/W2378275298","https://openalex.org/W2156787493","https://openalex.org/W2085988990","https://openalex.org/W2056340443","https://openalex.org/W2005835473","https://openalex.org/W1510134535","https://openalex.org/W1487241321“]，”ngrams_url“：”https://api.openalex.org/works/W2757091317/ngrams“，”“abstract_inverted_index”：{“We”：[0,53,72,90138]，“propose”：[1]，“technologies”：[2114]，“to”：[3176182]，“construct”：[4,54]，“abstration”：[5,68,84125142]，“for”：[6,21,50,69,78,85115126174]，“normal”：[7,33,88148]，“dynamics”：[8]，“in”：[9,14]，“terms”：[10]，“of”：[11,28,66,82123153161]，“关系”：[12,18,55]，“表达”：[13]，“线性“：[15,39,86178]，”算术。“：[16]，”这样“：[17]，”是“：[19143157]，”有用“：[20]，”翻译“：[22]，”the“：[23,63,79100104121135159167172]，”closed“：[24]，”loop“：[25]，”verification“：[26,48105113]，”problem“：[27]，“control”：[29]，”software“：[30,47]，”with“：[31134186]，”continuous-time，“：[32]，”plant“：[34]，”models“：[35]40]，“进入”：[36]，“离散”：[37116]，“和”：[38,62,87]，““：[41140156]，”can“：[42]，”be“：[43]，”handled“：[44]，”by“：[45]，”efficient“：[46,76]，”approachs“：[49]，”discrete-time“：[51]，”systems。“：[52117]，”using“：[56,94,99]，”Taylor“：[57]，”model“：[58]，”based“：[59]，”flowpipe“：[60]，”construction“：[61]，”systemical“：[64]，”composition“：[65]，”relational“：[67,96124141188]，”smaller“：[70]，”组件。“：[71,89]，“焦点”：[73]，“关于”：[74]，“开发”：[75]，“方案”：[77]，“特殊”：[80]，“案例”：[81]，“构成”：[83]，“实现”：[91]，“我们的”：[92]，“想法”：[93]，“a”：[95144]，“抽象”：[97102]，“系统”：[98]，“结果”：[101]，“内部”：[103]，“工具”：[106]，“NuXMV，”：[107]，“which”：[108]，“implements”：[109]，“numeric”：[110]，“SAT/SMT”：[11180]，“基于求解器的“：[112]，”最后，“：[118]，”我们“：[119170]，”评估“：[120]，”应用程序“：[122]，”验证“：[127]，”属性“：[128155]，”时间“：[130]，”触发“：[131]，”控制器“：[132]，”比较“：[133]，”流*“：[136]，”工具。“：[137]，”结论“：[139]，”承诺“：[145]，”方法“：[146]，”朝向“：[147]，”混合“：[149]，”系统“：[150]，”验证“：[151]，”能力“：[152]，”证明“：[154]，”超越“：[158]，”到达“：[160]，”工具“：[162]，”这样的“：[163]，”作为“：[164]，”流动*。“：[165]，“At”：[166]，“same”：[168]，“time”，：[169]，“highlight”：[171]，“need”：[173]，“improvements”：[175]，“existing”：[177]，“算术”：[179]，“solver”：[181]，“better”：[183]，“support”：[184]，“reasonation”：[185]，“large”：[187]，“抽象。“：[189]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2757091317“，”counts_by_year“：[{”年“：2023，”cited_by_count“：2}，{”年度“：2021，”cited_by_count”：1}，“{”年份“：2020，”citecd_by_count“：1}.，{“年份”：2017，”citesd_by_count“:1}]，”updated_date“：”2024-06-22T21:34:25.452572“，”created_date:“2017-10-06”}