Abstract:A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is by far the least conservative one on barrier certificates, and can be shown as the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition -- thereby synthesizing invariant barrier certificates -- can be encoded as solving an optimization problem subject to bilinear matrix inequalities (BMIs). We further propose a synthesis algorithm based on difference-of-convex programming, which approaches a local optimum of the BMI problem via solving a series of convex optimization problems. This algorithm is incorporated in a branch-and-bound framework that searches for the global optimum in a divide-and-conquer fashion. We present a weak completeness result of our method, in the sense that a barrier certificate is guaranteed to be found (under some mild assumptions) whenever there exists an inductive invariant (in the form of a given template) that suffices to certify safety of the system. Experimental results on benchmark examples demonstrate the effectiveness and efficiency of our approach.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems

A New Safety Criterion for Dynamics Systems by Barrier Function Based on Forward Invariant Set

Robustness of Control Barrier Functions for Safety Critical Control

Extent-compatible control barrier functions

Non-positive Barrier Function:A New Notion of Barrier Function for State-Safety Control of Nonlinear Dynamical Systems

A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

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

Finding Control Invariant Sets via Lipschitz Constants of Linear Programs

Unmatched Control Barrier Functions: Certainty Equivalence Adaptive Safety

A Novel Attempt of Barrier Function to the Safety of Caputo's Fractional-Order Systems.

On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs

Constructive Safety-Critical Control: Synthesizing Control Barrier Functions for Partially Feedback Linearizable Systems

A Converse Robust-Safety Theorem for Differential Inclusions

A New Barrier Certificate for Safety Verification of Hybrid Systems

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Composing Control Barrier Functions for Complex Safety Specifications

Zero-order Control Barrier Functions for Sampled-Data Systems with State and Input Dependent Safety Constraints

Sufficient and Necessary Barrier-like Conditions for Safety and Reach-avoid Verification of Stochastic Discrete-time Systems

Safe Control for Nonlinear Systems With Stochastic Uncertainty via Risk Control Barrier Functions

Construction of parametric barrier functions for dynamical systems using interval analysis