第4章-非线性系统线性化ppt课件

1、非线性系统的线性化 1、传统近似线性化 2、精确线性化 3、现代近似线性化,第四章,Company Logo,条件苛刻，计算复杂,基本思想：一阶近似 适用于工作点范围不大情况,基本思想：通过坐标变换把强非线性系统变换成弱非线性系统或通过状态反馈以保持线性系统的部分特点,传统近似线性化,精确线性化,非线性系统线性化方法,现代近似线性化,近似线性化,传统近似线性化,最小二乘法,泰勒展开,傅里叶级数展开,误差最小,忽略高阶项,忽略高次谐波,雅可比矩阵,忽略高阶项,传统近似线性化方法,非线性系统反馈线性化_主要内容,4.0 绪论 4.1 基于动平衡状态理论的非线性系统反馈线性化直接方法 4.2 单变量

2、输入输出反馈线性化直接方法及鲁棒设计 仿射非线性系统输入输出线性化及鲁棒设计 线性时变系统反馈线性化直接方法及鲁棒设计 线性定常系统设计闭环极点配置 一般非线性系统的直接反馈线性化设计：逆系统方法 4.3 反馈线性化与标准型 输入状态线性化 输入输出线性化 线性系统的内动态子系统 零动态子系统 4.4 数学知识 微分同胚与状态变换 弗罗贝尼斯定理 4.5 非线性系统反馈线性化 单输入单输出系统的输入状态线性化 单输入单输出系统的输入输出线性化 多输入多输出系统的反馈线性化 4.6 近似线性化方法,非线性系统反馈线性化绪论,非线性系统的反馈线性化是近年来引起人们极大兴趣的一种非线性控制系统设计方

3、法。这种方法的思路是通过状态或输出的反馈，将一个非线性系统的动态特性变成（全部或部分）线性的动态特性，从而可以应用熟知的线性控制的方法对系统进行设计与控制。反馈线性化通过严格的状态变换与反馈变换来达到，线性化过程中没有忽略任何高阶非线性项，因而这种线性化是精确的,目前反馈线性化的方法主要有两种： 1）精确线性化方法(exact linearization method)，如微分几何方法，隐函数方法和逆系统方法等； 2）基于参考模型的渐近线性化方法，如模型参考方法及模型参考自适应方法等。而确切地说，这两种线性化方法都是模型参考方法，不过前者可称为隐含模型参考方法（implicit model r

4、eference approach），而后者为实际模型参考方法（real model refernce approach,精确线性化方法中，微分几何方法和逆系统方法已形成各自的理论体系并在许多领域得到成功的应用。相比之下基于隐函数方法的直接线性化方法由于其可应用的范围较窄，理论上又难以深入，被研究得要少得多,在非线性系统的模型参考方法中，基于李亚普诺夫直接方法的非线性系统反馈线性化方法是最重要和最有效的一种设计方法，这类方法称为非线性系统反馈线性化的直接方法,运用控制系统动平衡状态的概念，提出一种建立在控制系统动平衡状态渐近稳定概念上的新的设计方法。本方法认为：控制系统的输入直接控制的是系统的

5、动平衡状态。系统的输出和状态是在系统结构的约束下运动的。当系统对其平衡状态大范围渐近稳定时，其状态将在系统结构约束下渐近收敛于系统的平衡状态。当其平衡状态运动时，系统的状态亦将跟踪其平衡状态运动。因此控制系统平衡状态的运动，即可实现对系统运动状态及输出的控制,模型参考方法在跟踪控制系统设计中是一种十分有效的方法。这一方法不仅在相对复杂的非线性系统设计中得到应用，即使在线性定常系统的设计中同样也得到大量的应用,非线性系统反馈线性化绪论,按上述思想，提出如下的基于平衡状态控制原理的非线性控制系统反馈线性化的直接方法： （1）按系统的动态性能要求设计一满足希望特性的线性动态系统作为模型参考系统。 （

6、2）以模型参考系统的状态作为实际被控系统的被控平衡状态。利用李亚普诺夫直接方法设计控制律使系统对动平衡状态渐进稳定。从而被控系统近似具有模型参考系统的动态特性，实现非线性系统的反馈线性化,为此，控制系统的设计可分为两步：首先，设计控制律使系统的平衡状态按预定的方式运动。然后，按某一指标设计系统，使其状态按最佳方式向平衡状态收敛，从而实现对状态的控制。这一方法很好地解决了将仅适用于自由动态系统分析与设计的李亚普诺夫直接方法应用于跟踪控制问题所带来的理论冲突，将稳定性问题（调节问题）与跟踪问题统一起来。为控制系统的分析与设计提供了一条新的思路,非线性系统反馈线性化绪论,其中， 为状态向量， 为控制

7、向量， 为向量函数,其中 为状态向量， 为控制向量， , 为常数矩阵，并且 的所有特征值均具有负实部。则下述基于李雅普诺夫第二方法的设计可以实现系统状态 对 的渐近跟踪，从而实现非线性系统动态特性的线性化,基于动平衡状态理论的非线性系统反馈线性化直接方法,按上述方法，基本设计过程如下,考虑一般的非线性系统 （1.1,设希望的线性系统动态特性为 （1.2,令状态偏差为 ，则有,由式（1.1）和式（1.2）可得系统的状态偏差方程为： （1.3,其中 ，且 。则有 的导数为： （1.5,其中 ， 为标量函数,基于动平衡状态理论的非线性系统反馈线性化直接方法,取状态偏差的二次型函数 （1.4,因为当状

8、态偏差 的欧几里德范数 时， ，平衡状态 是在大范围内渐近稳定的。从而有 时， 。由上面的分析可直接给出如下定理,定理1.1 给定非线性时变系统（1.1）及模型参考系统（1.2）。设 稳 定， 是模型参考自由系统（对应于 ）在原点平衡状态的李雅普诺夫函数。那么，若存在控制 使,由于 的所有特征值均具有负实部，因此可找到正定矩阵 ，使 为一负定矩阵。若能选取控制向量 （ 为可能用到的 的各阶导数），使 ，则 为李雅普诺夫函数,若能选择 使 在所考虑的系统参数变化范围内非正，则可保证系统具有参数不确定时反馈线性化的鲁棒性。 若选取的 使 ，则称非线性系统（1.1）被精确线性化。 我们可给出定理1.

