×
弗雷德里克·马格努森；约翰·奥凯森

基于块三角排序的动态优化中的符号消除。 （英文） Zbl 1391.49065号

最佳方案。方法软件。 33，第1期，92-119（2018）.
摘要：我们考虑由微分代数方程（DAE）描述的系统的动态优化问题。这些问题通常通过离散整个DAE来解决。我们提出了在离散化之前的预处理步骤中符号化地消除许多代数变量的技术。这些技术受到了在解决DAE初值问题时经常使用的因果化和撕裂技术的启发。由于稀疏性对于某些动态优化方法至关重要，我们还提出了一种在该过程中保持稀疏性的新方法。提出的方法已经在开源中实现JModelica.org网站平台。我们评估了这些方法在使用直接配置求解的一组最优控制问题上的性能。我们考虑了计算时间和及时解决问题的概率。我们证明，所提出的方法通常比离散整个DAE的标准方法快一个数量级，并且显著提高了成功收敛的概率。

MSC公司：

49立方米 基于非线性规划的数值方法
34A09号 隐式常微分方程，微分代数方程
68瓦30 符号计算和代数计算

关键词：

动态优化；微分代数方程；块三角排序；撕裂；稀疏保存；非线性规划；模型（modelica）

软件：

高铁；MA48型；罗达斯；卡萨迪；Modelica公司；WORHP公司；Optimica公司；JModelica公司；SOCS系统；迪莫拉；OpenModelica公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Magnusson}和\textit{J.奥克森}，Optim。方法软件。33，编号1，92-119（2018；兹bl 1391.49065）
全文： 内政部 链接

参考文献：

