Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 22 min ago
PreprintCC BY 4.0arXiv

LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials

Abstract

Control barrier functions (CBF) are a popular safety filter to ensure safety for nonlinear dynamical systems. However, when the system is subject to uncertainties and disturbances, this requires the use of robust variants of CBFs, which can be difficult to construct and can be overly conservative, especially for high-dimensional systems under input constraints. In this work, we propose a new approach to solve these challenges by introducing Least-Effort Adversarial Potentials (LEAP), a certificate that quantifies the robustness of a given state against disturbances in terms of the effort required by the disturbance to cause failure. We show that LEAP is a CBF for the undisturbed system, but can also be used to construct a safety filter that is robust to disturbances whose cumulative effort is bounded. We propose a method for constructing LEAPs with on-policy deep reinforcement learning. Next, we demonstrate LEAPs in simulation on a variety of multi-agent systems with disturbances and uncertainties. Finally, hardware experiments on a quadruped and quadrotors validate that LEAPs are well suited to tackle the disturbances and uncertainties from real-world robotic systems.

Related

  1. The Price of Covertness: Dual-Control Navigation in Uncertain Flows under Adversarial Sensing
    Ruimeng Hu, Botao Jin, Xu Yang
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  2. Safety Verification for Voltage Control in Inverter Dominated Radial Distribution Networks under Actuator and Sensor Adversarial Attacks
    Georgios Pantazis, Revi Boelen, Michelle S. Chong
    arXivPreprintCC BY 4.0Full textOptimisation & controlarXiv
  3. Control of Markov Jump Linear Systems with Uncertain Lumpable Cluster Observations
    Carlos A. F. Persiani, Ram Padmanabhan, Melkior Ornik +1
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
  4. Non-Fragile Guaranteed Cost Control for Uncertain Fractional Delay Systems of Variable Order with Time-Varying Control Input Delays: A Possibly Stability Analysis
    Alireza Alfi, Zahra Sadat Aghayan, António M. Lopes
    MathematicsPeer-reviewedCC BY 4.0General mathematicsCrossref
  5. Exact PID and PI Gain Regions for Uncertain Non-Affine MIMO Systems
    Cheng Zhao
    arXivPreprintarXiv licenceFull textOptimisation & controlarXiv
BibTeX
@misc{so2026leapcbf,
  title = {{LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials}},
  author = {Oswin So and Eric Yu and Chuchu Fan},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.28364},
  eprint = {2609.28364},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.28364},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - LEAP-CBF: A Safety Filter for Uncertain Systems with Least-Effort Adversarial Potentials
AU  - Oswin So
AU  - Eric Yu
AU  - Chuchu Fan
PY  - 2026
DA  - 2026/09/23
PB  - arXiv
DO  - 10.48550/arxiv.2609.28364
UR  - https://arxiv.org/abs/2609.28364
AB  - Control barrier functions (CBF) are a popular safety filter to ensure safety for nonlinear dynamical systems. However, when the system is subject to uncertainties and disturbances, this requires the use of robust variants of CBFs, which can be difficult to construct and can be overly conservative, especially for high-dimensional systems under input constraints. In this work, we propose a new approach to solve these challenges by introducing Least-Effort Adversarial Potentials (LEAP), a certificate that quantifies the robustness of a given state against disturbances in terms of the effort required by the disturbance to cause failure. We show that LEAP is a CBF for the undisturbed system, but can also be used to construct a safety filter that is robust to disturbances whose cumulative effort is bounded. We propose a method for constructing LEAPs with on-policy deep reinforcement learning. Next, we demonstrate LEAPs in simulation on a variety of multi-agent systems with disturbances and uncertainties. Finally, hardware experiments on a quadruped and quadrotors validate that LEAPs are well suited to tackle the disturbances and uncertainties from real-world robotic systems.
ER  -