9、1更一般的情况如下,基于动平衡状态理论的非线性系统反馈线性化直接方法,1.6） 则偏差系统（1.3）的原点平衡状态是大范围一致渐近稳定的,证明： 因为 是偏差自由系统在平衡状态的李雅普诺夫函数，因此有 负定,定理1.2 考虑状态偏差系统（1.3）。设其对应的自由动态系统 在平衡状态 大范围一致渐近稳定， 是自由系统在平衡状态的李雅普诺夫函数。如果控制策略 使,1.7） 则被控的状态偏差系统（1.3）是大范围一致渐近稳定,基于动平衡状态理论的非线性系统反馈线性化直接方法,将 作为偏差控制系统（1.3）的可能的李亚普诺夫函数，有,由于上式右端第一项负定，显然若式（1.7）成立，则 负定。式（1.3

10、）的被控状态偏差系统大范围一致渐近稳定,非线性系统的反馈线性化，确切地说还可以分为输入-状态线性化和输入-输出线性化。 对调节问题（稳定性问题）采用输入-状态线性化通常即可满足要求对系统的调节要求；但对跟踪问题通常必须采用输入-输出线性化设计才能满足对系统的性能要求,单变量输入输出反馈线性化直接方法及鲁棒设计,设系统由下述微分方程表示 （2.1,其中为 输入， 为输出。取输出及其前n-1阶导数为状态变量，方程（2.1）可表示为如下的状态空间表达形式,2.1a,简记为 （2.1b,单变量输入输出反馈线性化直接方法及鲁棒设计,其中 为状态向量， 表示控制 及其前m阶导数,设上述系统的希望动态特性可

11、用下述线性定常模型系统表示： （2.2,其中 为希望输出， 为模型的输入， ， 为常数。同样取 及 其前n-1阶导数为状态变量，可得其对应的可控型状态空间表达式为： （2.2a,其中 为模型的状态向量； ， ， 为常数,单变量输入输出反馈线性化直接方法及鲁棒设计,根据动平衡状态理论，我们可以将 作为被控系统的动平衡状态，通过设计合适的控制律，使所构成的控制系统中被控状态 对动平衡状态 在大范围内渐近稳定。从而实现 对 ，亦即 对 的渐近逼近，使被控系统具有所希望的动态特性。实现上述目标的一个直接方法便是利用李雅普诺夫第二方法。为此，以 为动平衡状态，定义误差向量 （2.3,由式（2.1a）及式

12、（2.2a）可得 （2.4,取状态偏差的二次型函数 （2.5,其中 ，且 。则有 的导数为： （2.6,单变量输入输出反馈线性化直接方法及鲁棒设计,其中： （2.7） （2.8） 为标量函数,由于系统（2.1a）和系统（2.2a）均为可控型， 的确定可以进一步简化。由式（2.8）我们有： （2.9,其中： （2.10） （2.11,单变量输入输出反馈线性化直接方法及鲁棒设计,为标量，以后的计算中，只需根据式（2.10）和（2.11）便可确定控制规律,因为当状态偏差 的欧几里德范数 时， ，平衡状态 是在大范围内渐近稳定的，即 为控制系统的大范围渐近稳定的动平衡状态。从而有 时， 。由上面的分析

13、可直接给出如下定理,定理2.1 给定非线性时变系统（2.1）及模型参考系统（2.2）。设 稳定， 为模型参考自由系统（ ）在原点平衡状态的李亚普诺夫函数。那么，若存在控制 使 则偏差系统（2.3）的原点平衡状态是大范围一致渐近稳定的。非线性时变系统的输出渐近跟踪参考模型的输出,若能选择 使 在所考虑的系统参数变化范围内非正，则可保证系统具有参数不确定时反馈线性化的鲁棒性。 在这一方法中，若令 ，即可实现系统的精确线性化。若非线性系统是仿射非线性的，则其结果同微分几何方法,仿射非线性系统输入输出线性化及鲁棒设计,考虑仿射非线性系统 （2.12,选取 及其前n-1阶导数为状态变量，可将其转换为式（

14、2.1）形式的状态空间表达式，且其中 （2.13） （2.14,由定理2.1，令 ，可实现仿射非线性系统的精确线性化。由式（2.14）得精确线性化得控制策略为 （2.15,1.精确线性化,2.鲁棒线性化设计,仿射非线性系统输入输出线性化及鲁棒设计,1）设仿射非线性系统具有不确定性 （2.16,其中 ，则控制策略 （2.17） 将使系统鲁棒线性化,证明： 将 代入 整理后有 由式（2.9）有： 由定理2.1，偏差系统（2.3）的原点平衡状态是大范围一致渐近稳定的。非线性时变系统的输出渐近跟踪参考模型的输出,2）设仿射非线性系统具有不确定性 （2.18,仿射非线性系统输入输出线性化及鲁棒设计,其中

15、 ， 。不失一般性，设 则控制策略 （2.19） 将使系统鲁棒线性化,证明： 将 代入 整理后有 由式（2.9）有： 由定理2.1，偏差系统（2.3）的原点平衡状态是大范围一致渐近稳定的。非线性时变系统的输出渐近跟踪参考模型的输出,线性时变系统反馈线性化直接方法及鲁棒设计,考虑变系数线性系统 （2.20,对照式（2.1b）有 （2.21,根据式（2.9）-（2.11），在保证 非正（即 非正）的前提下，至少有如下几种选择方式,1.精确抵消法,选择 使 ，即 。这时可取 （2.22,线性时变系统反馈线性化直接方法及鲁棒设计,此时李雅普诺夫函数 ， ，其中 ， 。系统的动态方程直接由式（2.2）所

