3. MPS功率系统建模基础
在MPS（Magnetic Power Systems，磁性功率系统）硬件在环验证中，模型是整个验证链路的“被控对象替身”。模型建得对不对，直接决定HIL结果是否可信；模型建得重不重，直接决定实时步长能否跑得动。本节围绕四个关键问题展开：用什么拓扑描述功率级、功率级的动态方程从哪来、平均模型与开关模型如何选、精度与实时性如何权衡。
一、开关电源拓扑：先确定“电路骨架”
MPS功率系统常见的拓扑包括Buck、Boost、Buck-Boost、正激、反激、半桥/全桥、LLC谐振等。拓扑决定了状态变量个数、开关器件数量、能量传递路径以及是否存在隔离。在HIL建模中，拓扑选择不是“越复杂越好”，而是要与验证目标匹配：如果只验证控制环路带宽与相位裕度，Buck或Boost的小信号模型已足够；如果要验证死区、体二极管导通、开关瞬间的电流尖峰，则必须保留开关级细节。
以同步Buck为例，其功率级包含两个开关管（高边Q1、低边Q2）、电感L、输出电容C以及负载。状态变量通常取电感电流iL和输出电容电压vC。拓扑一旦确定，后续的动态方程、平均模型和开关模型都围绕这组状态变量展开。
二、功率级动态方程：从开关周期到状态空间
功率级动态方程的本质是“分段线性 + 周期切换”。以同步Buck为例，在一个开关周期Ts内，电路分为两个区间：
- 区间1（Q1导通、Q2关断，占空比D）：电感两端电压为Vin − vC，电感电流上升；
- 区间2（Q1关断、Q2导通，占空比1−D）：电感两端电压为−vC，电感电流下降。
对电感列电压方程、对电容列电流方程，可得两个区间的状态方程。若以x = [iL, vC]ᵀ为状态向量，则区间1和区间2分别对应ẋ = A₁x + B₁u和ẋ = A₂x + B₂u。将两区间按占空比加权平均，即得到平均模型的状态方程：
ẋ = [D·A₁ + (1−D)·A₂]·x + [D·B₁ + (1−D)·B₂]·u
这一步是理解平均模型的关键：它把“开关切换”替换为“占空比加权”，从而消去开关频率处的纹波，只保留低频包络。对于同步Buck，平均模型可进一步写成：
diL/dt = (D·Vin − vC) / L
dvC/dt = (iL − vC/R) / C
其中R为负载电阻。若考虑电感等效串联电阻rL和电容ESR rC，则方程需相应修正。这些参数在HIL中通常以“模型参数”形式输入，必须与实物一致，否则环路增益和相位会出现偏差。
三、平均模型与开关模型：选择依据
平均模型与开关模型的核心区别在于是否保留开关纹波和开关事件。平均模型用占空比D替代开关动作，状态变量为周期平均值，仿真步长可以取开关周期的1/10～1/20，甚至更大；开关模型则保留每个开关周期内的通断状态，步长必须远小于开关周期，通常取Ts/100以下。
选择依据可归纳为三条：
- 验证目标：若关注环路稳定性、负载阶跃响应、输入电压扰动抑制，平均模型足够；若关注开关损耗、死区效应、电流采样时刻、纹波幅值，必须用开关模型。
- 开关频率与实时步长：若开关频率为200 kHz，实时步长需≤1 μs才能分辨开关事件；若步长只能做到10 μs，则只能使用平均模型。
- 控制器实现方式：若控制器为数字PWM，且需要验证采样与PWM更新时序，开关模型更贴近实际；若控制器为模拟环路或平均电流模式，平均模型已能反映主要动态。
四、精度与实时性的权衡：一张图看清取舍
精度与实时性并非线性关系。开关模型精度高，但计算量大、步长小，对实时平台CPU/FPGA资源要求高；平均模型计算量小、步长大，但丢失了开关纹波和开关瞬间信息。实际工程中常采用“分层建模”：功率级用平均模型保证实时性，关键开关器件用开关模型或行为模型局部细化，控制器则按实际数字逻辑实现。
上图把拓扑、动态方程、模型选择与权衡关系放在同一张图中：拓扑决定状态变量，动态方程决定模型结构，验证目标与实时步长决定最终选择。实际工程中，建议先按“验证目标”确定模型类型，再按“实时步长”反推可用的开关频率范围，最后用“分层建模”在精度与实时性之间取得平衡。
总结来说，MPS功率系统建模不是“越精确越好”，而是“与验证目标匹配”。拓扑是骨架，动态方程是血肉，平均模型与开关模型是两种观察尺度，精度与实时性的权衡则是工程落地的最后一道门槛。掌握这四者的关系，才能在HIL平台上既跑得动、又验得准。