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

TL;DR

The paper introduces the gatekeeper algorithm, a real-time safety verification method for nonlinear systems that ensures safe trajectory execution despite sensing limitations and environmental uncertainties.

Contribution

It proposes a recursive safe trajectory construction algorithm with formal safety guarantees, integrating with existing control systems for nonlinear dynamics.

Findings

Successfully demonstrated in firefighting simulation

Validated with quadrotor obstacle navigation experiments

Outperforms existing safety verification methods

Abstract

This paper presents the gatekeeper algorithm, a real-time and computationally-lightweight method that ensures that trajectories of a nonlinear system satisfy safety constraints despite sensing limitations. gatekeeper integrates with existing path planners and feedback controllers by introducing an additional verification step to ensure that proposed trajectories can be executed safely, despite nonlinear dynamics subject to bounded disturbances, input constraints and partial knowledge of the environment. Our key contribution is that (A) we propose an algorithm to recursively construct safe trajectories by numerically forward propagating the system over a (short) finite horizon, and (B) we prove that tracking such a trajectory ensures the system remains safe for all future time, i.e., beyond the finite horizon. We demonstrate the method in a simulation of a dynamic firefighting mission, and in physical experiments of a quadrotor navigating in an obstacle environment that is sensed online. We also provide comparisons against the state-of-the-art techniques for similar problems.