16、示,2.非精确抵消法,由式（2.9）-（2.11），我们有 （2.23） 设 不变号，取 （2.24,由于要使 为李亚普诺夫函数，只需 非正，这就为本方法中 的选择带来了极大的便利，最简单直接的方法就是取绝对值加符号函数方法,线性时变系统反馈线性化直接方法及鲁棒设计,代入式（2.23），并考虑到对任意函数 有 ，我们有,可见按式（2.24）确定的 保证了 为李雅普诺夫函数,3.鲁棒控制系统的实现,线性时变系统反馈线性化直接方法及鲁棒设计,在上述非精确抵消方法中，如果可预先确定系统各参数取值的绝对值的 最大值，则下述按参数绝对值最大值选取的控制律，不仅能保证 为李雅 普诺夫函数，同时还将使系统对

17、区间内变化的参数具有鲁棒性,在式（2.24）中，除 外，取各参数绝对值的最大值，有 （2.25,其中 ，,显然，如果我们选择 ， 。则将使 系统的鲁棒性进一步增加，同时还可使 的收敛速度加快,线性定常系统设计闭环极点配置,考虑线性定常系统 （2.26,对照式（2.1b）有 （2.27,设系统的希望动态特性如式（2.2）所示。则由式（2.11）有 （2.28,其中 （2.29,线性定常系统设计闭环极点配置,令 ，即 。则有 ， 为李亚普诺 夫函数，其中 ， 。当 ，将有,这时由式（3.29）可解出 （2.30,其中 ，,这一结果同状态反馈极点配置方法的结果是一致的。相当于利用线性状态反馈将原系统

18、的极点配置到了希望系统的极点位置。其具体实现形式为,一般非线性系统的直接反馈线性化设计：逆系统方法,考虑非线性系统 （2.31,将上式作为代数方程来看，如果从中可解出 的显式表示 （2.33） 则式（2.33）即为系统（2.31）的逆系统,选取 及其前n-1阶导数为状态变量，用 表示 及其前m阶导数，则 上式可记为 （2.32,在方程（2.33）中，记 ，则得到系统（2.33）的n阶积分逆 系统 ，由下式表示： （2.34,一般非线性系统的直接反馈线性化设计：逆系统方法,将 代入 可得： （2.35,令 ，可得精确线性化控制策略为 （2.33,反馈线性化与标准型,最简单形式的反馈线性化是将非线

19、性系统中的非线性抵消掉，使闭环动 态特性变成线性形式,例3.1 控制水箱液面高度 考虑将水箱中液面的高度h，控制在指定的高度 ，控制输入是进入水箱的液体流量u，初始高度为,其中 是水箱的横截面积，a是出水管的横截面积。如果初始高度 与期望高度 相差悬殊，h的控制就是一个非线性调节问题。 动态方程式（3.1）可重写为,水箱的动态模型为 （3.1,反馈线性化与标准型,若选 为 （3.2） 式中 为待求的“等效输入”，则得到线性的动态方程 选取 为 （3.3） 其中 为液面高度误差，a为一严格正常数，则得到闭环动态方程为： （3.4） 这说明当时 ， 。根据式（3.2）和式（3.3），实际的输入流

20、量由下列非线性控制律确定： （3.5） 式（3.5）中，右端第一项用来提供输出流量 ，第二项则是用来根据期 望的线性动态特性式（3.4）去改变液面高度,反馈线性化与标准型,类似地，如果期望高度是一个已知的时变函数 ，则等效输入 可选为： 从而仍得到 时 的结果,反馈线性化的想法，即抵消非线性并施加一个期望的线性动态特性，可以 直接应用于一类由所谓伴随型或能控标准形所描述的非线性系统,所谓一个系统是伴随型的，是指其动态方程可以表示为 （3.6） 其中u是标量控制输入，x是所关注的标量输出，而 是状态矢 量， 与 是状态的非线性函数。这种形式的特点是尽管方程中出现x的各 阶导数，但是不出现输入u的

21、导数。若用状态空间表示，式（3.6）可写为,可以表示为这种能控标准形的系统，若使用控制输入（假定 不为零） （3.7） 就能抵消掉非线性特性而获得一个简单的输入输出关系（多重积分形式） 因此控制可选为 其中 选择使得多项式 的所有根均严格位于左半平面从 而导致指数稳定的动态特性,反馈线性化与标准型,即 。对于跟踪期望轨迹 的任务，控制律可选为： （3.8） 其中 为跟踪误差，该控制律导致指数收敛跟踪。若标量x换成矢 量，标量b换成可逆方阵，亦可获得类似的结果。 在式（3.6）中曾假定动态方程对于控制输入是线性的（但对状态是非线 性的），然而这一方法不能推广到把u换成一个可逆函数 的情形。例如，

22、 通过阀门控制流量的系统，其动态特性可能是依赖于 而不是直接依赖于u， 这里u是阀门开启的直径。这时只要定义 ，即可以容易地根据上述步骤 首先设计出 ，然后利用 来计算输入u。这种方法实际上避免了在控 制计算中出现非线性。 当非线性动态方程不是能控标准形时，可以首先利用代数变换将方程化为能控标准形，然后再使用上述的反馈线性化设计，或者借助于原动态系统的部分线性化，而不要求总体的线性化,反馈线性化与标准型,考虑单输入非线性系统 中控制输入 的设计问题。输入-状态线 性化方法通过两步来解决这个问题。 首先找出一个状态变换 与一个输入变换 使非线性系统动 态方程化成一个等效的线性定常系统动态方程，并

