二、自动控制基础回顾：传递函数、状态空间、稳定性、能控性与能观性，以及时域/频域分析工具
自动控制理论是控制算法工程师的底层语言。无论是做电机调速、飞行器姿态控制，还是车载域控制器的运动规划，最终都要回归到“被控对象建模—系统分析—控制器设计—闭环验证”这一基本范式。本章不是对教科书的简单压缩，而是从工程实践视角，重新梳理传递函数与状态空间两种描述方式的适用边界，厘清稳定性、能控性、能观性的物理含义，并给出时域与频域工具在真实调试中的配合策略。掌握这些内容，是后续学习PID整定、现代控制理论以及模型预测控制（MPC）的基石。
2.1 传递函数与状态空间：两种视角，同一对象
核心原理
传递函数基于拉普拉斯变换，将线性时不变（LTI）系统的微分方程转化为代数方程，以输出与输入的比值 \( G(s) = Y(s)/U(s) \) 描述系统外部特性。它只反映零初始条件下的输入输出关系，无法揭示系统内部状态的变化。状态空间描述则用一阶微分方程组 \( \dot{x} = Ax + Bu \)、\( y = Cx + Du \) 完整刻画系统内部状态 \( x \) 的动态演化，适用于多输入多输出（MIMO）、时变和非线性系统。
从工程角度看，传递函数适合单输入单输出（SISO）系统的频域设计，直观且便于与Bode图、Nyquist判据配合；状态空间则更适合现代控制理论方法，如LQR、Kalman滤波、MPC等。两者可以互相转换：由传递函数可写出能控标准型或能观标准型状态方程；由状态空间模型可计算传递函数矩阵 \( G(s) = C(sI-A)^{-1}B + D \)。
判断方法与操作流程
| 维度 | 传递函数 | 状态空间 |
|---|---|---|
| 适用对象 | SISO、LTI系统 | MIMO、时变、非线性 |
| 信息完整性 | 仅外部输入输出关系 | 包含全部内部状态 |
| 设计方法 | 频域法（Bode、根轨迹） | 时域法（极点配置、LQR） |
| 工程优势 | 直观、易测、适合经典整定 | 适合多变量、最优控制 |
| 局限性 | 无法处理初始条件、内部耦合 | 参数辨识难度较高 |
案例拆解：永磁同步电机（PMSM）的两种建模
以表贴式PMSM的d-q轴模型为例，其电压方程为：
L_s * di_d/dt = -R_s * i_d + ω_e * L_s * i_q + u_d
L_s * di_q/dt = -R_s * i_q - ω_e * L_s * i_d - ω_e * ψ_f + u_q若仅关注q轴电流环，忽略交叉耦合项，可简化为传递函数 \( G(s) = 1/(L_s s + R_s) \)，用于电流环PI参数整定。但若要设计无位置传感器控制，必须使用完整状态空间模型，将 \( i_d, i_q, \omega_e, \theta_e \) 作为状态变量，通过扩展Kalman滤波（EKF）同时估计转速和位置。这说明：模型复杂度取决于控制目标，而非越复杂越好。
2.2 稳定性分析：从极点判据到Lyapunov方法
核心原理
稳定性是控制系统能够正常工作的前提。对于LTI系统，稳定性等价于传递函数所有极点（或状态矩阵A的特征值）均位于复平面左半平面。工程上更常用的是相对稳定性概念，即稳定裕度（幅值裕度、相位裕度），它衡量系统距离临界失稳的“安全距离”。对于非线性或时变系统，则需要借助Lyapunov稳定性理论，通过构造能量函数 \( V(x) \) 来判断。
判断方法
- Routh-Hurwitz判据：无需解特征方程，直接根据特征多项式系数判断是否所有根在左半平面，适合低阶系统快速校验。
- Nyquist判据：基于开环频率响应曲线包围(-1, j0)点的次数判断闭环稳定性，同时给出稳定裕度。
- Bode图法：通过幅频和相频曲线直接读取相位裕度（PM）和幅值裕度（GM），工程中最常用。
- Lyapunov方法：求解 \( A^T P + PA = -Q \)，若存在正定对称矩阵P，则系统渐近稳定。
案例拆解：伺服系统相位裕度不足的排障
某三轴机械臂的关节伺服在调试中发现末端抖动，空载时噪声明显。通过采集开环Bode数据，发现穿越频率处相位裕度仅18°，幅值裕度约4dB。进一步分析，问题出在电流环采样延迟和PWM更新延迟未补偿，等效于在系统中引入了一个约1.5倍控制周期的纯延迟环节。处理措施：在速度环中加入Smith预估器补偿延迟，并将电流环带宽从800Hz降低到600Hz。调整后，相位裕度提升至52°，抖动消失，跟踪精度提高30%。
2.3 能控性与能观性：系统“可操作”与“可感知”的边界
核心原理
能控性（Controllability）回答“状态是否可以通过输入在有限时间内驱动到任意期望值”；能观性（Observability）回答“是否可以通过输出测量值在有限时间内重构出全部状态”。对于线性系统，能控性由矩阵 \( Q_c = [B \ AB \ A^2B \ \cdots \ A^{n-1}B] \) 的秩判断，能观性由 \( Q_o = [C \ CA \ CA^2 \ \cdots \ CA^{n-1}]^T \) 的秩判断。
这两个概念是状态反馈和状态观测器设计的先决条件。若系统不完全能控，则存在不可控模态，无论怎样设计输入都无法影响该模态；若不完全能观，则状态观测器无法估计出全部状态，需要降维观测或改变传感器配置。
判断流程
- 建立状态空间模型，明确A、B、C矩阵。
- 构造能控性矩阵 \( Q_c \) 和能观性矩阵 \( Q_o \)。
- 计算矩阵的秩，与系统阶数n比较。
- 若秩小于n，则存在不可控/不可观模态，需分析具体是哪些状态。
- 对于不可控模态，判断其是否稳定（若稳定则系统仍可工作，但性能受限）。
案例拆解：倒立摆系统的能控性分析
一阶倒立摆线性化模型为 \( A = [[0,1],[g/l,0]] \), \( B = [0, 1/(ml^2)]^T \)。计算能控性矩阵 \( Q_c = [B \ AB] \)，其行列式为 \( -g/(m l^3) \neq 0 \)，故系统完全能控。这意味着通过施加合适的水平力，可以将摆杆从任意初始角度稳定到竖直位置。但若传感器只测量摆杆角度而不测量小车位移，则系统不完全能观，需要增加位移传感器或设计降维观测器。这个案例说明：能控性决定“能不能做到”，能观性决定“能不能知道”，两者缺一不可。
2.4 时域与频域分析工具：从阶跃响应到Bode图
核心原理
时域分析直接观察系统对典型输入（阶跃、斜坡、脉冲）的响应，提取超调量、调节时间、稳态误差、峰值时间等指标，直观反映系统的动态品质。频域分析则通过正弦扫频或FFT获得系统的频率响应，关注带宽、谐振峰、相位裕度、幅值裕度等指标，更擅长处理噪声抑制和鲁棒性问题。
两者并非对立，而是互补：时域指标适合描述“跟踪性能”，频域指标适合描述“稳定鲁棒性”。例如，一个系统可能有很好的阶跃响应（超调小、调节快），但在高频段存在谐振峰，导致对测量噪声敏感；反之，一个系统频域特性良好，但时域响应可能过于缓慢。
工具选择策略
| 分析场景 | 推荐工具 | 关键指标 |
|---|---|---|
| 伺服跟踪性能评估 | 阶跃响应、斜坡响应 | 超调量、稳态误差、带宽 |
| 抗扰性能分析 | 脉冲响应、Bode灵敏度函数 | 峰值灵敏度、扰动抑制带宽 |
| 鲁棒稳定性校验 | Nyquist图、Bode图 | 幅值裕度、相位裕度 |
| 噪声抑制评估 | 高频Bode、闭环传递函数 | 高频增益、谐振峰 |
| 多变量系统分析 | 奇异值分解（SVD） | 最大/最小奇异值 |
案例拆解：无人机姿态控制环的频域整定
某四旋翼无人机在悬停时出现轻微的高频抖动，时域阶跃响应显示超调量仅8%，看似正常。但通过Bode图分析发现，角速度环在45Hz处存在一个约6dB的谐振峰，该频率恰好接近机架的弹性模态。这个谐振峰放大了螺旋桨高频振动，导致IMU测量噪声被放大。解决措施：在角速度环中加入陷波滤波器（Notch Filter），中心频率45Hz，深度-12dB，品质因数Q=2。修改后，谐振峰被抑制到-2dB以下，抖动消失，且不影响低频段的跟踪性能。这个案例说明：仅看时域指标会掩盖频域隐患，两者必须结合。
常见误区与总结复盘
- 误区一：认为传递函数和状态空间是两种不同的系统。实际上它们是同一系统的不同数学表示，选择哪种取决于设计目标和计算工具。
- 误区二：只关注稳定性而忽视相对稳定性。一个“稳定”但相位裕度极小的系统在实际中毫无价值，因为参数稍有变化就会失稳。
- 误区三：能控性/能观性分析只停留在理论计算。工程中应结合物理直觉，判断哪些状态物理上不可能被控制或测量。
- 误区四：时域和频域工具二选一。正确做法是先用频域工具设计控制器结构和参数，再用时域仿真验证动态响应，最后通过实测Bode确认实现效果。