该论文旨在解决复杂反馈互联系统(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)两个典型案例上进行数值测试,验证了所提方法的有效性与优势。