23、表示成熟知的形式 。 其次，再利用标准的线性控制方法（例如极点配置）来设计 。 以一个简单的二阶系统为例来说明这个方法。考虑系统 （3.9） 虽然线性控制设计也能使这个系统在平衡点（0,0）附近的一个小范围内稳定，然而采用什么控制器能使它在更大的范围内稳定却不是一目了然的。尤其是方程中的非线性更增加了控制上的困难，因为它不能直接用控制输入来抵消,输入状态线性化,如果考虑一组新的状态变量 （3.10） 则新的状态方程为 （3.11） 可以看到，新的状态方程平衡点依然为（0,0）。同时可以看出，下列控制律 （3.12） 可用来抵消上式中的非线性。其中 是待设计的等效输入，于是可得到线性的 输入状态

24、关系为 （3.13,输入状态线性化,因此，通过状态变换式（3.10）和输入变换式（3.12），就将用原来的 输入 去稳定原来的非线性动态系统式（3.9）这样一个问题转变成了用新的输入 去稳定新的动态系统式（3.13）的问题。 由于新的动态系统是线性和能控的，采用熟知的线性状态反馈控制律 并适当选择反馈增益，就能对极点任意地进行配置。例如可以选择 （3.14） 而得到稳定的闭环动态系统 它的两个极点都在-2处,输入状态线性化,用原来的状态 和 表示，与此控制律相应的原控制输入为 （3.15） 原来的状态 由 给出为 （3.16） 由于 和 两者均收敛于零，故原来的状态 亦收敛于零,输入状态线性化

25、,采用上述控制后的闭环系统如右图所示。这个控制系统中存在两个环：内环实现输入-状态关系的线性化，外环实现闭环动态特性的稳定性,关于上述控制律，有以下几点进一步的说明： 1.虽然在状态空间中一个相当大的区域内上面的结论均成立，但它不是全局性 的。控制律在 时没有定义。显然，当初始状态位于这些奇 点处时，控制器不能使系统达到平衡点。 2.输入状态线性化是通过状态变换与输入变换相结合而实现的，而在两种变 换中都用到了状态反馈。因此它是通过反馈来进行线性化，简称为反馈线性化。 这一点与基于线性控制的小范围雅可比线性化有着本质的区别。 3.为了实现这个控制律，需要用到新的状态变量（ , ）。若它们在物理

26、上 没有意义，或不能直接测量，则必须测量原来的状态 并用式（3.10）来计 算新的状态变量,输入状态线性化,4.一般说来，控制器设计和 的计算都须用到系统模型。如果模型存在不确定 性，即参数 有不确定性，则从式（3.10）和式（3.12）可见，这种不确定 性对于计算新状态变量 和计算控制输入 都会引起误差。 5.利用这种方法也能考虑跟踪控制的问题，但是这时应将期望的运动用新的状 态矢量来表示，还可能需要进行复杂的计算，将期望运动的特性指标由原来的 物理上有意义的输出变量表示变换成现在的新的状态变量表示。 6.上述设计的成功使人们对将输入状态线性化的思想推广到一般的非线性系 统感到兴趣。在考虑这

27、种推广的时候，将产生以下两个问题： （1）哪些非线性系统能够变换成线性系统？ （2）如果能够进行这种变换，如何找到这个变换,输入状态线性化,考虑下列系统的跟踪控制问题 （3.17） 假定设计的目标是使输出 跟踪期望的轨迹 ，同时保持所有状态 有界，其中 及其足够高阶的时间导数均假定已知且有界。使用这个模型 的明显困难在于输出 只是通过状态 及非线性状态方程式（3.17）间接地 与输入 发生联系，所以不易看出应如何设计输入 来控制输出 的跟踪性能。 假如能够找到系统输出 与控制输入 之间的一个直接而简单的关系，则跟踪 控制设计的困难就会大大降低。事实上，由此想法构成了非线性系统控制设计 中的所谓

28、输入输出线性化方法的基础。用一个例子来说明这一方法,输入输出线性化,考虑三阶系统 （3.18） 为了得到输出 与输入 之间的直接关系，将输出 微分 由于 仍然与 没有直接联系，对上式再微分一次，得到 （3.19） 其中 是状态的函数，定义为 （3.20,输入输出线性化,式（3.19）代表 与 之间的一个显式关系。如果选择输入为下列形式 （3.21） 其中 为待定的新输入，则式（3.19）中的非线性便被抵消了，从而得到一 个输出与新输入之间的简单的二重积分关系 利用线性控制方法很容易对这个二重积分关系设计跟踪控制器。例如，定义跟 踪误码差为 ，选取新的输入 为 （3.22） 其中 ， 为正常数，

29、则闭环系统的跟踪误差满足 （3.23） 它代表一个指数稳定的误差动态特性。因此，如果开始时 ， 则 ， ，即获得了理想跟踪；否则 指数地收敛于零,输入输出线性化,这里需要注意两点： （1）除了奇异点 处之外，控制律处处有定义。 （2）为了实现这一控制律，要求全部状态都能测量，因为计算导数 和输入 变换式（3.21）均要求 的数值。 上面这种首先产生一个线性的输入输出关系，然后再利用线性控制方法 来构造控制器的设计策略称为输入-输出线性化方法，它适用于许多系统，如 果需要将系统的输出微分 次才能得到一个输出 与输入 之间的显式关系， 则称该系统的相对度为 。因此，上述例子中的系统相对度为2。这个

30、术语同 线性系统中所用的相对度的概念（极点超过零点的数目）是一致的。可以严格 地证明，任何 阶能控系统，对于任一输出，最多只需要微分 次就一定能使 控制输入在表达式中出现，亦即 。如果对 微分永远不出现控制输入， 则这个系统就是不可控的,输入输出线性化,值得注意的是，式（3.23）仅说明了闭环动态系统的一部分，因为它只 有二阶，而整个系统是三阶的。因此，系统中有一部分（由一个状态分量描 述）经由输入输出线性化变成了“不能观”的子系统。这一部分子系统称为内 动态子系统。 若此内动态子系统稳定（这里稳定的意思实际上是指在跟踪过程中状态维 持有界，即在BIBO意义上的稳定性），跟踪控制设计的问题就真

