{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,11]]，“日期-时间”：“2024-01-11T23:23:35Z”，“时间戳”：1705015415340}，“参考-计数”：38，“出版商”：“Springer Science and Business Media LLC”，“问题”：“4”，“许可证”：[{“开始”：{-date-parts”：[2012,11,29]]，”日期-时间“：“2012-11-29T00:00:00Z”，“时间戳”：1354147200000｝，“内容版本”：“tdm”，“延迟天数”：0，“URL”：“http:\/\/wspringer.com\/tdm”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“Math.Comput.Sci.”]，“已发布的印刷品”：｛“日期部分”：[[2012,12]]｝，“DOI”：“10.1007\/s11786-012-0133-6”，“类型”：“期刊文章”，“已创建”：｛“日期部分”用法：[[2012,11,29]]，“日期-时间”：“2012-11-29T14:17:41Z”，“时间戳”：1354198661000}，“页面”：“395-408”，“源”：“Crossref”，“is-referenced-by-count”：13，“标题”：[“自动发现多项式动力系统的松弛Lyapunov函数”]，“前缀”：“10.1007”，《卷》：“6”，“作者”：[{“给定”：“江”，“族”：“刘”，“序列”：“first”，“从属关系”“：[]}，{“given”：“Naijun”，“family”：“Zhan”，“sequence”：“additional”，“affiliation”：[]}，“doi”：“10.1137\/S0363012999365704”，“卷”：“40”，“author”：“A.A.Agrachev”，“year”：“2001”，“unstructured”：“AgrachevA.A.，Liberzon D.：切换系统的李代数稳定性准则。SIAM J.Control Optim.40，253\u2013269（2001）”，“journal-title”：“SIAM J..Control Optim.”}，{“key”：“133_CR2”，“doi-asserted-by”：“crossref”，“非结构化”：“Ahmadi，A.A.，Parrilo，P.A.：关于Lyapunov函数的高阶导数。见：2011年美国控制会议，第1313\u20131314页（2011）”，“DOI”：“10.1109\/ACC.2011.5991573”}，{“key”：“133_CR3”，“unstructured”：“Brown，C.W.：QEPAD.http:\/www.usna.edu\/Users\/cs\/QEPCAD\/B\/QEPAD.html”}“：”crossref“，“首页”：“111”，“DOI”：“10.1109\/TAC.1969.1099092”，“卷”：“14”，“作者”：“A.Butz”，“年份”：“1969”，“非结构化”：“Butz A.：Lyapunov函数的高阶导数。IEEE Trans.Automat.Contr.14，111\u2013112（1969）”，“日记标题”：“Automat.Contrr.”}，{“key”：“133_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Chen，Y.，Xia，B.，Yang，L.，Zhan，N.：使用DISCOVERER和QEPCAD生成多项式不变量。In:Jones，C.，Liu，Z.，Woodcock，J.（eds.）Formal Methods and Hybrid Real-Time Systems，LNCS，vol.4700，pp.67\u201382。Springer，Berlin（2007）“，“DOI”：“10.1007\/978-3-540-75221-9_4”}，{“key”：“133_CR6”，“unstructured”：“Cox，D.，Little，J.，O\u2019Shea，D.：理想、多样性和算法：计算代数几何和交换代数导论，第二版。Springer、Berlin第一页“：”29“，”DOI“：”10.1016\/S0747-7171（88）80004-X“，”卷“：”5“，”作者“：”J.H.Davenport“，”年份“：”1988“，”非结构化“：”Davenport.J.H.，Heintz J.：实量词消去是双指数的。J.塞姆。计算。5（1-2），29\u201335（1988）“，“新闻标题”：“J.Symb。计算。“}，{”key“：”133_CR8“，”unstructured“：”Dolzmann，A.，Seidl，A.，Sturm，T.：Redlog User Manual（2006年11月），http://\/Redlog.Dolzmann.de\/downloads\/，3.1版，Redlog Version 3.06（Reduce 3.8）“}”，{“issue”：“7”，“key”：“133_CR9”，“doi-asserted-by”：“crossref”，“first page”：”1693“，“doi”：“10.1016\/j.camwa.2008.04.013”，“卷”：“56”，“作者”：“B.Gao”，“年份”：“2008”，“非结构化”：“高B.，张W.：渐近稳定性的较弱标准。计算。数学。申请。56（7），1693\u20131698（2008）”，“期刊标题”：“计算。数学。申请。“}，{”issue“：”5“，”key“：”133_CR10“，”doi-asserted-by“：”crossref“，”first-page“：”782“，”doi“：”10.1093\/imamat\/hxn018“，”volume“：“73”，”author“：”P.Giesl“，”year“：”2008“，”unstructured“：”Giesl P.：使用径向基函数构造局部和全局Lyapunov函数。IMA J.Appl.Math.73（5），782\u2013802（2008）“，“新闻标题”：“IMA J。申请。数学。“}，{”key“：”133_CR11“，”doi-asserted-by“：”crossref“，”first-page“：”47“，”doi“：”10.1016\/0024-3795（95）90006-3“，”volume“：“231”，”author“：”L.Gurvits“，”year“：”1995“，”unstructured“：”Gurvits-L.：离散线性包含的稳定性。线性代数应用.231，47\u201385（1995）“，”journal-title“：”linear Algebra Appl.“}”，{“key”：“133”_CR12“，”doi-asserted-by“：”crossref“，”DOI“：”10.1515\/9781400841042“，”volume-title“：”非线性动力系统与控制：基于Lyapunov的方法“，”author“：”W.M.Haddad“，”year“：”2008“，”unstructured“：”Haddad W.M..，Chellaboina V.：非线性动力系统和控制：基于Lyapunov方法。普林斯顿大学出版社，新泽西州（2008）“}，{”issue“：”2“，”key“：”133_CR13“，”doi-asserted-by“：”crossref“，”first page“：“378”，”doi“：”10.1016\/j.jmaa.2004.07.029“，”volume“：标题“：”j。数学。分析。申请。“}，{”key“：”133_CR14“，”doi-asserted-by“：”crossref“，”first-page“：”555“，”doi“：”10.1109\/9.664157“，“volume”：“43”，“author”：“M.Johansson”，“year”：“1998”，“unstructured”：“Johansson-M.，Rantzer A.：混合系统分段二次Lyapunov函数的计算…IEEE Trans-Automat.Contr.43，555\u2013559（1998）”，“journal-title”：“”IEEETrans自动化。合同。“}，{”key“：”133_CR15“，”volume-title“：”Nonlinear Systems“，”author“：”H.K.Khalil“，”year“：”2001“，”unstructured“：”Khalil H.K.：非线性系统，第三版。Prentice Hall，UK（2001）“，”edition“：”3“}”，{“issue”：“3”，“key”：“133_CR16”，“doi-asserted-by”：“crossref”，“first page”：”117“，”doi“：”10.1016\/S0167-6911（99）00012-2“，“卷”：“37”，“作者”：“D.Liberzon”，“年”：“1999年”，“非结构化”：“Liberzon D.，Hespanha J.P.，Morse A.：切换系统的稳定性：李代数条件。系统。控制信函。37（3），117\u2013122（1999）“，“新闻标题”：“系统。控制信函。}，{“key”：“133_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Liu，J.，Zhan，N.，Zhao，H.：计算多项式动力系统的半代数不变量。见：EMSOFT\u201911，pp.97\u2013106。ACM出版社，纽约（2011）“，”DOI“：”10.1145\/2038642.2038659“}，{“key”：“133_CR18”，“unstructured”：“Maplesoft:Maple 14用户手册。http://www.Maplesoft.com/documentation_center\/”}，”key“：”133_CR19“，”unstructure“：”Matrosov，V.M.：具有分布参数的互联系统的向量Lyapunov函数方法。Avtovmatika i Telemekhanika公司。33，63\u201375（1972）（俄语）“}，{“key”：“133_CR20”，“unstructured”：“Meigoli，V.，Nikravesh，S.K.Y.：Lyapunov函数的高阶导数在非线性齐次系统稳定性分析中的应用。in:IMECS\u201909（2009）。http://\/citeserx.ist.psu.edu \/viewdoc \/summary？doi=10.1.1.149.3130”}，}“key”：”133_CR21“，”doi-asserted-by“：”crossref“，”unstructured“：”Nersesov，S.G.，Haddad，W.M.：通过向量Lyapunov函数研究非线性动力系统的稳定性和控制。参见：IEEE CDC\u201904，第4卷，第4107\u20134112页（2004）“，“DOI”：“10.1109\/CCDC.2004.1429395”}，{“key”：“133_CR22”，“DOI-asserted-by”：“crossref”，“first page”：”507“，“DOI”：”10.1007\/s11786-007-0039-x“，”volume“：”1“，”author“：”W.Niu“，”year“：”2008“，”unstructured“：”牛伟，王迪：生物系统稳定性分析的代数方法。数学。计算。科学。1，507\u2013539（2008）“，“新闻标题”：“数学。计算。科学。“}，{”key“：”133_CR23“，”doi-asserted-by“：”crossref“，”first page“：“23”，”doi“：”10.1007\/10997703_2“，”volume“：‘312’，”author“：”A.Papachristodoulou“，“year”：“2005”，“unstructured”：“Papachritodou A.，Prajna S.：使用平方和分解分析非多项式系统。控制312，23\u201343（2005）中的正多项式”，“journal-title“：“控制中的正多项式”}，{“key”：“133_CR24”，“unstructured”：“Parrilo，P.A.：半代数问题的半定规划松弛。http://\/citeserx.ist.psu.edu \/viewdoc \/summary？doi=10.1.1.12.3194（2001）”}Pettersson，S.，Lennartson，B.：混合系统稳定性和鲁棒性的LMI。收录于：1997年美国控制会议，第3卷，pp.1714\u20131718（1997）“，“DOI”：“10.1109\/ACC.1997.610877”}，{“key”：“133_CR26”，“unstructured”：“Prajna，S.，Papachristodoulou，A.：分段二次方法以外的切换和混合系统分析。收录于2003年美国控制大会，第4卷，pp.2779\u2013 2784（2003）”}、{“key”：133_CR27“，”doi-asserted-by“：”crossref“，”unstructured“：”Ratschan，S.，She，Z.：通过计算类Lyapunov函数为目标区域提供吸引域。在：IEEE ICCC\u201906，pp.1\u20135（2006）”，“DOI”：“10.1109\/ICCCYB.2006.305705”}，｛“key”：“133_CR28”，“nonstructured”：“She，Z.，Xia，B.，Xiao，R.：计算李雅普诺夫函数的半代数方法。在：CI\u201906。pp.7\u201312（2006）“}，{“key”：“133_CR29”，“unstructured”：“Shim，H.，Noh，D.J.，Seo，J.H.：指数稳定非线性系统的通用Lyapunov函数。In:4th SIAM Conference on Control and its Applications（1998）”}，“key“：”133_CR30“，“volume-title”：“Applied非线性控制”，“author”：“J.Slotine”，“year”：“1991”，“非结构化”：“Slotine J.J.，Li W.：应用非线性控制。新泽西州普伦蒂斯·霍尔（1991）“}，{“key”：“133_CR31”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-1-4419-0224-5”，“volume-title”：“混合系统的验证和控制：一种符号方法”，“author”：“P.Tabuada”，《年份》：“2009”，“非结构化”：“Tabusada P.：混合系统的检验和控制：符号方法”。斯普林格，柏林（2009）“}，{”key“：”133_CR32“，”unstructured“：”Tan，W.，Packard，A.：“使用平方和编程搜索控制Lyapunov函数。http://\/citeserx.ist.psu.edu \/viewdoc \/summary？doi=10.1.1.69.1320“}”，{“key”：“133_CR33”，“doi-asserted-by”：“crossref”，“doi”：“10.1525 \/9780520348097”，“volume-title”：“”初等代数和几何的一种决策方法”，“作者”：“A.Tarski”，“年份”：“1951年”，“非结构化”：“Tarski A.：初等代数与几何的决策方法。加利福尼亚大学出版社，伯克利（1951）“}，{”问题“：”5“，”关键“：”133_CR34“，”doi-asserted-by“：”crossref“，”first page“：”405“，“doi”：“10.1016\/j.sysconle.2004.09.006”，“volume”：“54”，“author”：“L.Vu”，“year”：“2005”，“unstructured”：“Vu L.，Liberzon D.：交换非线性系统族的通用Lyapunov函数。系统控制快报54（5），405\u2013416（2005）“，”新闻标题“：”系统。控制信函。}，{“key”：“133_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Wang，D.，Xia，B.：具有实溶液分类的生物系统稳定性分析。见：ISSAC\u201905，pp.354\u2013361。ACM出版社，纽约（2005）“，”DOI“：”10.1145\/1073884.1073933“}，{”key“：”133_CR36“，”DOI-asserted-by“：”crossref“，”first page“：“102”，“DOI”：“10.1145\/1358190.1358197”，“volume”：“41”，“author”：“B.Xia”，“year”：“2007”，“unstructured”：“Xia B.：DISCOVERER:一种求解半代数系统的工具。ACM Commun.Compute.Algebra 41，102\u2013103（2007）“，”journal-title“：”ACM Commun。计算。代数”}，｛“issue”：“1\u20132”，“key”：“133_CR37”，“doi asserted by”：“crossref”，“首页”：“225”，“doi”：“10.1006\/jsco.1998.0274”，“volume”：“28”，“author”：“L.Yang”，“year”：“1999”，“nonstructured”：“Yang L.：确定参数多项式实根数的最新进展。J.Symb.Comput.28（1\u20132），225\u2013242（1999）”期刊标题“：”J.Symb。计算。“}，{”key“：”133_CR38“，”unstructured“：”Yang，L.，Xia，B.：一类参数半代数系统的实解分类。In:Algorithmic Algebra and Logic\u2014Proceedings of the A3L 2005，pp.281\u2013289（2005）“}]，”container-title“：[”Mathematics In Computer Science“]，”original-title:[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s11786-012-0133-6.pdf“，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\-link.springer.com/article\/10.10007\/s11786-0133-6\/fulltext.html”，“content-type“：”text\/html“，“content-version“：”vor“intended-application:”“短信提醒”}，{URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/s11786-012-0133-6“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,2,1]]，”date-time“：“2022-02-01T15:47:26Z”，”timestamp“：1643730446000}，”score“：1，”resource“：”{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/s11786-012-0133-6“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2012,11,29]]}，“引用计数”：38，“日志发布”：{“发布”：“4”，“发布-打印”：{”日期部分.org \/10.1007\/s11786-012-0133-6“，”关系“：{}，”ISSN“：[”1661-8270“，”1661-8289“]，“issn-type”：[{“value”：“1661-8270”，“type”:“print”}，{“value”：“661-8289”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2012,11,29]]}}}