3. MIL环境搭建与工程配置

MIL（Model-in-the-Loop）是V流程左侧最早可以“跑起来”的验证环节。它的本质不是把模型画完，而是让控制器模型与被控对象模型在同一个仿真时钟下交换信号，并产生可判读的输出。因此，MIL环境搭建的核心任务只有四件事：选工具链、配求解器、定接口、建信号字典。四件事做完，才算具备一个可运行的最小闭环。

一、工具链选择：先定边界，再定软件

工具链选择不是比功能多少，而是先明确三个边界条件：模型来源、代码生成需求、与后续SIL/HIL的衔接方式。若控制器模型最终要生成C代码并进入SIL，工具链必须支持定点/浮点一致的代码生成；若被控对象只是用于验证控制逻辑，则可用更轻量的建模方式。

常见的组合是：MATLAB/Simulink作为主建模与仿真环境，Stateflow描述状态逻辑，Simscape或自建微分方程描述被控对象，Simulink Test管理测试用例。若团队使用开源路线，可用Python+SciPy搭建被控对象，用FMI/FMU封装控制器，通过Co-Simulation完成联合仿真。两种路线都能形成MIL闭环，区别在于接口标准化程度和后续SIL迁移成本。

二、求解器配置：定步长与变步长的取舍

求解器决定仿真“怎么走时间”。MIL阶段最容易被忽视、却最影响结果可信度的就是求解器配置。核心参数包括：求解器类型（定步长/变步长）、步长、相对/绝对容差、最大步长限制。

对于含离散控制器、采样周期明确的系统，推荐定步长求解器，步长取控制器采样周期的整数分之一。例如控制器周期为10 ms，仿真步长可取1 ms或0.5 ms，保证每个控制周期内有足够计算点。对于连续被控对象动态较快、又无强实时要求的场景，可用变步长ode45，但必须设置最大步长不超过控制器周期的1/5，否则会漏掉控制更新时刻。

示例配置（定步长）：
Solver: Fixed-step
Solver name: ode4 (Runge-Kutta)
Fixed-step size: 0.001 s
Controller sample time: 0.01 s
Stop time: 10 s

判断求解器是否合适，看两个现象：一是控制输出是否在每个采样时刻准确更新；二是被控量曲线是否出现非物理的数值振荡。若振荡随步长减小而消失，说明原步长过大；若振荡不消失，则可能是模型本身存在代数环或接口直通。

三、接口与信号字典：让连接可检查、可复用

接口定义的是“谁给谁什么信号”。MIL最小闭环至少需要三类接口：控制器输出到被控对象（如PWM占空比、力矩指令）、被控对象输出到控制器（如转速、位置、电流）、以及仿真环境到记录模块（如时间、参考输入）。

信号字典则是对每个信号的名称、数据类型、单位、量程、采样周期、初始值的集中登记。没有信号字典，接口连接只能靠“看线”，一旦模型规模变大就无法审查。建议在MIL阶段就建立如下字段：

信号字典一旦确定，接口连接就变成“按字典核对”，而不是凭记忆连线。这也是后续SIL阶段复用接口描述的基础。

四、最小闭环的搭建与运行判据

把上述三部分组合起来，一个可运行的MIL最小闭环包含：参考输入、控制器模型、被控对象模型、信号记录与判读。以直流电机调速为例，参考转速3000 rpm阶跃输入，控制器为PI，被控对象为一阶惯性加饱和。运行10 s后，观察三个量：转速反馈是否跟踪参考、PWM占空比是否在0~1内、电流是否超过限幅。

若转速在0.5 s内达到稳态且超调小于10%，占空比无饱和，电流未越限，则说明MIL闭环可运行且控制逻辑基本正确。若转速不跟踪，优先检查接口方向是否接反、信号单位是否一致、求解器步长是否过大。这三类问题占MIL首次运行失败的绝大多数。

五、常见配置错误与排查顺序

MIL首次运行失败，按以下顺序排查效率最高：第一步查接口方向，反馈线是否误接成前向；第二步查单位，rpm与rad/s混用会导致数量级错误；第三步查求解器步长，步长大于控制周期会漏掉控制更新；第四步查代数环，控制器输出直接依赖被控对象输出且无状态时，仿真会报代数环错误，需插入单位延迟或改用变步长。

完成上述配置后，MIL最小闭环即可运行。此时应保存一份可复现配置：工具链版本、求解器参数、信号字典、测试用例输入。这份配置是后续SIL阶段对比的基准，也是MIL环境搭建真正的交付物。