gatekeeper: Online Safety Verification and Control for Nonlinear Systems
in Dynamic Environments

v1v2v3 (latest)

gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments

25 November 2022

Devansh R. Agrawal

Dimitra Panagou

ArXiv (abs)PDF HTML

Papers citing "gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments"

8 / 8 papers shown

Title
Adaptive Ergodic Search with Energy-Aware Scheduling for Persistent Multi-Robot Missions Kaleb Ben Naveed Devansh R. Agrawal Rahul Kumar Dimitra Panagou 65 0 0 16 May 2025
Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift Devansh R. Agrawal Taekyung Kim Rajiv G. Govindjee Trushant Adeshara Jiangbo Yu Anurekha Ravikumar Dimitra Panagou 57 0 0 25 Apr 2025
Enabling Safety for Aerial Robots: Planning and Control Architectures Kaleb Ben Naveed Devansh R. Agrawal Daniel M. Cherenson Haejoon Lee Alia Gilbert Hardik Parwana Vishnu S. Chipade William Bentz Dimitra Panagou 63 0 0 11 Apr 2025
RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions Luzia Knoedler Oswin So Ji Yin Mitchell Black Zachary Serlin Panagiotis Tsiotras Javier Alonso-Mora Chuchu Fan 76 1 0 15 Oct 2024
Visibility-Aware RRT* for Safety-Critical Navigation of Perception-Limited Robots in Unknown Environments Taekyung Kim Dimitra Panagou 98 3 0 11 Jun 2024
meSch: Multi-Agent Energy-Aware Scheduling for Task Persistence Kaleb Ben Naveed An Dang Rahul Kumar Dimitra Panagou 74 4 0 07 Jun 2024
Online and Certifiably Correct Visual Odometry and Mapping Devansh R. Agrawal Rajiv G. Govindjee Jiangbo Yu Anurekha Ravikumar Dimitra Panagou 61 2 0 07 Feb 2024
Eclares: Energy-Aware Clarity-Driven Ergodic Search Kaleb Ben Naveed Devansh R. Agrawal Christopher Vermillion Dimitra Panagou 73 6 0 10 Oct 2023