{“id”：“https://openalex.org/W2121909093“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_30“，”title“：“具有大离散状态空间的线性混合系统验证中的精确状态集表示”，“display_name”：“具有较大离散状态空间线性混合系统的验证中的准确状态集表示“，”publication_year“：2007，”publiation_date“：”2007-11-03“，”ids“：{”openalex“：”https://openalex.org/W2121909093“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_30“，”mag“：”2121909093“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-75596-8_30.pdf“，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fald，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”“host_organization_lineage_names”：[“Springer Nature”]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”“type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，“open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-75596-8_30.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5053665575“，”display_name“：”Werner Damm“，”orcid“：”https://orcid.org/0000-0002-7277-1803}，“机构”：[{“id”：https://openalex.org/I202367325“，”display_name“：”奥登堡信息学院“，”ror“：”https://ror.org/003sav189“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I202367325“]}，{”id“：”https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Werner Damm“，”raw _ afiliation_strings“：[“Carl von Ossietzky University \u00e4t Oldenburg，Ammerl \u00e 4nder Heerstra \u00dfe 114-118，26111 Oldenberg，Germany”，“OFFIS e.V.，Escherweg 2，26121 Oldenbrg，Germine”]，”afiliations“：[{”raw _affiliation_string“：”OFFIS e.V.，Escherweg 2，26121 Oldenburg，Germany“，“institution_ids”：[“https://openalex.org/I202367325“]}，{”raw_affiliation_string“：”卡尔·冯·奥斯西茨基大学\u00e4t Oldenburg，Ammerl\u00e 4nder Heerstra\u00dfe 114-118，26111 Oldenbourg，德国“，”institution_ids“：[”https://openalex.org/I129877168“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5090769938“，”display_name“：”Stefan Disch“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Stefan Disch“，”raw _affiliation_strings“：[“Albert-Ludwigs-University\u00e4t Freiburg，Georges-K\u00f6hler-Alle 51，79110 Freiburg-，Germany”]，“afliations”：[{“raw_affilition_string”：“Albert-Ludwigs-University\u 00e4t-Freiburg.，Georges-K\u 00f6wler-Allee 51，79110德国弗莱堡“机构ID“：[”https://openalex.org/I161046081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5028419956“，”display_name“：”Hardi Hungar“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I202367325“，”display_name“：”奥登堡信息学院“，”ror“：”https://ror.org/003sav189“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I202367325“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Hardi Hungar“，”raw _affiliation_strings“：[“OFFIS e.V.，Escherweg 2，26121 Oldenburg，Germany”]，”affiliations“：[{”raw _affiliation_string“：”OFFIS e.V.，Ascherweg2，26212 Oldesburg，Dermany“，”institution_ids“：[https://openalex.org/I202367325“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5080048833“，”display_name“：”Swen Jacobs“，”orcid“：”https://orcid.org/0000-0002-9051-4050}，“机构”：[{“id”：https://openalex.org/I4210109712“，”display_name“：”马克斯·普朗克信息学院“，”ror“：”https://ror.org/01w19ak89“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210109712“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Swen Jacobs“，”raw _affiliation_strings“：[“Max-Planck-Institut f \u00fcr Informatik，Stuhlsatzenhausweg 85，66123 Saarbr\u00fccken，Germany”]，“afliations”：[{“raw_affilition_string”：“Max-Pplanck-Institut f \ u00fcr-Informatik u00fccken，德国“，”机构ID“：[”https://openalex.org/I4210109712“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5073684178“，”display_name“：”Jun Pang“，”orcid“：”https://orcid.org/0000-0002-4521-4112}，“机构”：[{“id”：https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Jun Pang“，”raw _affiliation_strings“：[“Carl von Ossietzky University \u00e4t Oldenburg，Ammerl \u00e 4nder Heerstra \u00dfe 114-118，26111 Oldenbrg，Germany”]，“affiliations”：[{“raw_affilition_string”：“德国奥尔登堡卡尔·冯·奥斯西茨基大学https://openalex.org/I129877168“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5078653422“，”display_name“：”Florian Pigorsch“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Florian Pigorsch“，”raw _ afiliation_strings“：[“Albert-Ludwigs-University\u00e4t Freiburg，Georges-K\u00f6hler-Alle 51，79110 Freiburg-，Germany”]，”从属关系“：[{”raw _affiliation_string“：”Albert-Ludwigs-University\u00e4t Freiburg，Georges-K\u00f6hler-Allee 51，79110德国弗莱堡“，“institution_ids”：[“https://openalex.org/I161046081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5002292119“，”display_name“：”Christoph Scholl“，”orcid“：”https://orcid.org/0000-0003-0488-7676}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Christoph Scholl“，”raw _ afiliation_strings“：[“Albert-Ludwigs-University\u00e4t Freiburg，Georges-K\u00f6hler-Alle 51，79110 Freiburg-，Germany”]，”从属关系“：[{”raw _affiliation_string“：”Albert-Ludwigs-University\u00e4t Freiburg，Georges-K\u00f6hler-Allee 51，79110德国弗莱堡“，“institution_ids”：[“https://openalex.org/I161046081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5008310084“，”display_name“：”Uwe Waldmann“，”orcid“：”https://orcid.org/0000-0002-0676-7195}，“机构”：[{“id”：https://openalex.org/I4210109712“，”display_name“：”马克斯·普朗克信息学院“，”ror“：”https://ror.org/01w19ak89“，”“country_code”“：”DE“，”type“：”facility“，”lineage“：[”https://openalex.org/I149899117","https://openalex.org/I4210109712“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Uwe Waldmann“，”raw _affiliation_strings“：[“Max-Planck-Institut f \u00fcr Informatik，Stuhlsatzenhausweg 85，66123 Saarbr\u00fc ken，Germany”]，“afliations”：[{“raw_affiliation _string”：“Max-Pplanck-Institut f \ u00fcr-Informatik \u00fccken，德国“，”机构ID“：[”https://openalex.org/I4210109712“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5057683481“，”display_name“：”Boris Wirtz“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Boris Wirtz“，”raw _ afiliation_strings“：[“Carl von Ossietzky University \u00e4t Oldenburg，Ammerl \u00e 4nder Heerstra \u00dfe 114-118，26111 Oldenbourg，Germany”]，”从属关系“：[{”raw _affiliation_string“：”德国奥尔登堡卡尔·冯·奥斯西茨基大学https://openalex.org/I129877168“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：4，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：false，”cited_by_count“：24，”cited_by_percentle_year“：｛”min“：90，”max“：91｝，”biblio“：｛”volume“：null，”issue“：null，”first_page“：”425“，”last_page“：”440“｝，”is_retracted“：false，”is_paratext“：false，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9968，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.992，”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.53648}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.51124}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.50754}]，”concepts“：[{”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.71600497}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.6474273｝，｛”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.60729456}，{”id“：”https://openalex.org/C185798385，“wikidata”：https://www.wikidata.org/wiki/Q1161707“，”display_name“：”基准（测量）“，”level“：2，”score“：0.6001023}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.5987098}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.5949335}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.5389891}，{”id“：”https://openalex.org/C18648836，“wikidata”：https://www.wikidata.org/wiki/Q381892“，”display_name“：”紧凑空格“，”level“：2，”score“：0.52169746}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5036866}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46515566}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3835563}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.35269696}，{”id“：”https://openalex.org/C184720557，“wikidata”：https://www.wikidata.org/wiki/Q7825049“，”display_name“：”拓扑（电路）“，”level“：2，”score“：0.3323483}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.08335507}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.061948657}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C13280743，“wikidata”：https://www.wikidata.org/wiki/Q131089“，”display_name“：”大地测量学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”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/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”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/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”Geography“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-75596-8_30.pdf“，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fald，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”“host_organization_lineage_names”：[“Springer Nature”]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3-540-75596-8_30，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-75596-8_30.pdf“，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：fald，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”“host_organization_lineage_names”：[“Springer Nature”]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”“sustainable_development_goals”：[]，“grants”：【】，“datasets”：〔〕，“versions”：〔】，“referenced_works_count”：22，“referrenced_works”：https://openalex.org/W1482183975","https://openalex.org/W1585526574","https://openalex.org/W1599863298","https://openalex.org/W1787536085","https://openalex.org/W2004463571","https://openalex.org/W2011979623","https://openalex.org/W2013702670","https://openalex.org/W2024636948","https://openalex.org/W2060095702","https://openalex.org/W2086163366","https://openalex.org/W2117889170","https://openalex.org/W2124292368","https://openalex.org/W2124749403","https://openalex.org/W2140132043","https://openalex.org/W2147340401","https://openalex.org/W2152303030","https://openalex.org/W2154128151","https://openalex.org/W2154679417","https://openalex.org/W2162776653","https://openalex.org/W2561675875","https://openalex.org/W2987907651","https://openalex.org/W4300021588“]，”related_works“：[”https://openalex.org/W4319299837","https://openalex.org/W4302306363","https://openalex.org/W4301961691","https://openalex.org/W3163476457","https://openalex.org/W2901001960","https://openalex.org/W2772518193","https://openalex.org/W2166829200","https://openalex.org/W2068266569","https://openalex.org/W2027131958","https://openalex.org/W1492717267“]，”ngrams_url“：”https://api.openalex.org/works/W2121909093/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,23106]，“propose”：[1]，“algorithms”：[2]，“significally”：[3]，“extending”：[4]，“the”：[5,12,37,88,99123126]，“limits”：[6]，“for”：[7,45,71]，“maintaining”：+8,46]，“exact”：[9]，“representations”：[10,82]，“in”：[11,77103]，“verification”：[13]，“of”：[14,36,48,56，74,87,90,95125]，“线性”：[15,30,57]，“混合”：[16,38,58,80]，“系统“：[17,59]，”带“：[18,29,60]，”大“：[19,61]，”离散“：[20,62119]，”状态“：[21,39,63,81]，”空格。“：[22,64]，”use“：[24]，”AND-Inverter“：[25]，”Graphs“：[26]，”（AIG）“：[27]，”extended“：[28]，”constraints“：[31,76]，“（LinAIG）”：[32]，”as“：[33]，”symbolic“：[34]，”representation“：[35]，”space“：[40]，”AND“：[41]，”show“：[42]，”how“：%43]，”methods“：[44]，”compactness“：[47]，“AIG”：[49]，“can”：[50]，“be”：[51]，“lifted”：[52]，“to”：[53121]，“support”：[54]模型检查“：[55]，“This”：[65]，“builds”：[66]，“on”：[67]，“a”：[68,84108]，“novel”：[69]，“approach”：%70]，“eliming”：[72]，“sets”：[73]，“redundant”：【75】，“such”：【78】，“rich”：【79】，“by”：【83】，“appropriate”：【85】，“explovation”：【86】，“capabilities”：【89】，“SMT”：【91】，“solver”：【92]，“which”：[93]，“is”：[94]，“independent”：[96]，“value”：[97]，“beyond”：[98]，“应用”：[100]，“上下文”：[101]，“研究”：[102]，“本”：[104]，“论文。“：[105]，”已使用“：[107]，”基准“：[109]，”派生“：[110]，”源“：[111]，”an“：[112]，”空客“：[113]，”襟翼“：[114]，”控制“：[115]，”系统“：[116]，”（包含“：[117]，”220“：[118]，”状态）“：[120]，”演示“：[122]，”相关性“：[124]，”方法。“：[127]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2121909093“，”counts_by_year“：[{“年份”：2016，”cited_by_count“：1}，{“年度”：2015，”ciped_by_cunt“：1}，”{“年”：2014，“cited_by_count”：2}，“年份”:2013，”cited_by_count