基于备份的安全过滤器：备份CBF、模型预测屏蔽和gatekeeper的比较综述
Backup-Based Safety Filters: A Comparative Review of Backup CBF, Model Predictive Shielding, and gatekeeper
AI总结：
本文通过统一框架比较三种备份安全过滤器，揭示其共同结构与算法差异，指出MPS是gatekeeper的特例，并分析备份安全过滤器的保守性来源。
摘要：
本文通过统一框架重新审视三种备份安全过滤器——备份控制屏障函数（备份CBF）、模型预测屏蔽（MPS）和gatekeeper。利用共同的安全过滤抽象和共享符号，我们明确展示了它们共同的备份策略结构及其关键算法差异。通过比较它们的过滤非活动集，即名义策略保持不变的状态，我们特别指出MPS是gatekeeper的特例，并进一步将gatekeeper与隐含安全集内的备份CBF非活动集相关联。这种统一的视角也突显了备份安全过滤器保守性的一个关键来源：安全通常通过备份动作的可行性来评估，而非通过名义策略的持续安全执行。本文旨在作为一篇简明的教程和综述，澄清这些方法之间的理论联系和差异。
英文摘要：
This paper revisits three backup-based safety filters -- Backup Control Barrier Functions (Backup CBF), Model Predictive Shielding (MPS), and gatekeeper -- through a unified comparative framework. Using a common safety-filter abstraction and shared notation, we make explicit both their common backup-policy structure and their key algorithmic differences. We compare the three methods through their filter-inactive sets, i.e., the states where the nominal policy is left unchanged. In particular, we show that MPS is a special case of gatekeeper, and we further relate gatekeeper to the interior of the Backup CBF inactive set within the implicit safe set. This unified view also highlights a key source of conservatism in backup-based safety filters: safety is often evaluated through the feasibility of a backup maneuver, rather than through the nominal policy's continued safe execution. The paper is intended as a compact tutorial and review that clarifies the theoretical connections and differences among these methods.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
