{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T08:32:11Z”，“时间戳”：1725870731208}，“出版商位置”：“查姆”，“参考计数”：30，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319489889“}，{”类型“：”电子“，“value”：“9783319489896”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2016,1,1]]，T00:00:00Z“，”时间戳“：1451606400000}，”内容-版本“：“未指定”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的印刷品”：｛“日期部分”：[[2016]]｝，“DOI”：“10.1007\/978-3-319-48989-6_11”，“类型”：“书籍章节”，“创建”：｛“日期部分”：[[2016,11,7]，“日期时间”：“2016-11-07T06:31:19Z”，“时间戳”：1478500279000}，“页面”：“164-181”，“源”：“Crossref”，“is-referenced-by-count”：4，“标题”：[“从电气交换网络到混合自动机”]，“前缀”：“10.1007”，《作者》：[{“给定”：“Alessandro”，“家族”：“Cimatti”，“序列”：“first”，“affiliation”：[]}，{“已知”：“Sergio”，“家庭”：“Mover”，“sequence”：“additional”，“从属关系”：[]}，{“给定”：“Mirko”，“family”：“Sessa”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2016,11,8]]}，“reference”：[{“key”：“11_CR1”，“doi-asserted-by”：”crossref“，”first page“：”43“，”doi“10.1016\/j.entcs.2004.02.055”，“volume”：”109“，“author”：“A Agrawal”，“year”：“”2004”，“非结构化”：“Agrawal，A.，Simon，G.，Karsai，G.：使用图形转换将simulink状态流模型语义转换为混合自动机。电子注释理论。计算科学。109，43，u201356（2004）。图形转换和可视化建模技术研讨会论文集（GT-VMT2004）http://www.sciencedirect.com/science\/article\/pii\/S1571066104052089“，”journal-title“：”Electron。注释理论。计算。科学。“｝，｛”key“：”11_CR2“，”doi asserted by“：”crossref“，”doi“：”10.1201\/9781420014587“，”卷标题“：”液压动力系统分析。流体动力与控制“，”作者“：”阿克斯“，”年份“：”2006“，”非结构化“：”阿克斯，A.，Gassman，M.，Smith，R.：液压动力系统分析。流体动力与控制。CRC出版社，博卡拉顿（2006）.https:\/\/books.google.it\/books？id=Uo9gpXeUoKAC“}，{“key”：“11_CR3”，“series-title”：“计算中的EPiC系列”，“首页”：“188”，“卷时间”：“连续和混合系统应用验证第一和第二届国际研讨会，2015年ARCH14”，“作者”：“K Bae”，“年份”：“2015年”，“非结构化”：“Bae，K.，Kong，S.，Gao，S.：dReal中混合系统的SMT编码。In：Frehse，G.，Althoff，M.（编辑），第1和第2届连续和混合系统应用验证国际研讨会，ARCH14 2015。EPiC计算机系列，第34卷，第188\u2013195页。EasyChair，Manchester（2015）“}，{“key”：“11_CR4”，“unstructured”：“Barrett，C.W.，Sebastiani，R.，Seshia，S.A.，Tinelli，C.：可满足性模理论。摘自：《可满足性手册》，第825\u2013885页（2009）。http://\/dx.doi.org\/10.3233\/978-1-58603-929-5-825”}，}，“key“：”11_CR5“，”doi-asserted-by“：”crossref“，”doi“：”10.1 007\/978-3-319-08437-4“，”“volume-title”：“工程与生命科学中的大型网络”，“author”：“P Benner”，“year”：“2014”，“unstructured”：“Benner，P.：工程与生命科技中的大规模网络。Springer，New York（2014）“}，{”key“：”11_CR6“，”doi-asserted-by“：”crossref“，”first page“：“164”，”doi“：”10.1007\/978-3319-48989-6_11“，”volume-title“：”FM 2016“，”author“：”A Cimatti“，”year“：”2016“，“unstructured”：“Cimatti，A.，Mover，S.，Sessa，M.：从电气交换网络到混合自动机（扩展版）。In:Fitzgerald，J.，et al.（eds.）2016年FM。LNCS，第9995卷，第164\u2013181页。斯普林格，海德堡（2016）。http:\/\/es.fbk.eu\/people\/sessa\/paper\/FM2016\/main.pdf“}，{“key”：“11_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《52》，“doi”：“10.1007\/978-3662-46681-0_4”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“A Cimatti”，“year”：“2015”，“unstructured”：“”Cimatti，A.，Griggio，A.，Mover，S.，Tonetta，S.：HyComp：一种用于混合系统的基于SMT的模型检查器。收录：Baier，C.，Tinelli，C.（编辑）TACAS 2015。LNCS，第9035卷，第52页\u201367。斯普林格，海德堡（2015）。doi:10.1007，{“key”：“11_CR8”，“doi-asserted-by”：“publisher”，“first-pages”：“93”，“doi”：“10.1007，/978-3642-36742-7_7”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“A Cimatti”，“year”：“2013”，“unstructured”：“Cimatti，A.，Griggio，A.，Schaafsma，B.J.，Sebastiani，R.：ETAPS 2013，第93页\u2013107。斯普林格，海德堡（2013）。doi:10.1007\/978-3-642-36742-7_7“}，{“key”：“11_CR9”，“unstructured”：“Cimatti，A.，Mover，S.，Tonetta，S.：非线性混合自动机的无量词SMT编码。收录于：FMCAD，第187\u2013195页（2012）。http://\/ieeexplore.iee.org\/xpl\/articleDetails.jsp？arnumber=6462573”}，}，“key“：”11_CR10“，“series-title”：“计算机科学课堂笔记“，”doi-asserted-by“：”publisher“，”first page“：”21“，”doi“：”10.1007\/978-3-540-30494-4_3“，“volume-title”：“计算机辅助设计中的形式化方法”，“author”：“T Dang”，“year”：“2004”，“unstructured”：“Dang，T.，Donz\u00e9，A.，Maler，O.：使用混合系统技术验证模拟和混合信号电路。收录人：Hu，A.J.，Martin，A.K.（编辑）FMCAD 2004。LNCS，第3312卷，第21\u201336页。斯普林格，海德堡（2004）。doi:10.1007\/978-3-540-30494-4_3“}，{“issue”：“3”，“key”：“11_CR11”，“doi-asserted-by”：“publisher”，“first-pages”：“9”，“doi”：“10.1016\/j.entcs.2006.02.019”，“volume”：”153“，“author”：“G Frehse”，“year”：“2006”，“unstructured”：“Frehse，G.，Krogh，B.H.，Rutenbar，R.A.，Maler，O.：振荡器电路特性的时域验证。电子。注释理论。计算。科学。153（3），9\u201322（2006）。doi:10.1016\/j.entcs.2006.02.019“，”journal-title“：”Electron“。注释理论。计算。科学。“}，{”key“：”11_CR12“，”unstructured“：”Gario，M.，Micheli，A.：pysmt:一个用于基于smt的算法快速原型制作的不依赖于解算器的库。In:smt Workshop（2015）“}”，{“key”：“11_CR13”，“doi-asserted-by”：“crossref”，“unstructure”：“”亨廷格，T.A.：混合自动机理论。摘自：美国新泽西州新不伦瑞克市第十一届IEEE计算机科学逻辑研讨会论文集，2013年7月27日，1996年7月30日，第278页，2013年292页（1996年）。http://\/dx.doi.org\/10.109\/LICS.1996.561342“，”doi“：”10.1109\/LICS/1996.56134.2“}，{“volume-title”：“机电系统设计：方法、模型、概念”，“年份”：“2011”，“作者”：“K Janschek”，“密钥”：“11_CR14”，“非结构化”：“Janschek，K.：机电系统设计，方法、模型和概念。Springer科学与商业媒体，柏林（2011）”}，}“key“：”11_CR15“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-pages“：”200“，”doi“：”10.1007\/978-3662-46681-0_15“，“volume-title”：“用于构建和分析系统的工具和算法”，“author”：“S Kong”，“year”：“2015”，“unstructured”：“Kong，S.，Gao，S.、Chen，W.，Clarke，E.：dReach:$$\\delta$$\u03b4-混合系统的可达性分析。收录：Baier，C.，Tinelli，C.（编辑）TACAS 2015。LNCS，第9035卷，第200\u2013205页。施普林格，海德堡（2015）。doi:10.1007\/978-3662-46681-0_15“}，{“key”：“11_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Lee，H.L.、Althoff，M.、Hoelldampf，S.、Olbrich，M.和Barke，E.：用于非线性模拟电路可达性分析的混合系统模型的自动生成。摘自：第20届亚洲及南太平洋设计自动化会议，2015年亚太设计自动化协会，日本千叶，2013年1月19日，2015年1月22日，第725页，2013年730页（2015年）。http://\/dx.doi.org\/10.109\/ASPDAC.2015.7059096“，”doi“：”10.1109\/ASPADC.2015.7079096“}，{“key”：“11_CR17”，“unstructured”：“Manamcheri，K.、Mitra，S.、Bak，S.和Caccamo，M.：从simulink状态流模型走向验证和综合的一步。在：第14届美国机械工程师协会混合系统国际会议论文集：计算与控制，HSCC 2011，美国伊利诺伊州芝加哥，2013年12月14日，2011年4月14日，第317\u2013318页（2011）。http://\/doi.acm.org\/10.1145\/19677011.967749“}，{“问题”：“8”，“密钥”：“11_CR18”，”doi-asserted-by“：”crossref“，”首页“：”692“，”doi“：”10.1109\/81.611264“，”volume“：”44“，”author“：”A Massarini“，“年份”：“1997”，“非结构化”：“Massarini，A.，Reggiani，U.，Kazimierczuk，M.K.：用状态方程分析具有理想开关的网络。IEEE传输。循环。系统。一： 芬丹。理论应用。44（8），692\u2013697（1997）“，“期刊标题”：“IEEE Trans。循环。系统。一： 芬丹。理论应用。“}，{”key“：”11_CR19“，”unstructured“：”Mathworks，T.：Simscape power systems.http://it.Mathworks.com/help\/physmod\/sps\/index.html“}”，{“key”：“11_CR20”，“unstructure”：“”Minopoli，S.，Frehse，G.：SL2SX转换器：从simulink到spaceex模型。摘自：《第19届混合系统国际会议论文集：计算与控制》，HSCC 2016，奥地利维也纳，12\u201314，2016年4月，第93\u201398页（2016）。http://\/doi.acm.org\/10.1145\/2883817.2883826“}，{“key”：“11_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Mover，S.，Cimatti，A.，Tiwari，A.，Tonetta，S.：混合系统的时间-软件关系抽象。摘自：EMSOFT，pp.14:1\u201314:10（2013）。http://\/dx.doi.org\/10.109\/EMSOFT.2013.6658592”，“doi”：“10.1109”\/EMSOFT.2013.6658592“}，{”key“：”11_CR22“，”unstructured“：”Nguyen，L.V.，Johnson，T.T.：基准：DC-DC开关模式功率变换器（buck变换器、boost变换器和buck-boost变换器）。参见：Frehse，G.，Althoff，M.（编辑）ARCH14 2015，连续和混合系统应用验证第一和第二次国际研讨会。EPiC计算机系列，第34卷，第19\u201324页。EasyChair（2015）“}，{“key”：“11_CR23”，“unstructured”：“Nuzzo，P.，Xu，M.，Ozay，N.，Finn，J.B.，Sangiovanni-Vincentelli，A.，Murray，R.，Donze，A.，Seshia，S.：飞机电力系统设计的基于合同的方法。IEEE Access。http://\/icyphy.org\/pubs\/35.html”}，}“key”：“11-CR24”，“doi-asserted-by”：“crossref”，“doi”：“10.1142 \/6746“，”“volume-title”：“微分代数系统：分析方面和电路应用”，“author”：“R Riaza”，“year”：“2008”，“unstructured”：“Riaza，R.：微分代数系统，分析方面和回路应用”。World Scientific，Singapore（2008）“}，{“key”：“11_CR25”，“unstructured”：“SAE International:AIR 6110-Contigous Aircraftraftraft//系统开发过程示例（2011）”}，}“issue”：“4”，“key“：”11_CR26“，“doi-asserted-by”：“crossref”，“first page”：”：“311”，“doi”：“10.1109 \/13.965777”，“volume”:“44”，“author”：“DL Skaar”，“year”：“2001”，“非结构化”：“Skaar，D.L.：使用叠加方法来制定线性网络的状态变量矩阵。IEEE传输。教育。44（4），311\u2013314（2001）“，“期刊标题”：“IEEE Trans。教育。“}，{”key“：”11_CR27“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“725”，“doi”：“10.1007\/978-3642-31424-7_56”，“volume-title”：“计算机辅助验证”，“author”：“A Tiwari”，“year”：“2012”，“unstructured”：“Tiwari，A.：HybridSAL关系抽象器。in:Madhusudan，P.，Seshia，S.A.（eds.）CA 2012年第五期。LNCS，第7358卷，第725\u2013731页。施普林格，海德堡（2012）。doi:10.1007\/978-3642-31424-7_56“}，{“key”：“11_CR28”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”504“，“doi”：“10.1007\/988-3319-21690-4_34”，“volume-title”：”计算机辅助验证“，“author”：“A Tiwari”，“year”：“2015”，“unstructured”：“Tiwari，A.：HybridSal中的时间感知抽象。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9206卷，第504\u2013510页。斯普林格，海德堡（2015）。doi:10.1007\/978-3-319-21690-4_34“}，{“key”：“11_CR29”，“doi-asserted-by”：“crossref”，“unstructured”：“Zaki，M.H.，Tahar，S.，Bois，G.：模拟和混合信号设计的形式验证：调查和比较。摘自：2006 IEEE North-East Workshop on Circuits and Systems，pp.281\u20132842006年6月”，“doi”：“10.1109\/NEWCAS.2006.250926”}11_CR30“，“非结构化”：“Zhang，Y.，Sankaranarayanan，S.，Somenzi，F.：用于模拟电路形式验证的非线性器件的分段线性建模。收录于：FMCAD，第196\u2013203页（2012年）。http://\/ieeexplore.iee.org\/xpl\/articleDetails.jsp？arnumber=6462574“}]，“container-title”：[“计算机科学课堂讲稿”，“FM 2016:形式化方法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-48989-6_11”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“date-parts”：[2017]6,25]]，“date-time”：“2017-06-25T02:58:52Z”，“timestamp”：1498359532000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3319-48989-6_11”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2016年]}，nces-count“：30，”URL“：”http://\/dx.doi.org\/10.1007\/978-3319-48989-6_11“，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期-部分”：[2016]}}}