Track manipulation, locomotion and embodied systems.
Search papers, labs, and topics across Lattice.
This paper addresses the nonconvexity of discrete-time control barrier function conditions for safe sets that are unions of convex sets, specifically when the safe set is defined by the number of nonnegative eigenvalues of a matrix concave function. By selecting eigenvectors of the matrix function at the current state, a convex input constraint is derived that effectively acts on the eigenvalues dictating set membership, thereby guaranteeing a geometric lower bound on these eigenvalues. Simulation results with polytope and spectrahedron obstacles demonstrate the efficacy of this spectral selection approach compared to prior matrix-wide conditions.
Convexifying control barrier functions for complex, non-convex safe sets is now possible by exploiting the spectral properties of matrix-valued functions.
The discrete-time control barrier function condition for a safe set that is a union of convex sets is nonconvex in the control input. For safe sets defined by a matrix concave function through the number of its nonnegative eigenvalues, this paper shows that the set is a union of convex sets, and that the nonconvexity arises because at least one member of the union must hold, not every member. Selecting eigenvectors of the matrix function at the current state yields a convex input constraint that acts only on the eigenvalues determining membership in the set. This constraint is implied by the matrix-wide condition of prior work, and it guarantees a geometric lower bound on each of those eigenvalues along closed-loop trajectories. A double-integrator simulation with a polytope obstacle and a spectrahedron obstacle compares the proposed filter with the matrix-wide condition.