用途:为闭环仿真编写被控对象(plant)模型规格,适用于创建、更新或评审 plant 模型规格,包括与已有控制器闭环、决定模型架构(子系统分解、保真度)、规划验证。不适用于实际建模(用 building-simulink-models)、测试已有模型(用 testing-simulink-models)、控制器或 MBD 算法规格(用 specifying-mbd-algorithms)、传统软件规格(用 specifying-software)。
主要能力:按 plant 名称组织规格文件,默认目录 docs/specs/plant-models/<plant-name>/,含 system、architecture、implementation-plan、test-plan 四份文档;简单对象(少于5个状态、单速率、无非线性、单人构建)可用快速模式合并为两份。工作流包括:分析控制器接口并将信号分类为 u/w/y/z、评估验证证据、研究物理领域、编写系统规格、架构规格、实现与测试计划,并设评审门。
使用方式:通过 model_overview、model_read 读取控制器模型;用 web_search、read_web_page 调研;参考 assets 下模板与 references/plant-model-guidance.md。实现计划强调 Phase 0 冻结接口、参数表含名称/值/单位/来源/模块路径,测试计划分三阶段验证并映射为 Gherkin 场景。
限制:不得在规格中复现教科书推导,应引用权威来源;不得建模无法验证的动力学;并行构建时不可跳过 Phase 0 接口桩;保真度变更、增加架构外子系统、偏离控制器采样时间需先询问。具体命令与模板内容以资料为准,其余细节暂未提供。