Correct-by-Design Control Barrier Functions for Euler-Lagrange Systems with Input Constraints

Control barrier functions are valuable for satisfying system constraints for general nonlinear systems. However a main drawback to existing techniques is the proper construction of these barrier functions to satisfy system and input constraints. In this paper, we propose a methodology to construct control barrier functions for Euler-Lagrange systems subject to input constraints. The proposed approach is validated in simulation on a 2-DOF planar manipulator.