×
阿米尔·阿里·艾哈迈迪；阿尼鲁达·马朱姆达尔

多项式优化在运筹学和实时决策中的一些应用。 （英语） Zbl 1345.90085号

最佳方案。莱特。 第4期第10期，709-729页（2016年）.
总结：我们展示了代数技术的应用，优化和证明多项式不等式，以解决运筹学和运输工程界感兴趣的问题。考虑了三个问题：（1）目标地理区域的无线覆盖，具有保证的信号质量和最小的传输功率；（2）为在杂乱环境中导航的无人机（UV）的简单模型计算实时避碰证书；（3）为最近用于货物运输的四轮UV设计一个非线性悬停控制器。在我们的小规模应用中，我们应用了平方和（SOS）松弛，并用半定规划解决了潜在的问题。在大规模或实时应用中，我们使用我们最近引入的“SDSOS优化”技术，从而生成二阶锥程序。据我们所知，这是首次研究平方和技术在优化和控制中的实时应用。读者不具备动力学和控制方面的知识。

引用于14文件

MSC公司：

90立方厘米 互补、平衡问题和变分不等式（有限维）（数学规划方面）
90立方厘米22 半定规划
90 C90 数学规划的应用

关键词：

多项式优化；半定规划；二阶锥规划；最优化中的代数技术；李亚普诺夫方法；实时优化

软件：

