最优控制ppt课件.ppt

《最优控制ppt课件.ppt》由会员分享，可在线阅读，更多相关《最优控制ppt课件.ppt（174页珍藏版）》请在金锄头文库上搜索。

1、第4章最优控制原理与应用 最优控制的基本概念 最优控制研究的主要问题 根据已建立的被控对象的数学模型 选择一个容许的控制率 使得被控对象按照预定的要求运行 并使给定的某一性能指标达到极小值 或极大值 从数学观点来看 最优控制研究的问题是 求解一类带有约束条件的泛函极值问题 最优控制问题 最优控制问题的一般提法 在满足系统方程的约束条件下 在容许控制域中确定一个最优控制律 使得系统状态从已知初态转移到要求的目标集 并使性能指标达到极值 最优控制的应用类型 I 积分型性能指标最小时间控制 最少能量控制 最少燃料控制 II 末值型性能指标III 复合型性能指标 4 1用变分法解最优控制 4 1 1泛

2、函与变分4 1 2欧拉方程4 1 3横截条件4 1 4变分法解最优控制问题 返回主目录 在动态系统最优控制问题中 性能指标是一个泛函 性能指标最优即泛函达到极值 解决泛函极值问题的有力工具是变分法 所以下面就来列出变分法中的一些主要结果 大部分不加证明 但读者可对照微分学中的结果来理解 4 1 1泛函与变分 如果对某一类函数中的每一个函数 有一个实数值与之相对应 则称为依赖于函数的泛函 记为 粗略来说 泛函是以函数为自变量的函数 函数的函数 1 泛函 先来给出下面的一些定义 2 泛函的连续性 则 则线性泛函是连续的 称J x 为线性连续泛函 若对于收敛于点x0点列xn 其中x0 xn 均有则称

3、泛函J在x0处连续 对于线性泛函J x 若 满足下面条件的泛函称为线性泛函这里是实数 和是函数空间中的函数 3 线性泛函 4 自变量函数的变分 自变量函数的变分是指同属于函数类中两个函数 之差 这里 t看作为参数 当为一维函数时 可用图4 1来表示 图4 1自变量函数的变分 这里 是的线性泛函 是关于的高阶无穷小 则称为泛函J x 的变分 可知泛函变分就是泛函增量的线性主部 当自变量函数有变分时 泛函的增量为 5 泛函的变分 当一个泛函具有变分时 也称该泛函可微 和函数的微分一样 泛函的变分可以利用求导的方法来确定 定理设J x 是线性赋范空间Rn上的连续泛函 若在x x0处J x 可微 则J

4、 x 的变分为 证明 由于是的线性连续泛函 又因为是的高阶无穷小 泛函变分的规则 举例 可见 计算泛函的变分如同计算函数的微分一样 6 泛函的极值 若存在 对满足的一切X 具有同一符号 则称在处有极值 极大值或极小值 定理 变分预备定理 设是时间区间 t0 t1 上连续的n维向量函数 是任意的连续n维向量函数 且有 若 则必有 4 1 2欧拉方程 假定t0与tf给定 且初态与末态两端固定 1 无约束泛函极值的必要条件定理设有如下泛函极值问题 1 已知x t0 x0 x tf xf 则极值曲线应满足如下欧拉方程 2 3 及横截条件 于是泛函J的增量可计算如下 以下将 号省去 上式中是高阶项 证明

5、 与之间有如下关系 根据定义 泛函的变分是的线性主部 即 对上式第二项作分部积分 按公式 J取极值的必要条件是等于零 因是任意的 要使 3 2 中第一项 积分项 为零 必有 5 4 式中第二项即为结论中的式 3 举例 利用上面的结论求得 2 有等式约束泛函极值的必要条件定理设有如下泛函极值问题 6 已知x t0 x0 x tf xf 则极值曲线应满足如下欧拉方程和横截条件 其中 为拉格朗日函数 是待定拉格朗日乘子 4 1 3横截条件 末端时刻固定时的横截条件当tf固定时 在x t0 x0固定时 横截条件为如果末端状态也固定x tf xf时 边界条件退化为x t0 x0 x tf xf 当末端状

