变分法在最优控制中的应用课件.ppt

《变分法在最优控制中的应用课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、Ch.7最优控制原理目录(1/1)目录7.1最优控制概述7.2变分法7.3变分法在最优控制中的应用7.4极大值原理7.5线性二次型最优控制7.6动态规划与离散系统最优控制7.7Matlab问题本章小结变分法在最优控制中的应用(1/2)7.3变分法在最优控制中的应用7.1.2小节所定义的动态系统的最优控制问题是一类有状态方程(微分方程)约束、目标集的等式或不等式约束、以及容许控制的开集或闭集性约束的泛函极值问题。本节将基于泛函极值问题的欧拉方程和横截条件,讨论最优控制中的泛函极值问题求解。内容为变分法在最优控制中的应用(2/2)具有等式约束条件下的变分问题末态时刻固定、末态无约束的

2、最优控制问题末态时刻和末态固定的问题末态时刻固定、末态受约束的问题末态时刻未定的问题具有等式约束条件下的变分问题(1/10)7.3.1具有等式约束条件下的变分问题具有等式约束条件下,多个宗量函数的泛函极值问题可表示如下。等式约束变分问题寻找一条连续可微的极值曲线,使性能泛函达到极值,极值曲线x(t)满足微分方程形式的等式约束式中,为m维(mn)关于t,x和的非线性向量函数。具有等式约束条件下的变分问题(2/10)这里,极值曲线x(t)除满足边界条件和古典变分学中规定的连续可微条件外,还须满足该等式约束条件。由于动态系统的状态方程可归为等式约束,因此该等式约束变分问题是研究最优控

3、制的基础。下面就给出并证明处理等式约束变分问题的等式约束变分定理。具有等式约束条件下的变分问题(3/10)—定理7-4定理7-4(等式约束变分定理)如果n维向量函数x(t)能使等式约束变分问题取极值,那么,必存在待定的m维拉格朗日乘子向量函数(t),使泛函达到无条件极值,即极值曲线x(t)是上述泛函所满足的欧拉方程和等式约束条件(7-47)的解,其中具有等式约束条件下的变分问题(4/10)引进拉格朗日乘子可以将泛函的条件极值问题化为一个无条件的极值问题,基于前面的变分法原理可以证明等式约束变分定理（略）。引入该定理的作用,仅仅是表明泛函J在等式约束条件下的极值曲线x(t),同时

4、使得泛函J和J1达到无条件极值。在后面还要详细讲解具有约束条件下求解极值问题的泛函变分问题。具有等式约束条件下的变分问题(5/10)—例7-6上述欧拉方程和约束条件共有n+m个方程,恰好可以解出n+m个未知函数x(t)和(t)。通过边界条件确定x(t)和(t)中的积分常数。随着终端条件的不同,边界条件也不同。在7.2.4节和7.2.5节所讨论横截条件就能解决这个问题。例7-6火箭在自由空间里的运动作用可用下列微分方程描述式中，u(t)为推力;(t)为角位移。具有等式约束条件下的变分问题(6/10)令x1(t)=(t),x2(t)=(t),可建立状态方程如下试求控制函数u(

5、t),使系统从初始状态经过t=2s转移到状态空间原点,即且使如下性能指标取极小。具有等式约束条件下的变分问题(7/10)解该问题属于终端固定的极值问题。选择向量拉格朗日乘子函数(t)=[1(t)2(t)],由定理7-4,利用拉格朗日乘子法可得如下辅助泛函指标式中，式中状态变量x(t)、控制函数u(t)和向量拉格朗日乘子函数(t)都为该泛函的宗量。在一般形式中没有宗量u(t),实际上,我们可以把u(t)和x(t)一样来处理,比如,在本例中可以定义u(t)=x3(t)。具有等式约束条件下的变分问题(8/10)那么,这些泛函的宗量必须满足如下欧拉方程具有等式约束条件下的变分问

6、题(9/10)联立求解上述欧拉方程,可得具有等式约束条件下的变分问题(10/10)利用边界条件可解得因此,最优控制函数和状态的最优轨线末态时刻固定、末态无约束的最优控制问题(1/12)7.3.2末态时刻固定、末态无约束的最优控制问题这一节着重讨论末态不受约束的最优控制问题。所谓末态不受约束,是指末态x(tf)可在Rn空间中取任何值,即目标集为整个状态空间。因此,该问题可描述如下。末态无约束最优控制问题求一容许控制u(t)U,t[t0,tf],在末态时刻tf固定,状态x(tf)无约束,初始状态x(t0)=x0以及被控系统等约束条件下,使如下复合型性能泛函指标达到最小值。末态时刻

7、固定、末态无约束的最优控制问题(2/12)对该最优控制问题,若将动态系统的状态方程改写成等式约束条件则可根据等式约束变分定理(定理7-4)求解该泛函极值问题，两问题只是边界条件不同而已。引入拉格朗日乘子向量函数(t),将等式约束条件和原有的性能指标泛函结合成一个新的泛函泛函J1的极值问题与原泛函J的极值问题等价。末态时刻固定、末态无约束的最优控制问题(3/12)为方便起见,定义一标量函数如下该标量函数H称为哈密顿(Hamilton)函数。因此,泛函J1可记为。末态时刻固定、末态