人类群星闪耀时(十一):鲁道夫·卡尔曼——状态空间的时代
鲁道夫·卡尔曼 (Rudolf E. Kálmán, 1930-2016)
一、出身——从布达佩斯到美国
1930年5月19日,匈牙利布达佩斯。一个犹太家庭迎来了一个男婴——鲁道夫·卡尔曼。
他的童年被纳粹的阴影笼罩。二战期间,15岁的卡尔曼和家人被送往集中营。他幸存了——但十几岁的经历在他身上留下了不可磨灭的烙印。
1945年战争结束后,卡尔曼做出了一个改变他命运的决定:离开欧洲,前往美国。1947年他进入麻省理工学院(MIT),1954年获得硕士学位,1957年获得哥伦比亚大学博士学位。
他的博士论文题目很抽象——《微分方程系统的分析》——但在其中埋下了他将要在1960年代引爆的核心思想:状态空间法。
卡尔曼与匈牙利科学家的谱系
卡尔曼属于匈牙利科学家谱系中更年轻的一代——与冯·卡门(1881年生)、冯·诺伊曼(1903年生)不同,他经历了二战并在美国完成了大学教育。他的数学风格深受冯·诺伊曼的影响——高度抽象、追求优雅的数学表述、同时极具工程直觉。
二、1960年的革命——两个问题,一个解法
1960年,30岁的卡尔曼在巴斯尔(Basel)的一个控制会议以及随后的论文中,先后发表了两个紧密相关的思想。它们各自改变了相应领域的走向——而且本质上是同一个数学框架的两个方面。
2.1 问题一:从噪声中提取系统的真实状态
卡尔曼滤波器(Kalman Filter, 1960):
这是一个迭代算法:先根据系统模型预测 时刻的状态,再用 时刻的观测值修正这个预测。
为什么它是革命的?
- 以前用维纳滤波器处理信号,但维纳滤波器假设信号是平稳的(统计特性不随时间变化)
- 卡尔曼滤波器处理非平稳信号,从它的迭代更新步骤中也可以看出
- 维纳滤波器需要处理所有过去的数据,卡尔曼滤波器只保留了协方差矩阵 作为”记忆”
2.2 问题二:如何让一个系统在最优控制的意义上运行
线性二次型调节器(Linear Quadratic Regulator, LQR, 1960):
最优控制律为:
其中 ,而 满足代数黎卡提方程(Algebraic Riccati Equation, ARE):
卡尔曼的洞察:LQR的最优控制器是状态反馈 ——这意味着你必须知道系统的完整状态。但通常我们只能测量部分状态——所以需要卡尔曼滤波器来做状态估计。
这样两个问题就自然地连在一起了:先用滤波器估计状态,再用LQR计算控制量。
三、关于卡尔曼滤波器的工程故事
3.1 阿波罗导航计算机
1960年代初,卡尔曼滤波器刚发表时,在控制领域引起了轰动——但也遇到了阻力。很多工程师认为这个方法”过于数学化”、”不实用”。
一个著名的故事:卡尔曼在NASA做报告时,一位工程师质疑说:”你的滤波器需要矩阵求逆——这在实时系统上根本做不到。”
但NASA的阿波罗计划的首席导航设计师经过仔细研究后,决定在阿波罗导航计算机上实现卡尔曼滤波器。结果是——阿波罗11号正是依靠卡尔曼滤波器在太空中进行实时导航,精确地飞向了月球。
那个”矩阵求逆太慢”的问题被计算机科学家们解决了——1960年代的数字信号处理芯片逐渐能够实时完成矩阵计算。
3.2 卡尔曼滤波器的”双胞胎”
卡尔曼滤波器有两种形式:
| 形式 | 适用场景 | 特点 |
|---|---|---|
| 标准卡尔曼滤波器 | 线性系统、高斯噪声 | 解析解,计算量小 |
| 扩展卡尔曼滤波器 (EKF) | 非线性系统(线性化后) | 用雅可比矩阵在估计点处线性化 |
EKF由史密斯(Smith)等人提出,后来被用于无人机导航、GPS/IMU融合、机器人定位(SLAM)。
四、卡尔曼在博客中出现的场景
| 博客文章 | 卡尔曼的出现方式 |
|---|---|
| 四旋翼飞行动力学建模 | 状态空间模型: |
| Stevens飞行器控制与仿真(一) | 状态空间方程、传递函数、可观测性与可控性 |
| 无人机飞控中的传感器融合 | GPS+IMU的姿态/位置估计——卡尔曼滤波器的经典应用 |
| PID控制和现代控制理论 | LQR与PID的对比——为什么LQR更优 |
| 截击无人机制导算法 | 目标状态估计(位置、速度、角速度) |
| 概念 | 博客中位置 | 含义 |
|---|---|---|
| 状态空间 | 飞行动力学建模 | |
| 可观测性 | 传感器布局 | 卡尔曼滤波器能否估计所有状态 |
| 可控性 | 执行器配置 | 飞控系统能否实现期望的控制 |
| 代数黎卡提方程 | LQR设计 | 最优控制的数学表达 |
| 协方差矩阵 | 滤波器更新 | 估计精度的时间演变 |
五、卡尔曼的数学风格与性格
卡尔曼是一个极具自信、甚至有些强势的数学家。他的论文风格以”宣告性”著称——不是在记录发现,而是在宣布真理。
关于卡尔曼的一个轶事:他在1960年控制会议上做报告时,台下坐着控制理论的泰斗们。他讲完后,有人说:”你的滤波器的收敛性证明在哪里?”
卡尔曼回答:”如果它不收敛,它就不是我的滤波器。”
这种自信在工程界不总能被接受——但卡尔曼是对的。
他的工作风格:与李雅普诺夫的”闭门造车”完全相反——卡尔曼通过频繁的会议、讲座和通信传播他的思想。他把控制理论从”每个问题单独设计”变成了”有普适数学框架的工程学科”。
六、与李雅普诺夫的对比
| 对比维度 | 李雅普诺夫(1857-1918) | 卡尔曼(1930-2016) |
|---|---|---|
| 时代背景 | 19-20世纪之交的俄罗斯 | 20世纪中期的美国 |
| 核心贡献 | 稳定性分析工具 | 状态估计+最优控制 |
| 工作方式 | 独立研究、发表后默默等待 | 积极传播、推动工程应用 |
| 命运 | 死于贫困与革命 | 获得无数荣誉,1990年IEEE Medal of Honor |
| 理论的传播速度 | 40年后才在工程中广泛使用 | 10年内在阿波罗计划中实现 |
| 现代影响 | 控制理论的理论基础 | 工程中的标准工具箱 |
七、影响与传承
卡尔曼的工作改变了一切——从巡航导弹到手机导航,从自动驾驶汽车到无人机编队飞行,从股票预测到天气预报。
卡尔曼滤波器在今天:
- 无人机GPS/IMU融合——每一架飞控的必配算法
- 汽车发动机的燃油喷射控制
- 机器人定位和地图构建(SLAM)
- 气象预报中的数据同化
- 金融时序分析和预测
他后来的工作:1960年代后期,卡尔曼转向代数系统理论——研究非线性系统的精确线性化。但他1960年的两篇论文至今仍是引用最多的控制理论文献之一。
参考文献
- Kalman, R. E. (1960). “A New Approach to Linear Filtering and Prediction Problems.” Journal of Basic Engineering, 82(1), 35-45. — 卡尔曼滤波器的原始论文
- Kalman, R. E. (1960). “Contributions to the Theory of Optimal Control.” Boletín de la Sociedad Matemática Mexicana, 5, 102-119. — LQR的原始论文
- Kalman, R. E. & Bucy, R. S. (1961). “New Results in Linear Filtering and Prediction Theory.” Journal of Basic Engineering, 83(1), 95-108. — 连续时间卡尔曼-布西滤波器
- Grewal, M. S. & Andrews, A. P. (2015). Kalman Filtering: Theory and Practice with MATLAB (4th ed.). Wiley. — 卡尔曼滤波器的现代工程教材
- Maybeck, P. S. (1979). Stochastic Models, Estimation, and Control (Vol. 1). Academic Press. — 卡尔曼滤波器在航空航天中的应用
在卡尔曼的壮年,另一场革命正在发生——信息论。16年前,一个26岁的贝尔实验室工程师发表了一篇论文《通信的数学理论》,定义了”熵”如何度量信息含量。他叫克劳德·香农——一个靠杂耍实验和跷跷板思考问题的天才。香农不知道的是,他的信息论在30年后成为深度学习的基础——从交叉熵损失函数到变分自编码器,香农的框架无处不在。