6、态自由时 横截条件为 x t0 x0 x t0 x0 2 末端时刻自由时的横截条件 末端受约束时 存在如下近似关系 如果末端自由 则曲线c t 不存在 设性能指标为容许轨线x t 与极值曲线x t 之间有如下关系 7 当末端由 xf tf 移动到时 产生如下的泛函增量 8 将 8 右端的第二项在极值曲线泰勒展开 对上式右端的第二项分部积分 将以上结果代入 8 取增量的线性主部 得泛函的变分令 得欧拉方程和横截条件 9 10 末端时刻自由 末端状态变动时的横截条件1 末端状态自由时的横截条件当x tf 自由时 由 7 可知代入 10 可得到因为任意 所以tf自由 x tf 自由的横截条件和边界条

7、件为 11 2 末端状态受约束时的横截条件设受约束方程为x tf c tf 由 7 可知代入 11 并考虑任意 得到tf自由 x tf 受约束的横截条件和边界条件为 11 1 如果t0也自由 x t0 受约束 即沿着曲线g t 则应满足以下横截条件 11 2 例子 求平面上给定两点A 0 1 B 1 3 间的最短弧长 若B点可沿曲线c t 2 t移动 求一连接A B两点且弧长最短的曲线 对于最短弧长问题 它是泛函在两端固定条件下的变分问题 欧拉方程的解为x at b带入边界条件可得解x 2t 1 2 属于末端受约束的变分问题 其最短弧长满足与 1 相同的欧拉方程 因此x at b 因为初始点没

8、有变化 所以由x 0 1可得b 1 为了确定参数a 运用横截条件 11 1 可得解得a 1 因此可知极值曲线为 由末端约束条件 可知tf 0 5 带入弧长公式得到最短弧长 x t 1 不同边界情况下的横截条件 4 1 4变分法解最优控制问题 系统方程为性能指标为末端状态x tf 受约束 要求的目标集为最优控制问题是 确定最优控制u t 和最优曲线x t 使得系统 12 由已知初态x0转移到要求的目标集 14 并使性能指标 13 达到极值 14 13 12 可以利用拉格朗日乘子法将上述有约束条件的泛函极值问题化为无约束条件的泛函极值问题 再引入一个标量函数 它称为哈密顿 Hamilton 函数

9、在最优控制中起着重要的作用 1 末端时刻固定时的最优解对于如下最优控制问题 无约束且在 t0 tf 上连续 在 t0 tf 上 f 和L 连续可微 tf固定 最优解的必要条件为 1 x t 和满足正则方程 2 边界条件和横截条件3 极值条件证明 构造广义泛函 分部积分则对上式取一次变分 考虑到根据泛函极值的必要条件 可得到结论 当末端时间tf固定 末端状态x tf 自由时 不存在目标集因此 该下的泛函极值只需将上述结论中的去掉即可 当末端时间tf固定 末端状态x tf 固定时 正则方程不变 边界条件退化为x t0 x0 x tf xf 系统在可控的条件下 极值条件也不变 本例属于末端时刻固定

10、末端状态受约束的泛函极值问题 Hamilton函数协态方程极值条件 状态方程根据初始条件和目标条件可求出c3 c4 0 4c1 9c2 6再根据横截条件可求出c1 1 2 c2 可求出c1与c2的值 进而获得最优解 2 末端时刻自由时的最优解 对于如下最优控制问题 最优解的必要条件为 1 x t 和满足正则方程 2 边界条件和横截条件3 极值条件4 在最优曲线末端的Hamilton函数满足 证明 构造广义泛函当末端由 xf tf 移动到时 产生如下的泛函增量将上式在最优轨线展成泰勒级数并取主部 应用中值定理并考虑 可得到 将代入上式可得到令得到定理的结论 Page562 表10 2用变分法求最

11、优解的必要条件 例子 解 本例属于tf自由 末端状态固定 控制无约束的泛函极值问题 常数 再由极值条件得由状态方程和初始条件得到利用末态条件得到最后根据末端时刻H的变化率可以求得这样 求得的最优解为 4 2极小值原理及其应用 4 2 1连续系统的极小值原理4 2 2离散系统的极小值原理4 2 3最小时间控制4 2 4最小能量控制 返回主目录 为解决控制有约束的变分问题 庞特里亚金提出并证明了极小值原理 其结论与经典的变分理论有许多相似之处 而且不要求哈密尔顿函数对控制量连续可微 4 2 1连续系统的极小值原理末端自由时的极小值原理定理对于如下定常系统 末值型性能指标 末端自由 控制受约束的最优

