DeepAI
Log In Sign Up

Geometry of Radial Basis Neural Networks for Safety Biased Approximation of Unsafe Regions

10/11/2022
by   Ahmad Abuaish, et al.
0

Barrier function-based inequality constraints are a means to enforce safety specifications for control systems. When used in conjunction with a convex optimization program, they provide a computationally efficient method to enforce safety for the general class of control-affine systems. One of the main assumptions when taking this approach is the a priori knowledge of the barrier function itself, i.e., knowledge of the safe set. In the context of navigation through unknown environments where the locally safe set evolves with time, such knowledge does not exist. This manuscript focuses on the synthesis of a zeroing barrier function characterizing the safe set based on safe and unsafe sample measurements, e.g., from perception data in navigation applications. Prior work formulated a supervised machine learning algorithm whose solution guaranteed the construction of a zeroing barrier function with specific level-set properties. However, it did not explore the geometry of the neural network design used for the synthesis process. This manuscript describes the specific geometry of the neural network used for zeroing barrier function synthesis, and shows how the network provides the necessary representation for splitting the state space into safe and unsafe regions.

READ FULL TEXT
03/10/2020

Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach

Control barrier functions are mathematical constructs used to guarantee ...
11/03/2020

Learning Barrier Functions with Memory for Robust Safe Navigation

Control barrier functions are widely used to enforce safety properties i...
10/03/2021

Safe Control with Neural Network Dynamic Models

Safety is critical in autonomous robotic systems. A safe control law ens...
03/02/2021

Safe Learning of Uncertain Environments for Nonlinear Control-Affine Systems

In many learning based control methodologies, learning the unknown dynam...
06/03/2022

Safety Certification for Stochastic Systems via Neural Barrier Functions

Providing non-trivial certificates of safety for non-linear stochastic s...
07/03/2020

Examining Redundancy in the Context of Safe Machine Learning

This paper describes a set of experiments with neural network classifier...
05/11/2022

Learning a Better Control Barrier Function

Control barrier functions (CBF) are widely used in safety-critical contr...