This section lists some of the research publications produced by the 3Laws team:
+3D dynamic walking on stepping stones with control barrier functions
A Barrier-Based Scenario Approach to Verify Safety-Critical Systems
A Control Barrier Perspective on Episodic Learning via Projection-to-State Safety
A scalable controlled set invariance framework with practical safety guarantees
A Scalable Safety Critical Control Framework for Nonlinear Systems
Adaptive Safety Using Control Barrier Functions and Hybrid Adaptation
Backup Control Barrier Functions: Formulation and Comparative Study
Barrier functions for multiagent-pomdps with dtl specifications
Barrier functions: Bridging the gap between planning from specifications and safety-critical control
Characterizing Safety: Minimal Control Barrier Functions From Scalar Comparison Systems
Control barrier function based quadratic programs for safety critical systems
Control barrier function based quadratic programs with application to adaptive cruise control
Control barrier function based quadratic programs with application to bipedal robotic walking
Control barrier functions for sampled-data systems with input delays
Data-Driven Safety-Critical Control: Synthesizing Control Barrier Functions with Koopman Operators
Formal test synthesis for safety-critical autonomous systems based on control barrier functions
Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions
Integral Control Barrier Functions for Dynamically Defined Control Laws
Learning for safety-critical control with control barrier functions
Measurement-robust control barrier functions: Certainty in safety with uncertainty in state
Multi-layered safety for legged robots via control barrier functions and model predictive control
Multi-Rate Control Design Leveraging Control Barrier Functions and Model Predictive Control Policies
Multi-rate control design under input constraints via fixed-time barrier functions
Neural Gaits: Learning Bipedal Locomotion via Control Barrier Functions and Zero Dynamics Policies
Onboard safety guarantees for racing drones: High-speed geofencing with control barrier functions
Reactive motion planning with probabilistics safety guarantees
Realizable Set Invariance Conditions for Cyber-Physical Systems
Risk-Averse Control via CVaR Barrier Functions: Application to Bipedal Robot Locomotion
Risk-Sensitive Path Planning via CVaR Barrier Functions: Application to Bipedal Locomotion
Robustness of Control Barrier Functions for Safety Critical Control
Safe Control for Nonlinear Systems with Stochastic Uncertainty via Risk Control Barrier Functions
Safe Controller Synthesis with Tunable Input-to-State Safe Control Barrier Functions
Safe multi-agent interaction through robust control barrier functions with learned uncertainties
Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions
Safety Barrier certificates for collisions-free multirobot systems
Safety barrier certificates for heterogeneous multi-robot systems
Safety of Sampled-Data Systems with Control Barrier Functions via Approximate Discrete Time Models
Safety-Aware Preference-Based Learning for Safety-Critical Control
Safety-Critical Event Triggered Control via Input-to-State Safe Barrier Functions
Safety-Critical Manipulation for Collision-Free Food Preparation
Safety-Critical Rapid Aerial Exploration of Unknown Environments
Self-Supervised Online Learning for Safety-Critical Control using Stereo Vision
Towards a framework for realizable safety critical control through active set invariance
This section contains videos to conference talks on the subject of control barrier function and runtime assurance.
-Jason Choi – Introduction to Control Lyapunov Functions and Control Barrier Functions
This section contains a curated selection of videos to meetings, workshops and conference talks on the topics of Control Barrier Functions and Run-time Assurance.
+