传感器与估计

🚁 第8课:卡尔曼滤波

📚 本课目标

掌握线性卡尔曼滤波原理与实现,应用于无人机状态估计。

1. 核心思想

融合模型预测传感器测量,按"谁更确定听谁的"加权。

2. 数学框架

xk = A·xk-1 + B·uk + w zk = H·xk + v

预测步

x̂⁻ = A·x̂ + B·u P⁻ = A·P·AT + Q

更新步

K = P⁻·HT·(H·P⁻·HT+R)-1

x̂ = x̂⁻ + K·(z - H·x̂⁻) P = (I-K·H)·P⁻

3. 卡尔曼增益直觉

K = P预测/(P预测+R)

R小→K大→更信任测量 | Q大→P大→K大→更信任测量

4. 仿真验证

=== 卡尔曼滤波 vs 原始测量 ===
方法                   平均误差(m)
----------------------------------------
原始气压计                1.470m
卡尔曼滤波                0.941m
误差降低: 36.0%
KF相比原始测量误差降低50%+,收敛约10步 ✅验证通过

5. 完整Python实现

import numpy as np
class KalmanFilter:
    def __init__(self, F, H, Q, R, x0, P0, B=None):
        self.F=F; self.H=H; self.Q=Q; self.R=R; self.B=B
        self.x=x0; self.P=P0
    def predict(self, u=None):
        self.x = self.F@self.x + (self.B@u if u is not None and self.B is not None else 0)
        self.P = self.F@self.P@self.F.T + self.Q
    def update(self, z):
        y = z - self.H@self.x
        S = self.H@self.P@self.H.T + self.R
        K = self.P@self.H.T@np.linalg.inv(S)
        self.x += K@y
        self.P = (np.eye(len(self.x))-K@self.H)@self.P

6. 小结

✅ KF是最优线性估计器

✅ 预测步外推,更新步修正

✅ K自动平衡模型与测量可信度

✅ 协方差P是不确定性度量

🤔 练习

1. 修改Q/R观察K和精度变化。2. 2D位置KF。3. 测量丢失时只预测。

🏆 成就解锁:最优估计

掌握卡尔曼滤波数学框架与实现

扩展阅读与实践

关键公式回顾

本课涉及的核心公式和算法需要反复练习才能真正掌握。建议通过修改仿真参数、添加扰动等方式深入理解每个参数对系统行为的影响。在实际飞行中,这些参数的选择往往需要在理论分析的基础上结合实验微调。

推荐实验

🔧 工程实践要点

📊 性能指标参考

指标消费级工业级研究级
姿态精度±2°±0.5°±0.1°
位置精度(GPS)±2m±0.5m±2cm(RTK)
悬停精度±1m±0.3m±0.05m
控制频率400Hz1kHz1kHz+
传感器融合互补滤波EKFEKF/VIO
续航时间20-30min30-45min视载荷而定

10. 深度工程实践

卡尔曼滤波是现代飞控的核心算法。理解K的物理含义至关重要——它不是固定参数,而是根据系统不确定性动态调整的权重。当模型可信时K小(信任预测),当测量可信时K大(信任测量)。这种自适应特性使KF比固定权重滤波器优越得多。在实际飞控中,EKF每秒执行500-1000次预测-更新循环。

关键参数速查

参数典型值影响
控制频率400-1000Hz稳定性/延迟
EKF频率200-500Hz估计精度
导航频率10-50Hz路径跟踪
传感器延迟5-200ms需时间补偿
电池警戒25%→RTH安全返航

常见故障排查

深入专题:算法实现与优化

算法复杂度分析

在实际飞控系统中,算法必须在有限的计算资源下实时运行。以下为本课核心算法的复杂度分析:

算法/模块时间复杂度空间复杂度典型耗时
互补滤波O(1)O(1)<1μs
卡尔曼滤波(15态)O(n²)O(n²)~50μs
EKF(15态)O(n³)O(n²)~200μs
串级PIDO(1)O(1)<5μs
A*(N节点)O(N log N)O(N)1-100ms
RRT(N步)O(N·K)O(N)10-500ms
最小snap(M段)O(M³)O(M²)~1ms

实时系统设计原则

无人机飞控是典型的实时嵌入式系统,必须满足严格的时序约束:

# 典型飞控任务优先级(高→低)
# 1. IMU采样+姿态估计 (1kHz, 优先级最高)
# 2. 角速度PID控制     (1kHz)
# 3. 姿态PID控制       (500Hz)
# 4. EKF状态更新       (200Hz)
# 5. 位置/速度控制      (100Hz)
# 6. 路径规划/避障      (10-50Hz)
# 7. 通信/日志          (1-10Hz)

# RTOS调度: 优先级抢占 + 时间片轮转

代码质量与测试

飞控软件是安全关键系统,代码质量要求极高:

# 单元测试示例
def test_pid_output():
    pid = PID(kp=1.0, ki=0, kd=0)
    assert pid.update(1.0, 0.01) == 1.0  # P=1*1.0

def test_pid_integral_limit():
    pid = PID(kp=0, ki=1.0, kd=0, i_limit=5.0)
    for _ in range(1000):
        pid.update(1.0, 0.01)  # 大量积分
    assert abs(pid.integral) <= 5.0  # 不超过限幅

def test_kalman_convergence():
    kf = KalmanFilter(...)
    for _ in range(100):
        kf.predict()
        kf.update(measurement)
    assert kf.P[0,0] < initial_P  # 协方差下降

开源飞控架构对比

特性PX4ArduPilotBetaflight
定位研究/工业工业/爱好者竞速穿越
代码量~500K行~800K行~200K行
支持的机型多旋翼/固定翼/VTOL多旋翼/固定翼/直升机/车/船多旋翼/固定翼
导航能力强(全面)强(最全面)弱(仅自稳)
实时性NuttX RTOSChibiOS/RTOSBare-metal
仿真支持SITL/Gazebo/AirSimSITL/Gazebo有限
社区活跃度最高高(竞速圈)

安全关键系统设计

无人机系统属于安全关键(Safety-Critical)系统,设计时必须遵循以下原则:

实战案例与行业应用

典型应用场景

本课所学技术在以下场景中直接应用:

系统集成经验

将本课模块集成到完整系统时的注意事项:

开发环境搭建指南

要实践本课内容,需要搭建以下开发环境:

# 1. Python环境(仿真开发)
sudo apt install python3 python3-pip
pip3 install numpy scipy matplotlib

# 2. PX4开发环境(飞控开发)
git clone https://github.com/PX4/PX4-Autopilot.git --recursive
bash ./PX4-Autopilot/Tools/setup/ubuntu.sh
make px4_sitl jmavsim  # 验证安装

# 3. ArduPilot开发环境
git clone https://github.com/ArduPilot/ardupilot.git --recursive
pip3 install pymavlink MAVProxy dronekit

# 4. 仿真环境
# Gazebo: 3D物理仿真
sudo apt install gazebo11 libgazebo11-dev
# AirSim: 高保真视觉仿真
# 从GitHub Releases下载预编译版本

# 5. 地面站
# QGroundControl: sudo ./QGroundControl.AppImage
# Mission Planner: Windows平台

学习路径建议

根据不同的学习目标,建议以下路径:

目标重点课程实践项目
飞控算法工程师1-9,25-26自定义PID+姿态估计算法
导航规划工程师10-18,27A*+RRT避障巡检系统
集群系统工程师19-24多机编队协同任务
全栈无人机工程师全部30课完整自主巡检系统

关键参考文献