马里奥·维拉纽埃娃。;Boris Houska先生;贝诺·查查特 参数非线性常微分方程连续时间封闭传播的统一框架。 （英语） Zbl 1320.49013号 J.全球。最佳方案。 62，第3期，575-613（2015）. 摘要：本文提出了一种用连续时间集传播方法构造和分析非线性常微分方程可达集的封闭集的框架。重点是可以根据其支持功能来表征的凸面外壳。引入了一个广义微分不等式，其解描述了在温和条件下可达集凸围合的支持函数。研究表明，现有的基于标准微分不等式或椭球集传播技术的连续时间定界方法可以恢复为该广义微分不等式的特例。本文还描述了一种将该方法推广到非凸包围构造的方法，该方法依赖于具有凸余数界的泰勒模型。这种统一框架为分析连续时间封闭方法的收敛性提供了一种方法。本文通过数值算例说明了封闭技术和收敛结果，包括厌氧消化的六状态动力学模型。 引用于17文件 MSC公司： 49升20 最优控制与微分对策中的动态规划 49立方米 基于非线性规划的数值方法 34A40型 涉及单个实变量函数的微分不等式 93个B03 可达集，可达性 90C26型 非凸规划，全局优化 关键词：常微分方程;可达集;微分不等式;动态优化;全局优化;收敛性分析;区间分析;椭球微积分;泰勒模型 软件：瓦伦西亚;ValEncIA IVP公司;利比亚中央银行 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Villanueva}等人，J.Glob。最佳方案。62，第3号，575--613（2015；Zbl 1320.49013） 全文： 内政部 链接 参考文献： [1] Adjiman，C.S.，Dallwig，S.，Floudas，C.A.，Neumaier，A.：一般二阶可微约束NLPs-I的全局优化方法[\alpha\]αBB。理论进步。计算。化学。工程22（9），1137-1158（1998）·doi:10.1016/S0098-1354（98）00027-1 [2] Alamo，T.、Bravo，J.M.、Camacho，E.F.：分区图保证状态估计。Automatica 41（6），1035-1043（2005）·Zbl 1091.93038号 ·doi:10.1016/j.automatica.2004.12.008 [3] Althoff，M.，Stursberg，O.，Buss，M.：使用保守线性化对具有不确定参数的非线性系统进行可达性分析。摘自：第47届IEEE决策与控制会议，2008年。CDC 2008，第4042-4048页（2008）·Zbl 1107.90035号 [4] Aubin，J.P.：生存理论。博克豪斯，波士顿（1991）·Zbl 0755.93003号 [5] Aubin，J.P.，Cellina，A.：微分包含：集值映射和生存理论。Grundlehren der mathematischen Wissenschaften，#264。柏林施普林格（1984）·Zbl 0538.34007号 ·doi:10.1007/978-3-642-69512-4 [6] Azagra，D.，Ferrera，J.：每个闭凸集都是一些[{C}^∞-光滑函数的极小值集。程序。美国数学。Soc.130（12），3687-3692（2002）·Zbl 1028.49003号 ·doi:10.1090/S0002-9939-02-06695-9 [7] Bernard，O.，Hadj-Sadok，Z.，Dochain，D.，Genovesi，A.，Steyer，J.P.：厌氧废水处理过程的动力学模型开发和参数识别。生物技术。比昂。75(4), 424-438 (2001) ·doi:10.1002/位10036 [8] Berz，M.，Makino，K.：在高阶Taylor级数上使用微分代数方法验证了常微分方程和流的积分。Reliab公司。计算。4361-369（1998年）·Zbl 0976.65061号 ·doi:10.1023/A:1024467732637 [9] Berz，M.，Makino，K.：验证ODE集成的泰勒模型方法的性能。莱克特。注释计算。科学。第3732页，第65-74页（2006年） [10] Blanchini，F.，Miani，S.：控制中的集合理论方法。Birkhäuser，巴塞尔（2008）·Zbl 1140.93001号 [11] Bompadre，A.，Mitsos，A.：McCormick松弛的收敛速度。J.全球优化。52(1), 1-28 (2012) ·Zbl 1257.90077号 ·doi:10.1007/s10898-011-9685-2 [12] Bompadre，A.，Mitsos，A.，Chachuat，B.：泰勒和麦考密克-泰勒模型的收敛性分析。J.全球优化。57(1), 75-114 (2013) ·Zbl 1295.90052号 ·doi:10.1007/s10898-012-9998-9 [13] Chachuat，B。；马萨诸塞州拉蒂菲；加利福尼亚州弗洛达斯（编辑）；Pardalos，PM（ed.），《常微分方程问题确定性全局优化的新方法》，第74期，第83-108页（2003年），多德雷赫特·Zbl 1165.90686号 ·doi:10.1007/978-1-4613-0251-3-5 [14] Chachuat，B。；马萨诸塞州维拉努埃瓦；博格尔，IDL（编辑）；Fairweather，M.（ed.），《参数常微分方程解的边界：当泰勒模型满足微分不等式时》，第30期，1307-1311（2012），阿姆斯特丹·doi:10.1016/B978-0-444-59520-1.50120-2 [15] Chachuat，B.、Singer，A.B.、Barton，P.I.：动态优化和混合整数动态优化的全局方法。工业工程化学。第45（25）号决议，8373-8392（2006）·Zbl 1035.81024号 ·doi:10.1021/ie0601605 [16] Chutinan，A.，Krogh，B.H.：使用多边形流管近似验证多面体不变混合自动机。收录：Vaandrager，F.W.，van Schuppen，J.H.（编辑）《混合系统：计算与控制》，第1569期，计算机科学讲稿，柏林斯普林格，第76-90页（1999）·Zbl 0954.93020号 [17] Clarke，F.H.：广义梯度和应用。事务处理。美国数学。Soc.205、247-262（1975）·Zbl 0307.26012号 ·doi:10.1090/S0002-9947-1975-0367131-6 [18] Coddington，E.A.，Levinson，N.：常微分方程理论。麦克劳·希尔，纽约（1955年）·兹比尔0064.33002 [19] Corliss，GF公司；Rihm，R。；Alefeld，G.（编辑）；Frommer，A.（编辑）；Lang，B.（编辑），使用高阶泰勒级数验证先验封闭，228-238（1996），柏林·Zbl 0851.65054号 [20] Du，K.，Kearfott，R.B.：多元全局优化中的聚类问题。J.全球优化。5(3), 253-265 (1994) ·Zbl 0824.90121号 ·doi:10.1007/BF01096455 [21] Eijgenraam，P.：《使用区间算术解决初值问题：算法的公式和分析》，《数学中心论》，第144卷。数学中心（1981）·Zbl 0471.65043号 [22] Fiacco，A.V.：《非线性规划中灵敏度和稳定性分析导论》，《科学与工程数学》，第165卷。纽约学术出版社（1983）·Zbl 0543.90075号 [23] Friedrichs，K.：微分算子弱扩张和强扩张的恒等式。事务处理。美国数学。社会学委员会55（1），132-151（1944）·Zbl 0061.26201号 ·数字对象标识代码：10.2307/1990143 [24] Gronwall，T.H.：关于微分方程组解的参数导数的注释。安。数学。20(2), 292-296 (1919) ·doi:10.2307/1967124 [25] Hairer，E.，Nörsett，S.P.，Wanner，G.：《求解常微分方程I：非刚性问题》，第2版。柏林施普林格（1993）·Zbl 0789.65048号 [26] Houska，B.，Logist，F.，Van Impe，J.，Diehl，M.：应用于夹套管式反应堆的非线性动态系统稳健优化。《过程控制》22，1152-1160（2012）·doi:10.1016/j.jprocont.2012.03.008 [27] Jaulin，L.：连续时间系统的非线性有界误差状态估计。Automatica 38（6），1079-1082（2002）·Zbl 1026.93015号 ·doi:10.1016/S0005-1098（01）00284-9 [28] Kieffer，M.，Walter，E.，Simeonov，I.：连续时间动力学模型的保证非线性参数估计。In:Ninness，B.，Hjalmarsson，H.（编辑）第14届国际会计师联合会系统识别研讨会（SYSID）会议记录，第843-848页（2006）·Zbl 1026.93015号 [29] Kurzhanski，A.B.：控制理论中Hamilton-Jacobi型方程的比较原理。程序。Steklov Inst.数学。253（1），S185-S195（2006）·Zbl 1129.49035号 ·doi:10.1134/S0081543806050130 [30] Kurzhanski，A.B.，Varaiya，P.：不确定系统的可达性分析——椭球技术。动态。Contin公司。谨慎。冲动。系统。序列号。B 9（3），347368（2002）·Zbl 1017.34064号 [31] Lakshmikantham，V.，Leela，S.：微分和积分不等式，理论和应用：第一卷，常微分方程。纽约学术出版社（1969）·Zbl 0177.12403号 [32] Limon，D.、Bravo，J.M.、Alamo，T.、Camacho，E.F.：基于区间算法的约束非线性系统鲁棒MPC。IEE程序。控制理论应用。152(3), 325-332 (2005) ·doi:10.1049/ip-cta:20040480 [33] Lin，Q.，Rokne，J.G.：限定多项式范围的方法。J.计算。申请。数学。58, 193-199 (1995) ·Zbl 0833.65011号 ·doi:10.1016/0377-0427（93）E0270-V [34] Lin，Y.，Stadtherr，M.A.：非线性动力系统的确定性全局优化。AIChE J.53（4），866-875（2007a）·Zbl 1167.90335号 ·doi:10.1002/aic.11101 [35] Lin，Y.，Stadtherr，M.A.：参数常微分方程初值问题的验证解。申请。数字。数学。57（10），1145-1162（2007b）·Zbl 1121.65084号 ·doi:10.1016/j.apnum.2006.10.006 [36] Lin，Y.，Stadtherr，M.A.：非线性连续时间系统的基于模型的严格安全分析。计算。化学。工程33（2），493-502（2009）·doi:10.1016/j.compchemeng.2008.11.010 [37] 罗纳，RJ；Cash，JR（编辑）；Gladwell，I.（ed.），普通初值和边值问题解的保证封闭计算，第1期，425-436（1992），牛津·Zbl 0767.65069号 [38] Lygeros，J.：可达性和最小成本最优控制。Automatica 40（6），917-927（2004）·Zbl 1068.93011号 ·doi:10.1016/j.automatica.2004.01.012 [39] Makino，K.，Berz，M.：基于泰勒模型方法的依赖性问题的有效控制。Reliab公司。计算。5（1），3-12（1999）·Zbl 0936.65073号 ·doi:10.1023/A:1026485406803 [40] Maranas，C.D.，Floudas，C.A.：小分子的全局最小势能构象。J.全球优化。4, 135-170 (1994) ·Zbl 0797.90114号 ·doi:10.1007/BF01096720 [41] McCormick，G.P.：可分解非凸程序全局解的可计算性：第一部分-凸低估问题。数学。程序。10, 147-175 (1976) ·Zbl 0349.90100号 ·doi:10.1007/BF01580665 [42] Mitchell，I.M.，Bayen，A.M.，Tomlin，C.J.：连续动态博弈可达集的含时Hamilton-Jacobi公式。IEEE传输。自动。控制50（7），947-957（2005）·Zbl 1366.91022号 ·doi:10.1109/TAC.2005.851439 [43] Mitsos，A.，Chachuat，B.，Barton，P.L.：基于McCormick的算法松弛。SIAM J.Optim公司。20(2), 573-601 (2009) ·Zbl 1192.65083号 ·doi:10.1137/080717341 [44] Nedialkov，N.S.，Jackson，K.R.：计算常微分方程初值问题解的严格界的区间hermite-obreschkoff方法。Reliab公司。计算。5(3), 289-310 (1999) ·Zbl 0947.65081号 ·doi:10.1023/A:1009936607335 [45] Nedialkov，N.S.，Jackson，K.R.，Corliss，G.：常微分方程初值问题的验证解。申请。数学。计算。105, 21-68 (1998) ·Zbl 0934.65073号 ·doi:10.1016/S0096-3003（98）10083-8 [46] Nedialkov，N.S.，Jackson，K.R.，Pryce，J.D.：一种有效的高阶区间方法，用于验证ODE IVP解的存在性和唯一性。Reliab公司。计算。7, 449-465 (2001) ·Zbl 1003.65077号 ·doi:10.1023/A:1014798618404 [47] Neher，M.，Jackson，K.R.，Nedialkov，N.S.：关于基于泰勒模型的ODE集成。SIAM J.数字。分析。45, 236-262 (2007) ·Zbl 1141.65056号 ·数字对象标识代码：10.1137/050638448 [48] Neumaier，A.：泰勒公式——使用和限制。Reliab公司。计算。9(1), 43-79 (2002) ·Zbl 1071.65070号 ·doi:10.1023/A:1023061927787 [49] Papamichail，I.，Adjiman，C.S.：常微分方程问题的严格全局优化算法。J.全球优化。24(1), 1-33 (2002) ·Zbl 1026.90071号 ·doi:10.1023/A:1016259507911 [50] Papamichail，I.，Adjiman，C.S.：动态系统的全局优化。计算。化学。工程28（3），403-415（2004）·doi:10.1016/S0098-1354（03）00195-9 [51] Ramdani，N.、Meslem，N.和Candau，Y.：计算不确定非线性系统可达集的过逼近的混合边界方法。IEEE传输。自动。控制54（10），2352-2364（2009）·兹比尔1367.93063 ·doi:10.1109/TAC.2009.2028974 [52] Rauh，A.、Hofer，E.P.、Auer，E.：VALENCIA-IVP：与其他初值问题解决者的比较。摘自：第十二届GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会论文集（SCAN’2006），德国杜伊斯堡（2006） [53] Rauh，A.、Westphal，R.、Aschemann，H.：使用指数状态封闭技术验证了区间参数控制系统的模拟。摘自：2013年第18届自动化和机器人技术方法和模型国际会议（MMAR），第241-246页（2013） [54] Sahlodin，A.M.：使用完全搜索方法对动态过程系统进行全局优化。加拿大安大略省麦克马斯特大学博士论文（2012年）·Zbl 1003.65077号 [55] Sahlodin，A.M.，Chachuat，B.：使用泰勒模型的参数常微分方程的凸/凹松弛。计算。化学。工程35（5），844-857（2011a）·doi:10.1016/j.compchemeng.2011.01.031 [56] Sahlodin，A.M.，Chachuat，B.：参数常微分方程解的凸/凹松弛的离散时间松弛方法。申请。数字。数学。61、803-820（2011年b）·Zbl 1214.65041号 ·doi:10.1016/j.apnum.2011.01.009 [57] Scott，J.K.，Barton，P.I.：非线性控制系统可达集的界。Automatica 49（1），93-100（2013a）·Zbl 1257.93015号 ·doi:10.1016/j.automatica.2012.09.020 [58] Scott，J.K.，Barton，P.I.：使用微分不等式改进常微分方程参数解的松弛。J.全球优化。57（1），143-176（2013年b）·Zbl 1273.49034号 ·doi:10.1007/s10898-012-9909-0 [59] Scott，J.K.，Stuber，M.，Barton，P.I.：广义McCormick松弛。J.全球优化。51(4), 569-606 (2011) ·Zbl 1232.49033号 ·doi:10.1007/s10898-011-9664-7 [60] Scott，J.K.，Chachuat，B.，Barton，P.I.：参数常微分方程解的非线性凸凹松弛。选择。控制应用程序。方法34（2），145-163（2013）·Zbl 1273.93089号 ·doi:10.1002/oca.2014年 [61] Singer，A.B.，Barton，P.I.：参数嵌入线性动态系统优化问题的全局解决方案。J.优化。理论应用。121(3), 613-646 (2004) ·兹比尔1107.90035 ·doi:10.1023/B:JOTA.00000037606.79050.a7 [62] Singer，A.B.，Barton，P.I.：限制依赖参数的非线性常微分方程的解。SIAM J.科学。计算。27(6), 2167-2182 (2006) ·兹比尔1111.34030 ·数字对象标识代码：10.1137/040604388 [63] Tomlin，C.J.：使用可达性分析验证和控制混合系统。参加：第19届地中海控制与自动化会议（MED），希腊科尔夫（2011）·Zbl 1121.65084号 [64] Tomlin，C.J.、Mitchell，I.、Bayen，A.M.、Oishi，M.：混合系统验证的计算技术。程序。IEEE 91（7），986-1001（2003）·doi:10.1109/JPROC.2003.814621 [65] Varaiya，P.，Kurzhanski，A.B.：动力学和控制的椭球方法。第一部分：数学。科学。139(5), 6863-6901 (2006) ·Zbl 1131.93020号 ·doi:10.1007/s10958-006-0397-y [66] 马萨诸塞州维拉努埃瓦；Paulen，R。；Houska，B。；Chachuat，B。；Kraslawski，A.（编辑）；Turunne，I.（编辑），使用泰勒模型和椭球微积分封闭参数ODE的可达集，第31期（2013年），阿姆斯特丹 [67] Walter，W.：微分不等式和积分不等式。柏林施普林格（1970）·Zbl 0252.35005号 ·数字对象标识代码：10.1007/978-3-642-86405-6 [68] Wechsung，A.，Schaber，S.D.，Barton，P.I.：重新审视集群问题。J.全球优化。doi:10.1007/s10898-013-0059-9·Zbl 1297.49046号 [69] Zhou，T.S.，Zhang，J.J.，Yuan，Z.J.，Chen，法律公告：基因振荡器的同步。《混沌》18（3），037126（2008）·doi:10.1063/1.2978183 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。