朱塞佩·C·卡拉菲奥雷。;卡洛·诺瓦拉;科拉多·波西耶里 通过随机坐标多项式最小化进行控制分析和设计。 （英语） Zbl 1482.93248号 国际J.控制 95，第1期，158-172（2022）. 摘要：一类相关的控制分析和设计问题可以简化为半代数集上多元多项式目标的最小化。然而，这种控制问题的公式一般来说是非凸的，在实践中很难解决。在本文中，我们提出了一种新的基于迭代的多项式控制设计方法，该方法涉及沿随机选择方向的快速协调最小化或单变量最小化。我们对该方法进行了详细的迭代复杂性分析，并证明了其在概率上收敛到全局最优。通过与文献中可用的最新工具进行比较，也说明了该方法的实际有效性。最后给出了一个应用于自动空间交会机动的例子，说明了该方法在非线性模型预测控制中的相关性。 MSC公司： 93立方厘米 控制理论中的非线性系统 93B35型 灵敏度（稳健性） 49号70 差异化游戏和控制 关键词：非线性控制;优化方法;随机算法;稳健性;最优控制 软件：隔离;GloptiPoly公司;伊波特;Sostools公司;SeDuMi公司;SDPT3系统;莫塞克 PDF格式BibTeX公司 XML格式引用 \textit{G.C.Calafiore}等人，国际期刊控制95，第1期，158--172（2022年；Zbl 1482.93248） 全文： 内政部 参考文献： [1] Alon，N。；Naor，A.，通过Grothendieck不等式逼近割模，SIAM计算杂志，35，4，787-803（2006）·Zbl 1096.68163号 ·doi:10.1137/S0097539704441629 [2] Bertsekas，D.P.，《非线性规划》（1999），雅典娜科学出版社·Zbl 1015.90077号 [3] Bertsekas，D.P。；Tsitsiklis，J.N.，《并行和分布式计算：数值方法》（1989），普伦蒂斯·霍尔·Zbl 0743.65107号 [4] 巴蒂亚，N.P。；Szegö，G.P.，动力系统稳定性理论（2002），施普林格·Zbl 0993.37001号 [5] 布鲁曼，H.H.J。；van den Boom，T.J.J。；Verbruggen，H.B.，基于双线性模型的预测控制问题的优化算法，AIChE杂志，50，7，1453-1461（2004）·doi:10.1002/（ISSN）1547-5905 [6] Borwein，P。；Erdélyi，T.，《多项式和多项式不等式》（2012），施普林格科学与商业媒体 [7] 伯德·R·H。；吉尔伯特，J.C。；Nocedal，J.，基于内点技术的非线性规划信赖域方法，数学规划，89,1149-185（2000）·Zbl 1033.90152号 ·doi:10.1007/PL00011391 [8] Calafiore，G.C。；Possieri，C.，约束多项式优化随机坐标最小化方法的变化，IEEE控制系统快报，2，3，531-536（2018）·doi:10.1109/LCSYS.2018.2843165 [9] Chesi，G。；Tesi，A。；维奇诺，A。；Genesio，R.，《采用齐次形式的约束优化的LMI方法》，《系统与控制快报》，42，1，11-19（2001）·Zbl 0974.93022号 ·doi:10.1016/S0167-6911（00）00072-4 [10] Collins，G.E.和Akritas，A.G（1976年）。使用笛卡尔符号规则的多项式实根隔离。第三届ACM符号和代数计算研讨会论文集（第272-275页）。 [11] A.R.康涅狄格州。；新墨西哥州古尔德。；Toint，P.，用于一般约束和简单边界优化的全局收敛增广拉格朗日算法，SIAM数值分析杂志，28,2545-572（1991）·Zbl 0724.65067号 ·doi:10.1137/0728030 [12] 康恩，A.R。；新墨西哥州古尔德。；Toint，P.，用于一般不等式约束和简单边界优化的全局收敛拉格朗日障碍算法，计算数学，66，217，261-288（1997）·Zbl 0854.90125号 ·doi:10.1090/S0025-5718-97-00777-1 [13] 考克斯，D.A。；Little，J。；O'Shea，D.，《理想、品种和算法》（2015），施普林格出版社·Zbl 1335.13001号 [14] De Klerk，E.，《单纯形、超立方体或球体上优化的复杂性：一项简短调查》，《中欧运筹学杂志》，16，2，111-125（2008）·兹比尔1152.90607 ·doi:10.1007/s10100-007-0052-9 [15] Dorato，P.，量化多元多项式不等式。实际控制设计问题的数学，IEEE控制系统，20，5，48-58（2000）·数字对象标识代码：10.1109/37.872903 [16] Engwerda，J.，LQ动态优化和微分对策（2005），John Wiley&Sons [17] Gelfand，I.M。；卡普兰诺夫，M。；Zelevinsky，A.，《歧视、结果和多维决定因素》（2008），施普林格出版社·Zbl 1138.14001号 [18] Goebel，R。；Sanfelice，R.G。；Teel，A.R.，《混合动力系统》（2012），普林斯顿大学出版社·兹比尔1241.93002 [19] Goldberg，D.E.，《搜索、优化和机器学习中的遗传算法》（1989），Addison Wesley Longman出版社·Zbl 0721.68056号 [20] 语法，S。；Subbaraman，A。；Teel，A.R.，离散时间随机控制系统：连续Lyapunov函数意味着对严格因果扰动的鲁棒性，Automatica，49，10，2939-2952（2013）·Zbl 1358.93160号 ·doi:10.1016/j.automatica.2013.06.021 [21] 格里波，L。；Sciandone，M.，关于凸约束下块非线性Gauss-Seidel方法的收敛性，《运筹学快报》，26，3，127-136（2000）·Zbl 0955.90128号 ·doi:10.1016/S0167-6377（99）00074-7 [22] Grüne，L.和Pannek，J（2011）。非线性模型预测控制。非线性模型预测控制：理论和算法（第43-66页）。斯普林格·Zbl 1220.93001号 [23] Hanzon，B。；Jibetean，D.，使用矩阵方法对多元多项式进行全局最小化，《全局优化杂志》，27，1，1-23（2003）·Zbl 1035.90084号 ·doi:10.1023/A:1024664432540 [24] 亨利安，D。；Garulli，A.，《控制中的正多项式》（2005），Springer·Zbl 1059.93002号 [25] 亨利安，D。；Korda，M.，多项式控制系统吸引域的凸计算，IEEE自动控制汇刊，59，2，297-312（2014）·Zbl 1360.93601号 ·doi:10.1109/TAC.2013.2283095 [26] 亨利安，D。；Lasserre，J.B..，GloptiPoly:使用Matlab和SeDuMi对多项式进行全局优化，ACM数学软件汇刊（TOMS），29，2，165-194（2003）·兹比尔1070.65549 ·数字对象标识代码：10.1145/779359.7793363 [27] 亨利安，D。；Lasserre，J.B.，解决非凸优化问题，IEEE控制系统，24，3，72-83（2004）·doi:10.1109/MCS.2004.1299534 [28] 雅各比，T。；Prestel，A.，严格正多项式的区分表示，《Reine和Angewandte Mathematik杂志》，53223-83（2001）·Zbl 1015.14029号 ·文件编号：10.1515/crll.2001.023 [29] 卡鲁什，W（1939）。以不等式为辅助条件的多变量函数的极小值[硕士论文]。芝加哥大学。 [30] Kearfott，R.B。；Walster，G.W.，《关于已验证非线性系统或优化算法中的停止准则》，ACM数学软件汇刊，26，3，373-389（2000）·Zbl 1365.65139号 ·数字对象标识代码：10.1145/358407.358418 [31] Kuhn，H.W.和Tucker，A.W（1951年）。非线性规划。在伯克利数学统计学和概率研讨会论文集上。加州伯克利：加州大学出版社·Zbl 0044.05903号 [32] Lasserre，J.B.，多项式全局优化和矩问题，SIAM优化杂志，11，3，796-817（2001）·Zbl 1010.90061号 ·doi:10.1137/S1052623400366802 [33] Lasserre，J.B.，《多项式和半代数优化导论》（2015），剑桥大学出版社·Zbl 1320.90003号 [34] 李，Z。；He，S。；Zhang，S.，多项式优化的近似方法：模型、算法和应用（2012），Springer·Zbl 1298.90003号 [35] 李强。；袁杰。；张，B。；Gao，C.，带滚翻目标的自主交会对接模型预测控制，航天科技，69，700-711（2017）·doi:10.1016/j.ast.2017.07.022 [36] Löfberg，J.，实际中的预处理和后处理平方和程序，IEEE自动控制事务，54，5，1007-1011（2009）·Zbl 1367.90002号 ·doi:10.1109/TAC.2009.2017144 [37] D.Q.梅恩。；罗林斯，J.B。；Rao，C.V。；Scokaert，P.O.，《约束模型预测控制：稳定性和优化》，Automatica，36，6，789-814（2000）·Zbl 0949.93003号 ·doi:10.1016/S0005-1098（99）00214-9 [38] 梅尼尼，L。；波斯耶里，C。；Tornambe，A.，线性系统控制反馈多目标优化设计的代数方法，IEEE自动控制汇刊，63，12，4188-4203（2018）·Zbl 1423.93121号 ·doi:10.1109/TAC.2018.2800784 [39] 梅尼尼，L。；波斯耶里，C。；Tornambe，A.，《机械杂耍系统的死床调节》，《亚洲控制杂志》，20，1，1-11（2018）·兹比尔1391.93094 ·doi:10.1002/asjc.v20.1 [40] MOSEK ApS（2017）。MATLAB手册（8.1版）的MOSEK优化工具箱[计算机软件手册]。http://docs.mosek.com/8.1/toolbox/index.html。 [41] 内科瓦拉，I。；Clipici，D.，可分离约束凸优化问题的高效并行坐标下降算法：在分布式MPC中的应用，过程控制杂志，23，3，243-253（2013）·doi:10.1016/j.jprocon.2012.12.012 [42] Nesterov，Y.，半定松弛和非凸二次优化，优化方法和软件，9，1-3，141-160（1998）·Zbl 0904.90136号 ·doi:10.1080/10556789808805690 [43] Nesterov，Y.，坐标下降法在大规模优化问题上的效率，SIAM优化杂志，22，2，341-362（2012）·Zbl 1257.90073号 ·数字对象标识代码：10.1137/100802001 [44] Nesterov，Y.，《大规模优化问题的子梯度方法》，《数学规划》，146，1-2，275-297（2014）·Zbl 1297.90120号 ·文件编号：10.1007/s10107-013-0686-4 [45] Papachristodoulou，A.、Anderson，J.、Valmorbida，G.、Prajna，S.、Seiler，P.和Parrilo，P（2013）。用于MATLAB的SOSTOOLS 3.00版平方和优化工具箱。arXiv:1310.4716。 [46] Parrilo，P.A（2000年）。鲁棒性和优化中的结构化半定程序和半代数几何方法[未发表的博士论文]。加利福尼亚理工学院。 [47] Parrilo，P.A.和Sturmfels，B（2003）。最小化多项式函数。S.Basu&L.González-Vega（编辑），《算法和定量实代数几何：离散数学和理论计算机科学中的DIMACS系列》（第83-99页）。美国数学学会·Zbl 1099.13516号 [48] 波斯耶里，C。；Sassano，M.，关于两层标量微分对策的多项式反馈Nash均衡，Automatica，74，23-29（2016）·Zbl 1348.49036号 ·doi:10.1016/j.automatica.2016.08.006 [49] 波斯耶里，C。；Teel，A.R.，证明随机输入随机差分包含的全局弱可达性的Lyapunov定理，《系统与控制快报》，109，37-42（2017）·Zbl 1377.93040号 ·doi:10.1016/j.sysconle.2017.09.007 [50] Powell，M.J.，《关于最小化算法的搜索方向》，《数学规划》，4，1，193-201（1973）·Zbl 0258.90043号 ·doi:10.1007/BF01584660 [51] Rastrigin，L.A.，多参数系统极值控制中随机搜索方法的收敛性，自动化和远程控制，241337-1342（1963）·Zbl 0453.90069号 ·doi:10.1007/BF00935752 [52] 莱茵堡，W.C。；Mesztenyi，C.K。；Fitzgerald，J.M.，《关于多元多项式及其导数的计算》，BIT，17，4，437-450（1977）·Zbl 0387.65014号 ·doi:10.1007/BF01933453 [53] 里奇塔里克，P。；Takáč，M.，最小化复合函数的随机块坐标下降方法的迭代复杂性，数学规划，144，1-2，1-38（2014）·Zbl 1301.65051号 ·doi:10.1007/s10107-012-0614-z [54] Rockafellar，R.T。；Wets，R.J.B.，变分分析（2009），施普林格 [55] Rouillier，F.，通过有理单变量表示求解零维系统，《工程、通信和计算中的应用代数》，9，5，433-461（1999）·Zbl 0932.12008号 ·数字标识代码：10.1007/s002000050114 [56] Rudin，W.，《数学分析原理》（1964），McGraw-Hill·Zbl 0148.02903号 [57] 舒默，M。；Steiglitz，K.，自适应步长随机搜索，IEEE自动控制汇刊，13，3，270-276（1968）·doi:10.1109/TAC.1968.1098903 [58] 肖尔，N.Z.，多项式函数的全局最小界类，控制论与系统分析，23，6，731-734（1987）·兹比尔0648.90058 ·doi:10.1007/BF01070233 [59] F.J.索利斯。；Wets，R.J.B.，随机搜索技术最小化，运筹学数学，6，1，19-30（1981）·Zbl 0502.90070 ·doi:10.1287/门.6.1.19 [60] Spall，J.C.，《随机搜索和优化简介：估计、模拟和控制》（2005），John Wiley&Sons [61] Subbaraman，A。；Teel，A.R.，强全局递归的逆Lyapunov定理，Automatica，49，10，2963-2974（2013）·Zbl 1358.93163号 ·doi:10.1016/j.automatica.2013.07.001 [62] 塞哥胡姆；，G.，正交多项式（1939），美国数学学会 [63] Teel，A.R.，对抗性Markov决策过程的Matrosov定理，IEEE自动控制事务，58，8，2142-2148（2013）·Zbl 1369.90191号 ·doi:10.1109/TAC.2013.2250073 [64] 特尔，A.R。；赫斯帕尼亚，J.P。；Subbaraman，A.，概率渐近稳定性的逆Lyapunov定理和鲁棒性，IEEE自动控制汇刊，59，9，2426-2441（2014）·Zbl 1360.93640号 ·doi:10.1109/TAC.2014.2322431 [65] 节奏，R。；Calafiore，G。；Dabbene，F.，不确定系统分析和控制的随机算法（2012），施普林格 [66] Thygesen，U.H（1997年）。随机微分方程的Lyapunov技术综述（技术报告编号IMM 18-1997）。林比：丹麦科技大学数学建模系。 [67] Tseng，P.，不可微极小化的块坐标下降法的收敛性，优化理论与应用杂志，109，3，475-494（2001）·Zbl 1006.65062号 ·doi:10.1023/A:1017501703105 [68] TüTüncü，R.H.（土耳其）。；Toh，K.C。。；Todd，M.J.，使用SDPT3求解半定二次线性规划，数学规划，95，2，189-217（2003）·Zbl 1030.90082号 ·文件编号：10.1007/s10107-002-0347-5 [69] Verschelde，J（1999）。稠密、稀疏和确定性系统的多项式同伦。arXiv:math/9907060。 [70] 瓦希特，A。；Biegler，L.T.，《关于大规模非线性规划的原对偶内点滤波线搜索算法的实现》，《数学规划》，106，1，25-57（2006）·兹比尔1134.90542 ·doi:10.1007/s10107-004-0559-y [71] 韦斯，A。；Baldwin，M。；欧文，R.S。；Kolmanovsky，I.，《航天器交会对接的模型预测控制：约束处理策略和案例研究》，IEEE控制系统技术汇刊，23，4，1638-1647（2015）·doi:10.1109/TCST.2014.2379639 [72] Wolkowicz，H。；Saigal，R。；Vandenberghe，L.，《半定规划手册：理论、算法和应用》（2012），Springer [73] Wright，S.J.，坐标下降算法，数学规划，151，1，3-34（2015）·Zbl 1317.49038号 ·doi:10.1007/s10107-015-0892-3 [74] 扎宾斯基，Z.B（2008）。全局优化：点击运行方法。在C.Floudas和P.Pardalos（编辑）的《优化百科全书》中。马萨诸塞州波士顿：斯普林格。 [75] Zadeh，N.，关于循环坐标上升法的注释，管理科学，16，9，642-644（1970）·Zbl 0194.20403号 ·doi:10.1287/mnsc.16.9.642 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。