A Closed-Form Control for Safety Under Input Constraints Using a Composition of Control Barrier Functions
We present a closed-form optimal control that satisfies both safety constraints (i.e., state constraints) and input constraints (e.g., actuator limits) using a composition of multiple control barrier functions (CBFs). This main contribution is obtained through the combination of several ideas. First, we present a method for constructing a single relaxed control barrier function (R-CBF) from multiple CBFs, which can have different relative degrees. The construction relies on a log-sum-exponential soft-minimum function and yields an R-CBF whose zero-superlevel set is a subset of the intersection of the zero-superlevel sets of all CBFs used in the composition. Next, we use the soft-minimum R-CBF to construct a closed-form control that is optimal with respect to a quadratic cost subject to the safety constraints. Finally, we use the soft-minimum R-CBF to develop a closed-form optimal control that not only guarantees safety but also respects input constraints. The key elements in developing this novel control include: the introduction of the control dynamics, which allow the input constraints to be transformed into controller-state constraints; the use of the soft-minimum R-CBF to compose multiple safety and input CBFs, which have different relative degrees; and the development of a desired surrogate control (i.e., a desired input to the control dynamics). We demonstrate these new control approaches in simulation on a nonholonomic ground robot.
Code (0)
등록된 구현이 없습니다.
Tasks
FormMethods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis
Machine learning driven image-based controllers allow robotic systems to take intelligent actions based on the visual feedback from their environment. Understanding when these controllers might lead to system safety viol…
Optimized Control Invariance Conditions for Uncertain Input-Constrained Nonlinear Control Systems
Providing safety guarantees for learning-based controllers is important for real-world applications. One approach to realizing safety for arbitrary control policies is safety filtering. If necessary, the filter modifies …
Safety-Critical Control with Bounded Inputs: A Closed-Form Solution for Backup Control Barrier Functions
Verifying the safety of controllers is critical for many applications, but is especially challenging for systems with bounded inputs. Backup control barrier functions (bCBFs) offer a structured approach to synthesizing s…
Composition of Control Barrier Functions With Differing Relative Degrees for Safety Under Input Constraints
This paper presents a new approach for guaranteed safety subject to input constraints (e.g., actuator limits) using a composition of multiple control barrier functions (CBFs). First, we present a method for constructing …
A Closed-Form CLF-CBF Controller for Whole-Body Continuum Soft Robot Collision Avoidance
Safe operation is essential for deploying robots in human-centered 3D environments. Soft continuum manipulators provide passive safety through mechanical compliance, but still require active control to achieve reliable c…
Collision Avoidance