Abstract:Control barrier functions have been demonstrated to be a useful method of ensuring constraint satisfaction for a wide class of controllers. However, the existing results are mostly restricted to continuous-time systems. Mechanical systems, including robots, are typically second-order systems in which the control occurs at the force/torque level. These systems have actuator, velocity, and position constraints (i.e., relative degree two) that are vital for safety and/or task execution. Additionally, mechanical systems are typically controlled digitally as sampled-data systems. The contribution of this article is twofold. The first contribution is the development of novel, robust control barrier functions that ensure constraint satisfaction for sampled-data systems in the presence of model uncertainty and allows for satisfaction of actuator constraints. The second contribution is the application of the proposed method to the challenging problem of robotic grasping in which a robotic hand must ensure that an object remains inside the grasp while manipulating it to the desired reference trajectory. A grasp constraint satisfying controller is proposed that can admit the existing nominal manipulation controllers from the literature while simultaneously ensuring no slip, no overextension (e.g., singular configurations), and no rolling off of the fingertips. Simulation and experimental results validate the proposed control for the robotic hand application.

Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications

Whole-body Dynamic Collision Avoidance with Time-varying Control Barrier Functions

Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic

Multiple tasks control of nonlinear systems under signal temporal logic and its application to mobile robots

Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach

Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions

Continuous Reachability Task Transition Using Control Barrier Functions

Physics-based Motion Planning with Temporal Logic Specifications

Control Barrier Functions for Mechanical Systems: Theory and Application to Robotic Grasping

Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration

Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions

Composing Control Barrier Functions for Complex Safety Specifications

Control Barrier Functionals: Safety-critical Control for Time Delay Systems

Extent-compatible control barrier functions

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications

Automated Formation Control Synthesis from Temporal Logic Specifications

Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks

Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance

Hybrid control barrier functions for continuous-time systems