[1] 奥伯格，M。，介质热力学性质的优化建模，瑞典隆德大学自动控制系硕士论文，2016年。
[2] 奥凯森，J。，Optimica——支持动态优化的模型扩展，《第六届国际Modelica大会论文集》，德国比勒费尔德，2008年，第57-66页。
[3] 奥凯森，J。；奥泽恩，K.E。；Gäfvert先生。；T.Bergdahl。；Tummescheit，H.，使用Optimica和JModelica.org语言和工具进行建模和优化，用于解决大规模动态优化问题，计算。化学。工程，341737-1749（2010）·doi:10.1016/j.compchemeng.2009.11.011
[4] 安德森，J。，用于动态优化的通用软件框架，博士论文，阿伦伯格博士学校，鲁汶大学，2013年。
[5] 安德森·J、奥凯松·J、卡塞拉·F和迪尔·M。，整合CasADi和JModelica.org《第八届国际Modelica会议论文集》，德国德累斯顿，2011年，第218-231页。
[6] Axelsson，M.、Magnusson，F.和Henningsson，T。，JModelica.org中的非线性模型预测控制框架《第十一届国际Modelica会议论文集》，法国巴黎，2015年，第301-310页。
[7] 巴赫曼、B.、Ochel、L.、Ruge、V.、Gebremedhin、M.、Fritzson、P.、Nezhadali、V.和Sivertsson，M。，使用OpenModelica进行并行多点扫描和并置优化《第九届国际Modelica会议论文集》，德国慕尼黑，2012年，第659-668页。
[8] Baharev，A.，Schichl，H.和Neumaier，A。，非线性方程组撕裂系统——Ⅰ.综述，已提交发布。可从获取·Zbl 1455.65073号
[9] Baharev，A.，Schichl，H.和Neumaier，A。，撕裂非线性方程组-II。一种实用的精确算法。已提交以供发布。可从获取·Zbl 1455.65073号
[10] 巴尔特斯，M。；施耐德，R。；Sturm，C。；Reuss，M.，非结构化生长模型参数估计的最佳实验设计，生物技术。程序。，10, 480-488 (1994) ·doi:10.1021/bp00029a005
[11] Berntorp，K.和Magnusson，F。，地面车辆机动的递阶预测控制，美国控制会议，2015年，伊利诺伊州芝加哥，2015年，第2771-2776页。
[12] Berntorp，K。；Olofsson，B。；伦达尔，K。；尼尔森，L.，《安全关键型道路车辆操纵中最优轨迹生成的模型和方法》，Veh。系统。动态。，52, 1304-1332 (2014) ·doi:10.1080/00423114.2014.939094
[13] Betts，J.T.，轨迹优化数值方法综述，J.Guid。合同。动态。，21, 193-207 (1998) ·Zbl 1158.49303号 ·数字对象标识代码：10.2514/2.4231
[14] Betts，J.T.，《使用非线性规划进行最优控制和估计的实用方法》（2010），SIAM:SIAM，宾夕法尼亚州费城·Zbl 1189.49001号
[15] Biegler，L.T.，《非线性规划：概念、算法和在化学过程中的应用》（2010），MOS-SIAM:MOS-SIAM，宾夕法尼亚州费城·兹比尔1207.90004
[16] Blochwitz，T.、Otter，M.、Arnold，M.，Bausch，C.、Clauß，C.、Elmqvist，H.、Junghanns，A.、Mauss，J.、Monteiro，M.和Neidhold，T.，Neumerkel，D.、Olsson，H.，Peetz，J.V.和Wolf，S。，用于与工具无关的仿真模型交换的功能性模型接口《第八届国际Modelica会议论文集》，德国德累斯顿，2011年，第105-114页。
[17] Brenan，K。；坎贝尔，S。；Petzold，L.，微分代数方程初值问题的数值解（1996），SIAM:SIAM，Philadelphia，PA·Zbl 0844.65058号
[18] Büskens，C.和Wassel，D。，ESA NLP解算器WORHP，英寸空间工程中的建模与优化G.Fasano和J.D.Pintér编辑，第73卷，施普林格，纽约，2013年，第85-110页·Zbl 1365.90007号
[19] 卡塞拉，F.，多尼达，F.和奥凯森，J。，面向对象建模与最优控制：电厂启动案例研究第18届国际会计师联合会世界大会，意大利米兰，2011年，第9549-9554页。
[20] 塞利尔，F.E。；Kofman，E.，连续系统仿真（2006），Springer:Springer，纽约州纽约市·Zbl 1112.93004号
[21] 塞万提斯，A.M。；瓦希特，A。；TüTüncü，R.H。；Biegler，L.T.，微分代数系统优化的简化空间内点策略，计算。化学。工程，24，39-51（2000）·doi:10.1016/S0098-1354（00）00302-1
[22] M.迪尔。，大规模非线性过程的实时优化海德堡大学博士论文，2002年。
[23] Diehl，M。；博克·H·G。；施罗德，J.P。；芬代森，R。；Z.纳吉。；Allgöwer，F.，微分代数方程控制过程的实时优化和非线性模型预测控制，J.Proc。续，12777-585（2002）·doi:10.1016/S0959-1524（01）00023-3
[24] Dolan，E.D。；Moré，J.J.，《性能曲线基准优化软件》，数学。程序。，91, 201-213 (2002) ·邮编：1049.90004 ·doi:10.1007/s101070100263
[25] 达夫，I.S。；埃里斯曼，A。；Reid，J.K.，稀疏矩阵的直接方法（1986），克拉伦登出版社：克拉伦登出版社，英国牛津·Zbl 0604.65011号
[26] 达夫，I.S。；Reid，J.K.，《MA48的设计：直接求解稀疏非对称线性方程组的代码》，ACM Trans。数学。软质。，22, 187-226 (1996) ·Zbl 0884.65019号 ·数字对象标识代码：10.1145/229473.229476
[27] Elmqvist，H.和Otter，M。，面向对象建模中方程组的撕裂方法《欧洲模拟多会议》，西班牙巴塞罗那，1994年，第326-332页。
[28] R·弗莱彻。，LP中稀疏矩阵的块三角序和因子，英寸数值分析1997、D.Griffiths、G.Watson和D.Higham编辑，英国哈洛朗曼，1998年，第91-110页·Zbl 0903.65022号
[29] 弗兰克，R。，用Modelica建立动态优化问题及其有效解《第二届国际Modelica会议论文集》，德国奥伯法芬霍芬，2002年，第315-322页。
[30] Fritzson，P.，《Modelica 3.3面向对象建模与仿真原理》（2015），Wiley-IEEE出版社：Wiley-EEE出版社，新泽西州皮斯卡塔韦
[31] George，A.，常规有限元网格的嵌套剖分，SIAM J.Numer。分析。，10, 345-363 (1973) ·Zbl 0259.65087号 ·doi:10.1137/0710032
[32] Gupta，P.K。；韦斯特伯格，A.W。；亨德利·J·E。；Hughes，R.R.，使用线性规划为方程分配输出变量，AIChE J.，20，397-399（1974）·doi:10.1002/aic.690200231
[33] 海尔，E。；Wanner，G.，《求解常微分方程II：刚性和微分代数问题》（1996），Springer-Verlag:Springer-Verlag，柏林·兹比尔0859.65067
[34] 何登仁，J.D。，动力学和控制的非线性模型库，2008年，网址：。
[35] 霍普克罗夫特，J.E。；Karp，R.M.，二部图最大匹配的一种算法，SIAM J.Compute。，2, 225-231 (1973) ·Zbl 0266.05114号 ·doi:10.1137/0202019
[36] 高铁：用于大规模科学计算的Fortran代码集，软件位于。
[37] Karypis，G。；Kumar，V.，《划分不规则图的快速高质量多级方案》，SIAM J.Sci。计算。，20359年-392年（1998年）·Zbl 0915.68129号 ·doi:10.1137/S1064827595287997
[38] Kron，G.，《分裂论：大尺度系统的分段解》第2卷（1963年），麦克唐纳：麦克唐纳，伦敦
[39] Krüger，K。；弗兰克·R。；Rode，M.，使用非线性锅炉模型和硬约束的锅炉启动优化，能源，292239-251（2004）·doi:10.1016/j.energy.2004.03.022
[40] Lazutkin，E。；Geletu，A。；Hopfgarten，S。；Li，P.，基于控制变量相关分析的高效动态优化的解析黑森并行计算方法，工业工程化学。研究，54，12086-12095（2015）·doi:10.1021/acs.iecr.5b02369
[41] Lennernäs，B。，JModelica.org的基于CasADi的工具链2013年，瑞典隆德大学自动控制系硕士论文。
[42] Maciejowski，J.M.，《带约束的预测控制》（2002），新泽西州上鞍河Prentice-Hall出版社·Zbl 0978.93002号
[43] 马格努森，F。，动态优化的数值和符号方法，博士论文，隆德大学，2016年。
[44] 马格努森，F。，符号消除性能配置文件，2016年。可从GitHub存储库获取。
[45] 马格努森，F。；奥凯森，J.，《JModelica中的动态优化》。组织，流程，3471-496（2015）·doi:10.3390/pr3020471
[46] Magnusson，F.、Berntorp，K.、Olofsson，B.和Au kesson，J。，动态优化问题的符号变换，《第十届国际Modelica会议论文集》，瑞典隆德，2014年，第1027-1036页。
[47] Markowitz，H.M.，《逆的消去形式及其在线性规划中的应用》，Manag。科学。，3, 255-269 (1957) ·Zbl 0995.90592号 ·数字对象标识代码：10.1287/mnsc.3.225
[48] Mattsson，S.E.，Olsson，H.和Elmqvist，H。，Dymola中状态的动态选择《2000年Modelica研讨会论文集》，瑞典隆德，2000年，第61-67页。
[49] 马特森，S.E。；Söderlind，G.，《使用虚拟导数的微分代数方程的指数缩减》，SIAM J.Sci。计算。，14, 677-692 (1993) ·兹比尔0785.65080 ·数字对象标识代码：10.1137/0914043
[50] 梅杰尔，P。，撕裂微分代数方程2011年，瑞典隆德大学数学科学中心硕士论文。
[51] 帕里尼，P。，能源系统的面向对象建模和动态优化及其在联合循环电厂启动中的应用2015年，意大利米兰理工大学Informazione e Bioingeneria，Elettronica研究所硕士论文。
[52] 普拉塔。；奥尔登堡，J。；Kroll，A。；Marquardt，W.，《连续聚合反应器牌号转换的集成调度和动态优化》，计算。化学。工程师，32，463-476（2008）·doi:10.1016/j.compchemeng.2007.03.009
[53] Rao，A.V.公司。，最优控制数值方法综述，载于2009年美国宇航局/美国国际航空航天局天体动力学专家会议论文集，宾夕法尼亚州匹兹堡，2009年。
[54] H.Runvik。，燃煤电厂的建模和启动优化2014年，瑞典隆德大学自动控制系硕士论文。
[55] Safdarnejad，S.M。；何登仁，J.D。；Lewis，N.R。；Haseltine，E.L.，动态系统优化的初始化策略，计算。化学。工程，78，39-50（2015）·doi:10.1016/j.compchemeng.2015.04.016
[56] Tarjan，R.E.，深度-第一搜索和线性图算法，SIAM J.Compute。，1, 146-160 (1972) ·兹比尔0251.05107 ·数字对象标识代码：10.1137/0201010
[57] Thelander Andrén，M.和Wedding，C。，火电厂启动优化解决方案的开发2015年，瑞典隆德大学自动控制系硕士论文。
[58] 瓦希特，A。；Biegler，L.T.，《关于大规模非线性规划的原始-对偶内点过滤器线搜索算法的实现》，数学。程序。，106, 25-57 (2006) ·Zbl 1134.90542号 ·doi:10.1007/s10107-004-0559-y
[59] 韦斯特伯格，A.W。；Edie，F.C.，计算机辅助设计，第1部分：通过选择稀疏方程组解中的输出变量赋值来增强收敛特性，化学。《工程师杂志》，第2期，第9-16页（1971年）·doi:10.1016/0300-9467（71）87002-8
[60] Word，D.P。；Kang，J。；奥凯森，J。；Laird，C.D.，大规模非线性动态优化问题的有效并行解，计算机。最佳方案。和申请。，59, 667-688 (2014) ·兹比尔1303.90122 ·doi:10.1007/s10589-014-9651-2
[61] Zavala，V.M.，使用移动地平线估计和傅里叶正则化推断建筑物占用信号，J.Proc。续，24714-722（2014）·doi:10.1016/j.jprocont.2013.09.020
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。