31、正地解决 了。否则，上面的跟踪控制器事实上没有意义，因为内动态子系统的不稳定性 可能会产生一些不希望出现的现象。因此，上面这种基于降阶模型式（3.19） 的控制器设计，其适用性依内动态子系统的稳定性而定。 最后还要指出，输入输出线性化方法虽然是在研究输出跟踪问题时提出 来的，但它同样可应用于稳定问题。此外，关于用输入输出线性化来进行稳 定设计，还有必要作两点说明,输入输出线性化,首先在稳定问题中，不一定要选择 具有明显的物理意义（在跟踪 设计中，输出的选择是由具体任务确定的）。 的任意函数均可为了设计的目 的而用来作为人为的输出，从而产生一个以稳定设计为目的的线性输入输出关系。 其次，不同的输

32、出函数选择将产生不同的内动态子系统。有可能一种输出 选择产生一个稳定的内动态子系统（或者不存在内动态子系统），而另一种输 出选择却产生不稳定的内动态子系统。因此，只要可能，就应该选择使相应的 内动态子系统稳定的那种输出函数。特殊情况下，当系统的相对度等于其阶数 时，即当输出 必须微分 次（ 为系统阶数）时，变量 可 作为系统的一组新状态变量，这时不会产生与该输入输出线性化有关的内动 态子系统。故在这种情况下，输入输出线性化实际上变成了输入状态线性 化，从而对于所指定的输出很容易实际状态调节和输出跟踪,输入输出线性化,一般情况下，直接确定内动态子系统的稳定性是非常困难的，因为它一般 是非线性、非

33、自治的，而且与外表的动态子系统之间有耦合。虽然对某些系统 而言，也许可以利用李雅普诺夫或类似李雅普诺夫的分析方法，然而寻找李雅 普诺夫函数并非易事，因而限制了这种方法的普遍应用，所以很自然地想到需 要寻找更为简单的方法来确定内动态子系统的稳定性。为此，从熟知的线性系 统入手，来考察内动态子系统这个概念。 例3.2 两个线性系统的内动态子系统 考虑下列简单的能控、能观线性系统 （3.24,线性系统的内动态子系统,要求 跟踪期望输出 ，将输出微分一次就得到第一个状态方程 其中显含 ，故采用控制律 （3.25） 可产生跟踪误差方程 （其中 ）及内动态子系统 从这些方程可以看出，当 趋近 （同时 趋近

34、 ）时 保持有界， 从而 也有界。因此式（3.25）是系统式（3.24）的一个满意的跟踪控制 器,线性系统的内动态子系统,再来看一个稍微不同的系统： （3.26） 采用与前面一样的控制器可产生同样的跟踪误差动态系统，然而却产生不同的 内动态子系统 由上式可见，当 时， 以及相应地 都趋向无穷大。因此，式（3.25） 对系统式（3.26）便不是一个合适的跟踪器。 为了搞清楚这两个系统之间的本质差别，可以来看看它们的传递函数,线性系统的内动态子系统,系统式（3.24）的传递函数为 而系统式（3.26）的传递函数为 可以看到，这两个系统的极点相同而零点不同。具体地说，设计成功的系统式 （3.24）具

35、有一个左半平面的零点-1，而设计失败的系统式（3.26）却包含 一个右半平面零点1。 可以证明，上述结果（即如果对象的零点在左半平面，也就是说对象是最 小相位的，则内动态子系统稳定）对于所有的线性系统都是正确的,线性系统的内动态子系统,既然在线性系统中内动态子系统的稳定性简单地由零点的位置确定，因此 人们自然会有兴趣想知道这个关系能否推广到非线性系统。为此首先要将零点 的概念推广到非线性系统，然后再确定内动态子系统的稳定性与这种推广了的 零点概念之间的关系。 将零点的概念推广到非线性系统并不是一个十分简单的问题。线性系统是 在传递函数的基础上定义零点的，但传递函数不能推广到非线性系统。此外，

36、零点是线性对象的一个内在特性，而对非线性系统来说，内动态子系统的稳定 性可能与特定的输入有关。 克服这一困难的一个途径是对非线性系统定义一个所谓的零动态子系统。 零动态子系统定义为当系统的输出被输入强制为零时它的内动态子系统,零动态子系统,对于线性系统，零动态子系统的渐近稳定性意味着内动态子系统的全局稳 定性；然而，对于非线性系统却没有如此明显的关系。对于稳定问题，可以证 明，零动态子系统的局部渐近稳定性足可保证内动态子系统的局部渐近稳定 性，这个结论也可以推广到跟踪问题。然而，与线性系统的情形不同，对于非 线性系统的内动态子系统不能得到关于全局稳定性的结论，甚至连大范围稳定 性的结论也不能得

37、到。换言之，即使零动态子系统是全局指数稳定的，也只能 保证内动态子系统的局部稳定性。 关于非线性系统的零动态子系统，可作如下两点说明。首先，零动态子系 统的特性是一个非线性系统的内在特征，它与控制律及期望轨迹的选择无关。 其次，考察零动态系统的稳定性比考察内动态子系统的稳定性要容易得多，因 为零动态子系统仅涉及内部状态,零动态子系统,归结起来，基于输入输出线性化的控制设计可循以下三步来进行： （1）微分输出 直至出现输入 ； （2）选取 来抵消非线性并保证跟踪收敛； （3）研究内动态子系统的稳定性。 若与输入输出线性化有关的相对度等于系统的阶数，则非线性系统可完 全地线性化，因而这一过程确实能

38、得到一个满意的控制器（假定模型是精确 的）。若相对度小于系统的阶数，则非线性系统只是部分地线性化，由此得到 控制器是否真能使用取决于内动态子系统的稳定性。对内动态子系统稳定性的 研究可以通过转而研究零动态子系统的稳定性而局部地简化。若零动态子系统 不稳定，则必须寻找新的控制策略，这时输入输出线性化所提供的简化仅在 于变换后的动态方程是部分线性化的,零动态子系统,在描述这些数学工具的时候，将把矢量函数 称为 上的一个 矢量场，矢量场的平滑性是指函数 具有要求的任意阶连续偏导数，以下将 只关心平滑的矢量场。 给定一个状态 的平滑的标量函数 ， 的梯度记为 它是以 为元素的一个行矢量。类似地，给定一

