{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,14]]，“日期时间”：“2024-06-14T11:18:42Z”，“时间戳”：1718363922527}，“出版商位置”：“柏林，海德堡”，“参考计数”：32，“出版者”：“施普林格-柏林-海德堡（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_40“，”type“：”book-capter“，”created“：”{“date-part”：[[2010,8,2]]，“date-time”：“2010-08-02T11:02:22Z“，”时间戳“：1280746942000}，”页面“：”600-614“，“source”：“Crossref”，“is-referenced-by-count”：37，“title”：[“非线性系统：近似到达集”]，“prefix”：“10.1007”，”author“：[{”given“：”Ashish“，”family“：”Tiwari“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Gaurav“，“family”：“Khanna”，“sequence”：“additional”，“afliation”：[]{}]，“member”：“297”，“reference”：[{“key”：“40_CR1”，“doi-asserted-by”：“crossref”，“unstructured”：“Alur，R.，Dang，T.，Ivancic，F.：通过谓词抽象对混合系统进行可达性分析。In：Tomlin and Greenstreet[28]”，“DOI”：“10.1007\/3-540-45873-5_6”}，{“key”：“40_CR2”，“DOI-asserted-by”：“crostref”，“非结构化”：“Alur，R.，Dang，T.，Ivancic，F.：使用谓词抽象的混合系统可达性分析的进展。In：Maler和Pnueli[20]”，“DOI”：“10.1007\/3-540-36580-X_4”}，{“issue”：“2”，“key”：“40_CR3”，“DOI-asserted-by”：“publisher”，“first page”：”971“，“DOI:”10.1109\/5.871304“，”volume“88”，“author”：“R.Alur”，”year“2000”，“非结构化”：“Alur，R.，Henzinger，T.，Lafferierre，G.，Pappas，G.J.：混合系统的离散抽象。IEEE\u00a088（2），971\u2013984（2000）论文集”，“期刊标题”：“IEEE论文集”，“volume-title”：“混合系统：计算与控制”，“author”：“H.Anai”，“year”：“2001”，“unstructured”：“Anai，H.，Weispfening，V.：使用实量词消去的到达集计算。In：Di Benedetto，M.D.，Sangiovanni-Vincentelli，A.L.（eds.）HSCC 2001。LNCS，第u00a02034卷，第63\u201376页。Springer，Heidelberg（2001）“}，{“key”：“40_CR5”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-1-4612-0913-3”，“volume-title”：“Gr\u00f6bner bases:交换代数的计算方法”，“author”：“T.Becker”，“year”：“1993”，“unstructured”：“Becker，T.，Weispfenning，V.：Gr\u00f6bner基：交换代数的计算方法。Springer，Berlin（1993）“}，{“key”：“40_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Chutinan，A.，Krogh，B.H.：使用多边形流管近似验证多面体不变混合自动机。In：Vaandrager和van Schuppen[29]，pp.76\u201390”，“doi”：“10.1007\/3-540-48983-5_10”}，}《计算机科学讲义》，“doi-asserted-by”：“crossref”，“first page”：“96”，“doi”：“10.1007\/3-540-64358-3_34”，“volume-title”：“混合系统：计算和控制”，“author”：“T.Dang”，“year”：“1998”，“unstructured”：“Dang，T.，Maler，O.：通过面部提升进行可达性分析。收录：Henzinger，T.A.，Sastry，S.（编辑）HSCC 1998。LNCS，第u00a01386卷，第96\u2013109页。Springer，Heidelberg（1998）“}，{“key”：“40_CR8”，“volume-title”：“30th CDC”，“author”：“K.Forsman”，“year”：“1991”，“unstructured”：“Forsman，K.：使用Gr\u00f6bner基构造Lyapunov函数。In：30th CDC-，IEEE，Los Alamitos（1991）”}，}“key:”40_CR9“first-page:”2825“，”volume-tite“：”29th CDC“，”author“：”K.Forman“，“year.”：“1990”，“非结构化”：“Forsman，K.，Glad，T.：非线性控制中的构造代数几何。收录于：第29届疾病预防控制中心，第u00a05卷，第2825\u20132827页。IEEE，Los Alamitos（1990）“}，{”key“：”40_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“72”，”doi“：”10.1007\/3-540-63166-6_10“，“volume-title”：“计算机辅助验证”，“author”：“S.Graf”，“year”：“1997”，“unstructured”：“Graf，S.，Sa\u00efdi，H.：用PVS构造抽象状态图。收录：Grumberg，O.（编辑）CAV 1997。LNCS，第u00a01254卷，第72\u201383页。Springer，Heidelberg（1997）“}，{”key“：”40_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“225”，”doi“：”10.1007 \/3-540-60045-0_53“，”volume-title“：“计算机辅助验证”，”author“：”T.A.Henzinger“，”year“：”1995“，”unstructured“：”Henzinger，T.A.，Ho，P.-H.：非线性混合系统的算法分析。收录：Wolper，P.（编辑）CAV 1995。LNCS，卷\u00a0939，第225\u2013238页。Springer，Heidelberg（1995）“}，{”key“：”40_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“377”，”doi“：”10.1007\/BFb0020961“，”volume-title“：“Hybrid Systems III”，”author“：”T.A.Henzinger“，”year“：”1996“，”unstructured“：”Henzinger，T.A.，Wong-Toi，H.：非线性系统的线性相位-纵向近似。In:Alur，R.，Henzinger，T.，Sontag，E.D.（编辑）HS 1995。LNCS，第u00a01066卷，第377\u2013388页。Springer，Heidelberg（1996）“}，{“key”：“40_CR13”，“doi asserted by”：“publisher”，“first page”：“540”，“doi”：“10.1109\/9.664156”，“volume”：“43”，“author”：“T.A.Henzinger”，“year”：“1998”，“nonstructured”：“Henzinger，T.A.，Ho，P.-H.，Wong-Toi，H.：非线性混合系统的算法分析。IEEE自动控制汇刊\u00a043，540\u2013554（1998）”，“期刊标题”：“IEEE自动控制汇刊”}，｛“密钥”：“40_CR14”，“非结构化”：“Krogh，B.H.，Stursberg，O.：关于混合系统可达集的有效表示和计算。In：Maler和Pnueli[20]”｝，｛“密钥”：“40_CR15”，“卷标题”：“定性推理：不完全知识的建模和仿真。“，”author“：”B.J.Kuipers“，”year“：”1994“，”unstructured“：”Kuipers，B.J.：定性推理：不完全知识的建模和仿真。麻省理工学院出版社，剑桥（1994）“}，{“键”：“40_CR16”，“系列标题”：“计算机科学讲义”，“doi断言”：“出版商”，“第一页”：“202”，“doi”：“10.1007\/3-540-446430_19”，“卷标题”：“混合系统：计算与控制”，“作者”：“A.B.Kurzhanski”，“年份”：“2000”，“非结构化”：“Kurzhanski，A.B.，Varaiya，P.：可达性分析的椭球体技术。收录人：Lynch，N.A.，Krogh，B.H.（编辑）HSCC 2000。LNCS，卷\u00a01790，第202\u2013214页。Springer，Heidelberg（2000）“}，{”issue“：”1“，”key“：”40_CR17“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1007\/PL00009858”，“volume”：“13”，“author”：“G.Lafferiere”，“year”：“2000”，“unstructured”：“Lafferier，G.，Pappas，G.J.，Sastry，S.：O-minimal hybrid systems.《控制、信号和系统数学》\u00a013（1），1\u 201321（2000）“，”journal-title“：“控制、信号和系统的数学”}，{“key”：“40_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Lafferiere，G.，Pappas，G.J.，Yovine，S.：一类新的可判定混合系统。In:Vaandrager and van Schuppen[29]，pp.137\u2013151”，《doi》：“10.1007\/3-540-48983-5_15”}“：”publisher“，”first-page“：”231“，”DOI“：”10.1006\/jsco.2001.0472“，”volume“：”32“，”author“：”G.Lafferiere“，”year“：”2001“，”unstructured“：”Lafferier，G.，Pappas，G.J.，Yovine，S.：线性向量场族的符号可达性计算。J.符号计算\u00a032（3），231\u2013253（2001）“，“日记标题”：“J.符号运算”}，{“key”：“40_CR20”，“series-title”：“计算机科学讲义”，“volume-title”：《混合系统：计算与控制》，“year”：“2003”，“unstructured”：“Maler，O.，Pnueli，A.（eds.）：HSCC 2003。LNCS，卷\u00a02623。Springer，Heidelberg（2003）“}，{“key”：“40_CR21”，“unstructured”：“Parrilo，P.A.：稳健性和优化中的结构化半定程序和半代数几何方法。加州理工学院博士论文，帕萨迪纳（2000）”}，}，“key“：”40_CR22“，”unstructure“：”Parrilo，P.A.，Sturmfels，B.：最小化多项式函数。In：算法和定量实代数几何。离散数学和理论计算机科学DIMACS系列，第\u00a060卷，第83\u201399页（2003），\n\n http://www.arxiv.org\/abs\/math。OC\/0103170“}，{“key”：“40_CR23”，“unstructured”：“Prajna，S.，Papachristodoulou，A.，Parrilo，P.A.：SOSTOOLS：MATLAB平方优化工具箱之和（2002）”}，}，“key“：”40_CR24“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/9781-4757-3108-8“，“volume-title”：“非线性系统：分析、稳定性和控制”，“作者”：“S.Sastry”，“年份”：“1999”，“非结构化”：“Sastry，S.：非线性系统：分析、稳定性和控制。Springer，Heidelberg（1999）“}，{”key“：”40_CR25“，”doi-asserted-by“：”crossref“，”unstructured“：”Tiwari，A.：“线性系统的近似可达性。In：Maler和Pnueli[20]，pp.514\u2013525“，”doi“：”10.1007\/3-540-36580-X_37“}”，{“key”：“40_CR26”，“doi-assert-by”：“Crosref”，“unstructure”：“”Tiwari，A.，Khanna，G.：混合自动机抽象系列。收录于：Tomlin和Greenstreet[28]，pp.465\u2013478“，“DOI”：“10.1007\/3-540-45873-5_36”}，{“key”：“40_CR27”，“unstructured”：“Tiwari，A.，Wolf，D.，Arkin，A.，Lincoln，P.：遗传调控网络的混合建模和分析：枯草芽孢杆菌（2003）的芽孢起始（准备中）”}、{“key”：计算机科学课堂讲稿”，“卷-时间”：“混合系统：计算与控制”，“年份”：“2002年”，“非结构化”：“Tomlin，C.J.，Greenstreet，M.R.（编辑）：HSCC 2002。LNCS，卷\u00a02289。Springer，Heidelberg（2002）“}，{“key”：“40_CR29”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《混合系统：计算与控制》，“year”：“1999”，“unstructured”：“Vaandrager，F.W.，van Schuppen，J.H.（eds.）：HSCC 1999。LNCS，卷\u00a01569。Springer，Heidelberg（1999）“}，{“key”：“40_CR30”，“volume-title”：“非线性系统分析”，“author”：“M.Vidyasagar”，“year”：“1993”，“unstructured”：“Vidyasgar，M.：非线性系统分析。Prentice Hall，Englewood Cliffs（1993）”}，}，“key“：”40_CR31“doi-asserted-by”：“crossref”，“非结构化”：“Walther，U.，Georgiou，T.，Tannenbaum，A.：关于最优控制中切换曲面的计算：Gr\u00f6bner基方法。IEEE Transactions on Automatic Control \u00a046（4）（2001）“，“DOI”：“10.1109 \/9.917655”}，{“key”：“40_CR32”，“volume-title”：“生存策略选择作为超级网络拓扑的一个紧急属性”，“author”：“D.Wolf”，“year”：“2003”，“unstructured”：“Wolf，D.，Arkin，A.：生存策略选择是超级网络拓扑的一个涌现属性。劳伦斯伯克利实验室，伯克利（2003）（未出版手稿）“}”，“容器-时间”：[“混合系统：计算和控制”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-24743-2_40”，“内容-类型”：“未指定”，“content-version”：“vor”，“intended-application“：”相似性检查“}]，”存放“：{”日期-部分“：[[2019,1,25]]，”日期-时间“：”2019-01-25T14:45:26Z“，”时间戳“：1548427526000}，”分数“：1，”资源“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3-540-24743-2_40”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[2004]]}，“ISBN”：[“9783540212591”，“9783540247432“]，”引用计数“：32，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-24743-2_40“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-pa rts“：[2004]]}}}