《最优控制理论》PPT课件.ppt

2019年11月10日星期日,现代控制理论,1,2019年11月10日星期日,2,最优控制理论,东北大学信息科学与工程学院 井元伟教授,二九年十一月,2019年11月10日星期日,3,第2章 求解最优控制的变分方法,第3章 最大值原理,第4章 动态规划,第5章 线性二次型性能指标的最优控制,第6章 快速控制系统,第1章 最优控制问题,最优控制理论 现代控制理论的重要组成部分 20世纪50年代 发展形成系统的理论 研究的对象 控制系统 中心问题 给定一个控制系统，选择控制规律，使系统在某 种意义上是最优的 统一的、严格的数学方法 最优控制问题 研究者的课题，工程师们设计控制系统时的目标 最优控制能在各个领域中得到应用，效益显著,1.1 两个例子 1.2 问题描述,第1章 最优控制问题,1.1 两个例子,例1.1 飞船软着陆问题,2019年11月10日星期日,现代控制理论,7,1.1 两个例子,例1.1 飞船软着陆问题,m 飞船的质量 h 高度 v 垂直速度 g 月球重力加速度常数 M 飞船自身质量 F 燃料的质量,软着陆过程开始时刻 t 为零,K 为常数,2019年11月10日星期日,现代控制理论,8,1.1 两个例子,例1.1 飞船软着陆问题,m 飞船的质量 h 高度 v 垂直速度 g 月球重力加速度常数 M 飞船自身质量 F 燃料的质量,软着陆过程开始时刻 t 为零,K 为常数,2019年11月10日星期日,现代控制理论,9,1.1 两个例子,例1.1 飞船软着陆问题,m 飞船的质量 h 高度 v 垂直速度 g 月球重力加速度常数 M 飞船自身质量 F 燃料的质量,软着陆过程开始时刻 t 为零,K 为常数,初始状态,2019年11月10日星期日,现代控制理论,10,1.1 两个例子,例1.1 飞船软着陆问题,m 飞船的质量 h 高度 v 垂直速度 g 月球重力加速度常数 M 飞船自身质量 F 燃料的质量,软着陆过程开始时刻 t 为零,K 为常数,初始状态,终点条件,2019年11月10日星期日,现代控制理论,11,1.1 两个例子,例1.1 飞船软着陆问题,m 飞船的质量 h 高度 v 垂直速度 g 月球重力加速度常数 M 飞船自身质量 F 燃料的质量,软着陆过程开始时刻 t 为零,K 为常数,初始状态,终点条件,控制目标,2019年11月10日星期日,现代控制理论,12,1.1 两个例子,例1.1 飞船软着陆问题,m 飞船的质量 h 高度 v 垂直速度 g 月球重力加速度常数 M 飞船自身质量 F 燃料的质量,软着陆过程开始时刻 t 为零,K 为常数,初始状态,终点条件,控制目标,推力方案,2019年11月10日星期日,现代控制理论,13,例1.2 导弹发射问题,例1.2 导弹发射问题,2019年11月10日星期日,现代控制理论,15,例1.2 导弹发射问题,2019年11月10日星期日,现代控制理论,16,例1.2 导弹发射问题,初始条件,2019年11月10日星期日,现代控制理论,17,例1.2 导弹发射问题,初始条件,末端约束,2019年11月10日星期日,现代控制理论,18,例1.2 导弹发射问题,初始条件,末端约束,指标,2019年11月10日星期日,现代控制理论,19,例1.2 导弹发射问题,初始条件,末端约束,指标,控制,1.2 问题描述,(1) 状态方程 一般形式为,2019年11月10日星期日,现代控制理论,21,1.2 问题描述,(1) 状态方程 一般形式为,2019年11月10日星期日,现代控制理论,22,1.2 问题描述,(1) 状态方程 一般形式为,为n维状态向量,2019年11月10日星期日,现代控制理论,23,1.2 问题描述,(1) 状态方程 一般形式为,为n维状态向量,为r 维控制向量,2019年11月10日星期日,现代控制理论,24,1.2 问题描述,(1) 状态方程 一般形式为,为n维状态向量,为r 维控制向量,为n维向量函数,2019年11月10日星期日,现代控制理论,25,1.2 问题描述,(1) 状态方程 一般形式为,为n维状态向量,为r 维控制向量,为n维向量函数,给定控制规律,2019年11月10日星期日,现代控制理论,26,1.2 问题描述,(1) 状态方程 一般形式为,为n维状态向量,为r 维控制向量,为n维向量函数,给定控制规律,满足一定条件时，方程有唯一解,(2) 容许控制,2019年11月10日星期日,现代控制理论,28,(2) 容许控制,：,2019年11月10日星期日,现代控制理论,29,(2) 容许控制,：,2019年11月10日星期日,现代控制理论,30,(2) 容许控制,：,有时控制域可为超方体,2019年11月10日星期日,现代控制理论,31,(2) 容许控制,：,有时控制域可为超方体,(3) 目标集,2019年11月10日星期日,现代控制理论,33,(3) 目标集,2019年11月10日星期日,现代控制理论,34,(3) 目标集,n维向量函数,2019年11月10日星期日,现代控制理论,35,(3) 目标集,固定端问题,n维向量函数,2019年11月10日星期日,现代控制理论,36,(3) 目标集,固定端问题,自由端问题,n维向量函数,(4) 性能指标,2019年11月10日星期日,现代控制理论,38,(4) 性能指标,2019年11月10日星期日,现代控制理论,39,(4) 性能指标,对状态、控制以及终点状态的要求，复合型性能指标,2019年11月10日星期日,现代控制理论,40,(4) 性能指标,对状态、控制以及终点状态的要求，复合型性能指标,2019年11月10日星期日,现代控制理论,41,(4) 性能指标,对状态、控制以及终点状态的要求，复合型性能指标,积分型性能指标，表示对整个状态和控制过程的要求,2019年11月10日星期日,现代控制理论,42,(4) 性能指标,对状态、控制以及终点状态的要求，复合型性能指标,积分型性能指标，表示对整个状态和控制过程的要求,2019年11月10日星期日,现代控制理论,43,(4) 性能指标,对状态、控制以及终点状态的要求，复合型性能指标,积分型性能指标，表示对整个状态和控制过程的要求,终点型指标，表示仅对终点状态的要求,2.1 泛函与变分法基础 2.2 欧拉方程 2.3 横截条件 2.4 含有多个未知函数泛函的极值 2.5 条件极值 2.6 最优控制问题的变分解法,第2章 求解最优控制的变分方法,求解最优控制的变分方法,2.1 泛函与变分法基础,平面上两点连线的长度问题,2019年11月10日星期日,现代控制理论,46,求解最优控制的变分方法,2.1 泛函与变分法基础,平面上两点连线的长度问题,2019年11月10日星期日,现代控制理论,47,求解最优控制的变分方法,2.1 泛函与变分法基础,平面上两点连线的长度问题,一般来说，曲线不同，弧长就不同，即弧长依赖于曲线，记为,2019年11月10日星期日,现代控制理论,48,求解最优控制的变分方法,2.1 泛函与变分法基础,平面上两点连线的长度问题,一般来说，曲线不同，弧长就不同，即弧长依赖于曲线，记为,称为泛函,称为泛函的宗量,泛函与函数的几何解释,2019年11月10日星期日,现代控制理论,50,泛函与函数的几何解释,2019年11月10日星期日,现代控制理论,51,泛函与函数的几何解释,宗量的变分,2019年11月10日星期日,现代控制理论,52,泛函与函数的几何解释,宗量的变分,泛函的增量,2019年11月10日星期日,现代控制理论,53,泛函与函数的几何解释,宗量的变分,泛函的增量,泛函的变分,2019年11月10日星期日,现代控制理论,54,泛函与函数的几何解释,连续泛函 宗量的变分趋于无穷小时，泛函的变分也趋于无 穷小 线性泛函 泛函对宗量是线性的,宗量的变分,泛函的增量,泛函的变分,求解最优控制的变分方法,定理2.2 若泛函,有极值，则必有,上述方法与结论对多个未知函数的泛数同样适用,2.6 最优控制问题的变分解法,2.6.4 终值时间自由的问题,2.6.3 末端受限问题,2.6.2 固定端问题,2.6.1 自由端问题,2.6.1 自由端问题,约束方程,新的泛函,令,有,哈米顿函数,进行变分,令,有,伴随方程,必要条件,例2.5,哈米顿函数,伴随方程,边界条件,必要条件,最优控制,代入状态方程并求解,令,2.6.2 固定端问题,性能指标,分部积分,进行变分,令变分为零,边界条件,指标泛函,例2.6 考虑如下系统的终端固定的最优控制问题，求取最优控制 和最优状态曲线，使指标泛函 J 取得极小值。 系统的状态方程：,2019年11月10日星期日,现代控制理论,63,哈米顿函数,伴随方程,由状态方程,代入初始和终端条件，可求得,2019年11月10日星期日,现代控制理论,64,4. 考虑如下系统的终端固定的最优控制问题，求取最优控制 和最优状态曲线，使指标泛函J取得极小值。 系统的状态方程为：,其边界条件为：,其指标泛函为：,2019年11月10日星期日,现代控制理论,65,哈米顿函数,伴随方程,2019年11月10日星期日,现代控制理论,66,2.6.3 末端受限问题,新的泛函,变分,必要条件,2.6.4 终值时间自由的问题,T 有时是可变的，是指标泛函，选控制使有 T 极小值,变分,必要条件,例2.7,指标泛函,哈米顿函数,伴随方程,必要条件,3.1 古典变分法的局限性 3.2 最大值原理 3.3 变分法与极大值原理,第3章 最大值原理,3.1 古典变分法的局限性,u(t)受限的例子,例3.1,伴随方程,极值必要条件,矛盾!,3.2 最大值原理,定理3.1 (最小值原理) 设为 容许控制， 为对应的积分轨线，为使 为最优控制， 为最优轨线，必存在一向量函数 ，使得 和 满足正则方程,且,最小值原理只是最优控制所满足的必要条件。但对于线性系统,最小值原理也是使泛函取最小值得充分条件。,例3.2 重解例3.1,哈密顿函数,伴随方程,由极值必要条件，知,又,于是有,协态变量与控制变量的关系图,例3.3,性能指标泛函,哈密顿函数,伴随方程,上有,协态变量与控制变量的关系图,整个最优轨线,例3.4,把系统状态在终点时刻转移到,性能指标泛函,终点时刻是不固定的,哈米顿函数,伴随方程,H是u的二次抛物线函数，u在 上一定使H有最小值，可能在内部，也可能在边界上。,最优控制可能且只能取三个值,此二者都不能使状态变量同时满足初始条件和终点条件,最优控制,最优轨线,最优性能指标,例3.5,使系统以最短时间从给定初态转移到零态,哈米顿函数,伴随方程,最优控制切换及最优轨线示意图,3.3 古典变分法与最小值原理,古典变分法适用的范围是对u无约束，而最小值原理一般都适用。特别当u不受约束时，条件,就等价于条件,4.1 多级决策过程与最优性原理 4.2 离散系统动态规划 4.3 连续系统动态规划 4.4 动态规划与最大值原理的关系,第4章 动态规划,动态规划是求解最优控制的又一种方法，特别对离散型控制系统更为有效，而且得出的是综合控制函数。这种方法来源于多决策过程，并由贝尔曼首先提出，故称贝尔曼动态规划。,4.1 多级决策过程与最优性原理,作为例子，首先分析最优路径问题,(a) (b) (c),试分析(a),(b)和(c)三种情况的最优路径，即从 走到 所需时间最少。规定沿水平方向只能前进不能后退。,(a)中只有两条路径，从起点开始，一旦选定路线，就直达终点，选最优路径就是从两条中选一条，使路程所用时间最少。这很容易办到，只稍加计算，便可知道，上面一条所需时间最少。 (b)共有6条路径可到达终点，若仍用上面方法，需计算6次，将每条路线所需时间求出，然后比较，找出一条时间最短的路程。 (c)需计算20次，因为这时有20条路径，由此可见，计算量显著增大了。,逆向分级计算法,逆向是指计算从后面开始，分级是指逐级计算。逆向分级就是从后向前逐级计算。,以(c)为例,从倒数第一级开始，状态有两个，分别为,和,在,处，只有一条路到达终点，其时间是,；在,处，也只有一条，时间为1。后一条时间最短，将此时间相应地标在 点上。,并将此点到终点的最优路径画上箭头。,然后再考虑第二级,只有一种选择，到终点所需时间是,有两条路，比较后选出时间最少的一条，即4+1=5。用箭头标出,也标出最优路径和时间,依此类推，最后计算初始位置,求得最优路径,最短时间为 13,最优路径示意图,2019年11月10日星期日,现代控制理论,94,5. 利用逆向分级计算法求解如下的最优路径问题,从倒数第一级开始，状态有两个，分别为,和,在,处，只有一条路到达终点，其时间是,；在,处，也只有一条，时间为3。后一条时间最短，将此时间相应地标在 点上。,并将此点到终点的最优路径画上箭头。,2019年11月10日星期日,现代控制理论,95,然后再考虑第二级，亦即倒数第二级,只有一种选择，到终点所需时间是,有两条路，比较后选出时间最少的一条，即2+4=6。用箭头标出,也标出最优路径和时间 3+3=6,2019年11月10日星期日,现代控制理论,96,然后再考虑第一级，亦即倒数第三级,有两种选择，到终点所需时间是分别是，保留前者,有两条路，比较后选出时间最少的一条，即 2+(2+4)=8 和 2+(3+3)=8。用箭头标出。,2019年11月10日星期日,现代控制理论,97,最后再考虑第一级，亦即倒数第四级,有两种选择，到终点所需时间是分别是,或 2+(2+3+3)=10。于是，最短路经有3条，时间为10。,求得最优路径,多级过程,多级决策过程,目标函数,控制目的,选择决策序列,使目标函数取最小值或最大值,实际上就是离散状态的最优控制问题,最优性原理,在一个多级决策问题中的最优决策具有这样的性质，不管初始级、初始状态和初始决策是什么，当把其中任何一级和状态做为初始级和初始状态时，余下的决策对此仍是最优决策。,指标函数多是各级指标之和，即具有可加性,最优性原理的数学表达式,4.2 离散系统动态规划,阶离散系统,性能指标,求决策向量,使 有最小值（或最大值），其终点可自由，也可固定或受约束。,引进记号,应用最优性原理,可建立如下递推公式,贝尔曼动态规划方程,例4.2 设一阶离散系统，状态方程和初始条件为,性能指标,求使 有最小值的最优决策序列和最优轨线序列,指标可写为,代入,上一级,代入状态方程,最优决策序列,最优轨线,4.3 连续系统的动态规划,性能指标,目标集,引进记号,根据最优性原理及,由泰勒公式，得,由中值定理，得,连续型动态规划方程,实际上它不是一个偏微分方程，而是一个函数方程和偏微分方程的混合方程,满足连续型动态规划方程，有,设,边界条件,动态规划 动态规划方程是最优控制函数满足的充分条件；解一个偏微分方程；可直接得出综合函数 ；动态规划要求 有连续偏导数 最大值原理 最大值原理是最优控制函数满足的必要条件；解一个常微分方程组；最大值原理则只求得 。,例4.3 一阶系统,性能指标,动态规划方程,右端对u求导数，令其导数为零，则得,4.4 动态规划与最大值原理的关系,变分法、最大值原理和动态规划都是研究最优控制问题的求解方法，很容易想到，若用三者研究同一个问题，应该得到相同的结论。因此三者应该存在着内在联系。变分法和最大值原理之间的关系前面已说明，下面将分析动态规划和最大值原理的关系。可以证明，在一定条件下，从动态规划方程能求最大值原理的方程。,动态规划方程,令,哈米顿函数,最大值原理的必要条件,5.1 问题提出 5.2 状态调节器 5.3 输出调节器 5.4 跟踪问题 5.5 利用Matlab求解最优控制,第5章 线性二次型性能指标的最优控制,用最大值原理求最优控制，求出的最优控制通常是时间的函数，这样的控制为开环控制。 当用开环控制时，在控制过程中不允许有任何干扰，这样才能使系统以最优状态运行。 在实际问题中，干扰不可能没有，因此工程上总希望应用闭环控制，即控制函数表示成时间和状态的函数。 求解这样的问题一般来说是很困难的。 但对一类线性的且指标是二次型的动态系统，却得了完全的解决。不但理论比较完善，数学处理简单，而且在工程实际中又容易实现，因而在工程中有着广泛的应用。,5.1 问题提法,动态方程,指标泛函,求,使之,有最小值,此问题称线性二次型性能指标的最优控制问题,通常称,为综合控制函数,指标泛函的物理意义 积分项，被积函数由两项组成，都是二次型。 第一项 过程 在控制过程中，实际上是要求每个分量越小越好，但每一个分量不一定同等重要，所以用加权来调整，当权为零时，对该项无要求。 第二项 控制能力 能量消耗最小。对每个分量要求不一样，因而进行加权。要求正定，一方面对每个分量都应有要求，否则会出现很大幅值，在实际工程中实现不了；另一方面，在计算中需要有逆存在。 指标中的第一项 是对点状态的要求，由于对每个分量要求不同，用加权阵来调整。,5.2 状态调节器,5.2.1 末端自由问题,5.2.2 固定端问题,5.2.3,的情况,状态调节器 选择 或 使系 统性能指标 有最小值,5.2.1 末端自由问题,构造哈密顿函数,伴随方程及边界条件,最优控制应满足,代入正则方程,线性二次型性能指标的最优控制,求导,（矩阵黎卡提微分方程）,边界条件,最优控制,令,最优控制是状态变量的线性函数 借助状态变量的线性反馈可实现闭环最优控制,对称半正定阵,例5.1,性能指标泛函,最优控制,黎卡提微分方程,最优轨线的微分方程,解,最优轨线,最优控制,黎卡提方程的解,随终点时间变化的黎卡提方程的解,5.2.2 固定端问题,指标泛函,（设 ）,采用“补偿函数”法,补偿函数,惩罚函数,边界条件,黎卡提方程,逆黎卡提方程,求导,黎卡提方程,乘以,逆黎卡提方程,解,逆,5.2.3,的情况,性能指标,无限长时间调节器问题,黎卡提方程,边界条件,最优控制,最优指标,5.2.4 定常系统,完全可控,指标泛函,矩阵代数方程,最优控制,最优指标,例5.2,黎卡提方程,5.3 输出调节器,指标泛函,输出调节器问题,状态调节器问题,令,5.4 跟踪问题,问题的提法,已知的理想输出,偏差量,指标泛函,寻求控制规律使性能指标有极小值。 物理意义 在控制过程中，使系统输出尽量趋近理想输出，同时也使能量消耗最少。,指标泛函,哈密顿函数,2019年11月10日星期日,现代控制理论,133,设,并微分,2019年11月10日星期日,现代控制理论,134,的任意性,最优控制,2019年11月10日星期日,现代控制理论,135,最优轨线方程,最优性能指标,2019年11月10日星期日,现代控制理论,136,例5.3,性能指标,2019年11月10日星期日,现代控制理论,137,最优控制,2019年11月10日星期日,现代控制理论,138,，,最优控制,极限解,2019年11月10日星期日,现代控制理论,139,闭环控制系统结构,2019年11月10日星期日,现代控制理论,140,6.1 快速控制问题 6.2 综合问题,第6章 快速控制系统,2019年11月10日星期日,现代控制理论,141,在实际问题中，经常发生以时间为性能指标的控制问题。 如，当被控对象受干扰后，偏离了平衡状态，希望施加控制能以最短时间恢复到平衡状态。 凡是以运动时间为性能指标的最优控制问题称为最小时间控制。,2019年11月10日星期日,现代控制理论,142,6.1 快速控制问题,性能指标,时间上限,是可变的,从状态,转移平衡状态,所需时间最短,构造哈密顿函数,最小值原理,分段常值函数,2019年11月10日星期日,现代控制理论,143,例6.1 有一单位质点，在