Characterization of the Dynamical Properties of Safety Filters for Linear Planar Systems

TL;DR

This paper analyzes the dynamical behavior of safety filters based on control barrier functions for linear planar systems, identifying conditions for undesirable equilibria and their stability properties.

Contribution

It provides a complete characterization of the dynamical properties of safety filters for linear planar systems, including conditions for undesirable equilibria and their stability.

Findings

Undesirable equilibria are saddle points with nonpositive eigenvalues.

Trajectories outside the stable manifold of undesirable equilibria converge to the origin.

The choice of nominal controller influences stability in fully actuated systems.

Abstract

This paper studies the dynamical properties of closed-loop systems obtained from control barrier function-based safety filters. We provide a sufficient and necessary condition for the existence of undesirable equilibria and show that the Jacobian matrix of the closed-loop system evaluated at an undesirable equilibrium always has a nonpositive eigenvalue. In the special case of linear planar systems and ellipsoidal obstacles, we give a complete characterization of the dynamical properties of the corresponding closed-loop system. We show that for underactuated systems, the safety filter always introduces a single undesirable equilibrium, which is a saddle-point. We prove that all trajectories outside the global stable manifold of such equilibrium converge to the origin. In the fully actuated case, we discuss how the choice of nominal controller affects the stability properties of the closed-loop system. Various simulations illustrate our results.