12、控制问题式中为任意分段连续函数 末端状态自由 末端时刻固定或自由 假设f x u 和都是自变量的连续可微函数 且在有界集上f x u 对变量x满足 则对于最优解u x tf 必存在非零的 使如下必要条件成立 正则方程其中边界条件与横截条件极小值条件4 沿最优轨线哈密尔顿函数变化率 tf自由时用 极小值原理与经典变分法的区别 容许控制条件放宽 极小值条件对通常的控制约束均适用 最优控制使哈密顿函数取全局极小值 当满足经典变分法的应用条件时 其极值条件是极小值原理中极值条件的特例 极小值原理不要求哈密顿函数对控制向量的可微性 例子 解 已知由协态方程可得到 由横截条件解出由极小值条件由于可得到 定

13、理对于如下时变系统 末值型性能指标 末端自由 控制受约束的最优控制问题式中末端时刻固定或自由 假设同前 则对于最优解u x tf 必存在非零的 使如下必要条件成立 正则方程其中 边界条件与横截条件极小值条件4 沿最优轨线哈密尔顿函数变化率 tf自由时用 于是该问题就变成了如下定常问题 利用定常系统的结论 可知协态方程为即 17 16 横截条件为即极小值条件为将式 16 代入可得即得结论3 沿最优轨线哈密尔顿函数变化率将 18 代入可得到本定理的结论4 18 定理对于如下定常系统 积分型性能指标 末端自由 控制受约束的最优控制问题式中末端时刻固定或自由 假设同前 则对于最优解u x tf 必存在

14、非零的 使如下必要条件成立 正则方程其中 边界条件与横截条件极小值条件4 沿最优轨线哈密尔顿函数变化率 tf自由时用 于是该积分型问题就变成了如下末值型问题 把上面两个式子代入协态方程 可得 因此由横截条件可知因为 上式可表示为由 19 可得 19 则哈密尔顿函数为将它代入 19 可得从而也得到了极值条件3 和最优轨线末端应满足条件4 解 该题属于定常系统 积分型性能指标 tf固定 末端自由 控制受约束的最优控制问题 令 由协态方程解得再由横截条件可以求出c e 显然 当时u t 产生切换 由可以解出 0 307 因此将u 代入状态方程并利用初值条件可得到最优轨线为 2 末端受约束时的极小值原

15、理定理对于如下定常系统 末值型性能指标 末端受约束 控制受约束的最优控制问题式中末端时刻固定或自由 假设同前 则必存在非零的 使如下必要条件成立 正则方程其中边界条件与横截条件极小值条件4 沿最优轨线哈密尔顿函数变化率 tf自由时用 定理对于如下时变系统 末值型性能指标 末端受约束 控制受约束的最优控制问题式中末端时刻固定或自由 假设同前 则必存在非零的 使如下必要条件成立 正则方程其中边界条件与横截条件极小值条件4 沿最优轨线哈密尔顿函数变化率 tf自由时用 4 2 2离散系统的极小值原理末端约束时的离散极小值原理定理设离散系统状态差分方程为性能指标为式中N固定 假设f 和L 都是自变量的连

16、续可微函数 末端状态受如下目标集约束 则对于最优序列u x 必存在非零的 使如下必要条件成立 差分方程其中边界条件与横截条件极小值条件 若u k 无约束 则极值条件为 2 末端自由时的离散极小值原理定理设离散系统状态差分方程为性能指标为式中N固定 假设同前 末端状态自由 则对于最优序列u x 必存在非零的 使如下必要条件成立 差分方程其中边界条件与横截条件极小值条件 若u k 无约束 则极值条件为 该题属于控制无约束问题 构造由协态方程可得到由极值条件 得到将u k 代入状态方程并利用边界条件可得到 4 2 3最小时间控制最小时间的控制问题设线性定常系统完全可控 求满足下列不等式约束的容许控制 使系统从初始状态x 0 x0转移到x tf 0 并使性能指标极小 其中tf自由 2 正常情况与奇异情况构造根据极小值条件 可得则设可知 20 可表示为下式 20 3 奇异性的充要条件定理设矩阵式中bj中为矩阵B的列向量 当且仅当m个Gj矩阵中至少有一个是奇异矩阵 上述最优问题是奇异的 定理上述问题是正常的 当且仅当 3 Bang Bang控制定理对上述问题 若系统是正常的 则最优解的必要条件是