← 返回论文列表

交错积分在线共形预测:实现多步覆盖保证的安全动力学自适应
Staggered Integral Online Conformal Prediction for Safe Dynamics Adaptation with Multi-Step Coverage Guarantees

作者: Daniel M. Cherenson, Dimitra Panagou
arXiv: 2604.06058v1
分类: eess.SY, cs.RO
📝 论文摘要
对不确定自适应系统的安全关键控制常依赖于保守的最坏情况不确定性边界,这限制了闭环性能。在线保形预测是一种强大的数据驱动方法,可在预测输出的真实值在线揭示时量化不确定性;然而,对于在未测量状态导数的情况下自适应调整动态的系统,标准的在线保形预测不足以量化模型不确定性。我们提出交错积分在线保形预测算法,该算法利用积分评分函数量化扰动与学习误差的综合效应。该方法提供长期覆盖保证,在与安全关键控制器(包括鲁棒管模型预测控制)结合时能实现长期安全性。最后,我们通过对采用鲁棒管模型预测控制的全层深度神经网络自适应四旋翼飞行器进行数值仿真,验证了所提方法的有效性,突显了该方法对复杂学习参数化与控制策略的适用性。

📊 核心分析

🎯 研究动机
该论文旨在解决安全关键控制中,不确定自适应系统的保守性性能限制问题。研究背景是: - 现有方法依赖保守的最坏情况不确定性边界,限制了闭环性能 - 标准在线保形预测(online conformal prediction)无法量化无状态导数测量的自适应动力学系统的模型不确定性
🔧 核心方法
论文提出了交错积分在线保形预测(Staggered Integral Online Conformal Prediction, SI-OCP)算法: - 使用积分评分函数(integral score function)量化扰动和学习误差的集中效应 - 与安全关键控制器(如鲁棒管模型预测控制(robust tube MPC))结合实现长期安全 - 通过全层深度神经网络(DNN)自适应四旋翼飞行器的数值仿真验证方法
💡 核心创新
论文的核心创新点在于: - 首次将积分评分函数引入在线保形预测框架,解决了无状态导数测量的自适应系统的模型不确定性量化难题 - 提出的SI-OCP算法能够提供多步覆盖保证(multi-step coverage guarantees),这是标准在线保形预测无法实现的 - 实现了不确定性量化方法与复杂学习参数化(如深度神经网络)和安全关键控制策略(如鲁棒管MPC)的有效集成
🏆 总体贡献
论文对该领域的整体贡献包括: - 为自适应系统的安全关键控制提供了具有理论保证的数据驱动不确定性量化方法 - 扩展了在线保形预测的应用范围,使其适用于更广泛的自适应控制系统 - 通过理论分析和数值仿真验证了方法在复杂学习架构下的适用性和有效性