×
克里斯蒂安·柯奇斯;斯文·莱弗尔

TACO：AMPL控制优化工具包。 （英语） Zbl 1302.49043号

数学。程序。计算。 5，第3期，227-265（2013）.
摘要：我们描述了AMPL建模语言的一组扩展，以方便地为ODE或DAE动态过程的混合整数优化控制问题建模。这些扩展是作为AMPL用户函数和后缀实现的，不需要对AMPL语言标准或实现本身进行侵入性更改。我们描述并提供了一个用于AMPL控制优化的工具包TACO，它读取AMPL存根（stub.nl）文件和检测结构的最优控制问题。该工具包旨在促进现有最优控制软件包与AMPL的耦合。我们将讨论需求、功能和当前的实现。以最优控制的多重打靶代码MUSCOD-II为例，我们演示了如何将TACO工具箱提供的问题信息与求解器进行接口。此外，我们还展示了如何使用混合整数最优控制的MS-MINTOC算法来有效地解决AMPL中建模的混合整数优化控制问题。我们使用AMPL扩展来建模三个控制问题示例，并讨论这些扩展如何影响最优控制问题的表示。这些问题的解决方案是通过在AMPL环境中使用MUSCOD-II和MS-MINTOC获得的。网站上提供了更多AMPL控制模型的集合网址：http://mintoc.de。已在NEOS服务器上提供MUSCOD-II和MS-MINTOC，以进行优化，使用TACO工具包输入AMPL模型。

引用于4文件

MSC公司：

49立方米7 基于非线性规划的数值方法
68甲15 编程语言理论
90立方厘米 混合整数编程
93A30型 系统数学建模（MSC2010）
65升80 微分代数方程的数值方法

关键词：

混合积分最优控制;微分代数方程;特定于域的语言;数学建模

软件：

柳叶刀;Mintoc公司;AMPL公司;PROPT公司;MINOS公司;SNOPT公司;邦明牌手表;迪科尔;电影;警察;伊波特;针织品;NPSOL公司;全球可编程只读存储器;最小lpBB;彭农牌手表;Modelica公司;墨西哥煎玉米卷;库恩;迪莫拉;Optimica公司;qpHPSC;JModelica公司;近地天体;音乐厅;墨西哥煎玉米卷;MUSCOD-II公司;过滤器SQP
PDF格式BibTeX公司 XML格式引用
\textit{C.Kirches}和\textit{S.Leyffer}，数学。程序。计算。5、编号3、227--265（2013；Zbl 1302.49043）
全文： 内政部

参考文献：