古罗比；塞杜米；莫塞克；CVXGEN公司；ECOS公司；无SPOT
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Ahmadi}和\textit{A.Majumdar}，Optim。莱特。10，第4号，709--729（2016；Zbl 1345.90085）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Gurobi优化器参考手册（2012）。网址：http://www.gurobi.com ·Zbl 0637.90078号
[2] MOSEK参考手册，2013年。第7版。最新版本可在网址：http://www.mosek.com/
[3] Ahmadi，A.A.：代数松弛和硬度导致多项式优化和Lyapunov分析。麻省理工学院博士论文（2011年）。http://aaa.inceton.edu/出版物 ·Zbl 1149.90124号
[4] Ahmadi，A.A.，Majumdar，A.：DSOS和SDSOS优化：基于LP和SOCP的平方和优化替代方案。收录：第48届信息科学与系统年会论文集。普林斯顿大学（2014）·Zbl 1098.15014号
[5] Ahmadi，A.A.，Majumdar，A.：DSOS和SDSOS优化：SOS优化的更易处理的替代方案（2014年，正在准备中）。http://aaa.princeton.edu/publications网站 ·Zbl 1465.90061号
[6] Alizadeh，F.，Goldfarb，D.：二阶锥规划。数学。程序。95(1), 3-51 (2003) ·Zbl 1153.90522号 ·文件编号：10.1007/s10107-002-0339-5
[7] Anderson，B.D.O.，Moore，J.B.：最优控制：线性二次型方法。Prentice-Hall Inc，Upper Saddle River（1990年）·Zbl 0751.49013号
[8] Barry，A.J.、Majumdar，A.、Tedrake，R.：使用屏障证书对杂乱环境中无人机飞行的反应式控制器进行安全验证。摘自：IEEE机器人与自动化国际会议记录，第484-490页。IEEE（2012）·Zbl 1366.93711号
[9] Berman，O.，Jaillet，P.，Simchi-Levi，D.：具有不确定性的定位问题。设施位置：应用和方法调查，第106卷，第427-452页（1995年）·Zbl 1149.90124号
[10] Bertsekas，D.P.：《动态规划与最优控制》，第1卷。马萨诸塞州贝尔蒙特雅典娜科学公司（1995年）·Zbl 0904.90170号
[11] Bertsimas，D.，Tsitsiklis，J.N.：线性优化导论（1997）
[12] Blackmore，L.、Acikyme，B.、Scharf，D.P.：使用凸优化实现火星着陆的最小着陆误差驱动下降制导。美国汽车协会J.Guid。控制动态。33, (2010)
[13] Boman，E.G.，Chen，D.，Parekh，O.，Toledo，S.：关于因子宽度和对称H矩阵。线性代数应用。405, 239-248 (2005) ·Zbl 1098.15014号 ·doi:10.1016/j.laa.2005.03.029
[14] 指挥官C.W.：军事应用中的电信优化问题。佛罗里达大学博士论文（2007年）·Zbl 0637.90078号
[15] 指挥官C.W.、Pardalos、P.M.、Ryabchenko、V.、Shylo、O.、Uryasev、S.、Zrazhevsky、G.：完全不确定性下的干扰通信网络。最佳方案。莱特。2(1), 53-70 (2008) ·Zbl 1145.94008号 ·doi:10.1007/s11590-006-0043-0
[16] 指挥官C.W.、Pardalos、P.M.、Ryabchenko、V.、Uryasev、S.、Zrazhevsky、G.：无线网络干扰问题。J.组合优化。14(4), 481-498 (2007) ·兹比尔1149.90124 ·doi:10.1007/s10878-007-9071-7
[17] Domahidi，A.，Chu，E.，Boyd，S.：ECOS：嵌入式系统的SOCP求解器。摘自：欧洲控制会议（ECC），第3071-3076页。IEEE（2013）·Zbl 0253.14001号
[18] Dubins，L.：在具有平均曲率约束的最小长度曲线上，具有规定的初始位置和终点位置以及切线。美国数学杂志。79(3), 497-516 (1957) ·Zbl 0098.35401号 ·doi:10.2307/2372560
[19] Hilbert，D.：Darstellung限定词Formen als Summe von Formenquadren。数学。年32（1888）·JFM 20.0198.02型
[20] Hoffmann，G.M.、Huang，H.、Waslander，S.L.、Tomlin，C.J.：四旋翼直升机飞行动力学和控制：理论和实验。摘自：AIAA制导、导航和控制会议记录，第1-20页（2007年）·Zbl 1366.93711号
[21] Jarvis-Loszek，Z.，Feeley，R.，Tan，W.，Sun，K.，Packard，A.：一些控制平方和编程的应用。收录于：第42届IEEE决策与控制会议，第5卷，第4676-4681页（2003）
[22] Karlof，J.K.：整数规划：理论与实践。CRC出版社，博卡拉顿（2005）·邮编1073.90002
[23] Khalil，H.：非线性系统，第三版。普伦蒂斯·霍尔（Prentice Hall），恩格尔伍德悬崖（Englewood Cliffs）（2002年）·Zbl 1003.34002号
[24] Laurent，M.：平方和、矩矩阵和多项式优化。摘自：代数几何的新兴应用，第157-270页。柏林施普林格出版社（2009）·Zbl 1163.13021号
[25] Majumdar，A.，Ahmadi，A.A.，Tedrake，R.：使用平方和编程沿轨迹进行控制设计。附：2013年IEEE机器人与自动化国际会议（ICRA）会议记录（2013年）
[26] Majumdar，A.、Ahmadi，A.A.、Tedrake，R.：通过DSOS和SDSOS优化控制和验证高维系统。摘自：第53届IEEE决策与控制会议记录（2014年）
[27] Majumdar，A.，Tedrake，R.：具有有限时间不变性区域的鲁棒在线运动规划。摘自：《机器人X算法基础》，第543-558页。柏林施普林格出版社（2013）·Zbl 0845.65023号
[28] Mattingley，J.，Boyd，S.：信号处理中的实时凸优化。IEEE信号处理。Mag.27（3），50-61（2010）·Zbl 1211.90170号 ·doi:10.1109/MSP.2010.936020
[29] Mattingley，J.，Boyd，S.：CVXGEN：嵌入式凸优化的代码生成器。最佳方案。工程13（1），1-27（2012）·兹比尔1293.65095 ·doi:10.1007/s11081-011-9176-9
[30] Mellinger，D.，Michael，N.，Kumar，V.：四旋翼精确攻击性机动的轨迹生成和控制。附：第十二届实验机器人国际研讨会论文集（ISER 2010）（2010）
[31] Mellinger，D.，Michael，N.，Shomin，M.，Kumar，V.：四驱能力的最新进展。2011年IEEE机器人与自动化国际会议（2011年）
[32] Mellinger，D.，Shomin，M.，Michael，N.，Kumar，V.：使用多个四旋翼的协同抓取和运输。摘自：分布式自主机器人系统国际研讨会论文集（2010年）·Zbl 0845.65023号
[33] Murty，K.G.，Kabadi，S.N.：二次规划和非线性规划中的一些NP-完全问题。数学。程序。39, 117-129 (1987) ·Zbl 0637.90078号 ·doi:10.1007/BF02592948
[34] Nie，J.，Schweighofer，M.：关于普蒂纳的《积极》的复杂性。J.复杂。23(1), 135-150 (2007) ·Zbl 1143.13028号 ·doi:10.1016/j.jco.2006.07.002
[35] Parrilo，P.A.：鲁棒性和优化中的结构化半定程序和半代数几何方法。加州理工学院博士论文（2000年）
[36] Parrilo，P.A.：半代数问题的半定规划松弛。数学。程序。96（2 Ser.B），293-320（2003）·Zbl 1043.14018号
[37] Pólik，I.，Terlaky，T.：S-引理综述。SIAM版本49（3），371-418（2007）·兹比尔1128.90046 ·doi:10.1137/S003614450444614X
[38] Prajna，S.，Jadbabaie，A.：使用屏障证书对混合系统进行安全验证。摘自：《混合系统：计算与控制》，第477-492页。施普林格，柏林（2004）·Zbl 1135.93317号
[39] Prajna，S.、Jadbabaie，A.、Pappas，G.J.：使用屏障证书进行最坏情况和随机安全验证的框架。IEEE传输。自动。控制52（8），1415-1428（2007）·Zbl 1366.93711号 ·doi:10.1109/TAC.2007.902736
[40] Putinar，M.：紧半代数集上的正多项式。印第安纳大学数学。J.42（3），969-984（1993）·Zbl 0796.12002号 ·doi:10.1512/iumj.1993.42.42045
[41] Stengle，G.：半代数几何中的Nullstellenstz和Positivstellenstz。数学。Ann.207（2），87-97（1974）·Zbl 0253.14001号 ·doi:10.1007/BF01362149
[42] Sturm，J.：SeDuMi 1.05版（2001年）。最新版本可在http://sedumi.ie.lehigh.edu/ ·兹比尔1293.65095
[43] Vandenberghe，L.，Boyd，S.：半定规划。SIAM版本38（1），49-95（1996）·Zbl 0845.65023号 ·数字对象标识代码：10.1137/1038003
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。