CH6《现代控制理论》讲稿.doc

《CH6《现代控制理论》讲稿.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第六章最优控制……..(侯媛彬)要点：1变分法与最优控制的概念2最大值原理3线性最优控制器的设计难点：线性最优控制器的设计§6-1变分法与最优控制一、基本概念1．泛函变量，如果对于某一类函数中的每一个函数，都有一个确定的值与之对应，那么就称为依赖于函数的泛函，记为或简记为。根据函数定义，泛函可理解为“函数的函数”，即泛函的值是由函数的选取而定的。例如，是一个泛函，因为的值是由函数的选取而定的。其中函数称为泛函的宗量。2．泛函的变分在泛函极值问题中，泛函的变分是解决问题的一种重要方法，下面讨论泛函的变分及相关的概念。（1）宗量的变分泛函的宗量的变分，是指

2、两个函数间的差，记作（2）泛函的连续性若对于函数的微小变化，泛函的变换也很微小，那么就说泛函是连续的。（3）宗量函数的相近度当函数与之差的绝对值，即（6-1）对于函数的定义域中的一切值均很小时，就说函数与是相差微小或相近的。当两个函数之差的绝对值和它们的导数之差的绝对值，即和（6-2）同时很小时，就说函数与是相差微小或相近的。为了区别上面两种情况，把满足式（6-1）的两个函数称为具有零阶相近度，满足式（6-2）的两个函数称为具有一阶相近度，具有一阶相近度的函数必然具有零阶相近度，反之，则不一定。根据一阶相近度的概念，很容易推广，即当（6-3）均很小时，

3、称函数具有K阶相近度。（4）空间距离定义在区间上连续函数的全体是一个函数的空间，记为，其中对应的每个函数都是这个空间的一点，定义中两点的距离为（6-4）若定义上连续且具有连续K阶导函数的函数的全体是一个空间，记为，定义中两点的距离为(6-5)显然，由式（6-4）和式（6-5）定义的距离可用来定量刻划两个函数的零阶和K阶相近度。如果对于任意给定的一个函数，可以找到这样的一个，当时，就有那么就说泛函在点处是连续的。当按式（6-4）或（6-5）定义时，相应称为零阶连续或K阶连续。（5）泛函的变分如果连续泛函的增量表达式为（6-6）应用泰勒公式将（6-6）在x

4、点展开，得（6-7）当很小时，式（6-7）右边是关于的线性连续泛函，而其余均为的高阶无穷小。若用线性连续泛函和高阶无穷小之和表示泛函的增量，即有（6-8）那么，就把第一项称为泛函的变分，记为当一泛函具有变分时，也称泛函是可微的。泛函的变分还可以写成另一种形式，即（6-9）（6）泛函的极值若泛函在的邻域内，即（6-10）其增量或，则称泛函在点处有极大值或极小值。当距离定义为，泛函在点处达到极值，称为弱极值。具有强极值的泛函必有弱极值，反之不然。（7）泛函极值存在的条件泛函在点处达到极值的必要条件是泛函在点的变分为零，即（6-11）二、欧拉方程有了§6-1

5、的概念，可以进一步讨论如何确定函数，使泛函达到极值的问题。解决这一问题必须依赖一个重要的关系式，这一关系式称欧拉方程。在最优控制系统中，其性能指标就是泛函J，因此用变分求解泛函极值的问题，也就是求解最优控制的过程。由于控制的多样性，其变分问题也各不相同，现分别讨论。1、点固定的情况设泛函为（6-12）且（6-13）式中，均为常数。设是满足边界条件式（6-13），使式（6-12）泛函J达到极值的最优函数。设是邻域内的一个函数，它与满足下列关系（6-14）式中，是一个数值很小的参数，是任一有连续导数且满足条件的函数。这样端点固定的条件得到了保证，即显然，不

6、管函数如何选，当时，恒有即获得了最优函数。现将式（6-13）代入式（6-11），得（6-15）比较式（6-12）和（6-15）。当式（6-12）在时达到极值，相当于式（6-15）在时取极值。应用式（6-11），要使取极值，必有要使上式在任何时均成立，只有（6-16）所以，在用式（5-16），即可使取极值。（注：设具有二阶连续偏导数，故求导和积分可交换顺序。）对上式第二项进行分步积分，及则根据拉格朗日定理：若连续函数，对于任意，在区间满足则在一定有，所以有（6-17）将方程展开，得（6-18）式（6-17）或（6-18）常常称为欧拉方程。因此，函数满足欧

7、拉方程使式（6-12）即泛函取极值的必要条件。三、含有多个未知函数的泛函为讨论多未知函数变分问题简单化，常采用向量表达式，此时泛函可记为（6-19）其中，是的数量函数，是维向量函数。采用和数量函数情况相同的推论方法，可得向量形式的欧拉方程，（6-20）上式中数量函数对向量函数得导数，定义为（6-21）设端点A是固定得，端点B可沿曲线变动，此时B点得横截条件为（6-22）四、条件极值的变分在控制理论中常遇到目标函数J依赖的函数需要满足一定约束条件的情况，在这种情况下使J达到极值得变分问题，类似函数条件极值问题。解决这类变分通常采用所谓的拉哥郎日乘子法，即

8、构造一个常有乘子的辅助函数（6-23）式中是乘子，它通常是时间的函数；是泛函变量需满足的第个约