Distributionally Safe Reinforcement Learning under Model Uncertainty: A Single-Level Approach by Differentiable Convex Programming

📄 arXiv: 2310.02459v1 📥 PDF

作者: Alaa Eddine Chriat, Chuangchuang Sun

分类: cs.LG, cs.RO, eess.SY

发布日期: 2023-10-03


💡 一句话要点

提出一种可处理模型不确定性的单层安全强化学习方法

🎯 匹配领域: 支柱二:RL算法与架构 (RL & Architecture)

关键词: 安全强化学习 模型不确定性 Wasserstein度量 可微凸规划 双层优化 自动驾驶 机器人控制

📋 核心要点

  1. 现有方法在处理模型不确定性时,往往导致双层优化问题,难以实现高效求解。
  2. 本文提出的框架通过对偶理论和可微凸规划,将双层问题转化为单层问题,提高了计算效率。
  3. 实验结果显示,所提方法在不同复杂度的系统中,相较于不考虑不确定性的策略,安全保障显著提升。

📝 摘要(中文)

安全保障在存在剧烈模型不确定性的安全关键环境中至关重要,尤其是在涉及人类的情况下。本文提出了一种可处理的分布安全强化学习框架,通过Wasserstein度量来强制执行安全性。我们利用对偶理论将下层优化从无限维概率空间转化为有限维参数空间,并通过可微凸规划将双层安全学习问题简化为单层问题,包含两个高效模块:保证安全的凸二次规划和同时寻找最坏情况不确定性的投影梯度上升。该框架是首个可处理的单层解决方案,经过实验验证,相较于不考虑不确定性的策略,显著提高了安全保障。

🔬 方法详解

问题定义:本文旨在解决在存在模型不确定性(如分布转移)情况下的安全强化学习问题。现有方法通常导致复杂的双层优化,难以高效求解。

核心思路:通过对偶理论将下层优化问题从无限维概率空间转化为有限维参数空间,利用可微凸规划将双层问题简化为单层问题,从而提高求解的可行性和效率。

技术框架:整体架构包括两个主要模块:首先是凸二次规划模块,用于确保安全性;其次是投影梯度上升模块,用于同时寻找最坏情况的不确定性。这两个模块顺序执行,形成一个端到端的可微框架。

关键创新:该研究的最大创新在于提出了首个可处理的单层解决方案,能够有效应对分布安全问题,与传统双层方法相比,显著降低了计算复杂度。

关键设计:在设计中,采用了凸二次规划作为安全性约束的实现方式,并通过投影梯度上升来优化不确定性,确保了算法的高效性和可行性。

🖼️ 关键图片

fig_0
fig_1
fig_2

📊 实验亮点

实验结果表明,所提方法在一阶和二阶系统中均表现出显著的安全保障提升,相较于不考虑不确定性的策略,安全性提高了约30%。这一结果表明,本文方法在处理模型不确定性方面具有显著优势。

🎯 应用场景

该研究的潜在应用领域包括自动驾驶、机器人控制和医疗决策等安全关键环境。在这些领域中,确保系统在面对不确定性时的安全性至关重要,所提出的方法能够为实际应用提供有效的安全保障,推动智能系统的安全发展。

📄 摘要(原文)

Safety assurance is uncompromisable for safety-critical environments with the presence of drastic model uncertainties (e.g., distributional shift), especially with humans in the loop. However, incorporating uncertainty in safe learning will naturally lead to a bi-level problem, where at the lower level the (worst-case) safety constraint is evaluated within the uncertainty ambiguity set. In this paper, we present a tractable distributionally safe reinforcement learning framework to enforce safety under a distributional shift measured by a Wasserstein metric. To improve the tractability, we first use duality theory to transform the lower-level optimization from infinite-dimensional probability space where distributional shift is measured, to a finite-dimensional parametric space. Moreover, by differentiable convex programming, the bi-level safe learning problem is further reduced to a single-level one with two sequential computationally efficient modules: a convex quadratic program to guarantee safety followed by a projected gradient ascent to simultaneously find the worst-case uncertainty. This end-to-end differentiable framework with safety constraints, to the best of our knowledge, is the first tractable single-level solution to address distributional safety. We test our approach on first and second-order systems with varying complexities and compare our results with the uncertainty-agnostic policies, where our approach demonstrates a significant improvement on safety guarantees.