{“id”：“https://openalex.org/W2555386520“，”doi“：”https://doi.org/10.1007/978-3-319-48989-6_11“，”title“：”From Electrical Switched Networks to Hybrid Automata“，”display_name“：”Frem Electric Switched-Networks to Hybrid Automato“，”publication_year“：2016，”publiation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2555386520“，”doi“：”https://doi.org/10.1007/978-3-319-48989-6_11“，”mag“：”2555386520“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-48989-6_11“，”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/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]｝]，”国家“：[”IT“]，”is_correresponsing“：false，”raw_author_name“：”Alessandro Cimatti“，”raw_affiation_strings“：[”意大利特伦托布鲁诺·凯斯勒基金会“]，”附属机构“：[｛”raw_affiation_string“：”意大利特伦托布鲁诺·凯斯勒基金会“，”institution_ids“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547}，“机构”：[{“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/A5048380231“，”display_name“：”Mirko Sessa“，”orcid“：”https://orcid.org/0000-0003-0214-2013}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Mirko Sessa“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：]”https://openalex.org/I2277624104“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：2，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：2.387，“has_fulltext”：false，“cited_b y_count“：6，”引用标准化百分比“：{”value“：0.762626，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：83，”max“：84}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“164”，“last_page”：“181”}，‘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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9984，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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.9977，”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/ode“，”display_name“：”Ode“，”score“：0.5912022}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.561798}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”display_name“：”可满足模理论“，”score“：0.5398857}]，”concepts“：[{”id“：”https://openalex.org/C199845137，“wikidata”：https://www.wikidata.org/wiki/Q145490“，”display_name“：”网络拓扑“，”level“：2，”score“：0.74840385}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6623285｝，｛”id“：”https://openalex.org/C34862557，“wikidata”：https://www.wikidata.org/wiki/Q178985“，”display_name“：”Ode“，”level“：2，”score“：0.5912022}，{”id“：”https://openalex.org/C51544822，“wikidata”：https://www.wikidata.org/wiki/Q465274“，”display_name“：”常微分方程“，”level“：3，”score“：0.5705629}，{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足性模理论“，”level“：2，”score“：0.5398857}，{”id“：”https://openalex.org/C184720557，“wikidata”：https://www.wikidata.org/wiki/Q7825049“，”display_name“：”拓扑（电路）“，”level“：2，”score“：0.46738446}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.4286685}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40842122}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.36699706}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28423074}，{”id“：”https://openalex.org/C78045399，“wikidata”：https://www.wikidata.org/wiki/Q11214“，”display_name“：”微分方程“，”level“：2，”score“：0.2829001}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.10566881}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”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}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-48989-6_11“，”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/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：29，”referenced_works“：[”https://openalex.org/W1015918564","https://openalex.org/W10653132","https://openalex.org/W1481397690","https://openalex.org/W1576278728","https://openalex.org/W1986706177","https://openalex.org/W1991698050","https://openalex.org/W2053504864","https://openalex.org/W2059921766","https://openalex.org/W2106026059","https://openalex.org/W2119907432","https://openalex.org/W2127888793","https://openalex.org/W2128312830","https://openalex.org/W213397635","https://openalex.org/W2147340401","https://openalex.org/W2151285759","https://openalex.org/W2163273273","https://openalex.org/W2168948159","https://openalex.org/W221832247","https://openalex.org/W2291189355","https://openalex.org/W2338852180","https://openalex.org/W2555386520","https://openalex.org/W2575236772","https://openalex.org/W4235970972","https://openalex.org/W4238034907","https://openalex.org/W633067410","https://openalex.org/W635218703","https://openalex.org/W637320825","https://openalex.org/W640457041","https://openalex.org/W856973001“]，”related_works“：[”https://openalex.org/W4382202915","https://openalex.org/W4295745414","https://openalex.org/W4288093367","https://openalex.org/W3082668976","https://openalex.org/W2996841952","https://openalex.org/W2618518959","https://openalex.org/W2517973022","https://openalex.org/W2231364979","https://openalex.org/W1580703421","https://openalex.org/W1543121148“]，”abstract_inverted_index“：｛”In“：[0]，”this“：[1]，”论文“：[2]，”we“：[315818318]，”提议“：[4159]，”a“：[5，12，17，26，42，55，56，70，0126160193]，”新颖“：[6]，”符号“：[7194]，”方法“：[8213]，”到“：[9，33129199]，”自动“：[10]，”合成“：[11]，”混合“：[13，81]，”自动机“：[14]，“（HA）”：[15]，“from”：[16119]，“switched”：[18]，“electrical”：[19]，“网络。”：[20]，“The”：[21,38,94196227]，“input”：[22]，“network”：[23,36,59101148191]，“composes”：[24,96114]，“of”：[25,28,50,58,63,76,97115147155225232]，“set”：[27,57]，“physical”：[29]，“commonents”：[30]，“interconnected”：[31]，“accord”：[32]，“some”：[34]，“reconfigurable”：[35]，“topology”：[37]，“基础”：[39]，“模型”：[40]，“定义”：[41]，“local”：[43]，“dynamics”：[44]，“for”：[45,87]，“each”：[46]，“component”：[47]，“in”：[48152]，“terms”：[49]，“Differential-Algebraic”：[52,82]，“Equation”：[53]，“（DAE），”：[54]，“and”：[55,92217]，“topologies”：[60149203]，“by”：[61206]，“means”表示“：[62]，“discrete”：[64]，“switches”：[65]，“每个”：[66]，“开关”：[67]，“配置”：[68]，“感应”：[69]，“不同”：[71]，“拓扑”：[72]，“其中”：[73]，“问题”：[86]，“这些”：[88]，“网络”：[89]，“行为”：[75]，“系统”：[78]，“是”：[79125150]，“等式”：[83]，“两个”：[84]，“相关”：[85]，“故障”，“确定”：[98]，“如果”：[99]，“承认”：[102]，“an”：[103185]，“普通”：[104]，“微分”：[105]，“方程”：[106]，“（ODE）”：[107]，“that”：[108135168188]，“describes”：[109]，“its”：[110]，“dynamics；”：[111]，“second”：[113]，“get”：[116]，“such”：[117]，“ODE”：[118]，“initial”：121]，“DAE.”：[122]，“This”：[123]，“step”：[124]，“key”：%127]，“启用码”：[128]，“使用”：[130]，“现有”：[131]，“正式”：[132]，“验证”：[133]，“工具”：[134]，“可以”：[136169]，“应对”：[137]，“使用”：[138142214221]，“ODE”：[139]，“但是”：[140]，“不”：[141]，“DAEs.”：[143]，“自”：[144]，“数字”：[146154]，“指数”：[151]，“开关”：[156]，“第一，”：[157]，“技术”：[161]，“基于”：[162]，“依据”：[163]，“满意”能力“：[164]，“模”：[165]，“理论”：[166]，“（SMT）”：[167]，“求解”：[170]，“问题”：[173]，“象征性”，：[174]，“避免”：[175]，“显式”：[177223]，“枚举”：[178224]，“拓扑。”：[181]，“Then，”：[182]，“show”：[184]，“基于SMT”：[186]，“算法”：[187197]，“重新格式化”：[189]，“into”：[192]，“HA.”：[195]，“规避”：[198]，“明确”：[200]，“enumerate”“：[201]，”聚类“：[204]，”它们“：[205]，”等价“：[207]，“连续”：[208]，“动态”：[209]，“我们”：[210]，“实现”：[211]，“多个”：[215]，“优化”：[216]，“比较”：[219]，“it”：[220]，“配置”：[226]，“结果”：[228]，“演示”：[229]，“可扩展性”：[231]，“our”：[233]，“技术”：[234]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2555386520“，”counts_by_year“：[{“年份”：2018，”cited_by_count“：2}，{“年度”：2017，”cited_by_count”：3}，}“年”：2016，”citecd_by_count“：1}]，”updated_date“：”2024-09-25T21:18:47.845581“，”created_dates“：”2016-11-30“}”