Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments
A computationally-lightweight algorithm called gatekeeper that ensures trajectories of a nonlinear system satisfy safety constraints despite sensing limitations and dynamic environments.