39、个矢量场 ，其雅 可比矩阵记为 ，它是一个以 为元素的 的矩阵,数学知识,定义4.1 令 为一个平滑的标量函数， 为 上的一 个平滑的矢量场，则 对 的李导数是一个定义为 的标量函数。 李导数其实就是 沿矢量 方向导数。 多重李导数可以递归地定义为 类似地，如果 是另一个矢量场，则标量函数 为 考虑下列单输出动态系统，不难看出李导数与动态系统之间的联系,李导数和李括号,输出的时间导数为 类似地，如果 是一个备选的李雅普诺夫函数，则它的时间导数可以写 为 。 现在再看矢量场的另一个重要数学算符李括号。 定义4.2 令 与 为 上的两个矢量场， 与 的李括号是第三个矢量 场，定义为 。 李括号 通

40、常写为 。多重李括号可以递归地定义为,李导数和李括号,引理4.1 李括号具有下列性质 （1）双线性： 其中 、 、 、 、 、 都是平滑的矢量场，而 和 为常标量。 （2）斜交换性（或反对称性）： （3）雅可比（Jacobi）恒等式： 其中 是 的平滑标量函数,李导数和李括号,可以递归地应用雅可比恒等式来获得一些有用的专门性恒等式。使用它两 次得到 对于高阶的李括号亦可以获得类似的一些恒等式,李导数和李括号,可以微分同胚的概念可看成是熟知的坐标变换概念的推广，其定义如下： 定义4.3 定义在区域上 的函数 ：如果它是平滑的，它的逆 存在并且平滑，则称之为微分同胚。 如果区域 是整个空间，则称

41、为全局的微分同胚。全局的微分同胚很 少见，因此常常要寻找局部的微分同胚，即仅在一个给定点的邻域内定义的变 换。 引理4.2 令 为在 中的区域 内定义的一个平滑函数，如果雅可比 矩阵 在 内一点 非奇异，则 在 的一个子区域内为一个局部 的微分同胚。 微分同胚可用来将一个非线性系统变换成另一个用新的状态表示的非线性 系统，它类似于在线性系统分析中通常所做的那样,微分同胚与状态变换,考虑下列方程所描述的动态系统： 定义新的状态为 求 的微分得 由此不难得到新的状态方程 其中用到了 ，而函数 ， ， 的定义是显然的,微分同胚与状态变换,例4.1 一个非全局性微分同胚 考虑非线性矢量函数 （4.1）

42、 它对所有的 和 都有定义，其雅可比矩阵为 它在x=(0,0)的秩为2，根据引理4.2函数式(4.1)在原点周围定义了一个局部 的微分同胚。事实上，这个微分同胚成立的区域为 因为在此区域内 存在且关于 平滑。然而，在此区域之外，因为 不唯 一，它不能定义一个微分同胚,微分同胚与状态变换,考虑一阶偏微分方程组 （4.2） 其中 与 ， 为 的已知标量函数， 是一个未知函数。很明显，两个矢量 和 唯一地定义了这个偏微分方程组，如果它的解 存在，则称这组矢量 场 为完全可积的。 现在的问题是要确定这些方程在什么条件下可解，这个问题并不是事先就 能一眼看出的，弗罗贝尼斯定理提供了一个比较简单的条件,弗

43、罗贝尼斯定理,方程式（4.2）有解的条件是当且仅当存在标量函数 与 使得 即 与 的李括号可以表示成 与 的线性组合，这个条件称为矢量场 的对合条件，几何上这个条件就是说矢量 在由矢量 与 所确定的平面 内。弗罗贝尼斯定理断言一组矢量场 当且仅当它满足对合条件时是完全 可积的。由于对合条件比较容易验证，故可用它来确定式（4.2）的可解性。 定义4.4 上的一组线性无关的矢量场 是完全可积的，当 且仅当存在n-m个标量函数 满足一组偏微分方程 （4.3） 其中 ，而梯度 是线性无关的,弗罗贝尼斯定理,定义4.5 线性无关的矢量场集合 是对合的，当且仅当存在 标量函数 使 （4.4） 对合的意思就

44、是如果从矢量场集合 中任取一对来组成李括 号，得到的矢量场可以表为原先集合中的矢量场的线性组合。需要说明的是： 1.恒矢量场总是对合的。 2.由单独一个矢量f组成的集合总是对合的。 3.由定义4.5，检验矢量场集合 是否对合等于就是检验下式是否 对于全体 和全体 、 都成立 定理4.1 (弗贝尼斯定理) 令 为一组线性无关的矢量场，当 且仅当这个集合为对合时它是完全可积的,弗罗贝尼斯定理,讨论用下列状态方程描写的单输入非线性系统的输入状态线性化问题 （5.1） 其中 和 为平滑矢量场。研究的问题包括：这种系统在什么条件下能够通过 状态与输入的变换来实现线性化，如何求出这种变换，以及如何基于这种

45、反馈 线性化来设计控制器。 形如式（5.1）的系统称为对控制是线性的，或仿射的。如果非线性系统 具有如下形式 其中 为可逆的标量函数， 为任意函数，则简单的代换 就能将 上述动态方程变成式（5.1）的形式。于是可以先对 设计控制律，再对 求 逆来计算 ，即,单输入单输出系统的输入状态线性化,定义5.1 一个形如式（5.1）的单输入非线性系统，其中 与 为 上的平滑矢量场，如果在 中存在一个区域 ，一个微分同胚 ， 以及一个反馈控制律 （5.2） 使得新的状态变量 和新的输入 满足线性定常关系 （5.3） 其中,输入状态线性化定义,则称该系统是输入状态可线性化的。新状态 称为线性化状态，新控制律

