控制与自动化
控制与自动化的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。
第一幕追踪模型、估计、优化、通信、执行器、安全约束与运行时降级如何从背景条件变成可测对象。八条只保留真正改变判断规则的节点，并把后来会暴露的分母、失效边界和责任链预先写回原始证据。
甲、模型预测控制在工业现场成年Model Predictive Control
Qin & Badgwell, Control Engineering Practice 11, 733–764 (2003), doi:1在2003年把“模型预测控制在工业现场成年”固定成可追溯节点：MPC每个采样周期求解长度为 N 的受约束预测问题、只执行第 1 步；最坏求解时延必须小于采样周期。在此之前，控制与自动化常把“离线设计完成即可保证上线后的闭环行为”当默认，因预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作而中止的运行；旧账因此无法解释模型偏差和求解时限能否在扰动下维持闭环可行。
本条把因果立场锁在滚动求解受约束有限时域优化并只执行首步：固定对象、预算和全部周期、超时与降级周期后，只移除这一机制；若无约束违例控制周期数仍保持同向，主张即撤回。Qin & Badgwell, Control Engineering Practice 11, 733–764 (2003), doi:1只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留滚动求解受约束有限时域优化并只执行首步的失败对象。
关键证据不是出版年份，而是MPC每个采样周期求解长度为 N 的受约束预测问题、只执行第 1 步；最坏求解时延必须小于采样周期。这里把分子写成“无约束违例控制周期数”、分母写成“全部周期、超时与降级周期”，并列闭环稳定裕量与约束违例率；2003年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留滚动求解受约束有限时域优化并的失败对象。
反方锚为Zhou, Doyle & Glover, Robust and Optimal Control, Prentice Hall (199，真正争点是模型偏差和求解时限能否在扰动下维持闭环可行。压力试验主动制造预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作；若滚动求解受约束有限时域优化并只执行首步越强而闭环稳定裕量反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。边界记录继续保留滚动求解受约束有限时域优化并只执行的失败对象。
2025年的Sharifi et al., System Safety Monitoring of Learned Components (2025把这条带进现场。控制工程师必须登记因预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作而中止的运行，并让闭环稳定裕量与约束违例率与无约束违例控制周期数／全部周期、超时与降级周期使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留滚动求解受约束有限时域优化并只执行首步的失败对象。
跨域接口落在第551号“运行时保障架构”。两条共享01 谁进入分母，但本条以无约束违例控制周期数／全部周期、超时与降级周期裁决，并把预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。接口记录继续保留滚动求解受约束有限时域优化并只执行首步的失败对象。
乙、嵌入式求解器把在线优化压进毫秒预算Embedded Optimization
“嵌入式求解器把在线优化压进毫秒预算”并非因名称新而入选。2014年的Ferreau et al., International Journal of Robust and Nonlinear Control 把以热启动活动集快速重复求解二次规划与旧基线放进同一对象定义，留下的硬读数是qpOASES利用活动集热启动把许多二次规划压到平均 <1 ms；验收仍以最坏时延和不可行返回率为准。若继续沿用“离线设计完成即可保证上线后的闭环行为”，账本未单列问题越接近约束边界，迭代和条件数反而越可能同时爆发造成的退出、重试与人。
可反驳命题只有一句：决定方向的只有以热启动活动集快速重复求解二次规划。以平均求解时间能否代表最坏时限和数值病态为对手，在同一全部控制周期与求解失败内做消融；若不用该机制也能得到时限内给出可行解周期数，2014年的解释就降为相关而非原因。消融记录继续保留以热启动活动集快速重复求解二次规划的失败对象。
倒读第三段只看硬数：qpOASES利用活动集热启动把许多二次规划压到平均 <1 ms；验收仍以最坏时延和不可行返回率为准。它对应的复算式为时限内给出可行解周期数／全部控制周期与求解失败，再与约束违例率与最坏求解时延交叉；2014年的主证据不能拿卷页数字充当结果，2025年的复核也不能删除零输出和失败运行。读数记录继续保留以热启动活动集快速重复求解的失败对象。
边界不是“还需研究”，而是问题越接近约束边界，迭代和条件数反而越可能同时爆发。Hespanha, Naghshtabrizi & Xu, Proceedings of the IEEE 95, 138–162 (2提供反查入口：把对象推到这条停止线外，若时限内给出可行解周期数上升却让约束违例率恶化，就按反号结果撤回充分性主张。一旦问题越接近约束边界，迭代和条件数反而越可能同时爆发先出现，阳性中心值便不再具有判决优先权。边界记录继续保留以热启动活动集快的失败对象。
实践责任落在设备厂：依据International Energy Agency, Building the Future Transmission Grid (，版本发布时预注册时限内给出可行解周期数／全部控制周期与求解失败，并把账本未单列问题越接近约束边界，迭代和条件数反而越可能同时爆发造成的退出、重试与人列为独立事件。若旧方案在约束违例率与最坏求解时延上更好，部署应允许回切。维护记录继续保留以热启动活动集快速重复求解二次规划的失败对象。
第566号“成网型逆变器”提供精确对撞，不是宽泛类比。共同前提是01 谁进入分母；本条的分离线是问题越接近约束边界，迭代和条件数反而越可能同时爆发，换算轴是时限内给出可行解周期数／全部控制周期与求解失败，两边必须在同一观察窗重排后才谈迁移。接口记录继续保留以热启动活动集快速重复求解二次规划的失败对象。
丙、鲁棒与自适应控制分开结算不确定性Robust and Adaptive Control
转向起于1996年：Zhou, Doyle & Glover, Robust and Optimal Control, Prentice Hall (1996)不再只报最坏求解时延，而把鲁棒与自适应控制分开结算不确定性写成以最坏界与在线辨识分别处理结构未知的可检查问题。判决读数是H∞设计把闭环最坏增益约束为小于 γ；自适应律则在线更新参数，二者面对的未建模动态并不等价；此前没有位置的是被裕量加大时稳定性增强，但性能和可辨识性反而可能下降排除的对象既不算成功也不算失。
单因不是说其他条件不存在，而是要求以最坏界与在线辨识分别处理结构未知独自承担判决。实验把全部参数、扰动与切换运行、成本和版本冻结，只撤掉该机制；满足稳定与性能界的运行数若不下降，或旧方法反而更好，本条不得用新变量补救。反证以最坏界与在线辨识分别处理结构未知时保留满足稳定与性能界的运行数／全部参数、扰动与切换运行原分母，不能临时换对象。
鲁棒与自适应控制分开结算不确定性的读数锚是H∞设计把闭环最坏增益约束为小于 γ；自适应律则在线更新参数，二者面对的未建模动态并不等价。据此，满足稳定与性能界的运行数须除以全部参数、扰动与切换运行，而不是只摘最好一次；同时报告最坏求解时延与接管次数，才能判断1996年的机制在2025年是否仍以同一方向兑现。
Falliere, Murchu & Chien, W32.Stuxnet Dossier, Symantec (2011)所代表的异议集中在保守裕量和参数收敛能否在未激励方向同时成立。本条最强反例是裕量加大时稳定性增强，但性能和可辨识性反而可能下降；一旦该条件出现，中心读数再漂亮也须先看最坏求解时延是否反向，尾部失败不得并入“其他”。一旦裕量加大时稳定性增强，但性能和可辨识性反而可能下降先出现，阳性中心值便不再具有判决优先权。
另一处常被略过的是以最坏界与在线辨识分别处理结构未知的维护账。Tiwari et al., Responsible AI Framework for Autonomous Vehicles, IEE更新到2025年，但软件维护者仍须记录被裕量加大时稳定性增强，但性能和可辨识性反而可能下降排除的对象既不算成功也不算失；只有满足稳定与性能界的运行数／全部参数、扰动与切换运行和最坏求解时延与接管次数同时改善，试验结果才可进入采购或监管。
与第543号“最优控制的可转移性”相比，本条把以最坏界与在线辨识分别处理结构未知置于E位。双方都依赖01 谁进入分母，却可能因裕量加大时稳定性增强，但性能和可辨识性反而可能下降给出反向结果；判决只认满足稳定与性能界的运行数／全部参数、扰动与切换运行，不认学科声望。接口记录继续保留以最坏界与在线辨识分别处理结构未知的失败对象。
丁、网络化控制把时延丢包写进闭环Networked Control Systems
在Hespanha, Naghshtabrizi & Xu, Proceedings of the IEEE 95, 138–162 (200之前，控制与自动化处理网络化控制把时延丢包写进闭环时仍受“离线设计完成即可保证上线后的闭环行为”支配。2007年的证据把把通信调度、时延与控制稳定性联合设计单独显影，并留下稳定条件可写成最大允许传输间隔与最大连续丢包数；均值时延相同的两条网络可能给出相反闭环结果；这使独立随机丢包模型能否覆盖拥塞、攻击和共因故障第一次能够被反查。
2007年的主张可被直接否定：保留相同对象与总预算，拿掉把通信调度、时延与控制稳定性联合设计。若稳定服务周期数对全部丢包模式、延迟和重连周期的比例没有改变，网络化控制把时延丢包写进闭环就只是重新命名；独立随机丢包模型能否覆盖拥塞、攻击和共因故障因此是单因检验而非附带讨论。消融记录继续保留把通信调度、时延与控制稳定性的失败对象。
原始证据给出的可交换量是稳定条件可写成最大允许传输间隔与最大连续丢包数；均值时延相同的两条网络可能给出相反闭环结果。本页将它收束为稳定服务周期数／全部丢包模式、延迟和重连周期：分子、分母、观察窗和失败定义一起锁定；另列接管次数与恢复时间和物理损失，防止2025年的更大规模把2007年的选择偏差放大。
争议文献Lee, IEEE ISORC, 363–369 (2008), doi:10.1109/ISORC.2008.25迫使结论停在控制器越依赖高频反馈，成串丢包造成的方向反转反而越快之前。验证时逐级改变尺度、输入或环境；只要把通信调度、时延与控制稳定性联合设计的名义提高伴随接管次数下降，就说明原来测到的是代理优化而非系统净收益。边界记录继续保留把通信调度、时延与控制稳定性联合设计的失败对象。
从论文进入制度后，工厂运营者不能只验收稳定服务周期数。2025年的Sharifi et al., System Safety Monitoring of Learned Components Using要求把稳定服务周期数／全部丢包模式、延迟和重连周期没有容纳控制器越依赖高频反馈、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。把通信调度、时延与控制稳定性联合设计的责任延续到故障恢复和版本退出，不能在验收时提前终止。
本条的外部邻居是第551号“运行时保障架构”。对撞时先统一稳定服务周期数／全部丢包模式、延迟和重连周期，再把控制器越依赖高频反馈，成串丢包造成的方向反转反而越快造成的无归属状态补回分母；若两条仍相反，共有前提02 单一读数代表复杂对象才获得被推翻的资格。接口记录继续保留把通信调度、时延与控制稳定性联合设计的失败对象。
戊、震网事件把工控安全变成物理安全Stuxnet and Industrial Control Security
2011年的Falliere, Murchu & Chien, W32.Stuxnet Dossier, Symantec (2011)改变的是“震网事件把工控安全变成物理安全”的验收对象。它以用过程知识和隐蔽反馈操纵实体设备解释Symantec样本显示Stuxnet针对约 1000 台特定变频器的转速序列；恶意指令同时伪造监测回读，并暴露现有字段漏掉自动化程度越高，伪造测量持续越久，物理损伤反而越难由操作员察觉出现前；因此隔离网与传统杀毒能否识别针对控制逻辑和传感回放的攻击可被检验。
因果账只给用过程知识和隐蔽反馈操纵实体设备一个席位：在全部攻击注入与漏报事件内固定版本、预算与输入，只让这一机制开关。若关闭后被检测并安全降级事件数不变，或隔离网与传统杀毒能否识别针对控制逻辑和传感回放的攻击给出同样结果，本条即失去充分性。消融记录继续保留用过程知识和隐蔽反馈操纵实体设备的失败对象。
证据表先登记Symantec样本显示Stuxnet针对约 1000 台特定变频器的转速序列；恶意指令同时伪造监测回读，再按被检测并安全降级事件数／全部攻击注入与漏报事件复算。被检测并安全降级事件数与全部攻击注入与漏报事件须对应，并给出恢复时间和物理损失与闭环稳定裕量；这样才能区分2011年的局部读数与2025年的系统兑现。读数记录继续保留用过程知识和隐蔽反馈操的失败对象。
Leveson, Engineering a Safer World, MIT Press (2011)把反例落在自动化程度越高，伪造测量持续越久，物理损伤反而越难由操作员察觉：让该条件进入主样本，再观察被检测并安全降级事件数／全部攻击注入与漏报事件。若用过程知识和隐蔽反馈操纵实体设备增强而恢复时间和物理损失恶化，隔离网与传统杀毒能否识别针对控制逻辑和传感回放的攻击按反号处理。边界记录继续保留用过程知识和隐蔽的失败对象。
Google Quantum AI, Quantum error correction below the surface code t给出2025年的现场入口；安全审计方与监管机构需把用过程知识和隐蔽反馈操纵实体设备、现有字段漏掉自动化程度越高，伪造测量持续越久，物理损伤反而越难由操作员察觉出现前和恢复记录绑定到同一版本。只有恢复时间和物理损失与闭环稳定裕量与被检测并安全降级事件数／全部攻击注入与漏报事件共同改善，部署才算兑现。
精确碰撞指向第566号“成网型逆变器”：先把02 单一读数代表复杂对象设为共同前提，再用被检测并安全降级事件数／全部攻击注入与漏报事件换算。若自动化程度越高，伪造测量持续越久，物理损伤反而越难由操作员察觉使方向分叉，两条须分别命名。第566号的同名动作若使用另一分母，两边结论必须分别命名。接口记录继续保留用过程知识和隐蔽反馈操纵实的失败对象。
己、信息物理系统设计挑战Cyber-Physical Systems
Lee, IEEE ISORC, 363–369 (2008), doi:10.1109/ISORC.2008.25在2008年把“信息物理系统设计挑战”固定成可追溯节点：Lee, IEEE ISORC, 363–369 (2008), doi:10.1109/ISORC.2008.25给出起点，争议由“通用计算抽象能否忽略时间与物理连续性”承担。在此之前，控制与自动化常把“离线设计完成即可保证上线后的闭环行为”当默认，因⇄系统核算后方向反转：若平台时延、时钟漂移和环境动力学未进入模型；旧账因此无法解释通用计算抽象能否忽略时间与物理连续性。
本条把因果立场锁在把时间和物理动态提升为计算语义：固定对象、预算和全部预注册运行数后，只移除这一机制；若把时间和物理动态提升为计算语达标运行数仍保持同向，主张即撤回。Lee, IEEE ISORC, 363–369 (2008), doi:10.1109/ISORC.2008.25只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留把时间和物理动态提升为计算语义的失败对象。
关键证据不是出版年份，而是Lee, IEEE ISORC, 363–369 (2008), doi:10.1109/ISORC.2008.25给出起点，争议由“通用计算抽象能否忽略时间与物理连续性”承担。这里把分子写成“把时间和物理动态提升为计算语达标运行数”、分母写成“全部预注册运行数”，并列闭环稳定裕量与约束违例率；2008年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留把时间和物理动态提升为计算语义的失败对象。
反方锚为Khaneja et al., Journal of Magnetic Resonance 172, 296–305 (2005), d，真正争点是通用计算抽象能否忽略时间与物理连续性。压力试验主动制造⇄系统核算后方向反转：若平台时延、时钟漂移和环境动力学未进入模型，软件正确性不能推出物理安全；软件验证越完整；若把时间和物理动态提升为计算语义越强而闭环稳定裕量反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。
2025年的International Energy Agency, Building the Future Transmission Grid (把这条带进现场。控制工程师必须登记因⇄系统核算后方向反转：若平台时延、时钟漂移和环境动力学未进入模型，并让闭环稳定裕量与约束违例率与把时间和物理动态提升为计算语达标运行数／全部预注册运行数使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留把时间和物理动态提升为计算语义的失败对象。
跨域接口落在第551号“信息物理系统设计挑战”。两条共享02 单一读数代表复杂对象，但本条以把时间和物理动态提升为计算语达标运行数／全部预注册运行数裁决，并把⇄系统核算后方向反转：若平台时延、时钟漂移和环境动力学未进入模型，软件正确性不能推出物理安全；软件验证越完整设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。
庚、STPA系统事故模型System-Theoretic Process Analysis
“STPA系统事故模型”并非因名称新而入选。2011年的Leveson, Engineering a Safer World, MIT Press (2011)把用不安全控制动作分析系统事故与旧基线放进同一对象定义，留下的硬读数是STPA把不安全控制动作分为未提供、错误提供、时序错误、持续过久或停止过早 4 类，再沿控制结构追因。若继续沿用“离线设计完成即可保证上线后的闭环行为”，⇄系统核算后方向反转：分析边界和控制结构由人划定，漏掉组织激励时图再完整也会遗漏。
可反驳命题只有一句：决定方向的只有用不安全控制动作分析系统事故。以事故是否主要来自部件失效而非错误交互为对手，在同一全部有效读数内做消融；若不用该机制也能得到用不安全控制动作分析系统事故跨场景同向读数，2011年的解释就降为相关而非原因。消融记录继续保留用不安全控制动作分析系统事故的失败对象。
倒读第三段只看硬数：STPA把不安全控制动作分为未提供、错误提供、时序错误、持续过久或停止过早 4 类，再沿控制结构追因。它对应的复算式为用不安全控制动作分析系统事故跨场景同向读数／全部有效读数，再与约束违例率与最坏求解时延交叉；2011年的主证据不能拿卷页数字充当结果，2025年的复核也不能删除零输出和失败运行。
边界不是“还需研究”，而是⇄系统核算后方向反转：分析边界和控制结构由人划定，漏掉组织激励时图再完整也会遗漏风险；事故图越完整。事故是否主要来自部件失效而非错误交互提供反查入口：把对象推到这条停止线外，若用不安全控制动作分析系统事故跨场景同向读数上升却让约束违例率恶化，就按反号结果撤回充分性主张。
实践责任落在设备厂：依据Sharifi et al., System Safety Monitoring of Learned Components (2025，版本发布时预注册用不安全控制动作分析系统事故跨场景同向读数／全部有效读数，并把⇄系统核算后方向反转：分析边界和控制结构由人划定，漏掉组织激励时图再完整也会遗漏列为独立事件。若旧方案在约束违例率与最坏求解时延上更好，部署应允许回切。维护记录继续保留用不安全控制动作分析系统事故的失败对象。
第551号“STPA系统事故模型”提供精确对撞，不是宽泛类比。共同前提是04 测量不改变被测对象；本条的分离线是⇄系统核算后方向反转：分析边界和控制结构由人划定，漏掉组织激励时图再完整也会遗漏风险；事故图越完整，换算轴是用不安全控制动作分析系统事故跨场景同向读数／全部有效读数，两边必须在同一观察窗重排后才谈迁移。
辛、GRAPE梯度脉冲工程GRAPE Optimal Control
转向起于2005年：Khaneja et al., Journal of Magnetic Resonance 172, 296–305 (2005), doi不再只报最坏求解时延，而把GRAPE梯度脉冲工程写成用传播梯度直接优化控制波形的可检查问题。判决读数是Khaneja et al., Journal of Magnetic Resonance 172, 296–305 (2005), doi:10.1016/j.jmr.2004.11.004把GRAPE梯度脉冲工程钉在可核；此前没有位置的是分母不含⇄系统核算后方向反转：哈密顿量辨识错误和带宽限制会使仿真最优在实机上失效。起点记录继续保留用传播梯度直接优化控制波形的失败对象。
单因不是说其他条件不存在，而是要求用传播梯度直接优化控制波形独自承担判决。实验把全部观察小时、成本和版本冻结，只撤掉该机制；用传播梯度直接优化控制波形阈值内运行小时若不下降，或旧方法反而更好，本条不得用新变量补救。反证用传播梯度直接优化控制波形时保留用传播梯度直接优化控制波形阈值内运行小时／全部观察小时原分母，不能临时换对象。
GRAPE梯度脉冲工程的读数锚是Khaneja et al., Journal of Magnetic Resonance 172, 296–305 (2005), doi:10.1016/j.jmr.2004.11.004把GRAPE梯度脉冲工程钉在可核。据此，用传播梯度直接优化控制波形阈值内运行小时须除以全部观察小时，而不是只摘最好一次；同时报告最坏求解时延与接管次数，才能判断2005年的机制在2025年是否仍以同一方向兑现。硬读数仍是：Khaneja et al., Journal of Magnetic Resonance 172, 296–305 (2005), doi:10.1016/j.jmr.2004.11.004把GRAPE梯度脉冲工程钉在可核验的历史节点：GRAPE高效计算分段控制的保真度梯度；其单位和观察窗须随原记录保留。
Glaser et al., European Physical Journal D 69, 279 (2015), doi:10.11所代表的异议集中在数值最优脉冲对模型误差是否鲁棒。本条最强反例是⇄系统核算后方向反转：哈密顿量辨识错误和带宽限制会使仿真最优在实机上失效，须闭环校准；波形越接近仿真最优；一旦该条件出现，中心读数再漂亮也须先看最坏求解时延是否反向，尾部失败不得并入“其他”。边界记录继续保留用传播梯度直接优化控制波形的失败对象。
另一处常被略过的是用传播梯度直接优化控制波形的维护账。International Energy Agency, Building the Future Transmission Grid (更新到2025年，但软件维护者仍须记录分母不含⇄系统核算后方向反转：哈密顿量辨识错误和带宽限制会使仿真最优在实机上失效；只有用传播梯度直接优化控制波形阈值内运行小时／全部观察小时和最坏求解时延与接管次数同时改善，试验结果才可进入采购或监管。
与第543号“GRAPE梯度脉冲工程”相比，本条把用传播梯度直接优化控制波形置于D位。双方都依赖04 测量不改变被测对象，却可能因⇄系统核算后方向反转：哈密顿量辨识错误和带宽限制会使仿真最优在实机上失效，须闭环校准；波形越接近仿真最优给出反向结果；判决只认用传播梯度直接优化控制波形阈值内运行小时／全部观察小时，不认学科声望。
第二幕不把新工具列成清单，而是追问控制器从固定公式变成在线优化和学习系统，验收也从平均性能转向运行时边界与安全案例。十二条分别核算跨场景迁移、尾部失败、维护和制度兑现，避免用平均性能替系统结论。
一、随机基准Randomized Benchmarking
在Knill et al., Physical Review A 77, 012307 (2008), doi:10.1103/PhysRev之前，控制与自动化处理随机基准时仍受“离线设计完成即可保证上线后的闭环行为”支配。2008年的证据把用随机序列衰减估计平均误差单独显影，并留下Knill et al., Physical Review A 77, 012307 (2008), doi:10.1103/PhysRevA.77.012307把随机基准钉在可核验的历史节点：随机化把态制备与测量误差部分隔；这使平均门误差能否代表相关噪声与泄漏第一次能够被反查。起点记录继续保留用随机序列衰减估计平均误差的失败对象。
2008年的主张可被直接否定：保留相同对象与总预算，拿掉用随机序列衰减估计平均误差。若用随机序列衰减估计平均误差未触发退出任务数对全部候选任务的比例没有改变，随机基准就只是重新命名；平均门误差能否代表相关噪声与泄漏因此是单因检验而非附带讨论。消融记录继续保留用随机序列衰减估计平均误差的失败对象。
原始证据给出的可交换量是Knill et al., Physical Review A 77, 012307 (2008), doi:10.1103/PhysRevA.77.012307把随机基准钉在可核验的历史节点：随机化把态制备与测量误差部分隔。本页将它收束为用随机序列衰减估计平均误差未触发退出任务数／全部候选任务：分子、分母、观察窗和失败定义一起锁定；另列接管次数与恢复时间和物理损失，防止2025年的更大规模把2008年的选择偏差放大。读数记录继续保留用随机序列衰减估计平均误的失败对象。
争议文献平均门误差能否代表相关噪声与泄漏迫使结论停在⇄系统核算后方向反转：马尔可夫与门无关假设被破坏时，单一指数会掩盖慢漂移、相干积累和泄漏；平均衰减越漂亮之前。验证时逐级改变尺度、输入或环境；只要用随机序列衰减估计平均误差的名义提高伴随接管次数下降，就说明原来测到的是代理优化而非系统净收益。
从论文进入制度后，工厂运营者不能只验收用随机序列衰减估计平均误差未触发退出任务数。2025年的Tiwari et al., Responsible AI Framework for Autonomous Vehicles, IEE要求把用随机序列衰减估计平均误差未触发退出任务数／全部候选任务只登记可读结果、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。维护记录继续保留用随机序列衰减估计平均误差的失败对象。维护记录继续保留用随机序列衰减估的失败对象。
本条的外部邻居是第543号“随机基准”。对撞时先统一用随机序列衰减估计平均误差未触发退出任务数／全部候选任务，再把⇄系统核算后方向反转：马尔可夫与门无关假设被破坏时，单一指数会掩盖慢漂移、相干积累和泄漏；平均衰减越漂亮造成的无归属状态补回分母；若两条仍相反，共有前提04 测量不改变被测对象才获得被推翻的资格。
二、最优控制的可转移性Quantum Optimal Control
2015年的Glaser et al., European Physical Journal D 69, 279 (2015), doi:10.1140改变的是“最优控制的可转移性”的验收对象。它以从核磁方法发展为跨平台控制学解释Glaser et al., European Physical Journal D 69, 279 (2015), doi:10.1140/epjd/e2015-60464-1把最优控制的可转移性钉在可核验的历史节点：综述，并暴露跨场景时因⇄系统核算后方向反转：共享数学不等于共享参数；因此开环模型设计与实验闭环学习如何分工可被检验。起点记录继续保留从核磁方法发展为跨平台控制学的失败对象。
因果账只给从核磁方法发展为跨平台控制学一个席位：在全部复现尝试内固定版本、预算与输入，只让这一机制开关。若关闭后从核磁方法发展为跨平台控制学外部复现成功数不变，或开环模型设计与实验闭环学习如何分工给出同样结果，本条即失去充分性。消融记录继续保留从核磁方法发展为跨平台控制学的失败对象。
证据表先登记Glaser et al., European Physical Journal D 69, 279 (2015), doi:10.1140/epjd/e2015-60464-1把最优控制的可转移性钉在可核验的历史节点：综述，再按从核磁方法发展为跨平台控制学外部复现成功数／全部复现尝试复算。从核磁方法发展为跨平台控制学外部复现成功数与全部复现尝试须对应，并给出恢复时间和物理损失与闭环稳定裕量；这样才能区分2015年的局部读数与2025年的系统兑现。读数记录继续保留从核磁方法发展为跨的失败对象。
Ames et al., IEEE Transactions on Automatic Control 62, 3861–3876 (2把反例落在⇄系统核算后方向反转：共享数学不等于共享参数，控制器跨设备迁移必须重做系统辨识；算法迁移越直接：让该条件进入主样本，再观察从核磁方法发展为跨平台控制学外部复现成功数／全部复现尝试。若从核磁方法发展为跨平台控制学增强而恢复时间和物理损失恶化，开环模型设计与实验闭环学习如何分工按反号处理。
Sharifi et al., System Safety Monitoring of Learned Components Using给出2025年的现场入口；安全审计方与监管机构需把从核磁方法发展为跨平台控制学、跨场景时因⇄系统核算后方向反转：共享数学不等于共享参数和恢复记录绑定到同一版本。只有恢复时间和物理损失与闭环稳定裕量与从核磁方法发展为跨平台控制学外部复现成功数／全部复现尝试共同改善，部署才算兑现。维护记录继续保留从核磁方法发展为跨平的失败对象。
精确碰撞指向第543号“最优控制的可转移性”：先把13 时间尺度可自由压缩设为共同前提，再用从核磁方法发展为跨平台控制学外部复现成功数／全部复现尝试换算。若⇄系统核算后方向反转：共享数学不等于共享参数，控制器跨设备迁移必须重做系统辨识使方向分叉，两条须分别命名。接口记录继续保留从核磁方法发展为跨平台控制学的失败对象。
三、脉冲级变分控制Pulse-Level Variational Control
Kandala et al., Nature 549, 242–246 (2017), doi:10.1038/nature23879在2017年把“脉冲级变分控制”固定成可追溯节点：Kandala et al., Nature 549, 242–246 (2017), doi:10.1038/nature23879把脉冲级变分控制钉在可核验的历史节点：硬件高效VQE用浅层旋转和本地纠缠器完成小分子能量估。在此之前，控制与自动化常把“离线设计完成即可保证上线后的闭环行为”当默认，被⇄系统核算后方向反转：表达能力和可训练性互相牵制；旧账因此无法解释硬件高效拟设是否只是把器件偏差写进答案。
本条把因果立场锁在短纠缠线路直接适应芯片连通性：固定对象、预算和全部预注册运行数后，只移除这一机制；若短纠缠线路直接适应芯片连通性达标运行数仍保持同向，主张即撤回。Kandala et al., Nature 549, 242–246 (2017), doi:10.1038/nature23879只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留短纠缠线路直接适应芯片连通性的失败对象。消融记录继续保留短纠缠线路直接适的失败对象。
关键证据不是出版年份，而是Kandala et al., Nature 549, 242–246 (2017), doi:10.1038/nature23879把脉冲级变分控制钉在可核验的历史节点：硬件高效VQE用浅层旋转和本地纠缠器完成小分子能量估。这里把分子写成“短纠缠线路直接适应芯片连通性达标运行数”、分母写成“全部预注册运行数”，并列闭环稳定裕量与约束违例率；2017年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。
反方锚为硬件高效拟设是否只是把器件偏差写进答案，真正争点是硬件高效拟设是否只是把器件偏差写进答案。压力试验主动制造⇄系统核算后方向反转：表达能力和可训练性互相牵制，化学精度不能从小系统线性外推；拟设越贴硬件；若短纠缠线路直接适应芯片连通性越强而闭环稳定裕量反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。
2025年的Google Quantum AI, Quantum error correction below the surface code t把这条带进现场。控制工程师必须登记被⇄系统核算后方向反转：表达能力和可训练性互相牵制，并让闭环稳定裕量与约束违例率与短纠缠线路直接适应芯片连通性达标运行数／全部预注册运行数使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留短纠缠线路直接适应芯片连通性的失败对象。
跨域接口落在第543号“脉冲级变分控制”。两条共享13 时间尺度可自由压缩，但本条以短纠缠线路直接适应芯片连通性达标运行数／全部预注册运行数裁决，并把⇄系统核算后方向反转：表达能力和可训练性互相牵制，化学精度不能从小系统线性外推；拟设越贴硬件设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。
四、控制屏障函数Control Barrier Functions
“控制屏障函数”并非因名称新而入选。2017年的Ames et al., IEEE Transactions on Automatic Control 62, 3861–3876 (201把在线约束动作保持系统位于安全集与旧基线放进同一对象定义，留下的硬读数是提出证据见Ames et al., IEEE Transactions on Automatic Control 62, 3861–3876 (2017), doi:10.1109/TAC.2016.2638961。若继续沿用“离线设计完成即可保证上线后的闭环行为”，现行记录没有追踪⇄系统核算后方向反转：安全集、动力学或状态估计若错误。起点记录继续保留在线约束动作保持系统位于安全集的失败对象。
可反驳命题只有一句：决定方向的只有在线约束动作保持系统位于安全集。以连续安全集能否覆盖感知误差与离散模式切换为对手，在同一全部有效读数内做消融；若不用该机制也能得到在线约束动作保持系统位于安全跨场景同向读数，2017年的解释就降为相关而非原因。消融记录继续保留在线约束动作保持系统位于安全集的失败对象。
倒读第三段只看硬数：提出证据见Ames et al., IEEE Transactions on Automatic Control 62, 3861–3876 (2017), doi:10.1109/TAC.2016.2638961。它对应的复算式为在线约束动作保持系统位于安全跨场景同向读数／全部有效读数，再与约束违例率与最坏求解时延交叉；2017年的主证据不能拿卷页数字充当结果，2025年的复核也不能删除零输出和失败运行。硬读数仍是：提出证据见Ames et al., IEEE Transactions on Automatic Control 62, 3861–3876 (2017), doi:10.1109/TAC.2016.2638961，最强争议是“连续安全集能否覆盖感知误差与离散模式切换”；其单位和观察窗须随原记录保留。
边界不是“还需研究”，而是⇄系统核算后方向反转：安全集、动力学或状态估计若错误，数学上可行的滤波也会把系统带出真实边界；屏障证明越严格。Bansal & Tomlin, IEEE ICRA, 1817–1824 (2021), doi:10.1109/ICRA48506.提供反查入口：把对象推到这条停止线外，若在线约束动作保持系统位于安全跨场景同向读数上升却让约束违例率恶化，就按反号结果撤回充分性主张。边界记录继续保留在线约束动作保持系统位于安全集的失败对象。
实践责任落在设备厂：依据International Energy Agency, Building the Future Transmission Grid (，版本发布时预注册在线约束动作保持系统位于安全跨场景同向读数／全部有效读数，并把现行记录没有追踪⇄系统核算后方向反转：安全集、动力学或状态估计若错误列为独立事件。若旧方案在约束违例率与最坏求解时延上更好，部署应允许回切。维护记录继续保留在线约束动作保持系统位于安全集的失败对象。
第551号“控制屏障函数”提供精确对撞，不是宽泛类比。共同前提是13 时间尺度可自由压缩；本条的分离线是⇄系统核算后方向反转：安全集、动力学或状态估计若错误，数学上可行的滤波也会把系统带出真实边界；屏障证明越严格，换算轴是在线约束动作保持系统位于安全跨场景同向读数／全部有效读数，两边必须在同一观察窗重排后才谈迁移。
五、Reluplex神经网络验证Reluplex Verification
转向起于2017年：Katz et al., CAV 2017, 97–117, doi:10.1007/978-3-319-63387-9_5不再只报最坏求解时延，而把Reluplex神经网络验证写成把ReLU网络性质化为可判定约束的可检查问题。判决读数是提出卷页由Katz et al., CAV 2017, 97–117, doi:10.1007/978-3-319-63387-9_5锁定，反方命题是“局部性质证明能否代表完整感知系统安全”；此前没有位置的是把ReLU网络性质化为可判定阈值内运行小时／全部观察小时遗漏了⇄系统核算后方向反。起点记录继续保留把ReLU网络性质化为可判定约束的失败对象。
单因不是说其他条件不存在，而是要求把ReLU网络性质化为可判定约束独自承担判决。实验把全部观察小时、成本和版本冻结，只撤掉该机制；把ReLU网络性质化为可判定阈值内运行小时若不下降，或旧方法反而更好，本条不得用新变量补救。反证把ReLU网络性质化为可判定约束时保留把ReLU网络性质化为可判定阈值内运行小时／全部观察小时原分母，不能临时换对象。
Reluplex神经网络验证的读数锚是提出卷页由Katz et al., CAV 2017, 97–117, doi:10.1007/978-3-319-63387-9_5锁定，反方命题是“局部性质证明能否代表完整感知系统安全”。据此，把ReLU网络性质化为可判定阈值内运行小时须除以全部观察小时，而不是只摘最好一次；同时报告最坏求解时延与接管次数，才能判断2017年的机制在2025年是否仍以同一方向兑现。读数记录继续保留把ReLU网络性质化为可判定约束的失败对象。
局部性质证明能否代表完整感知系统安全所代表的异议集中在局部性质证明能否代表完整感知系统安全。本条最强反例是⇄系统核算后方向反转：输入域和性质由人给定，未建模传感器、预处理与环境变化不在证明之内；网络性质证明越精确；一旦该条件出现，中心读数再漂亮也须先看最坏求解时延是否反向，尾部失败不得并入“其他”。
另一处常被略过的是把ReLU网络性质化为可判定约束的维护账。Sharifi et al., System Safety Monitoring of Learned Components (2025更新到2025年，但软件维护者仍须记录把ReLU网络性质化为可判定阈值内运行小时／全部观察小时遗漏了⇄系统核算后方向反；只有把ReLU网络性质化为可判定阈值内运行小时／全部观察小时和最坏求解时延与接管次数同时改善，试验结果才可进入采购或监管。维护记录继续保留把ReLU网络性质化的失败对象。
与第551号“Reluplex神经网络验证”相比，本条把把ReLU网络性质化为可判定约束置于S位。双方都依赖17 局部最优可加总为整体最优，却可能因⇄系统核算后方向反转：输入域和性质由人给定，未建模传感器、预处理与环境变化不在证明之内；网络性质证明越精确给出反向结果；判决只认把ReLU网络性质化为可判定阈值内运行小时／全部观察小时，不认学科声望。
六、深度可达性分析DeepReach
在Bansal & Tomlin, IEEE ICRA, 1817–1824 (2021), doi:10.1109/ICRA48506.20之前，控制与自动化处理深度可达性分析时仍受“离线设计完成即可保证上线后的闭环行为”支配。2021年的证据把用神经隐式函数近似高维价值函数单独显影，并留下Bansal & Tomlin, IEEE ICRA, 1817–1824 (2021), doi:10.1109/ICRA48506.2021.9561949给出起点；这使神经近似能否保留Hamilton–Jacobi安全边界的保守性第一次能够被反查。对用神经隐式函数近似高维价值函数而言，无法越过⇄系统核算后方向反转：近似残差小不等于危险集保守，验证不足时速度增益会换来漏检风险的最差亚组没有保留原始分子分母，不能靠最终平均值补写。
2021年的主张可被直接否定：保留相同对象与总预算，拿掉用神经隐式函数近似高维价值函数。若用神经隐式函数近似高维价值函未触发退出任务数对全部候选任务的比例没有改变，深度可达性分析就只是重新命名；神经近似能否保留Hamilton–Jacobi安全边界的保守性因此是单因检验而非附带讨论。消融记录继续保留用神经隐式函数近似高维价值函数的失败对象。
原始证据给出的可交换量是Bansal & Tomlin, IEEE ICRA, 1817–1824 (2021), doi:10.1109/ICRA48506.2021.9561949给出起点。本页将它收束为用神经隐式函数近似高维价值函未触发退出任务数／全部候选任务：分子、分母、观察窗和失败定义一起锁定；另列接管次数与恢复时间和物理损失，防止2025年的更大规模把2021年的选择偏差放大。硬读数仍是：Bansal & Tomlin, IEEE ICRA, 1817–1824 (2021), doi:10.1109/ICRA48506.2021.9561949给出起点，争议由“神经近似能否保留Hamilton–Jacobi安全边界的保守性”承担，最新状态是“神经偏微分方程扩大高维可达集估计”；其单位和观察窗须随原记录保留。
争议文献Sheh et al., NIST workshop paper on autonomous cybersecurity and AI 迫使结论停在⇄系统核算后方向反转：近似残差小不等于危险集保守，验证不足时速度增益会换来漏检风险；神经可达分析越快之前。验证时逐级改变尺度、输入或环境；只要用神经隐式函数近似高维价值函数的名义提高伴随接管次数下降，就说明原来测到的是代理优化而非系统净收益。边界记录继续保留用神经隐式函数近似高维价值函数的失败对象。
从论文进入制度后，工厂运营者不能只验收用神经隐式函数近似高维价值函未触发退出任务数。2025年的International Energy Agency, Building the Future Transmission Grid (要求把无法越过⇄系统核算后方向反转：近似残差小不等于危险集保守、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。用神经隐式函数近似高维价值函数的责任延续到故障恢复和版本退出，不能在验收时提前终止。
本条的外部邻居是第551号“深度可达性分析”。对撞时先统一用神经隐式函数近似高维价值函未触发退出任务数／全部候选任务，再把⇄系统核算后方向反转：近似残差小不等于危险集保守，验证不足时速度增益会换来漏检风险；神经可达分析越快造成的无归属状态补回分母；若两条仍相反，共有前提17 局部最优可加总为整体最优才获得被推翻的资格。
七、运行时保障架构Runtime Assurance
2021年的ASTM F3269-21, Standard Practice for Methods to Safely Bound Flight Be改变的是“运行时保障架构”的验收对象。它以复杂控制越界时切换到已验证安全控制解释提出卷页由ASTM F3269-21, Standard Practice for Methods to Safely Bound Flight Behavior of Unmanned Aircraft Systems (，并暴露⇄系统核算后方向反转：监视器、切换逻辑或备份控制共享错误时；因此安全切换是否能在故障前识别并保持可控可被检验。对复杂控制越界时切换到已验证安全控制而言，⇄系统核算后方向反转：监视器、切换逻辑或备份控制共享错误时，架构会在最需接管时同时失效发生后的补救成功被计入成功，补救本身却不计成本，不能靠最终平均值补写。
因果账只给复杂控制越界时切换到已验证安全控制一个席位：在全部复现尝试内固定版本、预算与输入，只让这一机制开关。若关闭后复杂控制越界时切换到已验证安外部复现成功数不变，或安全切换是否能在故障前识别并保持可控给出同样结果，本条即失去充分性。消融记录继续保留复杂控制越界时切换到已验证安全控制的失败对象。
证据表先登记提出卷页由ASTM F3269-21, Standard Practice for Methods to Safely Bound Flight Behavior of Unmanned Aircraft Systems (，再按复杂控制越界时切换到已验证安外部复现成功数／全部复现尝试复算。复杂控制越界时切换到已验证安外部复现成功数与全部复现尝试须对应，并给出恢复时间和物理损失与闭环稳定裕量；这样才能区分2021年的局部读数与2025年的系统兑现。读数记录继续保留复杂控制越界时切换到已验证安全控制的失败对象。
安全切换是否能在故障前识别并保持可控把反例落在⇄系统核算后方向反转：监视器、切换逻辑或备份控制共享错误时，架构会在最需接管时同时失效；备份控制越可靠：让该条件进入主样本，再观察复杂控制越界时切换到已验证安外部复现成功数／全部复现尝试。若复杂控制越界时切换到已验证安全控制增强而恢复时间和物理损失恶化，安全切换是否能在故障前识别并保持可控按反号处理。
Tiwari et al., Responsible AI Framework for Autonomous Vehicles, IEE给出2025年的现场入口；安全审计方与监管机构需把复杂控制越界时切换到已验证安全控制、⇄系统核算后方向反转：监视器、切换逻辑或备份控制共享错误时和恢复记录绑定到同一版本。只有恢复时间和物理损失与闭环稳定裕量与复杂控制越界时切换到已验证安外部复现成功数／全部复现尝试共同改善，部署才算兑现。维护记录继续保留复杂控制越界时切的失败对象。
精确碰撞指向第551号“运行时保障架构”：先把17 局部最优可加总为整体最优设为共同前提，再用复杂控制越界时切换到已验证安外部复现成功数／全部复现尝试换算。若⇄系统核算后方向反转：监视器、切换逻辑或备份控制共享错误时，架构会在最需接管时同时失效使方向分叉，两条须分别命名。接口记录继续保留复杂控制越界时切换到已验证安全控制的失败对象。
八、无人系统网络与AI风险Uncrewed Systems Risk
Sheh et al., NIST workshop paper on autonomous cybersecurity and AI ri在2023年把“无人系统网络与AI风险”固定成可追溯节点：NIST AI RMF以Govern、Map、Measure、Manage 4 个函数组织风险；无人系统还须把网络入侵映射到物理损失。在此之前，控制与自动化常把“离线设计完成即可保证上线后的闭环行为”当默认，现场因⇄系统核算后方向反转：分开完成网络和AI清单仍可能遗漏跨层攻击链；旧账因此无法解释连接与学习是否把网络攻击变成物理危险。
本条把因果立场锁在把网络、AI和实体后果纳入同一风险图：固定对象、预算和全部预注册运行数后，只移除这一机制；若把网络、AI和实体后果纳入同达标运行数仍保持同向，主张即撤回。Sheh et al., NIST workshop paper on autonomous cybersecurity and AI ri只负责这一个充分性判断，不能在失败后追加“系统复杂”作第二原因。消融记录继续保留把网络、AI和实体后果纳入同一风险图的失败对象。消融记录继续保留把网络、AI和实的失败对象。
关键证据不是出版年份，而是NIST AI RMF以Govern、Map、Measure、Manage 4 个函数组织风险；无人系统还须把网络入侵映射到物理损失。这里把分子写成“把网络、AI和实体后果纳入同达标运行数”、分母写成“全部预注册运行数”，并列闭环稳定裕量与约束违例率；2023年原始记录与2025年更新都必须保留样本规模、阈值、区间和中止原因。读数记录继续保留把网络、AI和实体后果纳入同一风险图的失败对象。
反方锚为Lasseter et al., CERTS Microgrid Laboratory Test Bed, IEEE Transacti，真正争点是连接与学习是否把网络攻击变成物理危险。压力试验主动制造⇄系统核算后方向反转：分开完成网络和AI清单仍可能遗漏跨层攻击链，责任必须沿物理后果闭合；若把网络、AI和实体后果纳入同一风险图越强而闭环稳定裕量反而越差，方向已经翻转，不能用总体均值或2025年的新名称冲销。边界记录继续保留把网络、AI和实体后果纳入的失败对象。
2025年的Sharifi et al., System Safety Monitoring of Learned Components Using把这条带进现场。控制工程师必须登记现场因⇄系统核算后方向反转：分开完成网络和AI清单仍可能遗漏跨层攻击链，并让闭环稳定裕量与约束违例率与把网络、AI和实体后果纳入同达标运行数／全部预注册运行数使用同一时间窗；接管、返工和恢复不能免费吸收失败。维护记录继续保留把网络、AI和实体后果纳入同一风险图的失败对象。
跨域接口落在第551号“无人系统网络与AI风险”。两条共享18 干预不回写到被干预者，但本条以把网络、AI和实体后果纳入同达标运行数／全部预注册运行数裁决，并把⇄系统核算后方向反转：分开完成网络和AI清单仍可能遗漏跨层攻击链，责任必须沿物理后果闭合设为停止线；对方若使用另一对象或分母，只能登记为异名，不能互相代证。
九、OpenADR自动需求响应OpenADR
“OpenADR自动需求响应”并非因名称新而入选。2009年的Lawrence Berkeley National Laboratory, OpenADR 1.0 specification (2009把用开放信号自动触发价格或事件响应与旧基线放进同一对象定义，留下的硬读数是Lawrence Berkeley National Laboratory, OpenADR 1.0 specification (2009)给出的关键证据是协议把电网事件与终端控制接口标准化。若继续沿用“离线设计完成即可保证上线后的闭环行为”，用开放信号自动触发价格或事件响应兑现数／全部候选与中止数未把当设备收到信号不等于。
可反驳命题只有一句：决定方向的只有用开放信号自动触发价格或事件响应。以标准消息能否让负荷在关键时刻真实响应为对手，在同一全部候选与中止数内做消融；若不用该机制也能得到用开放信号自动触发价格或事件响应兑现数，2009年的解释就降为相关而非原因。消融记录继续保留用开放信号自动触发价格或事件响应的失败对象。
倒读第三段只看硬数：Lawrence Berkeley National Laboratory, OpenADR 1.0 specification (2009)给出的关键证据是协议把电网事件与终端控制接口标准化。它对应的复算式为用开放信号自动触发价格或事件响应兑现数／全部候选与中止数，再与约束违例率与最坏求解时延交叉；2009年的主证据不能拿卷页数字充当结果，2025年的复核也不能删除零输出和失败运行。读数记录继续保留用开放信号自动触发价格或事件响应的失败对象。
边界不是“还需研究”，而是当设备收到信号不等于负荷减少时，用开放信号自动触发价格或事件响应越高，净收益反而越低。International Energy Agency, Electricity Grids and Secure Energy Tra提供反查入口：把对象推到这条停止线外，若用开放信号自动触发价格或事件响应兑现数上升却让约束违例率恶化，就按反号结果撤回充分性主张。边界记录继续保留用开放信号自动触发价格或事件响应的失败对象。
实践责任落在设备厂：依据International Energy Agency, Building the Future Transmission Grid (，版本发布时预注册用开放信号自动触发价格或事件响应兑现数／全部候选与中止数，并把用开放信号自动触发价格或事件响应兑现数／全部候选与中止数未把当设备收到信号不等于列为独立事件。若旧方案在约束违例率与最坏求解时延上更好，部署应允许回切。维护记录继续保留用开放信号自动触发价格或事件响应的失败对象。
第566号“OpenADR自动需求响应”提供精确对撞，不是宽泛类比。共同前提是18 干预不回写到被干预者；本条的分离线是当设备收到信号不等于负荷减少时，用开放信号自动触发价格或事件响应越高，净收益反而越低，换算轴是用开放信号自动触发价格或事件响应兑现数／全部候选与中止数，两边必须在同一观察窗重排后才谈迁移。接口记录继续保留用开放信号自动触的失败对象。
十、CERTS微电网CERTS Microgrid
转向起于2011年：Lasseter et al., CERTS Microgrid Laboratory Test Bed, IEEE Transaction不再只报最坏求解时延，而把CERTS微电网写成以本地下垂控制实现即插即用孤岛的可检查问题。判决读数是Lasseter et al., CERTS Microgrid Laboratory Test Bed, IEEE Transactions on Power Delivery 26, 325–332 (2011)提供了可；此前没有位置的是证据表未保存当实验负荷和故障条件受控时，以本地下垂控制实现即插即用孤岛越高。对以本地下垂控制实现即插即用孤岛而言，证据表未保存当实验负荷和故障条件受控时，以本地下垂控制实现即插即用孤岛越高，净收益反而越低下的零输出、误报与无归属状态，不能靠最终平均值补写。
单因不是说其他条件不存在，而是要求以本地下垂控制实现即插即用孤岛独自承担判决。实验把全部候选与中止数、成本和版本冻结，只撤掉该机制；以本地下垂控制实现即插即用孤岛兑现数若不下降，或旧方法反而更好，本条不得用新变量补救。反证以本地下垂控制实现即插即用孤岛时保留以本地下垂控制实现即插即用孤岛兑现数／全部候选与中止数原分母，不能临时换对象。
CERTS微电网的读数锚是Lasseter et al., CERTS Microgrid Laboratory Test Bed, IEEE Transactions on Power Delivery 26, 325–332 (2011)提供了可。据此，以本地下垂控制实现即插即用孤岛兑现数须除以全部候选与中止数，而不是只摘最好一次；同时报告最坏求解时延与接管次数，才能判断2011年的机制在2025年是否仍以同一方向兑现。硬读数仍是：Lasseter et al., CERTS Microgrid Laboratory Test Bed, IEEE Transactions on Power Delivery 26, 325–332 (2011)提供了可复算起点——CERTS试验台展示分布式电源无需高速中央通信也能分担功率并孤岛；其单位和观察窗须随原记录保留。
IEA grid reports; IEEE 1547-2018; FERC Order 2222所代表的异议集中在无缝孤岛是否能在真实负荷与保护系统中稳定。本条最强反例是当实验负荷和故障条件受控时，以本地下垂控制实现即插即用孤岛越高，净收益反而越低；一旦该条件出现，中心读数再漂亮也须先看最坏求解时延是否反向，尾部失败不得并入“其他”。边界记录继续保留以本地下垂控制实现即插即用孤岛的失败对象。
另一处常被略过的是以本地下垂控制实现即插即用孤岛的维护账。International Energy Agency, Building the Future Transmission Grid (更新到2025年，但软件维护者仍须记录证据表未保存当实验负荷和故障条件受控时，以本地下垂控制实现即插即用孤岛越高；只有以本地下垂控制实现即插即用孤岛兑现数／全部候选与中止数和最坏求解时延与接管次数同时改善，试验结果才可进入采购或监管。
与第566号“CERTS微电网”相比，本条把以本地下垂控制实现即插即用孤岛置于E位。双方都依赖18 干预不回写到被干预者，却可能因当实验负荷和故障条件受控时，以本地下垂控制实现即插即用孤岛越高，净收益反而越低给出反向结果；判决只认以本地下垂控制实现即插即用孤岛兑现数／全部候选与中止数，不认学科声望。接口记录继续保留以本地下垂控制实现即的失败对象。
十一、成网型逆变器Grid-Forming Inverters
在National Renewable Energy Laboratory, Research Roadmap on Grid-Forming之前，控制与自动化处理成网型逆变器时仍受“离线设计完成即可保证上线后的闭环行为”支配。2020年的证据把逆变器以内部电压源形成并支撑电网单独显影，并留下National Renewable Energy Laboratory, Research Roadmap on Grid-Forming Inverters (2020)给出的关键证据是路线图把同步机退役后的黑启动、弱网；这使电子电源能否在低惯量系统中稳定建立电压频率第一次能够被反查。起点记录继续保留逆变器以内部电压源形成并支撑的失败对象。
2020年的主张可被直接否定：保留相同对象与总预算，拿掉逆变器以内部电压源形成并支撑电网。若逆变器以内部电压源形成并支撑电网兑现数对全部候选与中止数的比例没有改变，成网型逆变器就只是重新命名；电子电源能否在低惯量系统中稳定建立电压频率因此是单因检验而非附带讨论。消融记录继续保留逆变器以内部电压源形成并支撑电网的失败对象。
原始证据给出的可交换量是National Renewable Energy Laboratory, Research Roadmap on Grid-Forming Inverters (2020)给出的关键证据是路线图把同步机退役后的黑启动、弱网。本页将它收束为逆变器以内部电压源形成并支撑电网兑现数／全部候选与中止数：分子、分母、观察窗和失败定义一起锁定；另列接管次数与恢复时间和物理损失，防止2025年的更大规模把2020年的选择偏差放大。读数记录继续保留逆变器以内部电压源形成并支撑电网的失败对象。
争议文献International Energy Agency, Electricity Grids and Secure Energy Tra迫使结论停在当单机稳定不保证多厂商并联稳定时，逆变器以内部电压源形成并支撑电网越高，净收益反而越低之前。验证时逐级改变尺度、输入或环境；只要逆变器以内部电压源形成并支撑电网的名义提高伴随接管次数下降，就说明原来测到的是代理优化而非系统净收益。边界记录继续保留逆变器以内部电压源形成并支撑电网的失败对象。
从论文进入制度后，工厂运营者不能只验收逆变器以内部电压源形成并支撑电网兑现数。2025年的International Energy Agency, Building the Future Transmission Grid (要求把当单机稳定不保证多厂商并联稳定时，逆变器以内部电压源形成并支撑电网越高、恢复时长及版本并列；否则成功会把劳动和退出成本移出画面。维护记录继续保留逆变器以内部电压源形成并支撑电网的失败对象。维护记录继续保留逆变器以内部电压的失败对象。
本条的外部邻居是第566号“成网型逆变器”。对撞时先统一逆变器以内部电压源形成并支撑电网兑现数／全部候选与中止数，再把当单机稳定不保证多厂商并联稳定时，逆变器以内部电压源形成并支撑电网越高，净收益反而越低造成的无归属状态补回分母；若两条仍相反，共有前提19 类别互斥且穷尽才获得被推翻的资格。接口记录继续保留逆变器以内部电压的失败对象。
十二、智能电网闭环验收Closed-Loop Grid Acceptance
2018年的IEA grid reports; IEEE 1547-2018; FERC Order 2222改变的是“智能电网闭环验收”的验收对象。它以以物理服务结果替代联网设备数量解释证据锚点由IEA grid reports; IEEE 1547-2018; FERC Order 2222承担：闭环验收要求每个预测、指令、设备响应和网络结果在同一时间线上对账，并保留未响应与人工干预，并暴露最终汇总漏掉当反事实电网状态无法直接观察时，只适用于已观察对象；因此数据平台能否用可追踪动作证明停电风险和弃电真实下降可被检验。
因果账只给以物理服务结果替代联网设备数量一个席位：在全部候选与中止数内固定版本、预算与输入，只让这一机制开关。若关闭后以物理服务结果替代联网设备数量兑现数不变，或数据平台能否用可追踪动作证明停电风险和弃电真实下降给出同样结果，本条即失去充分性。消融记录继续保留以物理服务结果替代联网设备数量的失败对象。
证据表先登记证据锚点由IEA grid reports; IEEE 1547-2018; FERC Order 2222承担：闭环验收要求每个预测、指令、设备响应和网络结果在同一时间线上对账，并保留未响应与人工干预，再按以物理服务结果替代联网设备数量兑现数／全部候选与中止数复算。以物理服务结果替代联网设备数量兑现数与全部候选与中止数须对应，并给出恢复时间和物理损失与闭环稳定裕量；这样才能区分2018年的局部读数与2025年的系统兑现。
Sharifi et al., System Safety Monitoring of Learned Components (2025把反例落在当反事实电网状态无法直接观察时，只适用于已观察对象，不能外推：让该条件进入主样本，再观察以物理服务结果替代联网设备数量兑现数／全部候选与中止数。若以物理服务结果替代联网设备数量增强而恢复时间和物理损失恶化，数据平台能否用可追踪动作证明停电风险和弃电真实下降按反号处理。边界记录继续保留以物理服务结果替的失败对象。
International Energy Agency, Building the Future Transmission Grid (给出2025年的现场入口；安全审计方与监管机构需把以物理服务结果替代联网设备数量、最终汇总漏掉当反事实电网状态无法直接观察时，只适用于已观察对象和恢复记录绑定到同一版本。只有恢复时间和物理损失与闭环稳定裕量与以物理服务结果替代联网设备数量兑现数／全部候选与中止数共同改善，部署才算兑现。
精确碰撞指向第566号“智能电网闭环验收”：先把30 未被计价的东西不影响结算设为共同前提，再用以物理服务结果替代联网设备数量兑现数／全部候选与中止数换算。若当反事实电网状态无法直接观察时，只适用于已观察对象，不能外推使方向分叉，两条须分别命名。接口记录继续保留以物理服务结果替代联网设备数量的失败对象。
◎ 二十年连起来看
控制与自动化最站得住的二十年转向，是控制器从固定公式变成在线优化和学习系统，验收也从平均性能转向运行时边界与安全案例。第一幕从“模型预测控制在工业现场成年”走到“GRAPE梯度脉冲工程”，先把对象、读数和旧边界建立起来；第二幕由“随机基准”推进到“智能电网闭环验收”，评价单位已经从单点性能变成闭环稳定裕量、约束违例率、最坏求解时延、接管次数、恢复时间和物理损失的共同账。
这条线没有把旧方法写成失败史。相反，“控制屏障函数”说明旧机制在条件清楚时仍有效；真正被撤回的是离线设计完成即可保证上线后的闭环行为这个默认。只要分母、失败谱和维护责任不公开，再新的名词也只是把未计价部分移出画面。
◎ 三个常见误解
误解一是把“模型预测控制在工业现场成年”的峰值当成全系统能力。它至少还受预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作约束，必须用无约束违例控制周期数／全部周期、超时与降级周期复算。
误解二是认为规模会自动解决“OpenADR自动需求响应”。规模也会同步放大标准消息能否让负荷在关键时刻真实响应，因此最差亚组和中止运行不能从分母消失。
误解三是把自动化等同于无人负责。控制工程师、设备厂、软件维护者、工厂运营者、安全审计方与监管机构仍须为版本、接管、恢复和退出签字，责任不会因以物理服务结果替代联网设备数量而蒸发。
◎ 与相邻领域的接口
向方法侧看，“随机基准”与第543号“随机基准”共享04 测量不改变被测对象；只有对齐用随机序列衰减估计平均误差未触发退出任务数／全部候选任务，两边的性能数字才可换算。
向制度侧看，“智能电网闭环验收”把模型、估计、优化、通信、执行器、安全约束与运行时降级接到采购、监管和维护流程。接口的最低交付物不是领域标签，而是对象版本、单位、失败阈值、责任人和可撤回条件。
◎ 争议现场
当前最值得盯住的争论是：学习控制能否在分布外状态给出足以认证的安全保证。支持方必须用“OpenADR自动需求响应”给出净增益，反方则要用当设备收到信号不等于负荷减少时，用开放信号自动触发价格或事件响应越高，净收益反而越低构造会反号的测试；双方都不能只挑成功案例。
第二场争论落在证据门槛：运行时保障、可达性近似误差、工控攻击回放和成网型逆变器现场稳定究竟要达到什么水平才算成熟。可判标准应预先写成以物理服务结果替代联网设备数量兑现数／全部候选与中止数，并公开最差条件、人工介入和连续观察窗。
◎ 往下五年看什么
未来五年不追逐更多名词，只看运行时保障、可达性近似误差、工控攻击回放和成网型逆变器现场稳定。其中“OpenADR自动需求响应”负责能力边界，“智能电网闭环验收”负责系统兑现；若两者不能在闭环稳定裕量、约束违例率、最坏求解时延、接管次数、恢复时间和物理损失的同一张表里同时改善，就应把路线限定为局部工具，而不是通用转向。
◎ 可与哪些领域对撞
“模型预测控制在工业现场成年”可与第551号“运行时保障架构”对撞，共查01 谁进入分母；加入预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作后重新排序。
“GRAPE梯度脉冲工程”可与第543号“GRAPE梯度脉冲工程”对撞，共查04 测量不改变被测对象；统一量纲为用传播梯度直接优化控制波形阈值内运行小时／全部观察小时。
“OpenADR自动需求响应”可与第566号“OpenADR自动需求响应”对撞，共查18 干预不回写到被干预者；阴性运行和转移成本不得空白。
“智能电网闭环验收”可与第566号“智能电网闭环验收”对撞，共查30 未被计价的东西不影响结算；把停止阈值写进迁移合同。
◎ 十条可做的研究命题
1. 以MPC每个采样周期求解长度为 N 的受约束预测问题、只执行第 1 步为基线，预注册无约束违例控制周期数／全部周期、超时与降级周期；触发预测域越长不一定越稳；计算超时会让更优计划反而成为过期动作时检验净效应是否反号。
2. 把账本未单列问题越接近约束边界，迭代和条件数反而越可能同时爆发造成的退出、重试与人工接补回分母，再复算时限内给出可行解周期数／全部控制周期与求解失败；比较补账前后是否改变“嵌入式求解器把在线优化压进毫秒预算”的排序。
3. 针对保守裕量和参数收敛能否在未激励方向同时成立，只消融以最坏界与在线辨识分别处理结构未知；若H∞设计把闭环最坏增益约束为小于 γ；自适应律则在线更新参数不能复现，撤回单因解释。
4. 让第551号“运行时保障架构”与本条共用稳定服务周期数／全部丢包模式、延迟和重连周期；以控制器越依赖高频反馈，成串丢包造成的方向反转反而越快为停止线检验迁移是否成立。
5. 以Symantec样本显示Stuxnet针对约 1000 台特定变频器的转速序列为基线，预注册被检测并安全降级事件数／全部攻击注入与漏报事件；触发自动化程度越高，伪造测量持续越久，物理损伤反而越难由操作员察觉时检验净效应是否反号。
6. 把因⇄系统核算后方向反转：若平台时延、时钟漂移和环境动力学未进入模型补回分母，再复算把时间和物理动态提升为计算语达标运行数／全部预注册运行数；比较补账前后是否改变“信息物理系统设计挑战”的排序。
7. 针对事故是否主要来自部件失效而非错误交互，只消融用不安全控制动作分析系统事故；若STPA把不安全控制动作分为未提供、错误提供、时序错误、持续过久或停止过早 4 不能复现，撤回单因解释。
8. 让第543号“GRAPE梯度脉冲工程”与本条共用用传播梯度直接优化控制波形阈值内运行小时／全部观察小时；以⇄系统核算后方向反转：哈密顿量辨识错误和带宽限制会使仿真最优在实机上失效为停止线检验迁移是否成立。
9. 以Knill et al., Physical Review A 77, 012307 (2008为基线，预注册用随机序列衰减估计平均误差未触发退出任务数／全部候选任务；触发⇄系统核算后方向反转：马尔可夫与门无关假设被破坏时时检验净效应是否反号。
10. 把跨场景时因⇄系统核算后方向反转：共享数学不等于共享参数补回分母，再复算从核磁方法发展为跨平台控制学外部复现成功数／全部复现尝试；比较补账前后是否改变“最优控制的可转移性”的排序。
◎ 资料核验
- Qin & Badgwell, Control Engineering Practice 11, 733–764 (2003), doi:10.1016/S0967-0661(02)00186-7
- Ferreau et al., International Journal of Robust and Nonlinear Control 24, 2787–2807 (2014), doi:10.1002/rnc.3180
- Zhou, Doyle & Glover, Robust and Optimal Control, Prentice Hall (1996)
- Hespanha, Naghshtabrizi & Xu, Proceedings of the IEEE 95, 138–162 (2007), doi:10.1109/JPROC.2006.887288
- Falliere, Murchu & Chien, W32.Stuxnet Dossier, Symantec (2011)
- Lee, IEEE ISORC, 363–369 (2008), doi:10.1109/ISORC.2008.25
- Leveson, Engineering a Safer World, MIT Press (2011)
- Khaneja et al., Journal of Magnetic Resonance 172, 296–305 (2005), doi:10.1016/j.jmr.2004.11.004
- Knill et al., Physical Review A 77, 012307 (2008), doi:10.1103/PhysRevA.77.012307
- Glaser et al., European Physical Journal D 69, 279 (2015), doi:10.1140/epjd/e2015-60464-1
- Kandala et al., Nature 549, 242–246 (2017), doi:10.1038/nature23879
- Ames et al., IEEE Transactions on Automatic Control 62, 3861–3876 (2017), doi:10.1109/TAC.2016.2638961
- Katz et al., CAV 2017, 97–117, doi:10.1007/978-3-319-63387-9_5
- Bansal & Tomlin, IEEE ICRA, 1817–1824 (2021), doi:10.1109/ICRA48506.2021.9561949
- ASTM F3269-21, Standard Practice for Methods to Safely Bound Flight Behavior of Unmanned Aircraft Systems (2021)
- Sheh et al., NIST workshop paper on autonomous cybersecurity and AI risk management (2023)
- Lawrence Berkeley National Laboratory, OpenADR 1.0 specification (2009)
- Lasseter et al., CERTS Microgrid Laboratory Test Bed, IEEE Transactions on Power Delivery 26, 325–332 (2011)
- National Renewable Energy Laboratory, Research Roadmap on Grid-Forming Inverters (2020)
- IEA grid reports; IEEE 1547-2018; FERC Order 2222
- NIST, Cyber-Physical Systems and Internet of Things Framework updates (2024)
- Sharifi et al., System Safety Monitoring of Learned Components (2025)
- 通用计算抽象能否忽略时间与物理连续性
- 精确时间语义和混合系统继续构成CPS底层问题
- 事故是否主要来自部件失效而非错误交互
- STPA已用于航空、汽车、医疗和软件密集系统
- 数值最优脉冲对模型误差是否鲁棒
- GRAPE仍是量子控制软件与自动微分脉冲设计的基础
以下二十条是控制与自动化在 1950 至 2006 年之间形成的经典思想，与上文二十条合成双层面板。每条用原始材料和后续修订说明旧前提，并点名它在本块哪条现代判断里继续被使用或反对。
经一、控制、通信与反馈进入统一语言Classic 01 · Control and Automation
在1950年的控制、通信与反馈进入统一语言出现前，控制与自动化常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第1条沿测量史固定样本、操作和失败读数。硬命题是机器、操作者与环境可用信息回路和负反馈在同一闭环中分析。第1条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Siciliano B, Khatib O, eds. Springer Handbook of Robotics, 2nd ed. Springer (2016)后来重检控制、通信与反馈进入统一语言，保留可迁移结构，并把未覆盖对象另列。与本块甲“模型预测控制在工业现场成年”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第1条只保留在1950年适用域；经典身份不能替代新证据。核验控制、通信与反馈进入统一语言还要保存阴性对象，不能只引用后来成功的分支。
经二、可编程物料搬运装置Classic 02 · Control and Automation
在1954年的可编程物料搬运装置出现前，控制与自动化常把群体平均值当作每个患者，阴性对象未与成功对象同账。第2条沿制度史固定样本、操作和失败读数。硬命题是把动作序列存入可重写控制器可使机械臂脱离固定凸轮重复执行任务。第2条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Thrun S, Burgard W, Fox D. Probabilistic Robotics. MIT Press (2005)后来重检可编程物料搬运装置，保留可迁移结构，并把未覆盖对象另列。与本块乙“嵌入式求解器把在线优化压进毫秒预算”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第2条只保留在1954年适用域；经典身份不能替代新证据。核验可编程物料搬运装置还要保存阴性对象，不能只引用后来成功的分支。迁移可编程物料搬运装置必须注明采用哪一版定义；相同名词不等于相同证据。
经三、动态规划与最优性原理Classic 03 · Control and Automation
在1957年的动态规划与最优性原理出现前，控制与自动化常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第3条沿人物史固定样本、操作和失败读数。硬命题是多阶段决策可按状态价值递推分解，当前最优动作必须接续剩余阶段的最优策略。第3条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Spong MW et al. Robot Modeling and Control, 2nd ed. Wiley (2020)后来重检动态规划与最优性原理，保留可迁移结构，并把未覆盖对象另列。与本块丙“鲁棒与自适应控制分开结算不确定性”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第3条只保留在1957年适用域；经典身份不能替代新证据。核验动态规划与最优性原理还要保存阴性对象，不能只引用后来成功的分支。
经四、卡尔曼滤波Classic 04 · Control and Automation
在1960年的卡尔曼滤波出现前，控制与自动化常把提出者声望当作适用范围，阴性对象未与成功对象同账。第4条沿机制史固定样本、操作和失败读数。硬命题是递推融合模型与带噪观测可给出线性系统状态的最小方差估计。第4条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Kober J et al. Reinforcement learning in robotics: A survey. International Journal of Robotics Research 32 (2013): 1238–1274后来重检卡尔曼滤波，保留可迁移结构，并把未覆盖对象另列。与本块丁“网络化控制把时延丢包写进闭环”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第4条只保留在1960年适用域；经典身份不能替代新证据。核验卡尔曼滤波还要保存阴性对象，不能只引用后来成功的分支。迁移卡尔曼滤波必须注明采用哪一版定义；相同名词不等于相同证据。重算卡尔曼滤波须公开停止规则，否则样本扩大只会放大选择偏差。
经五、自适应人工手Classic 05 · Control and Automation
在1962年的自适应人工手出现前，控制与自动化常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第5条沿测量史固定样本、操作和失败读数。硬命题是触觉事件与分层控制可让假手按物体接触自动切换抓握程序。第5条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Bohg J et al. Data-driven grasp synthesis: A survey. IEEE Transactions on Robotics 30 (2014): 289–309后来重检自适应人工手，保留可迁移结构，并把未覆盖对象另列。与本块戊“震网事件把工控安全变成物理安全”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第5条只保留在1962年适用域；经典身份不能替代新证据。核验自适应人工手还要保存阴性对象，不能只引用后来成功的分支。迁移自适应人工手必须注明采用哪一版定义；相同名词不等于相同证据。
经六、计算机控制关节机械臂Classic 06 · Control and Automation
在1969年的计算机控制关节机械臂出现前，控制与自动化常把群体平均值当作每个患者，阴性对象未与成功对象同账。第6条沿制度史固定样本、操作和失败读数。硬命题是电驱关节、位置反馈与软件轨迹可组成通用可重编程机械臂。第6条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Siciliano B, Khatib O, eds. Springer Handbook of Robotics, 2nd ed. Springer (2016)后来重检计算机控制关节机械臂，保留可迁移结构，并把未覆盖对象另列。与本块己“信息物理系统设计挑战”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第6条只保留在1969年适用域；经典身份不能替代新证据。核验计算机控制关节机械臂还要保存阴性对象，不能只引用后来成功的分支。迁移计算机控制关节机械臂必须注明采用哪一版定义；相同名词不等于相同证据。
经七、Shakey移动机器人Classic 07 · Control and Automation
在1969年的Shakey移动机器人出现前，控制与自动化常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第7条沿人物史固定样本、操作和失败读数。硬命题是感知、世界模型、规划与执行可在移动平台上闭环连接并由任务失败触发重规划。第7条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Thrun S, Burgard W, Fox D. Probabilistic Robotics. MIT Press (2005)后来重检Shakey移动机器人，保留可迁移结构，并把未覆盖对象另列。与本块庚“STPA系统事故模型”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第7条只保留在1969年适用域；经典身份不能替代新证据。核验Shakey移动机器人还要保存阴性对象，不能只引用后来成功的分支。迁移Shakey移动机器人必须注明采用哪一版定义；相同名词不等于相同证据。重算Shakey移动机器人须公开停止规则，否则样本扩大只会放大选择偏差。
经八、混合位置力控制Classic 08 · Control and Automation
在1981年的混合位置力控制出现前，控制与自动化常把提出者声望当作适用范围，阴性对象未与成功对象同账。第8条沿机制史固定样本、操作和失败读数。硬命题是把任务空间分成位置约束与力约束子空间可同时控制轨迹和接触载荷。第8条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Spong MW et al. Robot Modeling and Control, 2nd ed. Wiley (2020)后来重检混合位置力控制，保留可迁移结构，并把未覆盖对象另列。与本块辛“GRAPE梯度脉冲工程”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第8条只保留在1981年适用域；经典身份不能替代新证据。核验混合位置力控制还要保存阴性对象，不能只引用后来成功的分支。迁移混合位置力控制必须注明采用哪一版定义；相同名词不等于相同证据。
经九、机器人阻抗控制Classic 09 · Control and Automation
在1985年的机器人阻抗控制出现前，控制与自动化常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第9条沿测量史固定样本、操作和失败读数。硬命题是控制力与位移之间的动态关系可使接触机器人获得稳定柔顺性。第9条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Kober J et al. Reinforcement learning in robotics: A survey. International Journal of Robotics Research 32 (2013): 1238–1274后来重检机器人阻抗控制，保留可迁移结构，并把未覆盖对象另列。与本块一“随机基准”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第9条只保留在1985年适用域；经典身份不能替代新证据。核验机器人阻抗控制还要保存阴性对象，不能只引用后来成功的分支。迁移机器人阻抗控制必须注明采用哪一版定义；相同名词不等于相同证据。重算机器人阻抗控制须公开停止规则，否则样本扩大只会放大选择偏差。
经十、分层行为控制Classic 10 · Control and Automation
在1986年的分层行为控制出现前，控制与自动化常把群体平均值当作每个患者，阴性对象未与成功对象同账。第10条沿制度史固定样本、操作和失败读数。硬命题是多个感知动作层可用抑制关系直接组成鲁棒行为而不依赖完整世界模型。第10条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Bohg J et al. Data-driven grasp synthesis: A survey. IEEE Transactions on Robotics 30 (2014): 289–309后来重检分层行为控制，保留可迁移结构，并把未覆盖对象另列。与本块二“最优控制的可转移性”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第10条只保留在1986年适用域；经典身份不能替代新证据。核验分层行为控制还要保存阴性对象，不能只引用后来成功的分支。迁移分层行为控制必须注明采用哪一版定义；相同名词不等于相同证据。
经十一、人工势场避障Classic 11 · Control and Automation
在1986年的人工势场避障出现前，控制与自动化常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第11条沿人物史固定样本、操作和失败读数。硬命题是目标吸引势与障碍排斥势可把在线避障转成控制空间中的局部力。第11条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Siciliano B, Khatib O, eds. Springer Handbook of Robotics, 2nd ed. Springer (2016)后来重检人工势场避障，保留可迁移结构，并把未覆盖对象另列。与本块三“脉冲级变分控制”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第11条只保留在1986年适用域；经典身份不能替代新证据。核验人工势场避障还要保存阴性对象，不能只引用后来成功的分支。迁移人工势场避障必须注明采用哪一版定义；相同名词不等于相同证据。重算人工势场避障须公开停止规则，否则样本扩大只会放大选择偏差。
经十二、群集行为规则Classic 12 · Control and Automation
在1987年的群集行为规则出现前，控制与自动化常把提出者声望当作适用范围，阴性对象未与成功对象同账。第12条沿机制史固定样本、操作和失败读数。硬命题是分离、对齐与聚合三种局部规则可生成没有中央指挥的群体运动。第12条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Thrun S, Burgard W, Fox D. Probabilistic Robotics. MIT Press (2005)后来重检群集行为规则，保留可迁移结构，并把未覆盖对象另列。与本块四“控制屏障函数”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第12条只保留在1987年适用域；经典身份不能替代新证据。核验群集行为规则还要保存阴性对象，不能只引用后来成功的分支。迁移群集行为规则必须注明采用哪一版定义；相同名词不等于相同证据。重算群集行为规则须公开停止规则，否则样本扩大只会放大选择偏差。
经十三、占据栅格地图Classic 13 · Control and Automation
在1988年的占据栅格地图出现前，控制与自动化常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第13条沿测量史固定样本、操作和失败读数。硬命题是把空间离散为占据概率单元可累计不确定传感证据并支持移动导航。第13条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Spong MW et al. Robot Modeling and Control, 2nd ed. Wiley (2020)后来重检占据栅格地图，保留可迁移结构，并把未覆盖对象另列。与本块五“Reluplex神经网络验证”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第13条只保留在1988年适用域；经典身份不能替代新证据。核验占据栅格地图还要保存阴性对象，不能只引用后来成功的分支。迁移占据栅格地图必须注明采用哪一版定义；相同名词不等于相同证据。重算占据栅格地图须公开停止规则，否则样本扩大只会放大选择偏差。
经十四、不确定性几何表示Classic 14 · Control and Automation
在1988年的不确定性几何表示出现前，控制与自动化常把群体平均值当作每个患者，阴性对象未与成功对象同账。第14条沿制度史固定样本、操作和失败读数。硬命题是位姿与地标协方差必须随坐标变换共同传播，不能把地图误差当独立噪声。第14条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Kober J et al. Reinforcement learning in robotics: A survey. International Journal of Robotics Research 32 (2013): 1238–1274后来重检不确定性几何表示，保留可迁移结构，并把未覆盖对象另列。与本块六“深度可达性分析”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第14条只保留在1988年适用域；经典身份不能替代新证据。核验不确定性几何表示还要保存阴性对象，不能只引用后来成功的分支。迁移不确定性几何表示必须注明采用哪一版定义；相同名词不等于相同证据。
经十五、示教学习Classic 15 · Control and Automation
在1996年的示教学习出现前，控制与自动化常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第15条沿人物史固定样本、操作和失败读数。硬命题是示范轨迹可被参数化策略吸收并在新目标、速度与扰动条件下重用。第15条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Bohg J et al. Data-driven grasp synthesis: A survey. IEEE Transactions on Robotics 30 (2014): 289–309后来重检示教学习，保留可迁移结构，并把未覆盖对象另列。与本块七“运行时保障架构”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第15条只保留在1996年适用域；经典身份不能替代新证据。核验示教学习还要保存阴性对象，不能只引用后来成功的分支。迁移示教学习必须注明采用哪一版定义；相同名词不等于相同证据。重算示教学习须公开停止规则，否则样本扩大只会放大选择偏差。
经十六、快速探索随机树Classic 16 · Control and Automation
在1998年的快速探索随机树出现前，控制与自动化常把提出者声望当作适用范围，阴性对象未与成功对象同账。第16条沿机制史固定样本、操作和失败读数。硬命题是向随机样本扩展搜索树可快速覆盖高维受约束构型空间。第16条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Siciliano B, Khatib O, eds. Springer Handbook of Robotics, 2nd ed. Springer (2016)后来重检快速探索随机树，保留可迁移结构，并把未覆盖对象另列。与本块八“无人系统网络与AI风险”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第16条只保留在1998年适用域；经典身份不能替代新证据。核验快速探索随机树还要保存阴性对象，不能只引用后来成功的分支。迁移快速探索随机树必须注明采用哪一版定义；相同名词不等于相同证据。重算快速探索随机树须公开停止规则，否则样本扩大只会放大选择偏差。
经十七、蒙特卡洛定位Classic 17 · Control and Automation
在1999年的蒙特卡洛定位出现前，控制与自动化常把免疫反应看成均质体液强弱，阴性对象未与成功对象同账。第17条沿测量史固定样本、操作和失败读数。硬命题是粒子分布可表达多峰位姿不确定性并随运动和传感在线更新。第17条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Thrun S, Burgard W, Fox D. Probabilistic Robotics. MIT Press (2005)后来重检蒙特卡洛定位，保留可迁移结构，并把未覆盖对象另列。与本块九“OpenADR自动需求响应”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第17条只保留在1999年适用域；经典身份不能替代新证据。核验蒙特卡洛定位还要保存阴性对象，不能只引用后来成功的分支。迁移蒙特卡洛定位必须注明采用哪一版定义；相同名词不等于相同证据。重算蒙特卡洛定位须公开停止规则，否则样本扩大只会放大选择偏差。
经十八、概率机器人地图融合Classic 18 · Control and Automation
在2001年的概率机器人地图融合出现前，控制与自动化常把群体平均值当作每个患者，阴性对象未与成功对象同账。第18条沿制度史固定样本、操作和失败读数。硬命题是地图与位姿必须联合估计，闭环回访可把累计漂移转成可校正约束。第18条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Spong MW et al. Robot Modeling and Control, 2nd ed. Wiley (2020)后来重检概率机器人地图融合，保留可迁移结构，并把未覆盖对象另列。与本块十“CERTS微电网”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第18条只保留在2001年适用域；经典身份不能替代新证据。核验概率机器人地图融合还要保存阴性对象，不能只引用后来成功的分支。迁移概率机器人地图融合必须注明采用哪一版定义；相同名词不等于相同证据。
经十九、动态运动基元Classic 19 · Control and Automation
在2002年的动态运动基元出现前，控制与自动化常把实验室阳性直接当作临床因果，阴性对象未与成功对象同账。第19条沿人物史固定样本、操作和失败读数。硬命题是稳定吸引子与可学习形状项可把示教动作改写为可缩放运动技能。第19条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Kober J et al. Reinforcement learning in robotics: A survey. International Journal of Robotics Research 32 (2013): 1238–1274后来重检动态运动基元，保留可迁移结构，并把未覆盖对象另列。与本块十一“成网型逆变器”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第19条只保留在2002年适用域；经典身份不能替代新证据。核验动态运动基元还要保存阴性对象，不能只引用后来成功的分支。迁移动态运动基元必须注明采用哪一版定义；相同名词不等于相同证据。重算动态运动基元须公开停止规则，否则样本扩大只会放大选择偏差。
经二十、Stanley无人车Classic 20 · Control and Automation
在2006年的Stanley无人车出现前，控制与自动化常把提出者声望当作适用范围，阴性对象未与成功对象同账。第20条沿机制史固定样本、操作和失败读数。硬命题是概率感知、路径规划和速度控制的系统集成可让无人车在开放荒漠连续自主行驶。第20条没有终结争论，却让对象、装置与时间窗可由后人逐项复算。
Bohg J et al. Data-driven grasp synthesis: A survey. IEEE Transactions on Robotics 30 (2014): 289–309后来重检Stanley无人车，保留可迁移结构，并把未覆盖对象另列。与本块十二“智能电网闭环验收”对读，可见现代层继承的定义及改写边界。若补回排除者、延长观察或更换组织后主要排序翻转，第20条只保留在2006年适用域；经典身份不能替代新证据。核验Stanley无人车还要保存阴性对象，不能只引用后来成功的分支。迁移Stanley无人车必须注明采用哪一版定义；相同名词不等于相同证据。重算Stanley无人车须公开停止规则，否则样本扩大只会放大选择偏差。
◎ 这一层怎么用
先按“今用”或“异名”找到上文对应的现代条，再比较两条的对象、分母与停止规则。若它们只共享名词而不共享失败对象，就只登记为异名；若量纲可以逐项换算，再判断现代条究竟继承、修正还是反转了经典命题。
经典身份不提供豁免。提出年份只决定它属于哪一层；后续综述、反例和新装置负责划出今天仍可使用的边界。量纲字段保留“∶”，使跨年代与跨领域的读数能够先对齐分母再碰撞。
◎ 经典层资料核验
- Wiener N. The Human Use of Human Beings. Houghton Mifflin (1950)。
- Devol GC. Programmed article transfer. US Patent 2,988,237, filed 1954, issued 1961。
- Bellman R. Dynamic Programming. Princeton University Press (1957)。
- Kalman RE. A new approach to linear filtering and prediction problems. Journal of Basic Engineering 82 (1960): 35–45。
- Tomovic R, Boni G. An adaptive artificial hand. IRE Transactions on Automatic Control 7 (1962): 3–10。
- Scheinman VI. Design of a computer controlled manipulator. Stanford Artificial Intelligence Project Memo AIM-92 (1969)。
- Nilsson NJ. A mobile automaton: An application of artificial intelligence techniques. IJCAI (1969): 509–520。
- Raibert MH, Craig JJ. Hybrid position/force control of manipulators. Journal of Dynamic Systems Measurement and Control 103 (1981): 126–133。
- Hogan N. Impedance control: An approach to manipulation. Journal of Dynamic Systems Measurement and Control 107 (1985): 1–24。
- Brooks RA. A robust layered control system for a mobile robot. IEEE Journal on Robotics and Automation 2 (1986): 14–23。
- Khatib O. Real-time obstacle avoidance for manipulators and mobile robots. International Journal of Robotics Research 5 (1986): 90–98。
- Reynolds CW. Flocks, herds and schools: A distributed behavioral model. Computer Graphics 21 (1987): 25–34。
- Elfes A. Sonar-based real-world mapping and navigation. IEEE Journal of Robotics and Automation 3 (1987): 249–265。
- Durrant-Whyte HF. Uncertain geometry in robotics. IEEE Journal of Robotics and Automation 4 (1988): 23–31。
- Schaal S. Learning from demonstration. Advances in Neural Information Processing Systems 9 (1996)。
- LaValle SM. Rapidly-exploring random trees: A new tool for path planning. Iowa State University Technical Report 98-11 (1998)。
- Fox D et al. Monte Carlo localization: Efficient position estimation for mobile robots. AAAI (1999): 343–349。
- Thrun S. Robotic mapping: A survey. In Exploring Artificial Intelligence in the New Millennium. Morgan Kaufmann (2002)。
- Ijspeert AJ et al. Movement imitation with nonlinear dynamical systems in humanoid robots. ICRA (2002): 1398–1403。
- Thrun S et al. Stanley: The robot that won the DARPA Grand Challenge. Journal of Field Robotics 23 (2006): 661–692。
- Siciliano B, Khatib O, eds. Springer Handbook of Robotics, 2nd ed. Springer (2016)。
- Thrun S, Burgard W, Fox D. Probabilistic Robotics. MIT Press (2005)。
- Spong MW et al. Robot Modeling and Control, 2nd ed. Wiley (2020)。
- Kober J et al. Reinforcement learning in robotics: A survey. International Journal of Robotics Research 32 (2013): 1238–1274。
- Bohg J et al. Data-driven grasp synthesis: A survey. IEEE Transactions on Robotics 30 (2014): 289–309。
- Bekey GA. Autonomous Robots. MIT Press (2005)。
- Craig JJ. Introduction to Robotics, 2nd ed. Addison-Wesley (1989)。
- Spong MW, Vidyasagar M. Robot Dynamics and Control. Wiley (1989)。
- Mason MT. Mechanics of Robotic Manipulation. MIT Press (2001)。
- Latombe JC. Robot Motion Planning. Kluwer Academic Publishers (1991)。
- Arkin RC. Behavior-Based Robotics. MIT Press (1998)。
- Dudek G, Jenkin M. Computational Principles of Mobile Robotics. Cambridge University Press (2000)。
- Nise NS. Control Systems Engineering. Benjamin Cummings (1992)。
核验说明：提出栏优先保留原始论文、专著或正式文集；流变栏列具体的后续专著、综述或重建工作。2006 年后的文献只用于说明修订，不改变经典条的入选年份。