[1] Abhishek，K.，Leyffer，S.，Linderath，T.：FilMINT：基于外部近似的混合整数非线性程序求解器。信息J.计算。22(4), 555–567 (2010). http://joc.journal.informs.org/content/22/4/555摘要 ·Zbl 1243.90142号
[2] Achtziger，W.，Kanzow，C.：约束消失的数学程序：最优性条件和约束条件。数学。程序。序列号。A 114、69–99（2008）。http://www.mathematik.uni-werzburg.de/\（\sim\）kanzow/paper/WanishCP.pdf·Zbl 1151.90046号
[3] 奥凯松，J.，奥泽恩，K.，格里夫弗特，M.，伯格达尔，T.，图姆斯谢特。H.：使用Optimica和JModelica.org进行建模和优化–用于解决大规模动态优化问题的语言和工具。计算。化学。工程34（11），1737-1749（2008）。http://www.sciencedirect.com/science/article/pii/S009813540900283X
[4] Albersmeyer，J.：基于伴随的算法和数值方法，用于大规模动态系统的灵敏度生成和优化。博士论文，Ruprecht-Karls-Universität Heidelberg（2010）。http://www.ub.uni-heidelberg.de/archiv/11651 ·Zbl 1210.65003号
[5] Andreani，R.，Birgin，E.，Martinez，J.，Schuverdt，M.：关于一般低层约束的增广拉格朗日方法。SIAM J.Optim公司。18, 1286–1309 (2007). http://www.optimization-online.org/DB_FILE/2005/03/1085.pdf ·Zbl 1151.49027号
[6] Andreani，R.，Birgin，E.，Martinez，J.，Schuverdt，M.：常数正线性相关约束条件下的增广拉格朗日方法。数学课程111，5-32（2008）。http://www.ime.usp.br/\（\sim\）egbirgin/publications/abms.pdf·Zbl 1163.90041号
[7] Barton，P.，Pantelides，C.：gPROMS–化学处理系统的组合离散/连续建模环境。模拟。序列号。25, 25–34 (1993)
[8] Bauer，I.、Bock，H.、Körkel，S.、Schlöder，J.：DAE模型初值问题和导数生成的数值方法及其在化学过程优化实验设计中的应用。摘自：《化学工程科学计算II》，第282-289页。施普林格，柏林（1999）。http://hgs.iwr.uni-heidelberg.de/expdesign/ppeople/skoerkel/publications/？name=scce99-bauer.ps.gz&amp；type=应用程序/postscript
[9] Belotti，P.：Couenne：用户手册。Lehigh大学技术代表（2009年）。http://www.coin-or.org/Couenne/Couenne-user-manual.pdf
[10] Betts，J.、Eldersveld，S.、Huffman，W.：稀疏非线性编程测试问题（1.0版）。波音计算机服务技术代表BCSTECH-93-074（1993）
[11] Bock，H.，Plitt，K.：直接求解最优控制问题的多重打靶算法。摘自：第九届国际会计师联合会世界大会会议记录，第242-247页。布达佩斯佩加蒙出版社（1984年）。http://www.iwr.uni-heidelberg.de/groups/agbock/FILES/Bock1984.pdf
[12] Bonami，P.，Biegler，L.，Conn，A.，Cornuéjols，G.，Grossmann，I.，Laird，C.，Lee，J.，Lodi，A.，Margot，F.，Sawaya，N.，Wächter，A.：凸混合整数非线性规划的算法框架。离散优化5（2），186-204（2008）。http://www.sciencedirect.com/science/article/pii/S1572528607000448 ·Zbl 1151.90028号
[13] Box，G.，Hunter，W.，MacGregor，J.，Erjavec，J.：与多响应数据分析相关的一些问题。技术计量学15，33–51（1973）。http://www.jstor.org/stable/1266823 ·Zbl 0275.62060号
[14] Bryson，A.，Ho，Y.：应用最优控制：优化、估计和控制。霍博肯·威利（1975）
[15] Byrd，R.H.，Hribar，M.E.，Nocedal，J.：大规模非线性规划的内点算法。SIAM J.Optim公司。9(4), 877–900 (1999) ·Zbl 0957.65057号 ·doi:10.1137/S1052623497325107
[16] Byrd，R.H.，Gilbert，J.C.，Nocedal，J.：基于内点技术的非线性规划信赖域方法。数学。程序。89, 149–185 (2000). 网址：http://www.ece.northwester.edu/\（\sim\）nocedal/PSfiles/nitro.ps.gz·Zbl 1033.90152号
[17] Byrd，R.H.、Nocedal，J.、Waltz，R.A.：Knitro：非线性优化的集成包。摘自：di Pillo，G.，Roma，M.（编辑）《大尺度非线性优化》，第35-59页。施普林格，柏林（2006）。http://www.ziena.com/papers/integratedpackage.pdf ·Zbl 1108.90004号
[18] Cesari，L.：优化——理论与应用。柏林施普林格（1983）
[19] Conn，A.R.，Gould，N.I.M.，Toint，P.L.：LANCELOT：大型非线性优化的Fortran包（A版）。斯普林格，海德堡（1992）·Zbl 0761.90087号
[20] Cuthrell，J.，Biegler，L.：关于微分代数过程系统的优化。AIChE 33，1257–1270（1987）。http://onlinelibrary.wiley.com/doi/10.1002/aic.690330804/摘要
[21] Diehl，M.：大规模非线性过程的实时优化。博士论文，Ruprecht-Karls-Universität Heidelberg（2001）。http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2001/1659/
[22] Diehl，M.，Leineweber，D.，Schäfer，A.：MUSCOD-II用户手册。IWR预印本2001-25，科学计算跨学科中心（IWR），Ruprecht-Karls-Universität Heidelberg，Im Neuenheimer Feld 368，69120 Heidelburg，Germany（2001）。http://www.iwr.uni-heidelberg.de/groups/agbock/FILES/muscod_manual.pdf
[23] Diehl，M.，Bock，H.，Kostina，E.：鲁棒非线性优化的近似技术。数学。程序。107, 213–230 (2006). https://lirias.kuleuven.be/bitstream/123456789/70656/1/06-226.pdf ·Zbl 1134.90039号
[24] Dolan，E.，Moré，J.，Munson，T.：COPS 3.0基准优化软件。技术代表ANL/MCS-TM-273，数学和计算机科学部，阿贡国家实验室，9700 South Cass Avenue，Argonne，IL 60439，USA（2004）。网址：http://www.mcs.anl.gov/\（\sim\）更多/cops/cops3.pdf
[25] Elmqvist，H.，Brück，D.：Dymola–动态建模语言。用户手册，Dynasim AB（2001）
[26] Fletcher，R.，Leyffer，S.：过滤器SQP的用户手册。邓迪大学技术代表（1999年）。网址：http://www.mcs.anl.gov/\（\sim\）leyffer/papers/SQP_手册.pdf
[27] Floudas，C.、Pardalos，P.、Adjiman，C.、Esposito，W.、Gumus，Z.、Harding，S.、Klepeis，J.、Meyer，C.、Schweiger，C.：局部和全局优化测试问题手册。多德雷赫特·克鲁沃（1999）·Zbl 0943.90001号
[28] Fourer，B.，Ferris，M.C.，Gay，D.M.：表达互补性问题并将其传达给解决者。SIAM J.Optim公司。9, 991–1009 (1999). http://ftp2.cs.wisc.edu/math-prog/tech-reports/98-02.pdf ·Zbl 0997.90087号
[29] Forer，R.，Gay，D.，Kernighan，B.：数学编程的建模语言。管理。科学。36119-554（1990年）。http://www.jstor.org/pss/2632268 ·Zbl 0701.90062号
[30] Forer，R.，Gay，D.M.，Kernighan，B.W.：AMPL:数学规划建模语言，第二版。Books/Cole-Thomson Learning（2003年）
[31] D.M.盖伊：将你的解算器连接到AMPL。新泽西州默里山贝尔实验室技术代表（1993年；1994年修订，1997年）。http://www.ampl.com/REFS/download.html#pdf
[32] Gill，P.，Murray，W.，Saunders，M.，Wright，M.：NPSOL 5.0版用户指南：非线性编程的Fortran包。SOL 86–1报告，加州大学圣地亚哥分校数学系（1998年）http://cam.ucsd.edu/\（\sim\）peg/papers/npdoc.pdf
[33] Gill，P.，Murray，W.，Saunders，M.：SNOPT：大规模约束优化的SQP算法。SIAM J.Optim公司。12, 979–1006 (2002). http://www.stanford.edu/group/SOL/papers/SNOPT-SIGEST.pdf ·Zbl 1027.90111号
[34] Gropp，W.，Moré，J.：优化环境和NEOS服务器。摘自：Buhmann M，Iserles A（编辑）《近似理论与优化》，第167-182页。剑桥大学出版社，剑桥（1997）。ftp://ftp.mcs.anl.gov/pub/tech_reports/reports/P654.ps.Z ·Zbl 1031.65075号
[35] Hatz，K.：最优控制问题中的参数估计。Ruprecht-Karls-Universität Heidelberg，文凭论文（2008）
[36] Kameswaran，S.，Biegler，L.：基于非线性规划的方法在不等式路径约束最优控制问题中的优势——数值研究。SIAM J.科学。计算。30, 957–981 (2008). http://numero.cheme.cmu.edu/uploads/paper12.pdf ·Zbl 1157.49038号
[37] Kirches，C.：混合整数非线性模型预测控制的快速数值方法。博士论文，Ruprecht-Karls-Universität Heidelberg（2010）。http://www.ub.uni-heidelberg.de/archiv/11636/ ·Zbl 1312.65101号
[38] Kočvara，M.，Stingl，M.：PENNON–凸非线性和半定规划的代码。最佳方案。方法软件。18(3), 317–333 (2003). http://web.mat.bham.ac.uk/kocvara/pennon/paper_OMS.pdf ·Zbl 1037.90003号
[39] Kočvara，M.，Stingl，M.：PENNON用户指南（0.9版）。PENOPT（2008）。http://www.penopt.com/doc/pennon0_9.pdf .
[40] Kühl，P.，Milewska。A.、Diehl，M.、Molga，E.、Bock，H.：失控安全补料间歇式反应器的NMPC。In：程序。NMPC评估和未来方向国际研讨会，第467–474页（2005年）。http://www.kuleuven.be/optec/OLD/research/subgroups/fastMPC/publications/Kuehl2005.pdf ·Zbl 1223.93092号
[41] Leineweber，D.：《分析与再研究》（Analyse und Restrukturierung eines Verfahrens zur directen Lösung von Optimal-Steuerungsproblemen）。Ruprecht-Karls-Universität Heidelberg，文凭论文（1995）
[42] Leineweber，D.：大型稀疏DAE模型描述的化学过程优化的高效简化SQP方法，Fortschritt-Berichte VDI Reihe 3，Verfahrenstechnik，第613卷。VDI Verlag，杜塞尔多夫（1999）
[43] Leineweber，D.，Bauer，I.，Schäfer，A.，Bock，H.，Schlöder，J.：一种用于大规模动态过程优化的基于多次射击的高效精简SQP策略（第一部分和第二部分）。计算。化学。《工程》27，157-174（2003）。http://www.iwr.uni-heidelberg.de/groups/agbock/USER_PAGES/LEINEWEBER_DANIEL/www/mc2_part1.pdf , http://www.iwr.uni-heidelberg.de/groups/agbock/USER_PAGES/LEINEWEBER_DANIEL/www/mc2_part2.pdf
[44] Leyffer，S.：MINLP用户手册。邓迪大学（1998）
[45] Logsdon，J.，Biegler，L.：大规模动态优化问题的分解策略。化学。工程科学。47(4), 851–864 (1992). http://www.sciencedirect.com/science/article/pii/000925099280272E
[46] Maria，G.：解决动力学模型伴随估计-约简问题的自适应策略。可以。化学杂志。Eng.67，825（1989）。http://onlinelibrary.wiley.com/doi/10.1002/cjce.5450670514/abstract
[47] Mattsson，S.、Elmqvist，H.、Broenink，J.：Modelica：设计下一代建模语言的国际努力。J.A Benelux Q.J.汽车。控制38（3），16–19（1997），计算机辅助控制系统设计专刊，CACSD（1998）。https://www.modelica.org/publications/papers/CACSD97Modelica.pdf
[48] Milewska，A.：间歇和半间歇化学反应器的建模——安全方面。华沙理工大学博士论文（2006年）
[49] Moessner-Beigel，M.：Optimale Steuerung für Industrieroboter unter Berücksichtigung der getriebedingten Elastizität。毕业论文Ruprecht-Karls-Universität Heidelberg（1995）
[50] Murtagh，B.，Saunders，M.：MINOS 5.4用户指南。斯坦福大学运筹学系SOL 83–20R报告（1993）
[51] Nocedal，J.，Wright，S.：数值优化，第2版。柏林施普林格出版社（2006）·Zbl 1104.65059号
[52] Petzold，L.，Li，S.，Cao，Y.，Serban，R.：微分代数方程和偏微分方程的敏感性分析。计算。化学。工程30，1553–1559（2006）。http://www.sciencedirect.com/science/article/pii/S098135406001487
[53] Plitt，K.：Ein超线性konvergentes Mehrzielverfahren zur directen Berechnung beschránkter优化子Steuerungen。莱茵谢·弗里德里希·威廉斯-波恩大学毕业论文（1981年）
[54] Potschka，A.，Bock，H.，Schlöder，J.：半无限规划的最小跟踪变量，用于在最优控制问题的直接解决中处理路径约束。最佳方案。方法软件。24(2), 237–252 (2009). 网址：http://www.tandfonline.com/doi/abs/10.1080/10556780902753098 ·Zbl 1286.49005号
[55] Rothschild，B.，Sharov，A.，Kearsley，A.，Bondarenko，A.：估算阶段结构人口的增长和死亡率。《浮游生物研究杂志》第19卷，1913-1928年（1997年）。http://plankt.oxfordjournals.org/content/19/12/1913.full.pdf
[56] Rutquist，P.，Edvall，M.：PROPT–Matlab最优控制软件。用户手册，TOMLAB Optimization（2010）。http://tomopt.com/docs/TOMLAB_PROPT.pdf
[57] Sager，S.：混合积分最优控制问题的数值方法。Der andere Verlag，Tönning，Lübeck，马尔堡（2005）。http://mathopt.uni-hd.de/PUBLICATIONS/Sager2005.pdf
[58] Sager，S.：混合积分最优控制问题的基准库。摘自：MINLP09（2011）会议记录。http://mathopt.uni-hd.de/PUBLICATIONS/Sager2011b.pdf ·Zbl 1242.90309号
[59] Sager，S.、Bock，H.、Diehl，M.：混合积分最优控制中的整数近似误差。数学。程序。A（2011年）。doi:10.1007/s10107-010-0405-3。http://mathopt.uni-hd.de/PUBLICATIONS/Sager2011.pdf ·Zbl 1259.90077号
[60] von Stryk，O.：DIRCOL用户指南（2.1版）：最优控制问题数值解的直接配置方法。德国慕尼黑理工大学技术代表（1999年）
[61] Tjoa，I.B.，Biegler，L.：微分代数方程组参数估计的同时求解和优化策略。工业工程化学。第30号决议，376–385（1991年）。http://pubs.acs.org/doi/abs/10.1021/ie00050a015
[62] Vanderbei，R.，Shanno，D.：非凸非线性规划的内点算法。COAP 13，231–252（1999）。http://citeseerx.ist.psu.edu/viewdoc/download？doi=10.1.1.25.4065&rep=rep1&amp；类型=pdf·Zbl 1040.90564号
[63] Wächter，A.，Biegler，L.：关于大尺度非线性规划的点内滤波器线搜索算法的实现。数学。程序。106(1), 25–57 (2006). 网址：http://www.springerlink.com/content/r31116mp70171220/ ·Zbl 1134.90542号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。