46、式 （5.2）称为线性化控制律。为了简化记号，不仅用 来表示变换状态，而且 表示微分同胚 本身，即写为 。 变换后的动态方程中， 矩阵与 矢量具有特殊的形式，对应于线性伴随 型。不过，局限于这种特殊的等效线性系统并不失一般性，因为任何线性能控 系统均可通过状态变换而与伴随型式（5.3）等价。 从式（5.3）的标准形式容易看出，输入状态线性化是输入输出线性 化当输出函数导致相对度为 时的一种特殊情况，因此，输入状态线性化与 输入输出线性化二者之间的关系可以总结如下： 引理5.1 一个 阶非线性系统，当且仅当存在一个标量函数 ，使以 为输出函数的输入输出线性化具有相对度 时是输入状态可线性化的,输

47、入状态线性化定义,定理5.1 对于非线性系统（5.1），其中 和 为平滑矢量场，当且 仅当存在一个区域 使得下列条件成立时，该非线性系统是输入状态可线性 化的： 1.矢量场 在 内线性无关； 2.集合 在 内是对合的。 对上述条件作几点说明： 1.第一个条件可以解释为非线性系统式（5.1）的能控性条件。对于线性系 统，矢量场 变成 ，因而其线性无关就等价于熟 知的线性能控性矩阵的可逆性，条件1代表一个推广了的能控性条件。 2.对合条件则不是那么直观，对于线性系统，该条件自然满足（此时矢量场为 恒量），而对于非线性系统的情况，这一条件并不总是满足的,输入状态线性化条件,根据前面的讨论，非线性系统

48、的输入一状态线性化可按下列步骤进行： 1.对给定的系统的构造矢量场 ； 2.检查能控性条件和对合性条件是否满足； 3.如果两个条件均满足，则从方程式（5.4）求出第一个状态z1（导致相对 （5.4） 度为 的输入输出线性化的输出函数），即 （5.5a） （5.5b） 4.计算状态变换 与输入变换式(5.2)，其中 （5.6,输入状态线性化方法,例5.1 考虑右图所示机构的控制问 题，该机构代表一个在电机通过扭矩弹簧的 驱动下在垂直平面内运动的杆（单杆柔性关 节机器人）。其动力学方程容易求出为 （5.7a） （5.7b,输入状态线性化方法,由于非线性（重力矩所引起的）出现在第一个方程里，而控制

49、是在第二 个方程里，因而没有明显的方法来设计大范围控制器。现在考虑有无可能实现 输入状态线性化。 首先应将系统的动力学用状态空间表示。选取状态矢量为,可以写出相应的矢量场 与 为 其次，要检验能控性与对合性条件。能控矩阵由简单的计算得出为,输入状态线性化方法,当时 ，其秩为4。此外，由于矢量场 为常 量，它构成一个对合集。因此系统式（5.7）是输入状态可线性化的。 第三步，要求输出状态变换 和输入变换 以实现输 入状态线性化。由式（5.5）以及上面给出的能控性矩阵表达式，新状态矢 量 的第一个分量 应满足 因此， 必然只是 的函数。上述方程最简单的解为 （5.8a） 其它状态可由 得出 （5.

50、8b,输入状态线性化方法,5.8c） （5.8d） 相应地输入变换为 （5.9） 其中 上述状态与输入变换的结果最终得到一组线性微分方程 从而完成了输入状态线性化,输入状态线性化方法,状态方程变换成线性形式后，无论是以稳定或跟踪为目的的控制器设计就 很容易了。继续看柔性杆的例子，其等价线性动态方程可以表示为 假定希望杆的位置跟踪预先指定的轨迹 ，则下列控制律 （其中 ）导致跟踪误差的动态方程为 只要适当地选择上述动态方程中的系数（正常数）就能使系统为指数稳定。然 后再利用式（5.9）就可以求出实际输入,基于输入状态线性化的控制器设计,讨论用下列状态方程描写的单输入非线性系统的输入状态线性化问题

51、 （5.10a） （5.10b） 其中 为系统的输出。输入输出线性化就是要产生输出 与一个新输入 （此处的 类似于输入状态线性化中的等价输入 ）之间的线性微分关系。 具体地说，将讨论下列问题： （1）对于非线性系统如何生成一个线性的输入-输出关系； （2）与输入-输出线性化相联系的内动态子系统的零动态子系统是什么； （3）如何在输入-输出线性化的基础上设计稳定的控制器,单输入单输出系统的输入输出线性化,考虑状态空间中的一个区域（开连通集） 。使用微分几何的符号，重复 微分的过程就是从下式开始 如果对 中的某个点 ，则由于连续性，这个关系在点 的一个 有限邻域 内成立。在 中，输入变换 便产生一

52、个 与 之间的线性关系，即,输入-输出线性化的基本方法是重复地对输出函数 进行微分直到出现输 入 ，然后设计 去抵消非线性。然而，在某些情况下，这个方法的第二步可 能会因为系统的相对度没有定义而无法进行,线性输入输出关系的生成,1.相对度有定义的情况,如果对 中的所有 都有 ，可以对 再进行微分，从而得到 如果 仍然对 中的所有 都为零，就一次又一次地微分下去 直到对于某个整数 ，在 中的某一点 ， 于是由于连续性，上述关系必定在 点的一个有限邻域内成立。在 中，将控 制律 （5.11） 应用于 （5.12,线性输入输出关系的生成,与从前一样，对输出 进行微分直到出现输入 ，于是，如果 的系数

