最优控制理论与算法研究生课程第四章-极大值原理课件.ppt
《最优控制理论与算法研究生课程第四章-极大值原理课件.ppt》由会员分享,可在线阅读,更多相关《最优控制理论与算法研究生课程第四章-极大值原理课件.ppt(99页珍藏版)》请在三一办公上搜索。
1、极大值原理(1/4),第 4 章 极大值原理前一章讨论的最优控制问题都基于以下基本假定:控制量u(t)的取值范围U不受任何限制,即控制域U充满整个r维控制空间,或者U是一个开集。即控制量u(t)受等式条件约束但是,大多数情况下控制量总是受限制的。例如,控制量可能受如下大小限制|ui(t)|a i=1,2,r 式中,a 为已知常数。,极大值原理(2/4),上述约束条件即相当于容许控制空间U是一个超方体。甚至,有些实际控制问题的控制量为某一孤立点集。例如,继电器控制系统的控制输入限制为ui(t)=a i=1,2,r一般情况下,可将控制量所受的约束用不等式来表示Mi(u(t),t)0,i=1,2,当
2、控制变量u(t)受不等式约束条件限制时,古典变分法就无能为力了。最优控制往往需要在闭集的边界上取值。这就要求人们去探索新的理论和方法。,极大值原理(3/4),应用古典变分法的另一个限制条件是要求函数L(x,u,t),f(x,u,t),S(x(tf),tf)对其自变量的连续可微性,特别是要求H/u=0存在。因此,对于有较大实际意义的性能指标泛函就无能为力了。所以,类似消耗燃料最小这类常见最优控制就无法用古典变分法来解决。,极大值原理(4/4),鉴于古典变分法的应用条件失之过严,引起了不少数学界和控制界学者的关注。贝尔曼的动态规划和庞特里亚金的极大值原理是较为成功的,应用很广泛,成为解决最优控制问
3、题的有效工具。本节主要介绍极大值原理的结论及其启发性证明。讲授内容为自由末端的极大值原理极大值原理的证明极大值原理的几种具体形式 约束条件的处理,自由末端的极大值原理(1/8),4.1 自由末端的极大值原理最优控制问题的具体形式是多种多样的,在第2章的讨论中可知,3种泛函问题(拉格朗日问题、波尔扎问题和麦耶尔问题)的表达形式可以互相转换。这里,研究泛函为定常的末值型性能指标的最优控制问题(麦耶尔问题),然后将结论逐步推广至其他最优控制问题。下面,就定常的末值型性能指标、末态自由的控制问题来叙述极大值原理。,自由末端的极大值原理(2/8)定理7-9,定理 9(极大值原理)设u(t)U,tt0,t
4、f,是一容许控制。指定的末值型性能指标泛函为Ju()=S(x(tf),式中,x(t)是定常的被控系统相应于控制量u(t)的状态轨线,tf为未知的末态时刻。设使该性能指标泛函极小的最优控制函数为u*(t)、最优状态轨线为x*(t)。则必存在不恒为零的n维向量函数(t),使得1)(t)是方程,自由末端的极大值原理(3/8),满足2)边界条件 的解,其中哈密顿函数为3)则有即,自由末端的极大值原理(4/8),4)沿最优轨线哈密顿函数应满足 下面先对上述极大值原理的涵义作简单的解释,再给出该定理的启发性证明。,自由末端的极大值原理(5/8),容许控制条件的放宽。古典变分法应用于最优控制问题,要求控制域
5、U=Rr,即控制域U充满整个r维控制空间。然后,从控制量的变分u(t)的任意性出发,导出极值条件H/u=0。这一条件是非常严格的。其一,它要求哈密顿函数H对控制量u(t)连续可微;其二,它要求控制量的变分u(t)具有任意性,即控制量u(t)不受限制,或仅在受等式约束条件限制的开集中取值。,自由末端的极大值原理(6/8),2)定理9中的式(93)和(94)同样称为协态方程和横截条件,其相应求解方法与基于古典变分法的最优控制求解方法类似。变分法的极值条件是一种解析形式,而极大值原理的极值求解条件(96)是一种定义形式,不需要哈密顿函数H对控制量u(t)的可微性加以约束,而且对于通常的对u(t)的约
6、束都是适用的,例如,u(t)受不等式约束条件约束,即在闭集中取值。,自由末端的极大值原理(7/8),3)由极值求解条件(96)可知,极大值原理得到的是全局最小值,而非局部极值,而古典变分法中由极值条件H/u=0得到的是局部极小值。再则,如果把条件(96)仍称为极值条件,则极大值原理得到的是强极值。而古典变分法在欧拉方程推导时,对极值曲线x*(t)和其导数都引入变分,得到的是弱极值。不难理解,当满足古典变分法的应用条件时,极值条件H/u=0只是极大值原理的极值求解条件(96)的一个特例。,自由末端的极大值原理(8/8),4)在上述定理中,最优控制u*(t)使哈密顿函数取最小值。所谓“极小值原理”
7、一词正源于此,称“极大值原理”是习惯性叫法。若实际控制问题需求极大值,可将极值求解条件的求最小(min)改为求最大(max)即可。5)极大值原理只给出最优控制的必要条件,并非充分条件。得到的解是否能使泛函J最小,还有待证实。极大值原理更没有涉及解的存在性问题。如果实际问题的物理意义已经能够判定所讨论的问题的解是存在的,而由极大值原理所求出的控制仅有一个,可以断定,此控制就是最优控制。实际遇到的问题往往属于这种情况。,极大值原理的证明(1/2),7.4.2 极大值原理的证明庞特里亚金对极大值原理作了严格的证明,涉及拓扑学、实函数分析等很多数学问题,这是作为工科教材难以详细论述的。本教材利用增量法
8、给出极大值原理的一个启发性证明。证明中所作的假设是:1)函数 f(x,u)和 S(x(tf)都是其自变量的连续函数;2)函数f(x,u)和S(x(tf)对于x是连续可微的,即f/x和S/x(tf)存在且连续,但并不要求函数 f(x,u)对u可微;,极大值原理的证明(2/2),3)为了保证微分方程解的存在和惟一性,假定f(x,u)在任意有界集上对自变量 x 满足如下李普希茨(Lipschitz)条件f(x1,u)-f(x2,u)x1-x2 0,x1,x2XRn,uURr下面叙述用增量法证明极大值原理的过程,证明步骤为:构造泛函J的增量求取x(t)的表达式对 x(t)进行估计极值条件的推证tf的考
9、虑然后介绍一基于极大值原理的最优控制算例,泛函J的增量(1/2),(1)泛函J的增量假定末态时刻tf已知,根据S(x(tf)对x(tf)的连续可微性泛函J的增量J可表示为式中u*(t)和x*(t)分别表示最优控制函数及相应的最优轨线;x(t)为x(t)在最优轨线x*(tf)附近的变分;o(x(tf)表示泰勒展开式中x(tf)的高阶项。,Ju()=S(x(tf),泛函J的增量(2/2),要从Ju*()0的条件导出最优控制必要条件,首先应找出x(t)与控制量u(t)的变分u(t)的关系,进而对x(t)作出估计。下面为表述更简洁,时间函数x(t)与u(t)的时间变量t略去不写。,x(t)的表达式(1
10、/3),(2)x(t)的表达式根据f(x,u)对x的可微性,由状态方程(92)可得如下由控制量的变分u(t)引起的状态方程(92)的变分,x(t)的表达式(2/3),令矩阵函数(t,s)为线性状态方程的状态转移矩阵,即(t,s)满足如下微分方程组考虑到x(t0)=0,则x(t)在t=tf时的解为,x(t)的表达式(3/3),将上述方程代入式(98),则得泛函J的增量J为 上式虽然给出了泛函增量J与(u,x)的关系,但是对一般形式的u,还很难估计上式的J。然而,对任意的u,上式均成立,故对特定的u也应成立。为此,下面讨论时取一特定的变分u,以利于对上式的估计。,对x(t)的估计(1/11),(3
11、)对x(t)的估计设u(t)是控制u(t)的任意变分,对应x(t)的增量x(t)应满足如下方程将上式的第一式改写为,对x(t)的估计(2/11),对于给定的u(t)和u(t),由于它们的分段连续性,必存在有界的U1U及XRn,使u(t)+u(t)U1,x(t)X,对所有的tt0,tf,根据李卜希茨条件,必存在0,满足f(x+x,u+u)-f(x,u+u)0,则f(x,u+u)-f(x,u)|b(t)|tt0,tf其中于是由式(105)可知,x(t)满足,对x(t)的估计(3/11)引理 2,为了作进一步的估计,下面先引入一个引理。引理 2证明 由欧几里德范数(2-范数)的定义,有从而有证毕,对
12、x(t)的估计(4/11),因此,由引理 2和式(109),有即将两边乘以e-t,得解得,对x(t)的估计(5/11),至今我们还没有对u(t)作任何限制。为了使变分后的控制u(t)仍属于容许控制空间,即u(t)U,对所有的tt0,tf,为了便于导出极值求解条件,采用一种异于古典变分的特定形式的变分-针状变分。,图5 针状变分示意图,令为最优控制u*(t)的任意一个连续点,l0是某一确定的数,0是一个充分小的数。可将控制量的变分u(t)取成一个依赖于,l和的针状变分,如图5所示。,对x(t)的估计(6/11),上述针状变分记为u(t),可表示为,式中,U表示任意容许控制,这就是说,在充分小的时
13、间区间,+l内,可以取控制域U内的任何点。当然,也可以取闭集上的点。变分 是一个有限量。当是一个充分小的量时,则由u(t)所引起的变分x(t)是否仍为一个充分小的量。,对x(t)的估计(7/11),下面证明由针状变分u(t)引起的状态增量x(t)是一个与同阶的无穷小量。事实上,当控制量作针状变分时,式(108)可表示为于是,由式(111)可知,由针状变分u(t)引起的状态增量x(t)为上式表明,x(t)与0是同阶无穷小量。,对x(t)的估计(8/11),据此,由式(103)可得如下由针状变分u(t)所引起的泛函J的变分J的表达式,对x(t)的估计(9/11),上式中后3项都是的高阶无穷小量,可
14、归并成一项,则上式可记为,对x(t)的估计(10/11),令则向量(t)必满足状态方程的协态方程及边界条件,对x(t)的估计(11/11),若记则共轭方程(118)可写成于是,泛函增量表达式(116)可改写成,极值条件的推证(1/4),(4)极值条件的推证已记u*(t)是使泛函J取最小值的最优控制,x*(t)为相应的轨线,而(t)是协态方程的解。所以,对任意的控制变分,当然也包含对u(t)的针状变分,泛函的增量(122)必满足因为x*(t)和(t)在tt0,tf范围内是连续函数,而u*(t)和=u*(t)-u(t)在上式的积分范围内也是连续的,所以哈密顿函数H是一连续函数。,极值条件的推证(2
15、/4),根据中值定理及H的连续性,则有式中,01。将上式代入式(123),可得用除上式的两边,得,极值条件的推证(3/4),当0时,考虑到l0,则有或写作由于上式在区间t0,tf内u*(t)的所有连续点都成立。同时考虑到 要取遍容许控制域U中所有的点,因此,上式也可表示为式中,是区间t0,tf内u*(t)的任意连续点。,极值条件的推证(4/4),由于假定u(t)是分段连续函数,而u*(t)的不连续点上的函数值如何,并不影响控制效果,因此,不妨认为(127)对于任意的t0,tf都成立。这就是说,如果u*(t)U,tt0,tf是最优控制,则对所有tt0,tf都必须满足从而证明了极值条件。,tf的考
16、虑(1/9),(5)tf的考虑前面仅仅考虑了末态时刻tf给定的情况。当tf可变时,还要考虑由tf的改变量tf所引起的泛函改变量。设u*(t)是使性能指标泛函最小的最优解,x*(t)是相应的最优轨线。若令tf的改变量tf=T1,其中T1为任意常数,并同时考虑控制u(t)的针状变分u()。,Ju()=S(x(tf),tf的考虑(2/9),根据S(x(tf)的可微性,则有上式对任意T1及任意控制变分均成立,对u(t)0时也成立。当u(t)0时,显然有u(tf)=0,考虑到T1为任意实数,于是可得,Ju()=S(x(tf),tf的考虑(3/9),因此,有从而证明了式(97)的第1部分。当取T1=0,对
17、于针状变分u(t)应有因此,依上述证明过程(1)(4),同样可以证明式(128)成立。,tf的考虑(4/9),下面证明当 tf 固定,x(tf)自由时,式(97)的第2部分的证明。哈密顿函数H的增量可表示为考虑到哈密顿函数H(x,u)对x和的连续可微性,因此,由泰勒展开式可得哈密顿函数的一阶增量表示式,若定义=u*(t+t),则由上式有如下H的一阶增量式考虑到u*(t)是最优控制函数,由极值条件则有,tf的考虑(5/9),tf的考虑(6/9),考虑到时间增量t的任意性,其值可正可负。因此,由上式可知,当t0时,H0,则意味着哈密顿函数H随时间t递增;而当t0时,H0则意味着哈密顿函数H随时间t
18、递减。故证明了 即证明了式(97)的第2部分。综合式(128)和上式,即证明了式(97)。,tf的考虑(7/9)例10,例 10 给定被控系统控制变量u(t)受不等式约束-1u(t)1约束,试求最优控制函数u*(t)和最优轨线x*(t),使性能指标泛函J=x2(1)最小。,tf的考虑(7/9),解 该问题的哈密顿函数为则协态方程是其末端条件(横截条件)为解之得1(t)=1-et-1,2(t)=1,tf的考虑(8/9),运用极大值原理解得由于1(t)=1-et-10,t0,1,可得 u*(t)=-1 t0,1,1(t)=1-et-1 2(t)=1,tf的考虑(9/9),因此,由得同样,可求得因此
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 最优 控制 理论 算法 研究生课程 第四 极大值 原理 课件
![提示](https://www.31ppt.com/images/bang_tan.gif)
链接地址:https://www.31ppt.com/p-3808558.html