Corpus ID: 237572194

Model-Free Safety-Critical Control for Robotic Systems

  title={Model-Free Safety-Critical Control for Robotic Systems},
  author={Tam{\'a}s G. Moln{\'a}r and Ryan K. Cosner and Andrew W. Singletary and Wyatt Ubellacker and A. Ames},
This paper presents a framework for the safetycritical control of robotic systems, when safety is defined on safe regions in the configuration space. To maintain safety, we synthesize a safe velocity based on control barrier function theory without relying on a – potentially complicated – high-fidelity dynamical model of the robot. Then, we track the safe velocity with a tracking controller. This culminates in model-free safety critical control. We prove theoretical safety guarantees for the… Expand

Figures and Tables from this paper


Safety-Critical Kinematic Control of Robotic Systems
This paper demonstrates a purely kinematic implementation of a velocity-based CBF, and introduces a formulation that guarantees safety at the level of dynamics, through a new form of CBFs that incorporate kinetic energy with the classical forms, thereby minimizing model dependence and conservativeness. Expand
Measurement-Robust Control Barrier Functions: Certainty in Safety with Uncertainty in State
A rigorous framework for safety-critical control of systems with erroneous state estimates is proposed by leveraging Control Barrier Functions and unifying the method of Backup Sets for synthesizing control invariant sets with robustness requirements, which provides theoretical guarantees on safe behavior in the presence of imperfect measurements and improved robustness over standard CBF approaches. Expand
A Scalable Safety Critical Control Framework for Nonlinear Systems
It is shown that identifying a backup control law that stabilizes the system is in fact sufficient to exploit some of the set-invariance conditions presented in the first part of this work and the relationship between the optimality of the backup law and how conservative the resulting safety filter is is explored. Expand
Defend the practicality of single-integrator models in multi-robot coordination control
  • Shiyu Zhao, Zhiyong Sun
  • Engineering, Computer Science
  • 2017 13th IEEE International Conference on Control & Automation (ICCA)
  • 2017
If a gradient-descent distributed control law designed for single integrators has been proved to be convergent for a given coordination task, then the control law can be readily modified to adapt for various motion constraints including velocity saturation, obstacle avoidance, and nonholonomic models. Expand
Control Barrier Functions With Unmodeled Dynamics Using Integral Quadratic Constraints
This paper presents a control design method that achieves safety for systems with unmodeled dynamics at the plant input using an α-IQC and incorporates it into the CBF constraint to ensure safety. Expand
Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach
This work harnesses the computational tool of sum-of-squares (SOS) programming to design a bilinear optimization algorithm for the computation of the feedback tracking controller and associated tracking bound, enabling scaling the appealing strategy of planning with model mismatch to systems that are beyond the reach of HJ analysis, while maintaining safety guarantees. Expand
Input-to-State Safety With Control Barrier Functions
This letter presents a new notion of input-to-state safe control barrier functions (ISSf-CBFs), which ensure safety of nonlinear dynamical systems under input disturbances, and studies unified quadratic programs that combine control Lyapunov functions and ISSf- CBFs in order to obtain a single control law that ensures both safety and stability in systems with input disturbances. Expand
Consensus-based formation control and obstacle avoidance for nonholonomic multi-robot system
A consensus control law for formation with navigation and obstacle avoidance of multiple wheeled mobile robots is presented based on adapting a consensus algorithm from flocking, and an obstacle avoidance methodology is proposed that ensures the formation while navigating around obstacles. Expand
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
This paper develops a methodology that allows safety conditions—expression as control barrier functions—to be unified with performance objectives—expressed as control Lyapunov functions—in the context of real-time optimization-based controllers. Expand
Robust control barrier functions for constrained stabilization of nonlinear systems
The concept of Robust-CBF that, when combined with existing ISS-CLFs, produces controllers for constrained nonlinear systems with disturbances is introduced, considered an extension of the CLF-based point-wise minimum norm controller. Expand