把剩下的两篇给你们贴出来吧。
+ R' w$ L8 |7 _' g6 s C# y
6 |6 C, D! C1 W1 \ h" x6 e+ p' @. F8 d) O- a6 A/ e4 g4 a
都看过舞龙吧?一个张牙舞爪的龙头气咻咻地追逐着一个大绣球,龙身子扭来扭去,还时不时跳跃那么一两下。中国春节没有舞龙,就和洋人的圣诞节没有圣诞老人一样不可思议。想象一下,如果这是一条眼睛看不见的盲龙,只能通过一个人捏着龙尾巴在后面指挥,然后再通过龙身体里的人一个接一个地传递控制指令,最后使龙头咬住绣球。这显然是一个动态系统,龙身越长,人越多,动态响应越迟缓。如果只看龙头的位置,只操控龙尾巴,而忽略龙身子的动态,那就是所谓的输入-输出系统。经典控制理论就是建立在输入-输出系统的基础上的。对于很多常见的应用,这就足够了。
: Z0 h1 S. t+ |2 u# }& [3 W% c+ T5 `/ k
5 ]' u1 |9 L$ X' g
( d* g+ W7 Q# q8 F5 M但是卡尔曼不满足于“足够”。龙头当然要看住,龙尾巴当然要捏住,但龙身体为什么就要忽略呢?要是能够看住龙身体,甚至操纵龙身体,也就是说,不光要控制龙尾巴,控制指令还要直接传到龙身体里的那些人,那岂不更好?这就是状态空间的概念:将一个系统分解为输入、输出和状态。输出本身也是一个状态,或者是状态的一个组合。在数学上,卡尔曼的状态空间方法就是将一个高阶微分方程分解成一个联立的一阶微分方程组,这样可以使用很多线形代数的工具,在表述上也比较简洁、明了。# e y3 E9 O5 I) E
$ F) T9 s; Q" o( W: W, S9 ^; b
! \3 x1 W; ]) y! U0 v# ~9 `! @
' g& j# q( E# G! p1 C. M3 @ x卡尔曼是一个数学家。数学家的想法就是和工程师不一样。工程师脑子里转的第一个念头就是“我怎么控制这劳什子?增益多少?控制器结构是什么样的?”数学家想的却是什么解的存在性、唯一性之类虚头八脑的东西。不过呢,这么说数学家也不公平。好多时候,工程师凭想象和“实干”,辛苦了半天,发现得出的结果完全不合情理,这时才想起那些“性”(不要想歪了啊,嘿嘿),原来那些存在性、唯一性什么的还是有用的。 v7 o; o( i. J% Q6 n8 l a. a# Z; d
% I a* U3 e l6 b% c
2 i" P! b6 I/ g$ {2 `
5 l+ V0 }/ ]3 F: \2 V还是回过来看这条龙。现在,龙头、龙尾巴、龙身体都要看,不光要看,还要直接操控龙头到龙尾的每一个人。但是,这龙不是想看就看得的,不是想舞就舞得的。说到“看”,直接能够测量/观测的状态在实际上是不多的,所谓看,实际上是估算。要是知道龙身体有多少节(就是有多少个人在下面撑着啦),龙身体的弹性/韧性有多少,那么捏住龙尾巴抖一抖,再看看龙头在哪里,是可以估算出龙身体每一节的位置的,这叫状态观测。那么,要是这龙中间有几个童子开小差,手不好好拉住,那再捏住龙尾巴乱抖也没用,这时系统中的部分状态就是不可观测的。如果你一声令下,部分童子充耳不闻,那这些状态就是不可控制的。卡尔曼从数学上推导出不可控和不可观的条件,在根本上解决了什么时候才不是瞎耽误工夫的问题。这是控制理论的一个重要里程碑。; _4 |: e0 n7 K/ V
( a- w( O4 U5 X% l9 }. B! W/ Z: O0 ] ; R( \6 }+ ?' `% z& W- H
+ m) W1 G, {- a
再来看这条龙。如果要看这条龙整齐不整齐,排成纵列的容易看清楚;如果要清点人数,看每一个人的动作,排成横列的容易看清楚。但是不管怎么排,这条龙还是这条龙,只是看的角度不同。那时候中国人的春节舞龙还没有在美国的中国城里闹腾起来,不知道卡尔曼有没有看到过舞龙,反正他把数学上的线性变换和线性空间的理论搬到控制里面,从此,搞控制的人有了工具,一个系统横着看不顺眼的话,可以竖着看,兴趣来了,还可以斜着看、倒着看、拧着看,因为不管怎么看,系统的本质是一样的。但是不同的角度有不同的用处,有的角度设计控制器容易一点,有的角度分析系统的稳定性容易一点,诸如此类,在控制理论里就叫这个那个“标准型”。这是控制理论的又一个里程碑。1 _( U! F% C( ~0 @! r( v
- U$ W1 H$ T' q$ R2 e$ a
6 g1 ^) M, U, {( x4 ]( j. P
2 M* L% R5 r% ~" m1 S: R- m* u# y- Y观测状态的目的最终还是控制。只用输出的反馈叫输出反馈,经典控制理论里的反馈都可以归到输出反馈里,但是用状态进行反馈的就叫状态反馈了。输出反馈对常见系统已经很有效了,但状态反馈要猛得多。你想象,一个系统的所有状态都被牢牢地瞄住,所有状态都乖乖地听从调遣,那是何等的威风?台商大奶们的最高境界呀。) `1 d G8 S6 d/ A, x5 d
8 ]1 G* m/ p7 M9 m* W9 s2 D, n
) c3 S8 T, I1 i
. j9 v$ E( V( [9 W7 ~尽管学控制的人都要学现代控制理论,但大多数人记得卡尔曼还是因为那个卡尔曼滤波器(KalmanFilter)。说它是滤波器,其实是一个状态观测器(stateobserver),用来从输入和输出“重构”系统的状态。这重构听着玄妙,其实不复杂。不是有系统的数学模型吗?只要模型精确,给它和真实系统一样的输入,它不就乖乖地把系统状态给计算出来了吗?且慢:微分方程的解不光由微分方程本身决定,还有一个初始条件,要是初始条件不对,微分方程的解的形式是正确的,但是数值永远差一拍。卡尔曼在系统模型的微分方程后再加了一个尾巴,把实际系统输出和模型计算的理论输出相比较,再乘上一个比例因子,形成一个实际上的状态反馈,把状态重构的偏差渐进地消除,解决了初始条件和其他的系统误差问题。卡尔曼滤波器最精妙之处,在于卡尔曼推导出一个系统的方法,可以考虑进测量噪声和系统本身的随机噪声,根据信噪比来决定上述比例因子的大小。这个构型其实不是卡尔曼的独创,隆伯格(Luenburg)也得出了类似的结构,但是从系统稳定性角度出发,来决定比例因子。同样的结构大量用于各种“预测-校正”模型结构,在工业上也得到很多应用,比如聚合反应器的分子重量分布可以用反应器的温度、进料配比、催化剂等来间接计算,但不够精确,也无法把林林总总的无法测量的干扰因素统统包括进数学模型里,这时用实验室测定的真实值来定期校正,就可以结合数学模型及时地特点和实验室结果精确的特点,满足实时控制的要求,这或许可以算静态的卡尔曼滤波器吧。卡尔曼滤波器最早的应用还是在雷达上。所谓边扫描边跟踪,就是用卡尔曼滤波器估计敌机的位置,再由雷达的间隙扫描结果来实际校正。实际应用中还有一个典型的问题:有时候,对同一个变量可以有好几个测量值可用,比如有的比较直接但不精确,有的是间接的估算,有很大的滞后但精确度高,这时可以用卡尔曼滤波器把不同来源的数据按不同的信噪比加权“整合”起来,也算是民用版的“传感器融合”(sensorfusion)吧。# g" s( V6 o( B/ L
6 T! A5 O& D. P' Z
! w7 x% h; f3 ^+ K! C. [7 V$ e" _$ u' I
除了卡尔曼滤波器外,卡尔曼的理论在实际中用得不多,但是卡尔曼的理论在理论上建立了一个出色的框架,对理解和研究控制问题有极大的作用。
1 \6 i2 |) a/ p* @% \4 }; e9 R9 e6 P% m; j+ u5 ?, a
' @9 m+ O% x$ H0 p
, G; N0 p3 E' x0 T7 {顺便说一句,卡尔曼的理论基本局限于线形系统,也就是说,十块大洋买一袋米,二十块大洋就买两袋米,都是成比例的。实际系统中有很多非线性的,两千块大洋还能买两百袋米,但两千万大洋就要看米仓有没有货了,不是钱越多,买的米越多,有一个“饱和”的问题。另一方面,要是米仓有足够的货,两千万大洋的集团购买力强,或许就可以买三百万袋米了。这些只是非线性的简单例子。所有偏离线性问题的都是非线性,所以非线性的问题研究起来要复杂得多。实际系统还有其他特性,有的是所谓时变系统,像宇宙火箭,其质量随时间和燃料的消耗而变,系统特性当然也就变了。很多问题都是多变量的,像汽车转弯,不光方向盘是一个输入,油门和刹车也是输入变量。状态空间的理论在数学表述上为线性、非线性、单变量、多变量、时变、时不变系统提供了一个统一的框架,这是卡尔曼最大的贡献。
# A. |/ Q, W3 Q k
5 _* e4 E& S, v; I$ J . h) r% ?$ |/ O" O K1 {" _9 f+ a3 R
3 S. S( q2 l$ a4 L* s" z5 Z最优控制: q3 b- ^1 Y6 Y$ Z" A) z+ z$ d
4 m& y7 V/ ]- W s- a: l + f3 b$ r" Y6 a; P
5 g9 t3 U6 I7 m) i o( [
前面说到,搞控制有三拨人:电工出身的,化工出身的,和应用数学出身的。在卡尔曼之前,电工出身的占主导地位,数学家们好在象牙塔里打转转,化工出身则还对控制理论懵里懵懂,还在“实干”呢。卡尔曼之后,一大批数学出身的人,利用对数学工具的熟悉,转攻控制理论。一时间,控制理论的数学化似乎成了“天下大势,顺我者昌,逆我者亡”了。在状态空间的框架下,多变量没有太多的问题好研究,于是最优化成为控制理论的新时尚。) i8 h& W( k/ k2 i- _1 p
8 r( l3 C& O8 @3 C6 `
% {) f& g- Q: D- o) v) F% M5 j7 ^
* K- L7 Y5 }- G# q9 F( Q+ e对于一根给定的曲线,求一阶导数为零的点,就是这个曲线的极点;在对这一极点求二阶导数,大于零就是最小点,小于零就是最大点。这是牛顿老爷子就整明白的东东,现在高中或大一人人都学过的东西。但是动态系统是一个微分方程,对微分方程求一阶导数为零,就导致变分法和所谓欧拉方程。但这个东西用起来不方便。实际的最优控制不大直接使用变分。0 b* z' z8 L. o- D+ y6 |
9 I# q7 O: B: s J$ p 6 V% ^) j& v S, a e0 [+ J+ h
' Y- M1 F6 w& v' B% X俄罗斯是一个奇怪的地方。老毛子们要么蔫蔫的,要么疯狂的。俄罗斯的悲剧电影看得你也郁闷得想去自杀。但是老毛子要是搭错筋整出一个喜剧呢?那你要么跟着疯狂,要么被逼疯狂。就是这么一个地方,除了无数托尔斯泰、柴可夫斯基、普希金、屠格涅夫等文艺巨璧外,俄罗斯也盛产数学家,其中两个是庞特里亚京和学控制的人老惦记着的李亚普诺夫。# X. M5 x2 |0 _$ g& g7 w J
6 ^7 j* ^3 X7 `% t4 V
0 S+ Y0 |& K- z! Z' O
B) g- N% F2 _" Q8 X2 @$ A: |- Q7 Q
庞特里亚京的极大值原理听起来吓人,其实说白了很简单。看见那山吗?山顶就是最高点(切,这还用说?);看见那山坡吗?要是在山腰划一道线,从山下往上爬,尽管山坡还在继续往上延伸,但是到线为止,不得逾越,那山腰上那道三八线就是最高点(切,这还用说?)。这就是庞特里亚京的极大值原理。当然啦,庞特里亚京是用精巧、深奥的数学语言表述的,要不然他在数学界里也别混了。不过呢,意思就是这么一个意思。7 Q8 s( j$ H8 b" G& Y; H6 \
& {6 Z9 I- a; }
+ o! j% W A3 Z7 g p7 |' J3 }- C1 H: P% M
庞特里亚京极大值原理的一个典型应用就是所谓最速控制问题,或者叫时间最优控制(timeoptimalcontrol)问题,简单地说,就是给定最大马力和最大刹车功率,问题是怎么开汽车能够最快地从A点开到B点(什么转弯、上下坡、红绿灯,这种琐碎的事情也要拿来烦人?一点品味都没有!)。你可以用优美但繁琐的数学求证,或者用膝盖想想:最快的方法,就是一上来就加足马力,全速前进;然后在不到终点的某一地点,全力刹车,使慢下来的汽车在到达终点时正好停下来。这是最快的方法,不可能比这更快了。稍微发挥一点想象力,可以想象“梆”的一下,控制量的油门板一脚到底,再是“梆”的一下,刹车板一脚到底,控制任务就完成了。所以最速控制也叫“梆-梆”控制(bangbangcontrol)。+ B$ u5 [' Z+ Y2 X4 b4 i
# j8 O# R0 e1 O
& _/ Y8 a3 R3 u8 s" p% b- g: J
; p9 j2 g) ~! w4 p/ t最速控制在理论上是一个很有趣的问题,解法也是简洁、优美,但在实际中直接使用的例子实在是凤毛麟角,一般都是开始时用“梆-梆”,或者匀速上升到最大控制,以缓和控制的冲击力;到终点附近时,改用PID作闭环微调,以克服“梆-梆”对系统模型误差十分敏感的缺点。电梯控制就是这样一个例子。从一楼到四楼,电动机很快匀速上升到最高转速,一过三楼,电动机就下降到较低的转速,然后根据电梯实际位置和楼面之差,有控制地减速,直至停下来。要是控制参数调得好的话,一下子就稳稳当当地停下来;要是调的不够好,会在停下来之前上下晃荡几下。
6 L% |$ y# a% Y9 F% W) K
6 k3 [- Y4 Q4 G; O2 q+ R+ B
4 y& N% N; y: U& Q; [# ` ! G. h2 q% C9 N, ?2 z
0 [' S# d. m1 U( j5 [2 y
最速控制问题是较早的最优控制问题,它提供了一个很有趣的思路,但这颗树上开花结果不多。相比之下,最优控制的另外一支枝繁叶茂,有生气得多了。这一支就是线型二次型最优控制(linearquadraticcontrol)。数学是有趣的,但数学也是盲目的。在数学上,最优化问题就是一个在曲面上寻找凸点的问题,只要你能把一个物理问题表述成一个曲面,数学是不理会姓无姓资的。既然如此,控制偏差的平方在时间上的累积就是很自然的选择,二次型就是平方在线性代数里的说法。线型系统的偏差平方有很好的性质,这山峰是一个馒头山,没有悬崖峭壁,没有沟坎,容易爬;一山只有一峰,不用担心找错地方。不过这山峰不能只包含控制偏差,还要包含控制量,原因有三个:
% o$ N2 n) e4 R! b4 e$ n6 Q% n% X. D& H/ o+ h! p
% ]0 U8 W$ U$ M1 t7 S
2 N( A9 C* Q) c! K, H& a% Z7 N1、如果不包括控制量,那最优控制的解是没有意义的,因为无穷大的控制量可以使累计平方偏差为最小,但无穷大的控制量是不现实的。
6 [; [; t8 {* v: t; V* Y
^1 S% I- E# ~ " |9 k' _4 A6 a3 a$ D% f2 O
+ [7 V5 ]: _6 `2、控制量的大小通常和能量、物料的消耗连在一起,实际控制问题一般是“在最小能量、物料消耗小达到最高的控制精度”,所以在“山峰”中同时包含控制偏差和控制量是很自然的。' Q, @* ~6 E$ @# ^( O8 z
) {, h* u) X+ l4 Q* n/ t/ d
7 S5 q( w8 V# R0 B' |' E5 ^( s7 {+ S X d
3、系统模型总是有误差的,误差“总是”在高频、大幅度控制作用下最突出,所以为了减低系统对模型误差的敏感性,也有必要限制控制量的大小。
: [" c0 g$ }0 _7 F M) u
& s' l* J% d5 Q! p) k" R
0 A0 f" {; H# u% K9 P6 l! @7 l$ e- b0 D+ w# a# z
所以线性二次型最优控制的“目标函数”(也就是定义山峰形状的数学表述)是一个控制偏差和控制量各自平方的加权和的积分。积分当然就是“在时间上的累积”了,加权和其实就是在控制偏差的平方项和控制量的平方相前分别乘以比例因子,然后再相加。两个比例因子的相对大小决定了谁更重要。运用矩阵微分和线型代数工具,不难导出线性二次型控制律—一个基本的状态反馈控制律!只是反馈增益矩阵是按最优化的要求计算出来的。
- \; `* h4 o- h. q& k
/ u' j! N3 F( Q0 O' }; q
2 m* F5 T8 I) ], J- R7 l
2 p& @" r; O3 r$ t3 E8 h9 p `; J1 p线型二次型最优控制开创了一整个新的控制领域,很快从状态空间走出来,进入其他领域,子孙繁衍,人丁兴旺。这一支是当今最优控制在应用中的主体。1 r- t4 C( C- Y+ D! ^
; p) j+ C4 w( l E/ s! z
% P5 d/ l# M" d- R+ I* A: h i% m
* ~/ O- y7 r: @5 k: N& H& D
线性二次型控制具有各种各样的优点,但是,线性二次型没有回答一个最基本的控制问题:这个闭环系统是不是稳定。这里,我们的饱受牵记的李亚普诺夫同志出场了。李亚普诺夫也是一个脑子搭错筋的人,一百多年前,玩微分方程玩出了瘾,整出两个稳定性(或者叫收敛性)的定理,前一个没有什么太了不起的,把非线性系统线性化,就是把一根曲线用很多一小段、一小段的直线近似,然后按直线来分析。后一个就有点邪门了。老李琢磨出一个定理,说是对于任意一个系统,如果能找到一个自我耗散的能量函数(数学说法是正定函数),也就是其数值永远为正,但随时间渐进地趋向零,或者说这个能量函数对时间的导数永远为负,那这个系统就是稳定的。据说定理的证明是一个天才的杰作,我等凡人只有频频点头的份。不过想想也对,系统的能量耗散没了,系统不也就安分下来了吗?当然就稳定喽。" U5 N+ a, A1 {) O
. @# g3 A2 x" r0 v* }
& ]+ ~3 _+ E1 j) n$ I3 d& q7 w9 h4 `! b9 x! t# P
李亚普诺夫比卡尔曼还要数学家,他的定理只给出“如果存在……就……”,怎么找这个自我耗散的能量函数他没说,这个函数一般是什么样他也没说。这难不倒搞自动控制的广大革命群众。不是要正定函数吗?不是没有限制什么形式的正定函数吗?那就用控制偏差的平方吧。说干就干,但是干着干着,好玩的事情出现了,对偏差平方(或二次型)的求导,导出了和线性二次型最优控制推导过程中同样出现的一个所谓黎卡蒂方程(Riccatiequation),感情这是殊途同归呀。换句话说,线性二次型控制总是稳定的。这是线性二次型控制的一个重要贡献:把最优性和稳定性连到一起。" E3 w" _3 I/ N
' z2 B( e3 N2 k9 a + `9 M0 x6 I' M. d ]1 F
) u' k( F* N% u7 l7 x1 O
再扯一句李亚普诺夫,他的第二个定理非常威猛,但是有点像一个奇形怪状的大锤,到现在人们还在找合适的钉子,好用这把大锤砸几下。线性二次型控制是已知的仅有的几个钉子之一,另一个是变结构控制,也可以用李亚普诺夫方法,这是题外话了。5 h+ @; o( @. h& p1 q) q
4 C' a; Z* I" [) [$ i
' f5 {. H3 Q p
3 D6 c) F" a; A# m2 V4 c" [' m数字控制
" Z7 f! a- w, i2 g6 c4 D
/ x. v9 A. O, p( i" Q ) j, q) C n4 T/ y
7 _4 P& _$ N3 j+ g* o# ]都说瓦特的蒸汽机后,计算机是影响人类进程最大的发明,计算机当然也对自动控制带来深刻的影响。如前所述,控制理论基本上都是围绕微分方程转的,所以在“本质”上是连续的。但是数字计算机是离散的,也就是说,数字控制器的眼睛不是一直盯着被控对象看的,而是一眨一眨的。数字控制器的“手脚”也不是一刻不停地连续动作的,而是一顿一顿的。这是数字计算机的天性使然。于是,传统的控制理论全部“翻译”到离散时间领域,微分方程变成了差分方程,所有方法、结论都有了连续、离散两套,不尽相同,但是大同小异。
- K( ?7 |, t5 y K5 K# n! g
+ W6 a; U+ _$ v+ Q- n; z : S5 Z8 k/ H" a/ z5 m
$ D2 O8 w) o4 w: Y7 b" E
要是数字控制就是简单的连续系统离散化,计算机控制也就没有什么了不起。离散控制带来了一些连续控制所不可能具备的新特点,这就是:差分方程用清晰界定的时刻之间的关系来描述动态过程。回到洗热水澡的例子,如果热水龙头不在跟前,而是在村外一里地的小锅炉房里,你只能用电话遥控,那水温或许可以表示为' ]; g* R9 _0 u) B' F2 f
/ S: K" v( s4 P! R5 t
7 m! |. v) X: p& P: ^
' G1 D+ y; ]: J) r) h1 Q* G* }下一分钟水温=0.7*现在水温+0.2*上一分钟水温+0.1*再上一分钟水温+0.4*(5分钟前锅炉房龙头开度-6分钟前锅炉房龙头开度)0 M# E% C$ _% @, ~- S/ C9 r
/ ~" k% Z; ], i' ~/ U1 m% T
8 S0 ]$ y) C4 ?& D9 Q a& m
2 y8 k# S0 D+ F; h( O; x' k% h1 t显然,下一分钟的水温受现在水温的影响比上一分钟和再上一分钟的水温的影响要大,但锅炉房龙头开度要是不变,现在、上一分钟、再上一分钟水温都一样的话,下一分钟的水温也应该和现在的水温一样。为什么用5分钟前锅炉房的龙头开度呢?那是因为热水从村外流到洗澡房要有一定的时间,这个时间就是滞后。要是把时间向前推,那现在的龙头开度就会影响5分钟后的水温。这说明了离散模型的一个重要特质:预估能力。所有预报模型都是建立在离散模型的这个预估能力上,不管是天气预报,还是经济预测,还是自动控制里对有滞后的过程的控制。
6 p% z1 D) ]" U, Z0 |% m! U5 F0 V
7 {1 z/ O8 N1 x* B, j- T) d! d# K! R
& h1 k' B" @2 j7 @* f/ e6 d" G, j; ~
3 Z* D: P+ S B* S数字控制的另一特质是可以实施一些不可能在连续时间实现的控制规律。工业上常有控制量的变化需要和当前的实际值有关的情况。比如对于不同的产品,反应器的转化率总是大体在88-92%之间,没有太大的变化,但是催化剂可以在0.5到35ppm之间变化,采用常规的PID的话,增益就非常难设,对一个情况合适了,对另一个情况就不合适。所以催化剂需要按百分比变化率调整,而不是简单地按偏差比例调整。比如说,转化率偏离1%时,催化剂要是在0.5ppm,应该调整0.05ppm;但是在15ppm的时候,就应该是1.5ppm。这样,控制律就可以表示为
! ~4 R8 A. I: j T/ Q
2 V2 n; I7 s- u8 x/ o; x0 f" h % R' G2 ]9 |6 u' Y, |
: ^4 l$ b& [: W% j! c
当前的控制量=上一步的控制量*(设定值/当前的测量值)
1 u* J! w% x( Z) \8 S3 O. ^" R- D2 C' V2 l# F) ]3 ]
6 r) H8 m% I* Y5 [( i. \- Y4 t
2 x4 E0 t4 j. H( b- G. q3 F- e也就是说,在被控变量高于设定值10%的情况下,控制量也增加10%;测量值和设定值一样时,控制量不再变化。实际使用时,谁除以谁要根据测量值上升你是要控制量上升还是下降来决定,控制律也要稍微修改一下,成为
9 q1 E1 y) W* n# \5 o a1 u9 Y+ ~/ B
8 m! ^- G5 m) H' [3 {/ |6 r7 x! [ 8 Z- O2 V( r. N* d) i9 I) G
; M" l* L; T$ V8 r, h' z% H
当前的控制量=上一步的控制量*(当前的测量值/设定值)^k
9 |; r# p0 }1 b
3 g$ P2 o) J% p- `$ p( F
% M5 Y4 r; [8 B% C; k1 H# D1 D8 d, I+ F! M
k次方是用来调整控制律对“偏差”(这是已经不是差值,而是比值了,严格地说,应该叫“偏比”?)的灵敏度,相当于比例增益。这个控制律实际上相当于对数空间的纯积分控制,要是有兴趣,对很多常见的非线性过程有相当不错的效果,实现也简单。然而,这是一个本质离散的控制律,在连续时间里无法实现。
' ?: M7 `( m( Y7 ~, k
; @( S2 K! l3 ~; K V) u ^
6 v) |: J( P4 e# R0 i9 a- n4 V- W% M( a* D6 H5 X4 n
离散控制可以“看一步、走一步”的特性,是连续控制很难模仿的,也是在实际中极其有用的。0 T+ C7 ?* n0 i! W# P
5 [: ~9 H1 N: X9 y! g) X$ S; h 3 s- @4 H; B% f' A2 [: c5 m9 v
- ^( U e, E0 ~4 X6 ~ r) h辨识
0 D9 w% b4 i) ]5 b6 ^* H z
8 ^$ G( E) J7 d( A. q6 N' J2 ? + j5 }4 ~ [. m% Q) ]4 O
9 s6 Z# s1 P$ N: r( c
形形色色的控制理论再牛,没有被控过程的数学模型,照样抓瞎。前面的洗澡水温就是一个数学模型。这个模型是杜撰的,当然可以很容易地给它所有模型参数。但在实际中,模型参数不会从天上掉下来。多少科学家毕生致力于建立某一特定的物理、生物、化学或别的学科的数学模型,基本机制已经清楚的模型都不容易建立,更不用说很多过程的基本机制或深层机制并不清楚。所以靠机理推导被控过程的数学模型是可能的,但对日常的控制问题来说,并不实际。这就是控制理论的另一个分支—辨识—一显身手的地方了。
; F" B- k% r- s! k0 D- f" |' e9 Y5 Y; h
7 N8 \: U7 B' P5 j! }' F2 h7 C
$ f. Q7 J; M- \4 o% V& I# S0 V2 l# f如果给定一个模型,也就是一个数学公式,给它一组输入数据,模型就可以计算出对应的输出数据。比如说,给定模型y=2*x+1,再给出x=1,2,3,4,那y就等于3,5,7,9,就这么很简单。辨识的问题反过来,先给定一个模型结构,在这里就是y=a*x+b,已知输入-输出数据是x=1,2时y=3,5,要求计算出a和b。显然,这是一个二元一次方程,谁都会解。在实际中,输入-输出的观察数据含有测量噪声,这对参数估计的精度不利;但通常积累观察的数据量远远超过未知参数的个数,不说数学,感觉上这就应该对克服测量噪声有利,关键是怎么利用这“多余”的数据。一个办法是把数据组两两配对,借众多的二元一次方程,然后对解出来的a和b作平均。还有一个办法就是有名的最小二乘法了,说穿了,就是以a和b为最优化的“控制量”,使模型输出和实际观测值之间的累积平方误差为最小。
T7 g. Z3 N4 c I( D
l$ N* P& T. h. D ! G; k8 N: c) K/ q, h
0 q8 Q4 R2 e3 m. n H实际工业过程大多有多年的运行经验,大量的数据不成问题。对于大多数常见过程,模型的基本结构和定性性质也可以猜一个八九不离十,有了如此有力的数学“大锤”,那么应该可以砸开一切建模的硬核桃啦。且慢,世上没有真正的“神奇子弹”,一个问题解决了,另一个同等难度的问题又会出现。对于辨识来说,问题有好几个。. b0 W) S5 M: T' d
$ n9 p" b; ]1 F- N0 I- y
/ p/ W6 a# N: T! s8 G( ?
7 \ l& l6 ?( X( p
第一个问题是工业数据的闭环性。大多数重要参数都有闭环回路控制。如果没有闭环回路控制,那要么就是过程特性实在太复杂,简单回路控制不了;要么就是这个参数其实不重要,飘移一点没人在乎。然而,一旦闭环,系统地输入和输出就是相关的了。这一相关不要紧,输入-输出数据之间的因果性就全乱了:输出通过被控过程本身和输入相关(这是好的,辨识就是要测算出这个相关关系,输出要是和输入不相关,也没有控制或辨识什么事了),输入通过反馈和输出相关;输入-输出成为一个闭合系统,你可以用任意多条定理或方法证明同样的事:由于因果不分,闭环辨识是不可能的,除非另外加入“新鲜”的激励,比如使劲变设定值,或者在闭环回路里额外施加独立于输入、输出的激励信号,比如“莫名其妙”地把阀门动几下。弄到最后,工业数据到底能用多少,就不是一个简单的回答。有的过程常年稳定操作,像乙烯装置,只有小范围的微调。这倒不是人家懒或者不求上进,而是这些装置早已高度优化,常年操作在极其接近极限的位置,但原料和产品单一,所以工艺状况不怎么大变。这种系统的闭环数据用起来很吃力,常常必须做一定的开环试验。有的过程经常在不同的状态之间转换(transition),或者由于不同的原料,如“吃”得很杂的炼油厂,或者由于不同的产品,如聚乙烯装置,这实际上就是“使劲变设定值”,是新鲜的激励。这种系统的闭环数据比较好用,但有别的问题,下面要谈到。
* v* m: d* t E6 y
- L, @6 _4 U! Q; R2 Q, [& `* k# }
0 E% }. H% q; y0 q! K% e L6 T% O" A! ]; ~; w+ d, T* I( |& C
第二个问题是动态和稳态。动态模型的作用有两个:一是描述需要多少时间输出才能达到某一数值;二是输出最终能够达到什么数值。用股票市场举一个例子,你需要知道两件事:一是这支股票最后会升到多少,二是需要多少时间才能升到那里,只知道其中一个对你并没有太大的用处。当然为了简化,这里假定这支股票一路飙升,不来忽升忽降(也就是非线性)或跌买涨卖(也就是闭环影响)的名堂。这就要求输入-输出数据必须包含充分的动态和稳态信息,过于偏颇其中一方面对另一方面会不利。所以,长期稳定运行的过程中可能包含足够的稳态数据,但动态不足;常年不怎么稳定的过程可能包含足够的动态数据,但稳态不足。用PID控制打比方,精确的稳态数据有助于计算正确的比例控制增益,精确的动态数据有助于计算正确的积分和微分增益,显然,把比例增益整对了更为重要。为了获得精确的稳态,在辨识中常常需要等过程开环稳定下来才进行下一步,但是问题是,实际过程有时时间常数很长,几个精馏塔一串联,时间常数几个小时是客气的,一、两天都是可能的。这样一来,一个不太大的模型,十来个变量,开环试验一做就是一、两个星期或者更长。要是一个装置能够两个星期开环,那也不需要什么控制了。
6 I% O# Y7 _* d6 H6 K$ E; A: i4 N
1 R: i& \+ C. C4 k) Q2 r. q: d
9 `/ w8 I9 i9 Y- q5 @ R+ }- R/ V e" z
第三个问题是激励的信噪比。都说人类活动是二氧化碳和温室效应的主要原因,但要是你去生一堆篝火,再去高空大气层去测一测二氧化碳和温室效应,肯定什么也测不出来,本来多少,现在还是多少。为什么呢?不是因为这堆篝火没有效果,而是环境中的自然的变化远远超过了篝火的作用,换句话说,就是噪声远远超过了信号。工业测试也是一样,信号一定要有一定的强度,否则是白耽误工夫。信号强度应该使过程达到严重失稳的边缘,这样才好获得在大范围内都精确的模型,以便控制器不光在“风平浪静”的情况下可以正常工作,在“惊涛骇浪”的情况下也能使系统恢复稳定。然而,工厂以生产为主,在一切都“斤斤计较”的今天,如此大范围的测试所带来的产品损失甚至对设备的可能的危害,都是工厂极不愿意见到的。理论家们设计了一个伪随机信号,用一连串宽窄不等的方波信号,作为激励过程的输入,在理论上可以使过程参数的平均值不致偏离设定值太多,但ISO9000不仅要求产品质量的平均值要保证,产品质量的一致性也要保证。再说,伪随机信号的脉宽不好确定,太窄了,稳态数据不够;太宽了,和常规的阶跃信号也没有什么两样。所以伪随机信号在实际上用得很少。6 T. }" |! L" d& s
" _/ A# Y D' Q, Y V2 y7 | C
8 Z% M4 S( }2 t
3 c/ {7 b7 F$ |( {0 e第四个问题是输入的相关性。实际工业过程到了要用辨识来确定模型的时候,都是单回路对付不了了,所以都是多变量过程。在理论上,多个输入变量可以同时变化,只要输入变量的变化是相互独立的,数学上容许多个输入变量同时变化,而辨识可以正确地辨别模型。然而,在使用实际过程的历史数据时,常常遇到多个输入变量并不相互独立的问题。比如说,在制作巧克力的过程中,香草巧克力比较“苦”,或者说不太甜,而牛奶巧克力比较甜。问题是做牛奶巧克力时,不光加糖,还要加牛奶(废话,不加牛奶那还是牛奶巧克力吗?)由于两者总是同时出现,从纯数学角度来说,在甜度模型里,就难以辨别甜度是由于加糖的关系,还是由于加牛奶的关系。有的时候可以根据对具体过程的认识,人工地限制辨识的过程,来消除这种影响,有的时候,就不太容易了,只好不用历史数据,专门做试验,用各自独立的输入,便是模型。7 f2 K) c! e, J9 a
8 R5 y( @2 z1 c( [+ _
' q2 s8 B4 O# t3 D6 U% O* u8 q, c6 I* A
第五个问题是模型结构。模型结构包括两个方面,一是模型的阶数,二是剔除在物理上不可能的模型。辨识的模型归根结蒂还是差分方程,这就有一个如何预设阶数的问题。数学上有很多验前和验后的检验方法,在工业上,人们偷一个懒,改用非参数模型,也就是用一条响应曲线而不是一个方程来表述一个模型,这样就可以绕过阶数的问题。但是剔出不现实的模型还是一个手工活,需要对每一个模型仔细研究,以确定模型所描述的动态关系是否合理。数学方法还是不够可靠。
9 ` J5 |7 K; q2 l# b: d i; W% Z( Q; s C
$ Y: B' Y9 F- j+ g1 p6 R: s7 _$ c7 E d% O* e7 c1 _
在搞模型的人中间,常常会听到黑箱、白箱和灰箱的说法。黑箱模型就是不理会实际过程的物理、化学等性质,纯粹从数学出发,假设一个模型结构,然后用种种数学方法找出一个最好的模型。白箱反其道而行之,从物理、化学等性质出发,建立机理模型。黑箱模型的好处是“放之四海而皆准”,不需要对具体过程有深入的了解。黑箱模型是一种削足适履的作法,但是如果履本身就做得比较好,具有相当的灵活性和适应性,就并不需要削太多的足。由于黑箱模型可以自由假设模型结构,黑箱模型的处理和使用都比较方便。黑箱模型是经验主义的,数据里没有包含的情况,黑箱模型无法预测。白箱模型则是“量身度造”的,反映了过程的物理、化学等性质,对实际过程的数据依赖较少,对数据中不包含的情况也能可靠地预测。但是白箱模型的结构由具体问题决定,得出的模型不一定容易使用。在实际中,人们经常在假设一个模型结构的时候考虑进大大简化的过程机理,所以模型结构不是凭空拍脑袋出来,而是粗略地抓住了过程的基本特质,然后再用黑箱方法的“数据绞肉机”,将简化模型没有能够捕捉的细微末节一网打尽。这种模型结合了黑箱和白箱的特点,所以称为灰箱。实际建模中,纯粹黑箱或白箱的成功例子很少,灰箱的成功机会就要多得多。
3 ^9 p2 T% C6 J+ A- L" _' M8 N* `# k: z
: _3 Q* N& h1 {! {! P3 r2 y . q: {0 D8 }6 f1 X
D1 W% E: k3 h! w
不管什么箱,最后还是有一个如何辨识实际过程的问题。闭环辨识的好处不用多说了,问题是如何从闭环辨识中获得有用的模型。工业上有一个办法,没有一个“官名”,但实际上是一个开环-反馈过程。具体做法是这样的:先用粗略的过程知识构造一个简单的多变量控制器,其任务不是精确控制被控过程,而是将被控变量维持在极限之内,一旦逼近或超过极限,就采取动作将其“赶”回极限内;但只要在极限内,就按部就班地作阶跃扰动,测试过程特性。测试的结果用来改进控制器的模型,然后再来一遍。几遍(一般两遍就够了)之后,模型精度应该很不错了。这个方法比较好地解决了辨识精度和过程稳定性的要求。2 m% w' o, z( r, p$ j8 U
7 F$ Q* v: h" ?& G
% L8 Z& v3 r7 f; S
" t' b2 C7 v# J2 Y( B
自适应- F) r" V1 H( ^9 o, ?% G" B
7 S9 {5 Q4 O( x/ q/ u
! M/ I8 _. `% o5 {: P) a* @# R' B: `4 j5 r o/ U- M, ?0 V& X
西游记里最好看的打斗是孙悟空大战二郎神那一段。孙悟空打不过就变,二郎神则是“敌变我变”,紧追不舍,最后把个无法无天的顽皮猴子擒拿归案。用控制理论的观点看,这“敌变我变”的本事就是自适应控制控制器结构根据被控过程的变化自动调整、自动优化。
! o- ^) `$ L' F$ A( {9 j2 Q$ X; c' R: z3 O- L) o, P5 z' M
8 T* x% X1 O4 W
' Q2 o( n" U2 k7 e5 ?5 P2 H( |0 G) Z, ^自适应控制有两个基本思路,一是所谓模型跟踪控制,二是所谓自校正控制。模型跟踪控制也叫模型参考控制,在概念上对人们并不陌生。毛主席那阵子,经常树立各种榜样,目的就是要在党发出号召时,普通人们比照榜样的行为,尽量调整自己的行为,使我们的行为和榜样的行为接近。这就是模型跟踪控制的基本思路。模型跟踪控制在航空和机电上用得比较多,在过程控制中很少使用。" V. _4 H; `, y9 R E$ D0 L
' f6 U3 i; m* D9 {3 t. x; X1 _
- l6 e5 V- V8 g* C$ r
3 ` N6 ^6 b& S4 d- b i1 `. |# A自校正控制的思路更接近人们对自适应的理解。自校正控制是一个两步走的过程,首先对被控过程作实时辨识,然后再辨识出来的模型的基础,实时地重新构造控制器。思路简单明了,实施也不算复杂,但自校正控制在一开始的欢呼后,并没有在工业上取得大范围的成功,原因何在呢?1 Y+ P5 n3 H* K' }1 R5 Q% I
# S4 y! Z( N' p
, ^* d7 C1 A3 B- A# [5 D/ M8 Z$ z& ?, d8 |7 \$ T. \7 O0 v" V
原因之一是闭环辨识。虽然自校正控制不断改变控制器的参数,在一定程度上打破了固定增益反馈控制对输入、输出带来的因果关系,但是因果关系还是存在,还是相当强烈,对辨识模型的质量带来影响。" a2 l7 J; M. z: \$ G, ^
0 _5 O/ c: o& E) t
0 @* b' S) x; f q) u# k& ^* x) j g# K
原因之二是所谓“协方差爆炸”。数学上当然有严格的说法,但简单地说,就是自校正控制器的目的当然还是使系统稳定下来,但是在系统越来越稳定的过程中,自校正控制器对偏差和扰动的敏感度越来越高,最后到“万籁俱静”的时候,敏感度在理论上可以达到无穷大,然而,这时如果真的扰动来了,控制器一下子就手足无措了。- b0 t7 {3 m& \) Z
; H( g7 V: Z) W5 Z/ z# S* Q , _4 a& z' c0 X
. X* {5 x7 S" e$ k原因之三是实际过程的复杂性。在辨识实际过程时,最重要的步骤不是后面的“数学绞肉机”,而是对数据的筛选,必须把各种异常数据剔除出去,否则就是“垃圾进来,垃圾出去”。但是,要实时、自动地剔除异常数据,这个要求非同小可,比设计、投运一个自校正控制器费事多了。这是自校正控制在实际中成功例子有限的最大原因。
8 B6 J) u3 q, p; b# {3 N# q! e# _$ L1 @4 H, z4 Q+ _ O) u; }
! a' j" \ c' a* B: } {# o/ `( v* P1 N5 L
模型预估控制
7 X- `0 j) \1 d, Z# o l
& c' n. U/ [8 `# S
* n+ i O% l5 [- v' S3 w
, M) j' B7 k. h+ E/ |自动控制从一开始就是以机电控制为主导的。60年代数学派主导了一段时间后,70年代化工派开始“小荷才露尖尖角”。自校正控制已经有很多化工的影子,但化工派的正式入场之作是模型预估控制(modelpredictivecontrol,MPC)。这是一个总称,其代表作是动态矩阵控制(dynamicmatrixcontrol,DMC)。DMC是CharlieCuttler的PhD论文,最先在壳牌石油公司获得应用,以后Cuttler自立门户,创办DMC公司,现在是AspenTechnology公司的一部分。
$ M' h! h5 F* _7 m! s' b" J E% z
" n3 |! ?/ T) ~! X! f/ M/ D
1 X+ s9 O' \7 p$ e- ?0 \数学控制理论非常优美,放之四海而皆准,但是像老虎一样,看起来威猛,却是干不得活的,干活毕竟靠老牛。DMC的成功之处在于应用伪理论,将一些本来不相干的数学工具一锅煮,给一头老老实实的老牛披上一张绚烂的老虎皮,在把普罗大众唬得一愣一愣的时候,悄悄地把活干了。 |