节点文献
控制变量参数化最优控制问题计算方法研究
Control Variable Parameterization-based Optimal Control Problems Computational Methods Research
【作者】 刘平;
【导师】 刘兴高;
【作者基本信息】 浙江大学 , 控制科学与工程, 2017, 博士
【摘要】 最优控制,作为现代控制理论的重要组成部分,已经成为工业过程提高系统效率、提高经济效益、降低能耗的重要手段。而最优控制问题的求解则是最优控制从理论到应用的瓶颈和关键,其求解精度和求解效率核心问题一直是国内外研究的前沿和难点。控制变量参数化(Control Variable Parameterization,简称CVP)作为求解最优控制问题主流计算方法备受青睐,其主要思想是:通过离散化控制时域,对控制变量进行参数化,进而将最优控制问题近似化为一个数学规划问题进行求解。CVP方法具有简单易行,离散化后数学规划问题规模较小的优点。但是,CVP方法在处理约束上存在一定的不足,其中:等式路径约束可能导致高阶微分代数方程,而不等式路径约束则会在求解过程中引入组合问题。同时,传统CVP方法时间网格的离散通常由人为确定,并不随优化过程而改变,这给CVP方法的高精度求解带来了挑战。此外,由于动态系统在离散化过程中进行保留,CVP方法在每次迭代计算中都要求解动态系统,这使得CVP方法的求解效率大打折扣。基于此,本文针对CVP方法开展多约束处理、计算效率和计算精度提升三个方面的研究。本文的主要工作及创新如下:(1)考虑到控制变量参数化后得到的非线性优化(Non-Linear Programming,简称NLP)问题对最优控制问题的求解具有重要影响,针对该类复杂NLP问题的求解,在传统序列二次规划(SQP)算法的基础上,提出了一种新颖的基于Karush-Kuhn-Tucker(KKT)修正的SQP算法。为便于算法的测试,整理了用于非线性优化算法测试的专业标准测试集CathOPT。经过CathOPT测试集测试后发现,采用本文提出的KKT修正策略后,改进的SQP算法相较于MATLAB的FMINCON求解器和未使用KKT修正策略的SQP算法,求解成功率提升超过5%;同时,求解时间和迭代次数也都得到了明显减少和降低。这为CVP方法底层NLP优化问题的求解提供了良好的求解基础。(2)针对最优控制问题的多约束处理,提出了适用于不等式约束和等式约束的多约束处理惩罚函数法,并对误差和收敛性进行了严格的理论分析和证明。研究表明,采用提出的方法后,最优控制问题的约束项转化到目标函数中,减少约束个数的同时也使问题求解难度得到降低。在此基础上,对三个包含多个约束的工业过程最优控制问题进行了实例测试和对比,结果表明了所提出方法均没有违反约束,相较于国际知名DOTcvp优化软件的轻微违反,本文提出的方法在求解效果上更加有效。(3)为了进一步提高CVP方法的求解精度,并力求在求解精度和求解时间方面做到平衡,提出了两种时间网格重构的CVP方法。提出方法能够对重要的时间节点进行细分,而不必要的时间节点则会被消除。通过时间网格重构,CVP方法可以在较少的优化参数下得到相比于传统CVP方法更高的优化精度,从而在高精度求解的要求下,由于优化参数的减少,求解时间得到降低。上述性能在经典最优控制问题实例测试性能分析中得到了证明。(4)针对包含多个控制变量的最优控制问题求解,提出了变时间节点快速CVP方法并进行了连续搅拌罐反应器和集装箱快速装卸最优控制实例测试。通过变时间节点方法,每个控制变量可以得到独立的时间网格进行离散,而采用快速求解方法,则能有效降低动态系统的求解时间。测试结果表明,采用动态系统的快速求解方法后,CVP方法不仅能获得具有独立时间网格的高精度控制曲线,其求解时间相比于传统CVP方法也能够大大降低。
【Abstract】 As the main part of modern control theory,optimal control is one of the most important ways for system efficiency improvement,economic benefits growth and energy conservation.However,solving the optimal control problem is the bottleneck of optimal control from theory to application.The research on the core problem of solving efficiency and solving accuracy has always been the frontier and difficulty of domestic and foreign research.Control variable parameterization(CVP)is one of the most popular methods for sovling optimal control problems,the main idea of which is to transform the original optimal control problem into an approximate mathematical programming problem by discreting control horizon,then choose a mathematical programming solver to get an approximate solution.The advantage of CVP method is that the implementation is simple and feasible.However,there are two disadvantages in constraints handling,equality constraints may lead to higher order DAEs,inequality constraints may cause combinatorial problem.Meanwhile,since the discretization time grid of CVP method is decided artificially and usually invariant during the optimization,there is a challenge for high-quality solution.Furthremore,as the state variables in the process model remain in the form of continuous differential equations,the dynamic system should be solved during each iteration,which has significant effect on the efficiency of CVP method.On this basis,this dissertation focuses on the constraints handling,computation efficiency improvement and high-quality solution of CVP method.The main work and contributions of this dissertation include:(1)Considering the nonlinear programming(NLP)problem obtained by CVP method has important influence on the solving of optimal control problem,a novel Karush-Kuhn-Tucker(KKT)correction-based SQP method is proposed to solve these NLP problems.A standard NLP testing set named CathOPT is established.Test results on this set show that,by using the KKT correction,more than 5%solving rate is improved and the performance is extremly improved on iterations and computation efficiency when compared with the FMINCON solver in MATLAB and the original SQP method.Thus,the proposed SQP method will be one of the basic supporting techniques for CVP.(2)To conquer the difficulties that arise from multiple constraints,two penalty methods are presented for handling equality and inequality constraints.The error anslysis and convergence of the proposed methods are proved strictly.By using the proposed methods,the constraints of the optimal control problem are transformed into the objective function,thus the difficulty of solving the problem is reduced.Three optimal control problems with multiple constraints in industrial processes are tested and results show that no violation occurs during the optimization,which is more effective than the well-known DOTcvp software.(3)To obtain high-quality solutions for CVP method and balance the computation cost with precision,two time grid refinement CVP methods are proposed,where the important time grids are subdivided and the unnecessary time grids are eliminated.By using the proposed time grid refiment strategies,the presented CVP method is able to achieve better performance indexes with small number of parameters when compared with traditional CVP method,whereas the computational costs are lower.The above performance is verified in the testing of several calassical optimal control problems.(4)A fast CVP method based on variable time nodes is proposed for solving multivariable optimal control problems.By using the variable time nodes method,each control variable can be discretized by independent time grid.Meanwhile,the fast solution method can effectively reduce the solving time of dynamic system.The instance tests are carried out on continuous stirred tank reactor optimization and container crane optimal control problems.Test results show that,by using the fast calculation method for dynamic system,each control variable can obtain its high-quality individual time grid so as to achieve optimal switching structure.Finally,the computation time of the proposed method can be effectively reduced when compared with traditional CVP method.