{“id”：“https://openalex.org/W1568518466“，”doi“：”https://doi.org/10.1007/3-540-36580-x_37“，”title“：”Linear Systems的近似可达性“，”display_name“：”Initiate Reachability for Linear System“，”publication_year“：2003，”publiation_date“：”2003-01-01“，”ids“：{”openalex“：”https://openalex.org/W1568518466“，”doi“：”https://doi.org/10.1007/3-540-36580-x_37“，”mag“：”1568518466“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-36580-x_37“，”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、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310318900","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Science+Business Media“，”Spring er Nature“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5086308451“，”display_name“：”Ashish Tiwari“，”orcid“：”https://orcid.org/0000-0002-5153-2686“｝，”机构“：[｛”id“：”https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}，{”id“：”https://openalex.org/I4210099336“，”display_name“：”Menlo学校“，”ror“：”https://ror.org/01240pn49“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I4210099336“]｝]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Ashish Tiwari“，”raw_affiation_strings“：[”SRI International，Menlo Park，CA#TAB#“]，”affiliations“：[｛”raw_affiation_string“：”SRI International，Menlo Park，CA#TAB#“，”institution_ids“：[”https://openalex.org/I1298353152","https://openalex.org/I4210099336“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5086308451“]，”对应的机构ID“：[”https://openalex.org/I1298353152","https://openalex.org/I4210099336“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：8.13，”has_fulltext“：false，”cited_by_count“：90，”citation_normalized_percentile“：{“value”：0.969865，“is_in_top_1_percent”：false、“is_intop_10_percennt”：true}，“cited_by_percentile_year”：{“min”：95，“max”：96}，“biblio”：{“volume”：空，“issue”：空first_page“：”514“，”last_page“：”525“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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.9964，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9961，”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/关键字/抽象“，”display_name“：”抽象“，”分数“：0.55089384}，{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.54386｝，｛”id“：”https://openalex.org/keywords/model-transformation网站“，”display_name“：”模型转换“，”score“：0.532855}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.532601}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.527023}，{”id“：”https://openalex.org/keywords/reachability问题“，”display_name“：”可达性问题“，”score“：0.5182526}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.514965}，{”id“：”https://openalex.org/keywords/conction（https://openalex.org/keywords/conction）“，”display_name“：”Conjunction（天文学）“，”score“：0.46483445}，{”id“：”https://openalex.org/keywords/dynamical-system网站“，”display_name“：”动态系统（定义）“，”score“：0.42558074}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.9639072}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79323494}，{”id“：”https://openalex.org/C6802819，“wikidata”：https://www.wikidata.org/wiki/Q1072174“，”display_name“：”线性系统“，”level“：2，”score“：0.56935537}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661（网址：https://www.wikidata.org/wiki/Q673661）“，”display_name“：”抽象“，”level“：2，”score“：0.55089384}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.547156}，{”id“：”https://openalex.org/C79379906，“wikidata”：https://www.wikidata.org/wiki/Q3174497“，”display_name“：”动力系统理论“，”level“：2，”score“：0.5311806}，{”id“：”https://openalex.org/C158693339，“wikidata”：https://www.wikidata.org/wiki/Q190524“，”display_name“：”特征值和特征向量“，”level“：2，”score“：0.5182919}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.5182526}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5043372}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.49085647}，{”id“：”https://openalex.org/C59656382，“wikidata”：https://www.wikidata.org/wiki/Q191536“，”display_name“：”Conjunction（天文学）“，”level“：2，”score“：0.46483445}，{”id“：”https://openalex.org/C114275822，“wikidata”：https://www.wikidata.org/wiki/Q621512“，”display_name“：”线性动力系统“，”level“：3，”score“：0.44924635}，{”id“：”https://openalex.org/C33962884，“wikidata”：https://www.wikidata.org/wiki/Q378637“，”display_name“：”动态系统（定义）“，”level“：3，”score“：0.42558074}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.40960565}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.16290411}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.14623663}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”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/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C1276947，“wikidata”：https://www.wikidata.org/wiki/Q333“，”display_name“：”Astronomy“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-36580-x_37“，”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、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310318900","https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Science+Business Media“，”Spring er Nature“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：19，“referenced_works“：[”https://openalex.org/W1489501223","https://openalex.org/W1498285565","https://openalex.org/W1500045249","https://openalex.org/W1525967073","https://openalex.org/W1534714322","https://openalex.org/W1582811927","https://openalex.org/W1726255445","https://openalex.org/W1827220451","https://openalex.org/W1865218796","https://openalex.org/W1868193499网址","https://openalex.org/W197104890","https://openalex.org/W1994475353","https://openalex.org/W2004463571","https://openalex.org/W2085838366","https://openalex.org/W2101508170","https://openalex.org/W2117218135","https://openalex.org/W2152752348","https://openalex.org/W2163590987","https://openalex.org/W3126588943“]，”related_works“：[”https://openalex.org/W951123078","https://openalex.org/W92641534","https://openalex.org/W4248140722","https://openalex.org/W3175711153","https://openalex.org/W2121690027","https://openalex.org/W2005624737","https://openalex.org/W1748732224","https://openalex.org/W1575739325","https://openalex.org/W1529890132","https://openalex.org/W1499853177“]，”abstract_inverted_index“：{”We“：[0,53,82]，”describe“：[1,55]，”new“：[2]，”technologies“：[3]，”to“：[4,35,71]，”construct“：[5]，”and“：[6,25,42]，”successful“：[7]，”refine“：[8]，”over-approximations“：[9,75]，”of“：[11,39,75]“for”：[14]，“linear”：[15,79]，“dynamic”：[16]，“systems”：[17]，“Our”：[1]，“方法“：[19]，”提取“：[20]，”信息“：[21]，”来自“：[22,28,58,89]，”实“：[23]，”特征向量“：[24]，”更多“：[26]，”一般“：[27]，”确定“：[29]，“向量”：[30]，”in“：[31,46]，”主“：[33]，”分解“：[34]，”生成“：[36,72]，”合适“：[37]，”不变量“：[38]，”系统“：[41]，“can”：[43]，“be”：[44]，“used”：[45]，“conjunction”：[47]，“with”：[48,78]其他“：[49]，”计算“：[51]，”方法。“：[52]，”也“：[54]，”实验“：[56]，”结果“：[57]，”使用“：[59]，”这“：[60,84]，”技术“：[61]，”内部“：[62]，”定性“：[64]，”抽象“：[65]，”工具“：[66]，”[18]，“：[67]，”where“：[68]，”it“：[69]，”帮助“：[70]，”精炼“：[73]，”摘要“：[74]，”混合“：[76]，”系统”：[77]，“连续”：[80]，“动态”。“：[81]，”图解“：[83]，”on“：[85]，”a“：[86]，”碰撞避免“：[87]，”示例“：[88]，”汽车“：[90]，”巡航“：[91]，”控制“：[92]，”问题“：[93]，”其中“：[94]，”是“：[95]，”已处理“：[96]，”完全“：[97]，”自动“：[98]，”通过“：[99]，”我们的“：[100]，”工具。“：[101]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1568518466“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：5}，}“年“：2020，”“cited_by-count”“：4}，”“年”“：2019，”“引用的by_counts”“：2}，，”“年份”“：2018，”“引的by_cont”“:2}，“：2015，”cited_by_count“：5}，{“年份”：2014，”cited_by_count，{“年份”：2012，“引用_ by_count”：4}]，“更新日期”：“2024-09-19T23:02:19.251830”，“创建时间”：“2016-06-24”}