里恩·奎里宁;塞巴斯蒂安·格罗斯;Boris Houska先生;Moritz迪尔 提升配置积分器，用于ACADO工具箱中的直接优化控制。 （英语） Zbl 1387.65057号 数学。程序。计算。 9，第4期，527-571（2017）. 这篇文章是对直接搭配法的一个有价值的贡献。作者研究了一类求解非线性规划的高效Newton型算法。他们考虑了一种隐式提升技术，包括一个冷凝和扩展步骤，其中每个子问题的结构对应于直接最优控制的多重打靶方法的结构。他们建立了基于直接配置的牛顿迭代与所提出方法之间的数学等价性，并讨论了提升配置积分器的交换优势。所提出算法的实现是作为开源ACADO代码生成软件的一部分完成的。这篇文章写得很好，结构合理，解释清楚，包括以下八个部分：引言；直接最优控制方法；多次射击精确提升配置积分器；基于伴随的不精确提升搭配集成；具有迭代灵敏度的非精确提升配置积分器；ACADO工具包：代码生成软件；案例研究：质量链；结论。审核人：Başak Akteke-Öztürk（安卡拉） 引用于7文件 MSC公司： 65K10像素 数值优化和变分技术 49立方米 基于非线性规划的数值方法 65升60 有限元、Rayleigh-Ritz、Galerkin和常微分方程的配置方法 90立方 非线性规划 关键词：牛顿型方法;直接最优控制;搭配方法;优化算法 软件：MUSCOD-II公司;VIATOC公司;OOQP（OOQP）;提升式配置;SOCS系统;Matlab公司;qpDUNES公司;GPOPS公司;纽顿图书馆;卡萨迪;ACADO公司;日晷;qpOASES公司;DAESOL-II公司;罗德斯;高铁;伊波特;PROPT公司;提升选项;数字音频放大器 PDF格式BibTeX公司 XML格式引用 \textit{R.Quirynen}等人，《数学》。程序。计算。9，第4号，527--571（2017；Zbl 1387.65057） 全文： 内政部 参考文献： [1] ACADO工具包。http://www.acadotoolkit.org (2009-2016) ·Zbl 0336.65037号 [2] 高铁。用于大规模科学计算的Fortran代码集合。http://www.hsl.rl.ac.uk (2011) [3] ACADO工具包讨论。www.sourceforge.net/p/acado/discussion（2012-2016） [4] Albersmeyer，J.，Bock，H.：自适应BDF方法中的灵敏度生成。《复杂过程的建模、模拟和优化：高性能科学计算国际会议论文集》，2006年3月6日至10日，越南河内，第15-24页。施普林格（2008） [5] Albersmeyer，J.，Diehl，M.：提升牛顿法及其在优化中的应用。SIAM J.Optim公司。20(3), 1655-1684 (2010) ·Zbl 1198.90396号 ·doi:10.1137/080724885 [6] Albin，T.、Ritter，D.、Abel，D.、Liberda，N.、Quirynen，R.、Diehl，M.：两级涡轮增压汽油发动机气道的非线性MPC。摘自：IEEE决策与控制会议（CDC）会议记录，第849-856页（2015） [7] Andersson，J.、Akesson，J.和Diehl，M.：CasADi-自动微分和优化控制的符号包。摘自：《算法微分的最新进展》，《计算科学与工程讲义》，第87卷，第297-307页。施普林格（2012）·Zbl 1251.65020号 [8] Bauer，I.，Bock，H.，Schlöder，J.：DAESOL-微分代数方程数值解的BDF代码。内部报告，IWR，SFB 359，海德堡大学（1999）·Zbl 1369.65201号 [9] Betts，J.：使用非线性规划进行最优控制和估计的实用方法，第2版。SIAM，费城（2010）·Zbl 1189.49001号 ·数字对象标识代码：10.1137/1.9780898718577 [10] Bickart，T.A.：隐式Runge-Kutta方法的有效求解过程。SIAM J.数字。分析。14(6), 1022-1027 (1977) ·Zbl 0368.65037号 ·doi:10.1137/0714069 [11] Biegler，L.：通过连续二次规划和正交配置解决动态优化问题。计算。化学。工程8（3-4），243-248（1984）·doi:10.1016/0098-1354（84）87012-X [12] Biegler，L.，Zavala，V.：使用IPOPT的大规模非线性规划：企业范围动态优化的集成框架。计算。化学。工程33（3），575-582（2009）。2007年5月在罗马尼亚布加勒斯特举行的第17届欧洲计算机辅助工艺工程研讨会论文集 [13] Biegler，L.T.：非线性规划，关于优化的MOS-IAM系列。SIAM，费城（2010）·Zbl 1207.90004号 [14] Bock，H.：《Randwertproblemmethoden zur Parameteridentifizierung in Systemen nichtlinearer Differentialgleichungen》，Bonner Mathematische Schriften，第183卷。波恩波恩大学（1987年）·Zbl 0622.65064号 [15] Bock，H.G.：微分和积分方程反问题的数值处理。《科学计算进展》，第2卷，第95-121页。Birkhäuser，波士顿（1983年）·Zbl 1168.93340号 [16] Bock，H.G.，Diehl，M.，Kostina，E.A.，Schlöder，J.P.：由大微分代数方程控制的系统的约束最优反馈控制。摘自：实时和在线PDE-Constrained Optimization，第3-22页。费城SIAM（2007年）·Zbl 1248.93071号 [17] Bock，H.G.，Plitt，K.J.：直接求解最优控制问题的多重打靶算法。摘自：国际会计师联合会世界大会会议记录，第242-247页。佩加蒙出版社（1984） [18] Boggs，P.T.，Tolle，J.W.：序列二次规划。Acta Numer公司。4, 1-51 (1995) ·Zbl 0828.65060号 ·doi:10.1017/S0962492900002518 [19] Broyden，C.G.：拟Newton方法及其在函数最小化中的应用。数学。计算。21, 368-381 (1967) ·Zbl 0155.46704号 ·doi:10.1090/S0025-5718-1967-0224273-2 [20] Büskens，C.，Maurer，H.：解决具有控制和状态约束的最优控制问题的SQP方法：伴随变量、灵敏度分析和实时控制。J.计算。申请。数学。120(1-2), 85-108 (2000) ·Zbl 0963.65070号 ·doi:10.1016/S0377-0427（00）00305-8 [21] Butcher，J.：关于隐式Runge-Kutta方法的实现。位数字。数学。16(3), 237-240 (1976) ·Zbl 0336.65037号 ·doi:10.1007/BF01932265 [22] Cooper，G.，Vignesvaran，R.：隐式Runge-Kutta方法的一些实现方案。J.计算。申请。数学。45(1-2), 213-225 (1993) ·Zbl 0783.65064号 ·doi:10.1016/0377-0427（93）90276-H [23] Curtis，F.E.，Johnson，T.C.，Robinson，D.P.，Wächter，A.：非线性优化的不精确序列二次优化算法。SIAM J.Optim公司。24(3), 1041-1074 (2014) ·Zbl 1311.90184号 ·数字对象标识代码：10.1137/130918320 [24] Dembo，R.、Eisenstat，S.、Steihaug，T.：不精确牛顿方法。SIAM J.数字。分析。19（2），400-408（1982）·Zbl 0478.65030号 ·doi:10.1137/0719025 [25] Dennis，J.E.：关于类牛顿方法。数字。数学。11（4），324-330（1968）·Zbl 0165.17303号 ·doi:10.1007/BF02166685 [26] Deufhard，P.：《非线性问题的牛顿方法：仿射不变性和自适应算法》，第35卷。柏林施普林格出版社（2011）·Zbl 1226.65043号 [27] Diehl，M.：数值优化讲义。http://cdn.syscop.de/publications/Diehl2016.pdf (2016) ·Zbl 1078.65060号 [28] Diehl，M.，Bock，H.G.，Schlöder，J.，Findeisen，R.，Nagy，Z.，Allgöwer，F.：微分代数方程控制过程的实时优化和非线性模型预测控制。《过程控制杂志》12（4），577-585（2002）·doi:10.1016/S0959-1524（01）00023-3 [29] Diehl，M.，Bock，H.G.，Schlöder，J.P.：最优反馈控制中非线性优化的实时迭代方案。SIAM J.控制优化。43(5), 1714-1736 (2005) ·Zbl 1078.65060号 ·doi:10.1137/S0363012902400713 [30] Diehl，M。；费罗，HJ；北卡罗来纳州哈弗贝克。；Magni，L.（编辑）；Raimondo，M.（编辑）；Allgöwer，F.（编辑），非线性MPC和移动时域估计的有效数值方法，391-417（2009），柏林·Zbl 1195.93038号 ·doi:10.1007/978-3642-01094-132 [31] Diehl，M.，Leineweber，D.，Schäfer，A.：MUSCOD-II用户手册。IWR预印本2001-25。海德堡大学（2001）·Zbl 0828.65060号 [32] Diehl，M.，Walther，A.，Bock，H.G.，Kostina，E.：基于伴随的SQP算法，带有不等式约束优化的准Newton Jacobian更新。最佳方案。方法软件。25(4), 531-552 (2010) ·Zbl 1197.49034号 ·doi:10.1080/10556780903027500 [33] Domahidi，A.，Perez，J.：FORCES专业人士。embotech股份有限公司。http://embotech.com/FORCES-Pro (2014) ·Zbl 0336.65037号 [34] Fabien，B.：dsoa：动态系统优化算法的实现。最佳方案。控制应用程序。方法31，231-247（2010）·Zbl 1200.90010号 [35] Ferreau，H.J.，Kirches，C.，Potschka，A.，Bock，H.G.，Diehl，M.：qpOASES:二次规划的参数活动集算法。数学。程序。计算。6(4), 327-363 (2014) ·Zbl 1302.90146号 ·doi:10.1007/s12532-014-0071-1 [36] Frasch，J.V.，Sager，S.，Diehl，M.：动态优化问题的并行二次规划方法。数学。程序。计算。7(3), 289-329 (2015) ·兹比尔1321.90094 ·doi:10.1007/s12532-015-0081-7 [37] Frison，G.：高性能模型预测控制的算法和方法。丹麦技术大学（DTU）博士论文（2015）·Zbl 0783.65064号 [38] Frison，G.、Sorensen，H.B.、Dammann，B.、Jörgensen，J.B.：线性模型预测控制的高性能小规模求解器。摘自：《欧洲控制会议（ECC）会议记录》，第128-133页（2014年） [39] Gertz，E.M.，Wright，S.J.：面向对象的二次规划软件。ACM事务处理。数学。柔和。29(1), 58-81 (2003) ·Zbl 1068.90586号 ·doi:10.1145/641876.641880 [40] González-Pinto，S.，Montijano，J.I.，Rández，L.：三阶段隐式Runge-Kutta方法的迭代方案。申请。数字。数学。17(4), 363-382 (1995) ·Zbl 0885.65086号 ·doi:10.1016/0168-9274（95）00070-B [41] Griewank，A.：评估导数，算法区分的原理和技术。《应用数学前沿》第19名。SIAM，费城（2000）·Zbl 0958.65028号 [42] Hairer，E.，Wanner，G.：求解常微分方程II-刚性和微分代数问题，第2版。柏林施普林格（1991）·Zbl 0729.65051号 [43] Hindmarsh，A.，Brown，P.，Grant，K.，Lee，S.，Serban，R.，Shumaker，D.，Woodward，C.：SUNDIALS：非线性和微分/代数方程求解器套件。ACM事务处理。数学。柔和。31(3), 363-396 (2005) ·Zbl 1136.65329号 ·数字对象标识代码：10.1145/1089014.1089020 [44] Hong，W.，Wang，S.，Li，P.，Wozny，G.，Biegler，L.：大规模动态优化问题的准序列方法。AIChE J.52（1），255-268（2006）·doi:10.1002/aic.10625 [45] Houska，B.，Diehl，M.：微分代数方程最优控制的二次收敛非精确SQP方法。最佳方案。控制应用程序。方法34（4），396-414（2013）·Zbl 1292.90223号 ·doi:10.1002/oca.2026 [46] Houska，B.，Ferreau，H.J.，Diehl，M.：ACADO工具包——用于自动控制和动态优化的开源框架。最佳方案。控制应用程序。方法32（3），298-312（2011）·Zbl 1218.49002号 ·doi:10.1002/oca.939 [47] Houska，B.，Ferreau，H.J.，Diehl，M.：微秒范围内非线性MPC的自动生成实时迭代算法。Automatica 47（10），2279-2285（2011）·Zbl 1227.65054号 ·doi:10.1016/j.automatica.2011.08.020 [48] Kalmari，J.、Backman，J.和Visala，A.：使用梯度投影和代码生成的非线性模型预测控制工具包。控制工程实践。39, 56-66 (2015) ·doi:10.1016/j.connengprac.2015.01.002 [49] Kang，J.，Cao，Y.，Word，D.P.，Laird，C.D.：一种使用隐式Schur补码分解有效解决块结构NLP问题的内部点方法。计算。化学。工程71、563-573（2014）·doi:10.1016/j.compchemeng.2014.09.013 [50] Kirches，C.、Wirsching，L.、Sager，S.、Bock，H.：非线性模型预测控制的有效数值。摘自：优化及其在工程中的应用的最新进展，第339-357页。施普林格（2010）·兹比尔1321.90094 [51] Kouzoupis，D.，Quirynen，R.，Frasch，J.V.，Diehl，M.：采用双重牛顿策略的快速非线性MPC的块凝聚。摘自：IFAC非线性模型预测控制会议记录，第48卷，第26-31页（2015） [52] Leineweber，D.，Schäfer，A.，Bock，H.，Schlöder，J.：一种用于大规模动态过程优化的基于多次射击的高效简化SQP策略。第二部分：软件方面和应用。计算。化学。工程27，167-174（2003）·doi:10.1016/S0098-1354（02）00195-3 [53] Liu，F.，Hager，W.W.，Rao，A.V.：使用非光滑检测和网格缩小进行优化控制的自适应网格细化方法。J.弗兰克尔。第352（10）号研究所，4081-4106（2015）·Zbl 1395.93303号 ·doi:10.1016/j.jfranklin.2015.05.028 [54] Mattingley，J.，Wang，Y.，Boyd，S.：滚动地平线控制的代码生成。摘自：IEEE计算机辅助控制系统设计国际研讨会论文集，第985-992页。日本横滨（2010） [55] Mayne，D.，Rawlings，J.：模型预测控制。诺布·希尔出版社，威斯康星州麦迪逊（2013） [56] Nocedal，J.，Wright，S.J.：数值优化，斯普林格运筹学和金融工程系列，第二版。柏林施普林格出版社（2006）·兹比尔1104.65059 [57] Ohtsuka，T.：用于快速计算非线性滚动时域控制的连续/GMRES方法。Automatica 40（4），563-574（2004）·Zbl 1168.93340号 ·doi:10.1016/j.automatica.2003.11.005 [58] Ohtsuka，T.，Kodama，A.：非线性滚动地平线控制的自动代码生成系统。变速器。Soc.仪器。控制工程38（7），617-623（2002）·数字对象标识代码：10.9746/sicetr1965.38.617 [59] Patterson，M.A.，Hager，W.W.，Rao，A.V.：用于优化控制的ph网格细化方法。最佳方案。控制应用程序。方法36（4），398-421（2015）·兹伯利1329.49048 ·doi:10.1002/oca.2114 [60] Patterson，M.A.，Rao，A.V.:GPOPS-II：一个MATLAB软件，用于使用hp自适应高斯正交配置方法和稀疏非线性规划解决多相最优控制问题。ACM事务处理。数学。柔和。41(1), 1-37 (2014) ·Zbl 1369.65201号 ·doi:10.1145/2558904 [61] Potschka，A.：在最优控制问题的直接多重射击方法中处理路径约束。海德堡大学文凭（2006年）·Zbl 1134.90542号 [62] Potschka，A.：一种数值求解具有时间周期PDE约束的优化问题的直接方法。海德堡大学博士论文（2011）·Zbl 1237.65062号 [63] Pytlak，R.：状态约束最优控制问题的数值方法，数学课堂讲稿。柏林施普林格（1999）·Zbl 0928.49002号 ·doi:10.1007/BFb0097244 [64] Quirynen，R.，Gros，S.，Diehl，M.：具有线性子系统的非线性模型的高效NMPC。摘自：IEEE决策与控制会议（CDC）会议记录，第5101-5106页（2013年） [65] Quirynen，R.，Gros，S.，Diehl，M.：基于非精确牛顿的快速非线性MPC提升隐式积分器。摘自：IFAC非线性模型预测控制（NMPC）会议记录，第32-38页（2015）·Zbl 1311.90184号 [66] Quirynen，R.，Gros，S.，Diehl，M.：提升直接最优控制的隐式积分器。摘自：IEEE决策与控制会议（CDC）会议记录，第3212-3217页（2015）·Zbl 0783.65064号 [67] Quirynen，R.，Gros，S.，Diehl，M.：具有迭代灵敏度的非精确Newton型优化。SIAM J.Optim公司。（接受，预印本可在Optimization Online上获得，2016-06-5502）（2016）·Zbl 1381.49028号 [68] Quirynen，R.，Houska，B.，Diehl，M.：直接最优控制中提升配置积分器的对称hessian传播。载于：《美国控制会议记录》，第1117-1123页（2016） [69] Quirynen，R.、Houska，B.、Vallerio，M.、Telen，D.、Logist，F.、Impe，J.V.、Diehl，M.：基于对称算法微分的精确Hessian SQP方法和经济MPC软件。在：《IEEE决策与控制会议记录》（CDC），第2752-2757页（2014） [70] Quirynen，R.、Vukov，M.、Zanon，M.和Diehl，M.：为非线性MPC自动生成微秒解算器：使用ACADO积分器的教程。最佳方案。控制应用程序。方法36，685-704（2014）·Zbl 1330.93100号 ·doi:10.1002/oca.2152 [71] Romanenko，A.，Pedrosa，N.，Leal，J.，Santos，L.：研讨会，基于Linux的非线性模型预测控制框架，第229-236页（2007） [72] Simon，L.，Nagy，Z.，Hungerbuehler，K.：《非线性模型预测控制》，《控制与信息科学讲义》，第384卷，第八章，使用专用NMPC环境的工业间歇反应器膨胀约束控制：OptCon，第531-539页。施普林格（2009）·Zbl 1196.93026号 [73] Tomlab优化：PROPT：Matlab优化控制软件（ODE、DAE）。http://tomdyn.com (2009-2011) [74] Vukov，M.、Gros，S.、Horn，G.、Frison，G.，Geebelen，K.、Jörgensen，J.B.、Swevers，J.、Diehl，M.：大型机电应用的实时非线性MPC和MHE。控制工程实践。45, 64-78 (2015) ·doi:10.1016/j.engprac.2015.08.012（文件编号：10.1016/j.engprac.2015.08.012） [75] Wächter，A.，Biegler，L.T.：关于大规模非线性规划的点内滤波器线性搜索算法的实现。数学。程序。106(1), 25-57 (2006) ·Zbl 1134.90542号 ·doi:10.1007/s10107-004-0559-y [76] Wirsching，L.，Bock，H.G.，Diehl，M.：由弹簧连接的质量链的快速NMPC。摘自：《IEEE控制应用国际会议论文集》，慕尼黑，第591-596页（2006） [77] Word，D.P.、Kang，J.、Akesson，J.和Laird，C.D.：大规模非线性动态优化问题的高效并行解决方案。计算。最佳方案。申请。59(3), 667-688 (2014) ·Zbl 1303.90122号 ·doi:10.1007/s10589-014-9651-2 [78] Zavala，V.M.，Laird，C.D.，Biegler，L.T.：并行求解大规模非线性参数估计问题的内点分解方法。化学。工程科学。63(19), 4834-4845 (2008) ·doi:10.1016/j.ces.2007.05.022 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。