← 返回论文列表

基于奇异摄动理论的反馈互联系统安全控制
Safe Control of Feedback-Interconnected Systems via Singular Perturbations

作者: Stefano Di Gregorio, Guido Carnevale, Giuseppe Notarstefano
arXiv: 2604.02132v1
分类: math.OC, eess.SY
📝 论文摘要
控制屏障函数已成为非线性系统安全关键控制器设计中的一项强大工具。在现代应用中,复杂系统通常涉及不同时间尺度演化的子系统反馈互连,例如来自不同物理域的两个部分(如机器人系统的电气和机械部分)或物理设备与(优化或控制)算法。在这些场景中,安全约束往往仅涉及整个系统的一部分。受稳定性分析中奇异摄动理论的启发,我们开发了一种形式化方法,将降阶模型上设计的安全证书提升至整体反馈互连系统。具体而言,我们证明在慢速与快速动力学之间存在足够时间尺度分离的条件下,可以设计复合控制屏障函数来保证互连系统安全集的前向不变性。因此,在线安全滤波器仅需针对低维降阶模型进行求解。我们通过数值实验在以下案例中验证了所提方法:(i)具有关节电机动力学的机械臂系统;(ii)由优化算法驱动的物理设备。

📊 核心分析

🎯 研究动机
该论文旨在解决复杂反馈互联系统(feedback-interconnected systems)的安全控制(safe control)问题。研究背景是:在现代应用中,复杂系统(如机器人系统)通常由不同时间尺度(timescales)演化的子系统(如电气与机械部分)反馈互联而成,而安全约束(safety constraints)往往只涉及整个系统的一部分。现有基于控制屏障函数(Control Barrier Functions, CBFs)的方法难以直接高效地处理此类多时间尺度、高维度的互联系统。
🔧 核心方法
论文提出了一种基于奇异摄动(singular perturbations)理论的正式化(formal)设计流程。具体方法包括: - 利用慢-快动力学(slow-fast dynamics)之间的充分时间尺度分离(timescale separation)条件。 - 设计一个复合控制屏障函数(composite CBF),用于证明互联系统安全集(safe set)的前向不变性(forward invariance)。 - 通过将基于降阶模型(reduced-order model)设计的安全证书(safety certificate)提升(lift)到整个互联系统,使得在线安全滤波器(online safety filter)只需在低维降阶模型上求解。
💡 核心创新
论文的核心创新点在于: - **首次将奇异摄动理论系统地应用于安全控制领域**:将传统用于稳定性分析(stability analysis)的奇异摄动工具,创新性地拓展到安全证书(safety certificate)的设计与验证中。 - **提出了针对反馈互联系统的分层安全认证框架**:通过时间尺度分离,允许在低维、慢变的降阶模型上设计安全滤波器,并严格证明其能保证原始高维互联系统的安全性,从而显著降低了在线计算复杂度(computational complexity)。 - **构建了复合控制屏障函数(composite CBF)**:这是一种新的CBF构造方法,能够统一处理包含不同时间尺度动力学的互联系统的安全约束。
🏆 总体贡献
论文对该领域的总体贡献是: - **理论贡献**:为具有多时间尺度特性的反馈互联非线性系统(nonlinear systems)的安全控制,提供了一个严格、通用的分析框架与设计流程。 - **方法贡献**:提出了一种计算高效的安全控制方法,通过降阶处理避免了直接对高维互联系统进行在线优化,提升了方法的可扩展性(scalability)和实用性。 - **验证贡献**:通过在带有关节电机动力学的机械臂(robotic arm)和由优化算法驱动的物理对象(physical plant)两个典型案例上进行数值测试,验证了所提方法的有效性与优势。