Safe-by-Design Control for Euler-Lagrange Systems

TL;DR

This paper introduces a novel method for designing multiple control barrier functions for Euler-Lagrange systems, ensuring safety constraints are met in robotic systems with robustness and sampling considerations.

Contribution

It presents a new approach to construct non-conflicting barrier functions for Euler-Lagrange systems with input constraints, addressing multiple safety constraints simultaneously.

Findings

Validated in simulation on a 2-DOF planar manipulator.

Ensures safety constraints including position and velocity.

Accounts for robustness margins and sampling-time effects.

Abstract

Safety-critical control is characterized as ensuring constraint satisfaction for a given dynamical system. Recent developments in zeroing control barrier functions (ZCBFs) have provided a framework for ensuring safety of a superlevel set of a single constraint function. Euler-Lagrange systems represent many real-world systems including robots and vehicles, which must abide by safety-regulations, especially for use in human-occupied environments. These safety regulations include state constraints (position and velocity) and input constraints that must be respected at all times. ZCBFs are valuable for satisfying system constraints for general nonlinear systems, however their construction to satisfy state and input constraints is not straightforward. Furthermore, the existing barrier function methods do not address the multiple state constraints that are required for safety of Euler-Lagrange systems. In this paper, we propose a methodology to construct multiple, non-conflicting control barrier functions for Euler-Lagrange systems subject to input constraints to satisfy safety regulations, while concurrently taking into account robustness margins and sampling-time effects. The proposed approach consists of a sampled-data controller and an algorithm for barrier function construction to enforce safety (i.e satisfy position and velocity constraints). The proposed method is validated in simulation on a 2-DOF planar manipulator.