{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T20:31:53Z”，“时间戳”：1714249913092}，“出版商位置”：“柏林，海德堡”，“参考计数”：28，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540755951”，“类型”：“打印”}]，“内容域”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_30”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“425-440”，“source”：”Crossref“，“is-referenced-by-count”：16，“title”“”：[“大离散状态空间线性混合系统验证中的精确状态集表示”]，“prefix”：“10.1007”，“author”：[{“given”：“Werner”，“family”：“Damm”，“sequence”：“first”，“affiliation”：[]}，“affiliation”：[]}，{“given”：“Swen”，“family”：“Jacobs”，“sequence”：“additional”，“affeliance”：[]}，“隶属关系”：[]}，{“给定”：“Uwe”，“family”：“Waldmann”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Boris”，“faily”：”Wirtz“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“reference”：[{“key”：”30_CR1“，“series-title”：“计算机科学课堂笔记”，“首页”：“1”，“卷时间”：“混合系统第七次研讨会：计算与控制”，“author”：“M.Agrawal”，“年份”：“2004年”，“非结构化”：“Agrawal，M.，Thiagarajan，P.S.：惰性矩形混合自动机。收录：Alur，R.，Pappas，G.J.（编辑）HSCC 2004。LNCS，第u00a02993卷，第1\u201315页。Springer，Heidelberg（2004）“}，{”key“：”30_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“55”，”doi“：”10.1007\/978-3-540-31954-2_4“，”volume-title“：“第八届混合系统研讨会：计算与控制”，”author“：”M.Agrawal“，”year“：”2005“，”unstructured“：”Agrawal，M.，Thiagarajan，P.S.：惰性线性混合自动机的离散时间行为。收录：Morari，M.，Thiele，L.（编辑）HSCC 2005。LNCS，第u00a03414卷，第55\u201369页。Springer，Heidelberg（2005）“}，{”issue“：”1“，”key“：”30_CR3“，”doi-asserted-by“：”publisher“，”first page“：“3”，”doi“：”10.1016\/0304-3975（94）00202-T“，“volume”：“138”，“author”：“R.Alur”，”year“：”1995“，”unstructured“：”Alur，R.，Courcoubetis，C.，Halbwachs，N.，Henzinger，T.A.，Ho，P.-H.，Nicollin，X.，Olivero，A.，Sifakis，J.，Yovine，S.：混合系统的算法分析。理论计算机科学\u00a0138（1），3\u201334（1995）“，”杂志标题“：”理论计算机科学“}，{“问题”：“7”，“关键字”：“30_CR4”，“doi-asserted-by”：“publisher”，“首页”：“451”，“doi”：“10.1007\/s00236-006-0035-7”，”卷“：”43“作者”：“E.Asarin”，“年份”：“2007”，“非结构化”：“Asarin，E.，Dang，T.，Girard，A.：非线性系统分析的杂交方法。《信息学报》\u00a043（7），451\u2013476（2007）“，“期刊标题”：“信息学报”}，{“key”：“30_CR5”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page:”365“，”doi“：”10.1007\/3-540-45657-0_30“，”volume-title“：”第十四届计算机辅助验证会议“，”作者：“E.Asarin”，“年份”：“2002”，“非结构化”：“Asarin，E.，Dang，T.，Maler，O.：用于验证混合系统的d\/dt工具。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，卷\u00a02404，第365\u2013370页。Springer，Heidelberg（2002）“}，{”key“：”30_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“438”，”doi“：”10.1007\/11817963_40“，”volume-title“：“第18届计算机辅助验证会议”，”author“：”B.Boigelot“，”year“：”2006“，”unstructured“：”Boigelot，B.，Herbreteau，F.：混合加速度的功率。收录：Ball，T.，Jones，R.B.（编辑）CAV 2006。LNCS，卷\u00a04144，第438页\u2013451。Springer，Heidelberg（2006）“}，{”key“：”30_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“276”，”doi“：”10.1007\/11901914_22“，”volume-title“：“第四届自动技术验证与分析研讨会”，”author“：”W.Damm“，”year“：”2006“，”unstructured“：”Damm，W.，Disch，S.，Hungar，H.，Pang，J.，Pigorsch，F.，Scholl，C.，Waldmann，U.，Wirtz，B.：具有大离散状态空间的混合系统的自动验证。收录：Graf，S.，Zhang，W.（编辑）ATVA 2006。LNCS，第u00a04218卷，第276\u2013291页。Springer，Heidelberg（2006）“}，{“问题”：“1”，“关键”：“30_CR8”，“doi-asserted-by”：“出版商”，“首页”：“63”，“doi”：“10.1142\/S0129054107004577”，“卷”：“18”，“作者”：“W.Damm”，“年份”：“2007”，“非结构化”：“Damm，W.，Pinto，G.，Ratschan，S.：非线性鲁棒离散时间混合系统LTL特性验证中的保证终止。计算机科学基础杂志\u00a018（1），63\u201386（2007）“，“Journal-title”：“Journal of Foundations of Computer Science”}，{“key”：“30_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Dolzmann，A.：适用实量化因子消除的算法策略。帕索大学博士论文（2000）”，“doi”：“10.1007\/978-3-642-59932-3_11“}，{“问题”：“3”，“密钥”：“30_CR10”，“doi-asserted-by”：“出版商”，“首页”：“179”，“doi”：“10.1007\/s10703-006-0031-0”，《卷》：“30”，“作者”：“M.Fr\u00e4nzle”，“年份”：“2007”，“非结构化”：“Fr\u00e4nzle，M.，Herde，C.：HySAT：混合系统有界模型检查的有效证明引擎。系统设计中的形式化方法\u00a030（3），179\u2013198（2007）”，“期刊标题”：“系统设计中的形式化方法”}，｛“密钥”：“30_CR11”，“非结构化”：“Frehse，G.：使用仿真关系的混合系统的组合验证。博士论文，奈梅亨拉德布大学（2005）”｝，｛“问题”：“5”，“密钥”：“30_CR12”，doi断言：“出版商”第一页“：”782“，”DOI“：”10.1109\/TAC.2007.895849“，”卷“：”52“，”作者“：”A.Girard“，”年份“：”2007“，”非结构化“：”Girard，A.，Pappas，G.J.：离散和连续系统的近似度量。IEEE Transactions on Automatic Control \u00a052（5），782\u2013798（2007）“，“journal-title”：“IEEE Translations on Automatical Control”}，{“key”：“30_CR13”，“unstructured”：“H3 FOMC Team。The flap controller description，http:\\/www.avacs.org\/Bechmarks\/flapcontroller.pdf”}、{“密钥”：“30-CR14”，“doi-asserted-by”：“publisher”，“首页”：“278”，“doi”：“10.1109\/LICS.1996.561342“，“卷-时间”：“第11届IEEE计算机科学逻辑研讨会”，“作者”：“T.A.Henzinger”，“年份”：“1996”，“非结构化”：“Henziger，T.A.：混合自动机理论。摘自：第11届IEEE计算机科学逻辑研讨会，第278\u2013292页。IEEE Press，Los Alamitos（1996）“｝，｛“issue”：“1\u20132”，“key”：“30_CR15”，“doi asserted by”：“publisher”，“first page”：“110”，“doi”：“10.1007\\s100090050008”，“volume”：“1”，“author”：“T.A.Henzinger”，“year”：“1997”，“nonstructured”：“Henzinger，T.A.，Ho，P.-H.，Wong-Toi，H.：HyTech：混合系统的模型检查器。技术转让软件工具\u00a01（1\u20132），110\u2013122（1997）“，”日记标题“：”技术转让软件“}，{“key”：“30_CR16”，“doi-asserted-by”：“publisher”，“first page”：”576“，”doi“：”10.1145\/363235.363259“，”volume“：”12“，”author“：”C.A.R.Hoare“，”year“：”1969“，“unstructured”：“Hoare，C.A.R.：计算机编程的公理基础。ACM\u00a012，576\u2013583（1969）“，”journal-title“：ACM的通信”}，{“key”：“30_CR17”，“unstructured”：“Jha，S.，Brady，B.，Seshia，S.：惰性线性混合自动机的符号可达性分析。技术报告，加州大学伯克利分校EECS部门（2007）”}第一页“：”1377“，”DOI“：”10.1109\/TCAD.2002.804386“，”volume“：”21“，”author“：”A.Kuehlmann“，”year“：”2002“，”unstructured“：”Kuehlann，A.，Paruthi，V.，Krohm，F.，Ganai，M.K.：等价性检查和功能属性验证的稳健布尔推理。IEEE计算机辅助设计汇刊\u00a021（12），1377\u20131394（2002）“，”期刊标题“：”IEEE计算机帮助设计汇刊“}，{“问题”：“5”，“密钥”：“30_CR19”，“doi-asserted-by”：“出版商”，“首页”：“450”，“doi”：“10.1093\/comjnl\/36.5.450”，“卷”：“36”，“作者”：“R.Loos”，“年份”：“1993”，“非结构化”：“Loos，R.，Weispfenning，V.：应用线性量词消除。《计算机杂志》\u00a036（5），450\u2013462（1993）“，”Journal-title“：”The Computer Journal“}，{“key”：“30_CR20”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-1-4615-3190-6”，“volume-title”：“符号模型检查”，“author”：“K.L.McMillan”，《年份》：“1993”，“非结构化”：“McMillan，K.L.：符号模型检查。Kluwer Academic Publishers，Dordrecht（1993）“}，{“key”：“30_CR21”，“unstructured”：“Mishchenko，A.，Chatterjee，S.，Jiang，R.，Brayton，R.K.：FRAIGs:逻辑综合与验证的统一表示法。技术报告，加州大学伯克利分校EECS部门（2005）”}，}，“key“：”30_CR22“首页”：“459”，“volume-title”：“第18届IEEE计算机设计会议”，“作者”：“V.Paruthi”，“年份”：“2000年”，“非结构化”：“Paruthi，V.，Kuehlmann，A.：结合结构SAT解算器、BDD和仿真的等价性检查。摘自：第18届IEEE计算机设计会议，第459\u2013464页。IEEE Press，Los Alamitos（2000）“}，{“key”：“30_CR23”，“doi-asserted-by”：“publisher”，“first-pages”：“89”，“doi”：“10.1109\/FMCAD.2006.4”，“volume-title”：“第六届计算机辅助设计形式方法会议”，“author”：“F.Pigorsch”，“year”：“2006”，“unstructured”：“Pigorsch，F.、Scholl，C.、Disch，S.：使用AIG、BDD扫描和量词调度进行高级无界模型检查。摘自：第六届计算机辅助设计形式方法会议，第89页\u201396。IEEE Press，Los Alamitos（2006）“}，{”key“：”30_CR24“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“473”，”doi“：”10.1007\/978-3-540-71493-4_37“，”volume-title“：“HSCC 2007”，”author“：”A.Platzer“，“year”：“2007”，“unstructured”：“Platzer，A.，Clarke，E.：混合系统模型检查中的图像计算问题。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。第十届混合系统研讨会：计算与控制。LNCS，卷\u00a04416，第473\u2013486页。Springer，Heidelberg（2007）“}，{”key“：”30_CR25“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“433”，”doi“：”10.1007\/978-3-540-73368-3_46“，”volume-title“：“CAV 2007”，”author“：”M.Segelken“，”year“：”2007“，”unstructured“：”Segelken，M.：用于阶跃线性混合模型的模型检查的\u03c9-自动机的抽象和反例指导构造。摘自：Damm，W.，Hermanns，H.（编辑）CAV 2007。LNCS，卷\u00a04590，第433\u2013448页。Springer，Heidelberg（2007）“}，{“key”：“30_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Silva，B.I.，Richeson，K.，Krogh，B.H.，Chutinan，A.：使用CheckMate对混合动力系统进行建模和验证。In:第四届混合过程自动化会议（2000）”，“doi”：“10.1109\/ACC.2000.879487”}，“key“：”30_CR27“非结构化”：“VIS集团。VIS：用于验证和合成的系统。In:Alur，R.，Henzinger，T.A.（编辑）CAV 1996。LNCS，卷\u00a01102，第428\u2013432页。Springer，Heidelberg（1996）“}，{“问题”：“1”，“关键”：“30_CR28”，“doi-asserted-by”：“出版商”，“首页”：“38”，“doi”：“10.1109\/TSE.2005.13”，“卷”：“31”，“作者”：“F.Wang”，“年份”：“2005”，“非结构化”：“Wang，F.：具有类BDD数据结构的线性混合系统的符号参数安全分析。IEEE软件工程学报\u00a031（1），38\u201352（2005）“，“期刊标题”：“IEEE软件工程学学报”}]，“容器标题”：[“验证和分析自动化技术”，“计算机科学讲稿”]，“原文标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_30.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2021,4,27]，“日期时间”：“2021-04-27T10:25:26Z”，“时间戳”：1619519126000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http://\/link.springer.com/10.1007\/978-3-540-75596-8_30“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[null]]}，“ISBN”：[“9783540755951”]，“references-count”：28，“URL”：“http://\/dx.doi.org\/10.10007\/968-3-540-5596-8_30”，“关系”：{}，，“主题”：[]}