53、 在点不为零，即,便产生了简单的线性关系 （5.13） 在上述步骤的基础上，可以给出下列的定义。 定义5.2 一个单输入单输出系统，如果对于 有 （5.14a） （5.14b） 则称系统在 内的相对度为,线性输入输出关系的生成,2.相对度无定义的情况,由于连续性，这就表明（5.14b）在 的一个有限邻域的成立。就说系统 在 点具有相对度 . 然而，也有可能当出现输入 时，其系数 在点 为零，但是在离 任意近的某些点 不为零。这时非线性系统的相对度在 就无定义，用下面 的简单例子来说明这种情况。 例5.2 考虑系统 式中 为状态 的平滑非线性函数。如果 为所关注的输出，则系统 显然是伴随型，且相

54、对度为2。 然而，如果取 作为输出，则,线性输入输出关系的生成,换言之 因此，对所选取的这个输出的来说，在 系统的相对度既不为1也不为2。 在某些特殊情况下，如上面这个例子，简单地改变输出便能够定义一个等 效的然而容易求解的控制问题。但是一般说来，当相对度无定义时，输入-输出 线性化在这一点就不能直接实现，但可以对其进行近似线性化,线性输入输出关系的生成,当相对度 有定义并且 时，非线性系统式（5.10）可以用 作为新状态的一部分分量而变换成所谓“规范形式”，这种形式能够对内动态子 系统和零动态子系统进行更为严谨的考察。令 （5.15） 在点 的邻域内，系统的规范形式可以写为 （5.16a）

55、（5.16b,规范形式,输出定义为 （5.17） 与 称为在 内（或在 点）的规范坐标或规范状态,规范形式,与输入-输出线性化相联系的内动态子系统对应于规范形式中的最后 个方程 。一般来说，该动态特性依赖于外部状态 。 不过，通过 考虑当控制输出使输出维持恒等于零时内动态子系统的特性，可以定义非线性 系统的一种内在特性，即零动态子系统的特性，对它的研究将能够对内动态子 系统的稳定性作出某些结论。 输出恒等于零的约束条件意味着它的所有时间导数均为零，因而一个系统 的零动态子系统就是当其运动被限制在 中由 所确定的 维光滑由曲面 （流形） 上时的动态子系统。为了使系统在零动态子系统中运行，即要使状

56、 态 保持在曲面 上，根据式（5.12），可以求得输入 为,零动态子系统,在零动态子系统中工作时 系统状态的演变情况如图5.1所 示，在规范坐标中，控制输入 可以写成仅是内状态 的函数,图5.1 时，系统状态在零动态子系统流形上的演变 （a）在原来的坐标系中；（b）在规范坐标系中,对应于这个输入，并假定系统的初始状态确实在曲面上，即 ，系统的 动态方程就可以写成规范形式为 （5.18a） （5.18b） 按照定义，（5.18b）就描述了非线性系统式（5.10）的零动态子系统,零动态子系统,定义5.3 如果非线性系统式 （5.10）的零动态子系统是渐近稳定的，则 称该非线性系统是渐近最小相位的。

57、 可以类似地定义指数最小相位的概念。如果对于任意的 ，零动态子系 统均为渐近稳定，就称该系统是全局渐近最小相位的，否则就称该系统为局部 最小相位的。 现在来考虑基于输入-输出线性化的控制器设计，基本思想是根据线性输 入-输出关系设计控制器，然后再检验内动态子系统是否稳定。以下首先讨论一 个局部渐近稳定的结果，然后就全局稳定与跟踪控制作一些讨论,零动态子系统,考虑非线性系统式（5.10），我们很自然地想要知道，在式（5.13）中 将 选择为简单的极点配置控制器是否能确保整个系统的稳定性。换句话说， 假定在式（5.13）中令 式中系数 的选择应使多项式 （5.19） 全部根严格地位于左半平面。实际

58、的输入 可根据式（5.11）写出为 （5.20） 定理5.2 假定系统式（5.10）的相对度为 ，并且其零动态子系统是局 部渐近稳定的。选择常数 使多项式（5.19）的全部根均位于左半平面，则控 制律式（5.20）所产生的系统是局部渐近稳定的,局部渐进稳定,对于以状态收敛为目标的稳定问题，通常可以自由地选择输出函数 ， 从而可以影响零动态子系统，因此有可能选择能使相应的零动态子系统为渐近 稳定的输出函数，利用上述定理中给出的控制器就能够使非线性系统稳定化。 例5.3 考虑非线性系统 系统在 （其中 ）的线性化方程为 它具有一个相当于纯积分器的不能控模态。定义输出函数,局部渐进稳定,对应于这个输

59、出，系统的相对度为1，这是因为 相应的零动态子系统（令 ）为 它是渐近稳定的。因此，根据定理5.2控制律 可使这个非线性系统局部渐近稳定,局部渐进稳定,有一种基于部分反馈线性化的全局渐近稳定方法是将控制问题看成一个标 准的李雅普诺夫控制器设计问题，但是通过将系统化成规范形式使一部分动态 子系统变成线性而使问题得到简化。同李雅普诺夫设计方法一样，这个方法也 带有尝试的味道，不过它确实有可能获得满意的解。 在将系统化规范形式以后，基本的想法是把 看成内动态子系统的输入， 而把 看成输出。第一步是设法找到一个使内动态于系统的稳定的“控制律” 和相应的体现这种稳定性质的李雅普诺夫函数 。这比寻找使原系

60、 统稳定的控制律容易一些，因为内动态子系统的阶次通常较低。第二步是返回 到原来的全局控制问题，适当地修改 的形式而确定一个候选的李雅普诺夫函 数 ，然后选择 使 成为整个闭环动态系统的李雅普诺夫函数,全局渐进稳定,例如，考虑下列表为规范形式的非线性系统的稳定性问题 （5.21a） （5.21b） 其中 是控制输入，定义 。考察内动态子系统式（5.21b）可以看 出，假如选择 ，则内动态子系统将是渐近稳定的。此外，这个 的表达 式和 要趋于零的要求是一致的。上述讨论启发我们采用以下的设计方法。 在式（5.21b）中形式上用 来替换 ，用 表示体现该系统定性 的李雅普诺夫函数，选取 对 求微分得,