{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,1]]，“日期时间”：“2023-01-01T11:52:08Z”，“时间戳”：1672573928853}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540212591”，“类型”：打印“}，{”值“：“9783540247432”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-24743-2_37“，”type“：”book-capter“，”created“：”{“date-part”：[[2010,8,2]]，“date-time”：“2010-08-02T11:02:22Z“，”时间戳“：1280746942000}，”页面“：”555-569“，“source”：“Crossref”，“由count引用”：14，“title”：[“Bisimulation of Dynamic Systems”]，“prefix”：“10.1007”，“author”：[｛“given”：“Arjan”，“family”：“van der Schaft”，“sequence”：“first”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“37_CR1”，“doi asserted by”：“publisher”，“first page”：“971”，“doi”：“10.1109\/5.871304”，“volume”：“88”，“作者”：“R。Alur”，“年份”：“2000年”，“非结构化”：“Alur，R.，Henzinger，T.A.，Lafferiere，G.，Pappas，G.J.：混合系统的离散抽象。IEEE\u00a088，971\u2013984（2000）的论文集”，“期刊标题”：“IEEE论文集”}，{“key”：“37_CR2”，“volume-title”：“线性系统理论中的受控和条件不变量”，“author”：“G.Basile”，“year”：“1992”，“unstructured”：“Basile，G.，Marro，G.：线性系统理论中的受控和条件不变量。Prentice Hall，Englewood Cliffs（1992）“}，{“key”：“37_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Haghverdi，E.，Tabuada，P.，Pappas，G.J.：统一离散和连续系统的互模拟关系，范畴理论与计算机科学，理论计算机科学中的电子笔记（2002年8月）”，“doi”：“10.1016\/S1571-0661（04）”80562-0“}，{“key”：“37_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”324“，“doi”：“10.1007\/3-540-60084-1_85”，“volume-title”：”自动化、语言和编程“，”作者：“T.A.Henzinger”，“年份”：“1995”，“非结构化”：“Henzinger，T.A.：具有有限互模拟的混合自动机。收录：F\u00fcl\u00f6p，Z.，Gecseg，F.（eds.）ICALP 1995。LNCS，第u00a0944卷，第324\u2013335页。Springer，Heidelberg（1995）“}，{”key“：”37_CR5“，”series-title“：”计算机科学讲义“，”volume-title“：“交互式马尔可夫链”，“年份”：“2002”，“非结构化”：“Hermanns，H.（ed.）：交互式马尔可夫链。LNCS，vol.\u00a02428。Springer，Heidelberg（2002）“}，{”key“：”37_CR6“，”series-title“：“计算机科学课堂讲稿”，”volume-title“：”Hybrid Systems V“，”author“：”G.Lafferiere“，”year“：”1998“，”unstructured“：”Lafferier，G.，Pappas，G.J.，Sastry，S.：具有有限双模拟的混合系统。in:Antsaklis，P.，Kohn，W.，Lemmon，M.，Nerode，A.，Sastrey，S.（eds.）Hybrid Systems V.LNCS，Springer，Heidelberg（1998）“｝，｛“key”：“37_CR7”，“doi asserted by”：“publisher”，“首页”：“1”，“doi”：“10.1007\/PL00009858”，“volume”：“13”，“author”：“G.Lafferriere”，“year”：“2000”，“nonstructured”：“Lafferriere，G.，Pappas，G.J.，Sastry，S.:O-最小混合系统。Math.Contr.Signals，Syst.\u00a013，1\u201321（2000）”期刊标题“：”数学。合同。信号，系统。“}，{”key“：”37_CR8“，”unstructured“：”Milner，R.：通信与并发。Prentice Hall国际计算机科学系列（1989）“}”，{“key”：“37_CR9”，“volume-title”：“通信与移动系统：the\u03c0-微积分”，“author”：“R.Milner”，“year”：“1999”，“unstructure”：“”Milner，R.：通信和移动系统：\u03c0-微积分。剑桥大学出版社，剑桥（1999）“}，{”issue“：”6“，”key“：”37_CR10“，”doi-asserted-by“：”publisher“，”first page“：“1144”，“doi”：“10.1109\/9.863598”，“volume”：“45”，“author”：“G.J.Pappas”，“year”：“2000”，“unstructured”：“Pappas，G.J.、Lafferierre，G.、Sastry，S.：分层一致控制系统。IEEE Transactions on Automatic Control（6），1144\u20131160（2000）“，“journal-title”：“IEEE Translations on Automatical Control”}，{“key”：“37_CR11”，“doi-asserted-by”：“publisher”，“first page”：”2035“，”doi“：”10.1016\/j.automatica.2003.07.003“，”volume“：”39“，”author“：”G.j.Pappas“，”year“：”2003“，”unstructured“：”Pappas，G.J.：双相似线性系统。Automatica\u00a039，2035\u20132047（2003）“，”journal-title“：”Automatica“}，{”key“：”37_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”745“，”doi“：”10.1109\/TAC.2002.1000269“，”volume“：“47”，”author“：”G.J.Pappas“，”year“：”2002“，”unstructured“：”Pappas，G.J.，Simic，S.：仿射控制系统的一致抽象。IEEE自动控制学报\u00a047，745\u2013756（2002）“，”journal-title“：”IEEE自动控制器学报“}，{“key”：“37_CR13”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0017309”，“volume-title”：《理论计算机科学》，“author”：“D.Park”，“year”：“1981”，“unstructured”：“Park，D.：无限序列上的并发性和自动机。收录：Deussen，P.（编辑）GI-TCS 1981。LNCS，vol.\u00a0104，Springer，Heidelberg（1981）“}，{“key”：“37_CR14”，“unstructured”：“Pola，G.，van der Schaft，A.J.，Di Benedetto，M.D.：切换线性系统的双模拟理论（正在准备中）”}van der Schaft，A.J.：通过互模拟实现动力系统的等效。，特温特大学应用数学技术报告系（2003年10月）（提交出版）“}，{“key”：“37_CR16”，“series-title”：“Springer控制与信息科学讲义”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/BFb0109998”，“volume-title”：《混合动力系统导论》，“author”：“A.J。Schaft van der”，“年份”：“2000年”，“非结构化”：“van der Schaft，A.J.，Schumacher，J.M.：混合动力系统简介。Springer控制与信息科学讲座笔记，第\u00a0251卷。施普林格，伦敦（2000）；第二次修订版将出现在通信和控制工程系列，Springer，London（2004）“}，{“key”：“37_CR17”，“unstructured”：“Tabuada，P.，Pappas，G.J.：双相似控制仿射系统。系统和控制信件（将要出现）”}，}“key”：“37 _CR18”，“Series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”第一页“：”436“，”DOI“：”10.1007\/3-540-45873-5_34“，”volume-title“：”Hybrid Systems:Computation and Control“，”author“：”P.Tabuada“，”year“：”2002“，”unstructured“：”Tabusada，P.，Pappas，G.J.，Lima，P.：组成混合系统的抽象。摘自：Tomlin，C.，Greenstreet，M.R.（编辑）《混合系统：计算与控制》。LNCS，第436\u2013450页。Springer，Heidelberg（2002）“}，{“key”：“37_CR19”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-1-4612-1082-5”，“volume-title”：“线性多变量控制：几何方法”，“author”：“W.M.Wonham”，“year”：“1985”，“unstructured”：“Wonham，W.M.：线性多变量控制：几何方法，第三版，纽约Springer（1985）”，“edition”：“3”}]，“container-title”：[“混合系统：计算与控制”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-24743-2_37”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2019,5,31]]，“date-time”：“2019-05-31T23:19:22Z”，“timestamp”：1559344762000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com/10.1007\/978-3-540-24743-237”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2004]}”，“ISBN”：[“9783540212591”，“9783543432”]，“reference”s-count“：19，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-24743-2_37“，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛“值”：“0302-9743”，“类型”：“打印”｝，｛“值”：“1611-3349”，“类型”：“电子”｝]，“主题”：[]，“已发布”：｛“日期部分”：[[2004]]｝｝